Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1795.01 | 1795.46 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-3-c.opb |
MD5SUM | bc7893eb7aff4749139e472af91e587e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | 2650 |
Total number of constraints | 6619 |
Number of constraints which are clauses | 6619 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 2650 |
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 | 2650 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2650 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.11 c SCIP version 1.1.0.7 0.09/0.11 c LP-Solver Clp 1.8.2 0.09/0.11 c user parameter file <scip.set> not found - using default parameters 0.09/0.11 c read problem <HOME/instance-1869107-1245158963.opb> 0.09/0.11 c original problem has 2650 variables (2650 bin, 0 int, 0 impl, 0 cont) and 6619 constraints 0.09/0.14 c start presolving problem 0.09/0.14 c presolving: 0.19/0.28 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6495 upgd conss, 5626 impls, 0 clqs 0.29/0.30 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6496 upgd conss, 5626 impls, 0 clqs 0.29/0.31 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 5626 impls, 0 clqs 0.29/0.38 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7088 impls, 0 clqs 0.29/0.38 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7126 impls, 0 clqs 0.39/0.41 c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7126 impls, 0 clqs 0.49/0.56 c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 27314 impls, 0 clqs 0.59/0.68 c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 46770 impls, 0 clqs 0.79/0.82 c (0.6s) probing: 548/2650 (20.7%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes 0.79/0.82 c (0.6s) probing aborted: 100/100 successive totally useless probings 0.79/0.82 c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 48372 impls, 0 clqs 0.79/0.84 c (0.7s) probing: 558/2650 (21.1%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes 0.79/0.84 c (0.7s) probing aborted: 100/100 successive totally useless probings 0.79/0.84 c presolving (10 rounds): 0.79/0.84 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients 0.79/0.84 c 48372 implications, 0 cliques 0.79/0.84 c presolved problem has 2462 variables (2462 bin, 0 int, 0 impl, 0 cont) and 6490 constraints 0.79/0.84 c 6490 constraints of type <logicor> 0.79/0.84 c transformed objective value is always integral (scale: 1) 0.79/0.84 c Presolving Time: 0.64 0.79/0.84 c strange?!, PURESAT with obj 0.79/0.84 c ----------------------------------------------------------------------------------------------- 0.79/0.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.79/0.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.79/0.84 c limits/memory = c 1620 0.79/0.84 c # maximal time in seconds to run 0.79/0.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.79/0.84 c limits/time = c 1791 0.79/0.84 c # frequency for displaying node information lines 0.79/0.84 c # [type: int, range: [-1,2147483647], default: 100] 0.79/0.84 c display/freq = c 10000 0.79/0.84 c ----------------------------------------------------------------------------------------------- 0.79/0.84 c start solving problem 0.79/0.84 c 3.19/3.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 3.19/3.21 c 3.0s| 1 | 0 | 4908 | 15M| 0 |1825 |2462 |6490 |6490 |2462 |6303 | 0 | 0 | 0 | 7.947391e+02 | -- | Inf 9.69/9.70 c 9.5s| 1 | 0 | 17020 | 17M| 0 |1607 |2462 |6490 |6490 |2462 |6835 | 532 | 0 | 0 | 8.205938e+02 | -- | Inf 10.79/10.80 c 10.6s| 1 | 0 | 18010 | 19M| 0 |1698 |2462 |6490 |6490 |2462 |6866 | 563 | 0 | 0 | 8.238458e+02 | -- | Inf 12.19/12.22 c 12.0s| 1 | 0 | 19266 | 21M| 0 |1737 |2462 |6490 |6490 |2462 |6888 | 585 | 0 | 0 | 8.265333e+02 | -- | Inf 13.39/13.48 c 13.2s| 1 | 0 | 20255 | 23M| 0 |1716 |2462 |6490 |6490 |2462 |6909 | 606 | 0 | 0 | 8.297428e+02 | -- | Inf 15.69/15.73 c 15.4s| 1 | 0 | 21765 | 27M| 0 |1679 |2462 |6490 |6490 |2462 |6947 | 644 | 0 | 0 | 8.395792e+02 | -- | Inf 17.68/17.76 c 17.5s| 1 | 0 | 23109 | 30M| 0 |1610 |2462 |6490 |6490 |2462 |6991 | 688 | 0 | 0 | 8.486189e+02 | -- | Inf 19.99/20.10 c 19.8s| 1 | 0 | 25117 | 34M| 0 |1680 |2462 |6490 |6490 |2462 |7012 | 709 | 0 | 0 | 8.510020e+02 | -- | Inf 21.99/22.09 c 21.8s| 1 | 0 | 26643 | 36M| 0 |1668 |2462 |6490 |6490 |2462 |7033 | 730 | 0 | 0 | 8.519464e+02 | -- | Inf 25.48/25.55 c 25.2s| 1 | 0 | 29010 | 41M| 0 |1750 |2462 |6490 |6490 |2462 |7055 | 752 | 0 | 0 | 8.535094e+02 | -- | Inf 28.98/29.04 c 28.7s| 1 | 0 | 30995 | 43M| 0 |1678 |2462 |6490 |6490 |2462 |7088 | 785 | 0 | 0 | 8.594167e+02 | -- | Inf 31.68/31.72 c 31.4s| 1 | 0 | 32439 | 46M| 0 |1584 |2462 |6490 |6490 |2462 |7141 | 838 | 0 | 0 | 8.666632e+02 | -- | Inf 34.58/34.70 c 34.3s| 1 | 0 | 34135 | 49M| 0 |1597 |2462 |6490 |6490 |2462 |6662 | 856 | 0 | 0 | 8.676777e+02 | -- | Inf 36.68/36.72 c 36.3s| 1 | 0 | 35553 | 52M| 0 |1631 |2462 |6490 |6490 |2462 |6689 | 883 | 0 | 0 | 8.698203e+02 | -- | Inf 40.08/40.15 c 39.7s| 1 | 0 | 37541 | 58M| 0 |1620 |2462 |6490 |6490 |2462 |6716 | 910 | 0 | 0 | 8.709407e+02 | -- | Inf 43.67/43.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 43.67/43.71 c 43.3s| 1 | 0 | 39672 | 63M| 0 |1626 |2462 |6490 |6490 |2462 |6757 | 951 | 0 | 0 | 8.760127e+02 | -- | Inf 47.08/47.19 c 46.7s| 1 | 0 | 41441 | 69M| 0 |1581 |2462 |6490 |6490 |2462 |6780 | 974 | 0 | 0 | 8.806048e+02 | -- | Inf 48.78/48.87 c 48.4s| 1 | 0 | 42405 | 73M| 0 |1564 |2462 |6490 |6490 |2462 |6806 |1000 | 0 | 0 | 8.822841e+02 | -- | Inf 51.88/51.94 c 51.5s| 1 | 0 | 44148 | 78M| 0 |1656 |2462 |6490 |6490 |2462 |6689 |1019 | 0 | 0 | 8.853548e+02 | -- | Inf 53.98/54.09 c 53.6s| 1 | 0 | 45461 | 80M| 0 |1631 |2462 |6490 |6490 |2462 |6718 |1048 | 0 | 0 | 8.858183e+02 | -- | Inf 57.18/57.28 c 56.8s| 1 | 0 | 47758 | 85M| 0 |1651 |2462 |6490 |6490 |2462 |6746 |1076 | 0 | 0 | 8.882068e+02 | -- | Inf 59.98/60.00 c 59.5s| 1 | 0 | 49480 | 86M| 0 |1645 |2462 |6490 |6490 |2462 |6803 |1133 | 0 | 0 | 8.993102e+02 | -- | Inf 63.58/63.65 c 63.1s| 1 | 0 | 51930 | 88M| 0 |1694 |2462 |6490 |6490 |2462 |6860 |1190 | 0 | 0 | 9.079580e+02 | -- | Inf 65.58/65.63 c 65.0s| 1 | 0 | 53467 | 89M| 0 |1711 |2462 |6490 |6490 |2462 |6890 |1220 | 0 | 0 | 9.094468e+02 | -- | Inf 67.77/67.82 c 67.2s| 1 | 0 | 54596 | 90M| 0 |1695 |2462 |6490 |6490 |2462 |6786 |1258 | 0 | 0 | 9.121470e+02 | -- | Inf 70.57/70.60 c 70.0s| 1 | 0 | 56357 | 92M| 0 |1675 |2462 |6490 |6490 |2462 |6836 |1308 | 0 | 0 | 9.174575e+02 | -- | Inf 73.37/73.42 c 72.8s| 1 | 0 | 58499 | 93M| 0 |1732 |2462 |6490 |6490 |2462 |6886 |1358 | 0 | 0 | 9.211612e+02 | -- | Inf 77.37/77.49 c 76.8s| 1 | 0 | 60783 | 94M| 0 |1711 |2462 |6490 |6490 |2462 |6935 |1407 | 0 | 0 | 9.233588e+02 | -- | Inf 80.27/80.39 c 79.7s| 1 | 0 | 62860 | 95M| 0 |1735 |2462 |6490 |6490 |2462 |6973 |1445 | 0 | 0 | 9.255419e+02 | -- | Inf 87.57/87.62 c 86.9s| 1 | 0 | 66691 | 97M| 0 |1755 |2462 |6490 |6490 |2462 |7020 |1492 | 0 | 0 | 9.300182e+02 | -- | Inf 91.36/91.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 91.36/91.44 c 90.7s| 1 | 0 | 68963 | 99M| 0 |1791 |2462 |6490 |6490 |2462 |6930 |1530 | 0 | 0 | 9.324466e+02 | -- | Inf 93.57/93.61 c 92.9s| 1 | 0 | 70564 | 100M| 0 |1815 |2462 |6490 |6490 |2462 |6963 |1563 | 0 | 0 | 9.328510e+02 | -- | Inf 97.37/97.44 c 96.7s| 1 | 0 | 73113 | 101M| 0 |1808 |2462 |6490 |6490 |2462 |7021 |1621 | 0 | 0 | 9.370289e+02 | -- | Inf 100.66/100.76 c 100s| 1 | 0 | 75244 | 102M| 0 |1744 |2462 |6490 |6490 |2462 |7074 |1674 | 0 | 0 | 9.412027e+02 | -- | Inf 103.07/103.11 c 102s| 1 | 0 | 76898 | 103M| 0 |1793 |2462 |6490 |6490 |2462 |7100 |1700 | 0 | 0 | 9.426506e+02 | -- | Inf 105.96/106.09 c 105s| 1 | 0 | 78748 | 104M| 0 |1791 |2462 |6490 |6490 |2462 |7152 |1752 | 0 | 0 | 9.466769e+02 | -- | Inf 110.36/110.44 c 110s| 1 | 0 | 81084 | 106M| 0 |1779 |2462 |6490 |6490 |2462 |7025 |1815 | 0 | 0 | 9.556386e+02 | -- | Inf 113.27/113.38 c 113s| 1 | 0 | 82985 | 107M| 0 |1853 |2462 |6490 |6490 |2462 |7078 |1868 | 0 | 0 | 9.588794e+02 | -- | Inf 117.46/117.51 c 117s| 1 | 0 | 85595 | 108M| 0 |1906 |2462 |6490 |6490 |2462 |7149 |1939 | 0 | 0 | 9.644732e+02 | -- | Inf 121.36/121.43 c 121s| 1 | 0 | 87901 | 109M| 0 |1999 |2462 |6490 |6490 |2462 |7211 |2001 | 0 | 0 | 9.715559e+02 | -- | Inf 125.46/125.52 c 125s| 1 | 0 | 90265 | 112M| 0 |1919 |2462 |6490 |6490 |2462 |7256 |2046 | 0 | 0 | 9.743421e+02 | -- | Inf 128.26/128.31 c 128s| 1 | 0 | 92208 | 112M| 0 |2060 |2462 |6490 |6490 |2462 |7288 |2078 | 0 | 0 | 9.751184e+02 | -- | Inf 132.16/132.20 c 131s| 1 | 0 | 94374 | 113M| 0 |1973 |2462 |6490 |6490 |2462 |7140 |2128 | 0 | 0 | 9.792876e+02 | -- | Inf 135.35/135.41 c 135s| 1 | 0 | 96351 | 115M| 0 |1985 |2462 |6490 |6490 |2462 |7192 |2180 | 0 | 0 | 9.816929e+02 | -- | Inf 138.76/138.83 c 138s| 1 | 0 | 98434 | 116M| 0 |2048 |2462 |6490 |6490 |2462 |7241 |2229 | 0 | 0 | 9.850342e+02 | -- | Inf 143.36/143.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 143.36/143.43 c 143s| 1 | 0 |101224 | 117M| 0 |1976 |2462 |6490 |6490 |2462 |7295 |2283 | 0 | 0 | 9.913455e+02 | -- | Inf 146.75/146.89 c 146s| 1 | 0 |103379 | 119M| 0 |1991 |2462 |6490 |6490 |2462 |7328 |2316 | 0 | 0 | 9.944919e+02 | -- | Inf 150.66/150.71 c 150s| 1 | 0 |105500 | 120M| 0 |2025 |2462 |6490 |6490 |2462 |7362 |2350 | 0 | 0 | 9.954751e+02 | -- | Inf 155.95/156.08 c 155s| 1 | 0 |108010 | 121M| 0 |2056 |2462 |6490 |6490 |2462 |7191 |2402 | 0 | 0 | 1.000923e+03 | -- | Inf 159.85/159.97 c 159s| 1 | 0 |110491 | 123M| 0 |2046 |2462 |6490 |6490 |2462 |7254 |2465 | 0 | 0 | 1.005890e+03 | -- | Inf 164.15/164.28 c 163s| 1 | 0 |113063 | 123M| 0 |2007 |2462 |6490 |6490 |2462 |7328 |2539 | 0 | 0 | 1.014380e+03 | -- | Inf 169.05/169.11 c 168s| 1 | 0 |115704 | 125M| 0 |2130 |2462 |6490 |6490 |2462 |7370 |2581 | 0 | 0 | 1.016340e+03 | -- | Inf 175.95/176.02 c 175s| 1 | 0 |118815 | 126M| 0 |1966 |2462 |6490 |6490 |2462 |7442 |2653 | 0 | 0 | 1.026391e+03 | -- | Inf 181.44/181.53 c 181s| 1 | 0 |121780 | 127M| 0 |2036 |2462 |6490 |6490 |2462 |7486 |2697 | 0 | 0 | 1.032317e+03 | -- | Inf 186.94/187.07 c 186s| 1 | 0 |124182 | 127M| 0 |2019 |2462 |6490 |6490 |2462 |7344 |2774 | 0 | 0 | 1.036643e+03 | -- | Inf 191.34/191.41 c 190s| 1 | 0 |126692 | 128M| 0 |2054 |2462 |6490 |6490 |2462 |7414 |2844 | 0 | 0 | 1.040726e+03 | -- | Inf 196.14/196.29 c 195s| 1 | 0 |129288 | 129M| 0 |2153 |2462 |6490 |6490 |2462 |7481 |2911 | 0 | 0 | 1.043774e+03 | -- | Inf 201.84/201.97 c 201s| 1 | 0 |132491 | 130M| 0 |2134 |2462 |6490 |6490 |2462 |7535 |2965 | 0 | 0 | 1.049667e+03 | -- | Inf 206.75/206.80 c 206s| 1 | 0 |135099 | 131M| 0 |2171 |2462 |6490 |6490 |2462 |7606 |3036 | 0 | 0 | 1.056079e+03 | -- | Inf 214.44/214.56 c 213s| 1 | 0 |139471 | 132M| 0 |2138 |2462 |6490 |6490 |2462 |7670 |3100 | 0 | 0 | 1.061877e+03 | -- | Inf 221.14/221.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 221.14/221.25 c 220s| 1 | 0 |142392 | 132M| 0 |2152 |2462 |6490 |6490 |2462 |7498 |3164 | 0 | 0 | 1.066999e+03 | -- | Inf 226.63/226.79 c 226s| 1 | 0 |145111 | 133M| 0 |2162 |2462 |6490 |6490 |2462 |7558 |3224 | 0 | 0 | 1.074351e+03 | -- | Inf 232.43/232.55 c 231s| 1 | 0 |148153 | 134M| 0 |2120 |2462 |6490 |6490 |2462 |7642 |3308 | 0 | 0 | 1.083444e+03 | -- | Inf 236.63/236.72 c 236s| 1 | 0 |150876 | 135M| 0 |2123 |2462 |6490 |6490 |2462 |7697 |3363 | 0 | 0 | 1.089047e+03 | -- | Inf 243.43/243.58 c 242s| 1 | 0 |153985 | 136M| 0 |2098 |2462 |6490 |6490 |2462 |7782 |3448 | 0 | 0 | 1.097585e+03 | -- | Inf 248.43/248.57 c 247s| 1 | 0 |156686 | 137M| 0 |2110 |2462 |6490 |6490 |2462 |7848 |3514 | 0 | 0 | 1.104899e+03 | -- | Inf 254.33/254.40 c 253s| 1 | 0 |159327 | 137M| 0 |2166 |2462 |6490 |6490 |2462 |7668 |3595 | 0 | 0 | 1.110057e+03 | -- | Inf 259.93/260.04 c 259s| 1 | 0 |162273 | 138M| 0 |2095 |2462 |6490 |6490 |2462 |7721 |3648 | 0 | 0 | 1.114477e+03 | -- | Inf 263.12/263.23 c 262s| 1 | 0 |164234 | 139M| 0 |2157 |2462 |6490 |6490 |2462 |7776 |3703 | 0 | 0 | 1.117531e+03 | -- | Inf 267.03/267.15 c 266s| 1 | 0 |166354 | 141M| 0 |2071 |2462 |6490 |6490 |2462 |7828 |3755 | 0 | 0 | 1.122236e+03 | -- | Inf 271.53/271.61 c 270s| 1 | 0 |168576 | 141M| 0 |2029 |2462 |6490 |6490 |2462 |7910 |3837 | 0 | 0 | 1.128962e+03 | -- | Inf 274.22/274.39 c 273s| 1 | 0 |170277 | 143M| 0 |2161 |2462 |6490 |6490 |2462 |7963 |3890 | 0 | 0 | 1.131196e+03 | -- | Inf 281.42/281.56 c 280s| 1 | 0 |173109 | 143M| 0 |2129 |2462 |6490 |6490 |2462 |7695 |3947 | 0 | 0 | 1.138897e+03 | -- | Inf 284.72/284.82 c 284s| 1 | 0 |175163 | 145M| 0 |2171 |2462 |6490 |6490 |2462 |7743 |3995 | 0 | 0 | 1.142679e+03 | -- | Inf 288.22/288.30 c 287s| 1 | 0 |177105 | 146M| 0 |2148 |2462 |6490 |6490 |2462 |7788 |4040 | 0 | 0 | 1.145055e+03 | -- | Inf 293.01/293.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 293.01/293.14 c 292s| 1 | 0 |179524 | 147M| 0 |2140 |2462 |6490 |6490 |2462 |7860 |4112 | 0 | 0 | 1.149993e+03 | -- | Inf 296.62/296.79 c 296s| 1 | 0 |181017 | 147M| 0 |2108 |2462 |6490 |6490 |2462 |7922 |4174 | 0 | 0 | 1.154797e+03 | -- | Inf 301.32/301.43 c 300s| 1 | 0 |183962 | 148M| 0 |2149 |2462 |6490 |6490 |2462 |7982 |4234 | 0 | 0 | 1.158435e+03 | -- | Inf 307.21/307.33 c 306s| 1 | 0 |186371 | 148M| 0 |2048 |2462 |6490 |6490 |2462 |7697 |4294 | 0 | 0 | 1.162200e+03 | -- | Inf 310.42/310.54 c 309s| 1 | 0 |188656 | 149M| 0 |2111 |2462 |6490 |6490 |2462 |7742 |4339 | 0 | 0 | 1.166070e+03 | -- | Inf 314.11/314.22 c 313s| 1 | 0 |191380 | 150M| 0 |2054 |2462 |6490 |6490 |2462 |7801 |4398 | 0 | 0 | 1.169067e+03 | -- | Inf 317.61/317.70 c 316s| 1 | 0 |193604 | 152M| 0 |2109 |2462 |6490 |6490 |2462 |7857 |4454 | 0 | 0 | 1.171797e+03 | -- | Inf 321.41/321.52 c 320s| 1 | 0 |195807 | 152M| 0 |2082 |2462 |6490 |6490 |2462 |7941 |4538 | 0 | 0 | 1.177320e+03 | -- | Inf 324.81/324.95 c 323s| 1 | 0 |197386 | 153M| 0 |2047 |2462 |6490 |6490 |2462 |8000 |4597 | 0 | 0 | 1.180490e+03 | -- | Inf 328.50/328.67 c 327s| 1 | 0 |198864 | 154M| 0 |2029 |2462 |6490 |6490 |2462 |7754 |4642 | 0 | 0 | 1.183557e+03 | -- | Inf 331.61/331.70 c 330s| 1 | 0 |200782 | 155M| 0 |2081 |2462 |6490 |6490 |2462 |7803 |4691 | 0 | 0 | 1.186764e+03 | -- | Inf 336.31/336.45 c 335s| 1 | 0 |201985 | 155M| 0 |2017 |2462 |6490 |6490 |2462 |7849 |4737 | 0 | 0 | 1.188315e+03 | -- | Inf 340.40/340.51 c 339s| 1 | 0 |204631 | 156M| 0 |2078 |2462 |6490 |6490 |2462 |7914 |4802 | 0 | 0 | 1.194096e+03 | -- | Inf 344.00/344.18 c 343s| 1 | 0 |206072 | 156M| 0 |2098 |2462 |6490 |6490 |2462 |7968 |4856 | 0 | 0 | 1.197451e+03 | -- | Inf 349.70/349.89 c 348s| 1 | 0 |208009 | 156M| 0 |2063 |2462 |6490 |6490 |2462 |7997 |4885 | 0 | 0 | 1.199227e+03 | -- | Inf 355.40/355.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 355.40/355.53 c 354s| 1 | 0 |209052 | 156M| 0 |2087 |2462 |6490 |6490 |2462 |7704 |4908 | 0 | 0 | 1.201672e+03 | -- | Inf 359.60/359.71 c 358s| 1 | 0 |210292 | 157M| 0 |2068 |2462 |6490 |6490 |2462 |7738 |4942 | 0 | 0 | 1.204067e+03 | -- | Inf 363.50/363.62 c 362s| 1 | 0 |211816 | 157M| 0 |2075 |2462 |6490 |6490 |2462 |7777 |4981 | 0 | 0 | 1.206381e+03 | -- | Inf 366.90/367.05 c 365s| 1 | 0 |212699 | 157M| 0 |2122 |2462 |6490 |6490 |2462 |7808 |5012 | 0 | 0 | 1.207640e+03 | -- | Inf 371.70/371.84 c 370s| 1 | 0 |213633 | 158M| 0 |2086 |2462 |6490 |6490 |2462 |7832 |5036 | 0 | 0 | 1.209794e+03 | -- | Inf 376.50/376.62 c 375s| 1 | 0 |214681 | 158M| 0 |2064 |2462 |6490 |6490 |2462 |7872 |5076 | 0 | 0 | 1.211620e+03 | -- | Inf 379.89/380.06 c 378s| 1 | 0 |216069 | 158M| 0 |1995 |2462 |6490 |6490 |2462 |7586 |5112 | 0 | 0 | 1.213713e+03 | -- | Inf 381.59/381.76 c 380s| 1 | 0 |217053 | 159M| 0 |2061 |2462 |6490 |6490 |2462 |7614 |5140 | 0 | 0 | 1.214980e+03 | -- | Inf 384.39/384.54 c 383s| 1 | 0 |218269 | 160M| 0 |2031 |2462 |6490 |6490 |2462 |7648 |5174 | 0 | 0 | 1.217616e+03 | -- | Inf 386.79/386.98 c 385s| 1 | 0 |218823 | 160M| 0 |2048 |2462 |6490 |6490 |2462 |7681 |5207 | 0 | 0 | 1.218095e+03 | -- | Inf 390.19/390.36 c 389s| 1 | 0 |220405 | 161M| 0 |2033 |2462 |6490 |6490 |2462 |7711 |5237 | 0 | 0 | 1.219935e+03 | -- | Inf 392.50/392.64 c 391s| 1 | 0 |220598 | 161M| 0 |1993 |2462 |6490 |6490 |2462 |7734 |5260 | 0 | 0 | 1.220439e+03 | -- | Inf 396.69/396.85 c 395s| 1 | 0 |221298 | 159M| 0 |2050 |2462 |6490 |6490 |2462 |7526 |5281 | 0 | 0 | 1.221863e+03 | -- | Inf 400.99/401.10 c 399s| 1 | 0 |222273 | 158M| 0 |1914 |2462 |6490 |6490 |2462 |7559 |5314 | 0 | 0 | 1.223638e+03 | -- | Inf 403.39/403.52 c 402s| 1 | 0 |223204 | 157M| 0 |2041 |2462 |6490 |6490 |2462 |7580 |5335 | 0 | 0 | 1.224235e+03 | -- | Inf 407.99/408.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 407.99/408.16 c 406s| 1 | 0 |224338 | 155M| 0 |2048 |2462 |6490 |6490 |2462 |7608 |5363 | 0 | 0 | 1.226065e+03 | -- | Inf 410.69/410.84 c 409s| 1 | 0 |225236 | 153M| 0 |2063 |2462 |6490 |6490 |2462 |7630 |5385 | 0 | 0 | 1.226212e+03 | -- | Inf 415.19/415.35 c 414s| 1 | 0 |226082 | 150M| 0 |2061 |2462 |6490 |6490 |2462 |7642 |5397 | 0 | 0 | 1.227424e+03 | -- | Inf 419.59/419.78 c 418s| 1 | 0 |227192 | 147M| 0 |2098 |2462 |6490 |6490 |2462 |7497 |5428 | 0 | 0 | 1.229234e+03 | -- | Inf 424.28/424.40 c 423s| 1 | 0 |227732 | 145M| 0 |2071 |2462 |6490 |6490 |2462 |7524 |5455 | 0 | 0 | 1.229890e+03 | -- | Inf 428.98/429.15 c 427s| 1 | 0 |228419 | 141M| 0 |2057 |2462 |6490 |6490 |2462 |7534 |5465 | 0 | 0 | 1.230227e+03 | -- | Inf 432.68/432.88 c 431s| 1 | 0 |228953 | 138M| 0 |2043 |2462 |6490 |6490 |2462 |7550 |5481 | 0 | 0 | 1.230435e+03 | -- | Inf 436.49/436.60 c 435s| 1 | 0 |229532 | 136M| 0 |2047 |2462 |6490 |6490 |2462 |7563 |5494 | 0 | 0 | 1.230491e+03 | -- | Inf 440.68/440.83 c 439s| 1 | 0 |230719 | 133M| 0 |2013 |2462 |6490 |6490 |2462 |7588 |5519 | 0 | 0 | 1.231124e+03 | -- | Inf 445.88/446.08 c 444s| 1 | 0 |231969 | 131M| 0 |1996 |2462 |6490 |6490 |2462 |7473 |5541 | 0 | 0 | 1.231439e+03 | -- | Inf 450.27/450.48 c 449s| 1 | 0 |232872 | 126M| 0 |2039 |2462 |6490 |6490 |2462 |7498 |5566 | 0 | 0 | 1.232038e+03 | -- | Inf 454.48/454.61 c 453s| 1 | 0 |234487 | 120M| 0 |2122 |2462 |6490 |6490 |2462 |7528 |5596 | 0 | 0 | 1.232987e+03 | -- | Inf 457.78/457.93 c 456s| 1 | 0 |235281 | 115M| 0 |2097 |2462 |6490 |6490 |2462 |7550 |5618 | 0 | 0 | 1.233289e+03 | -- | Inf 461.68/461.89 c 460s| 1 | 0 |236358 | 112M| 0 |2102 |2462 |6490 |6490 |2462 |7566 |5634 | 0 | 0 | 1.234540e+03 | -- | Inf 465.67/465.82 c 464s| 1 | 0 |237224 | 107M| 0 |2051 |2462 |6490 |6490 |2462 |7586 |5654 | 0 | 0 | 1.235411e+03 | -- | Inf 469.17/469.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 469.17/469.35 c 468s| 1 | 0 |238002 | 106M| 0 |2080 |2462 |6490 |6490 |2462 |7496 |5672 | 0 | 0 | 1.235842e+03 | -- | Inf 473.77/473.95 c 472s| 1 | 0 |239021 | 102M| 0 |2047 |2462 |6490 |6490 |2462 |7515 |5691 | 0 | 0 | 1.236686e+03 | -- | Inf 476.37/476.60 c 475s| 1 | 0 |239643 | 101M| 0 |2054 |2462 |6490 |6490 |2462 |7549 |5725 | 0 | 0 | 1.237281e+03 | -- | Inf 479.67/479.88 c 478s| 1 | 0 |240816 | 100M| 0 |2106 |2462 |6490 |6490 |2462 |7593 |5769 | 0 | 0 | 1.238773e+03 | -- | Inf 483.97/484.18 c 482s| 1 | 0 |241620 | 99M| 0 |2085 |2462 |6490 |6490 |2462 |7617 |5793 | 0 | 0 | 1.240137e+03 | -- | Inf 487.97/488.11 c 486s| 1 | 0 |243064 | 98M| 0 |2056 |2462 |6490 |6490 |2462 |7651 |5827 | 0 | 0 | 1.241417e+03 | -- | Inf 493.07/493.23 c 491s| 1 | 0 |243665 | 96M| 0 |2061 |2462 |6490 |6490 |2462 |7559 |5841 | 0 | 0 | 1.242254e+03 | -- | Inf 497.56/497.73 c 496s| 1 | 0 |244010 | 95M| 0 |2054 |2462 |6490 |6490 |2462 |7567 |5849 | 0 | 0 | 1.242502e+03 | -- | Inf 501.77/501.90 c 500s| 1 | 0 |244326 | 95M| 0 |2025 |2462 |6490 |6490 |2462 |7587 |5869 | 0 | 0 | 1.243005e+03 | -- | Inf 506.26/506.44 c 505s| 1 | 0 |244665 | 93M| 0 |2034 |2462 |6490 |6490 |2462 |7595 |5877 | 0 | 0 | 1.243005e+03 | -- | Inf 510.56/510.78 c 509s| 1 | 0 |244827 | 92M| 0 |2037 |2462 |6490 |6490 |2462 |7598 |5880 | 0 | 0 | 1.243005e+03 | -- | Inf 514.86/515.00 c 513s| 1 | 0 |244981 | 90M| 0 |2031 |2462 |6490 |6490 |2462 |7599 |5881 | 0 | 0 | 1.243005e+03 | -- | Inf 519.46/519.69 c 518s| 1 | 0 |245137 | 90M| 0 |2048 |2462 |6490 |6490 |2462 |7499 |5883 | 0 | 0 | 1.243005e+03 | -- | Inf 523.76/523.94 c 522s| 1 | 0 |245187 | 89M| 0 |2050 |2462 |6490 |6490 |2462 |7501 |5885 | 0 | 0 | 1.243005e+03 | -- | Inf 531.16/531.37 c 529s| 1 | 2 |245187 | 89M| 0 |2050 |2462 |6490 |6490 |2462 |7501 |5885 | 0 | 27 | 1.243005e+03 | -- | Inf 1794.74/1795.28 c 1794.74/1795.28 c SCIP Status : solving was interrupted [time limit reached] 1794.74/1795.28 c Solving Time (sec) : 1791.00 1794.74/1795.28 c Solving Nodes : 1921 1794.74/1795.28 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1794.74/1795.28 c Dual Bound : +1.25647528946192e+03 1794.74/1795.28 c Gap : infinite 1794.74/1795.28 c NODE 1921 1794.74/1795.28 c DUAL BOUND 1256.48 1794.74/1795.28 c PRIMAL BOUND 1e+20 1794.74/1795.28 c GAP 1e+20 1794.74/1795.28 s UNKNOWN 1794.74/1795.28 c SCIP Status : solving was interrupted [time limit reached] 1794.74/1795.28 c Solving Time : 1791.00 1794.74/1795.28 c Original Problem : 1794.74/1795.28 c Problem name : HOME/instance-1869107-1245158963.opb 1794.74/1795.28 c Variables : 2650 (2650 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.74/1795.28 c Constraints : 6619 initial, 6619 maximal 1794.74/1795.28 c Presolved Problem : 1794.74/1795.28 c Problem name : t_HOME/instance-1869107-1245158963.opb 1794.74/1795.28 c Variables : 2462 (2462 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.74/1795.28 c Constraints : 6490 initial, 7759 maximal 1794.74/1795.28 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1794.74/1795.28 c trivial : 0.00 0 0 0 0 0 0 0 0 1794.74/1795.28 c dualfix : 0.00 0 0 0 0 0 0 0 0 1794.74/1795.28 c boundshift : 0.00 0 0 0 0 0 0 0 0 1794.74/1795.28 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1794.74/1795.28 c implics : 0.01 0 3 0 0 0 0 0 0 1794.74/1795.28 c probing : 0.39 2 183 0 0 0 0 0 0 1794.74/1795.28 c linear : 0.10 0 0 0 0 0 122 122 0 1794.74/1795.28 c logicor : 0.12 0 0 0 0 0 7 0 0 1794.74/1795.28 c root node : - 0 - - 0 - - - - 1794.74/1795.28 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1794.74/1795.28 c integral : 0 0 0 1328 0 0 28 0 0 2630 1794.74/1795.28 c logicor : 6490+ 133 78125 0 0 605 287661 0 0 0 1794.74/1795.28 c countsols : 0 0 0 0 0 0 0 0 0 0 1794.74/1795.28 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1794.74/1795.28 c integral : 449.66 0.00 0.00 449.66 0.00 1794.74/1795.28 c logicor : 2.18 0.10 2.08 0.00 0.00 1794.74/1795.28 c countsols : 0.00 0.00 0.00 0.00 0.00 1794.74/1795.28 c Propagators : Time Calls Cutoffs DomReds 1794.74/1795.28 c rootredcost : 0.02 0 0 0 1794.74/1795.28 c pseudoobj : 7.65 72769 0 0 1794.74/1795.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1794.74/1795.28 c propagation : 0.30 603 603 6118 47.1 170 13.9 - 1794.74/1795.28 c infeasible LP : 0.22 356 0 0 0.0 0 0.0 0 1794.74/1795.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1794.74/1795.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1794.74/1795.28 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1794.74/1795.28 c applied globally : - - - 2583 37.0 - - - 1794.74/1795.28 c applied locally : - - - 0 0.0 - - - 1794.74/1795.28 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1794.74/1795.28 c cut pool : 5.48 132 - - 5290 - (maximal pool size: 36430) 1794.74/1795.28 c redcost : 0.12 1460 0 0 0 0 1794.74/1795.28 c impliedbounds : 0.20 133 0 0 1256 0 1794.74/1795.28 c intobj : 0.00 0 0 0 0 0 1794.74/1795.28 c gomory : 234.06 133 0 0 61575 0 1794.74/1795.28 c strongcg : 5.40 20 0 0 10000 0 1794.74/1795.28 c cmir : 0.86 10 0 0 0 0 1794.74/1795.28 c flowcover : 0.73 10 0 0 0 0 1794.74/1795.28 c clique : 0.45 133 0 0 69 0 1794.74/1795.28 c zerohalf : 0.00 0 0 0 0 0 1794.74/1795.28 c mcf : 0.01 1 0 0 0 0 1794.74/1795.28 c Pricers : Time Calls Vars 1794.74/1795.28 c problem variables: 0.00 0 0 1794.74/1795.28 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1794.74/1795.28 c relpscost : 449.65 1328 0 28 0 0 2630 1794.74/1795.28 c pscost : 0.00 0 0 0 0 0 0 1794.74/1795.28 c inference : 0.00 0 0 0 0 0 0 1794.74/1795.28 c mostinf : 0.00 0 0 0 0 0 0 1794.74/1795.28 c leastinf : 0.00 0 0 0 0 0 0 1794.74/1795.28 c fullstrong : 0.00 0 0 0 0 0 0 1794.74/1795.28 c allfullstrong : 0.00 0 0 0 0 0 0 1794.74/1795.28 c random : 0.00 0 0 0 0 0 0 1794.74/1795.28 c Primal Heuristics : Time Calls Found 1794.74/1795.28 c LP solutions : 0.00 - 0 1794.74/1795.28 c pseudo solutions : 0.00 - 0 1794.74/1795.28 c oneopt : 0.01 0 0 1794.74/1795.28 c crossover : 0.00 0 0 1794.74/1795.28 c guideddiving : 0.00 0 0 1794.74/1795.28 c objpscostdiving : 35.62 3 0 1794.74/1795.28 c rootsoldiving : 57.23 3 0 1794.74/1795.28 c pscostdiving : 34.81 11 0 1794.74/1795.28 c fracdiving : 43.90 11 0 1794.74/1795.28 c linesearchdiving : 36.59 11 0 1794.74/1795.28 c coefdiving : 38.61 11 0 1794.74/1795.28 c feaspump : 31.49 6 0 1794.74/1795.28 c veclendiving : 37.81 12 0 1794.74/1795.28 c simplerounding : 0.00 0 0 1794.74/1795.28 c rounding : 0.98 487 0 1794.74/1795.28 c shifting : 2.59 157 0 1794.74/1795.28 c intshifting : 0.00 0 0 1794.74/1795.28 c fixandinfer : 0.00 0 0 1794.74/1795.28 c intdiving : 0.00 0 0 1794.74/1795.28 c actconsdiving : 0.00 0 0 1794.74/1795.28 c octane : 0.00 0 0 1794.74/1795.28 c rens : 0.01 0 0 1794.74/1795.28 c rins : 0.00 0 0 1794.74/1795.28 c localbranching : 0.00 0 0 1794.74/1795.28 c mutation : 0.00 0 0 1794.74/1795.28 c dins : 0.00 0 0 1794.74/1795.28 c LP : Time Calls Iterations Iter/call Iter/sec 1794.74/1795.28 c primal LP : 8.19 0 0 0.00 0.00 1794.74/1795.28 c dual LP : 749.55 1762 1071459 608.09 1429.47 1794.74/1795.28 c barrier LP : 0.00 0 0 0.00 - 1794.74/1795.28 c diving/probing LP: 296.50 6307 315483 50.02 1064.02 1794.74/1795.28 c strong branching : 448.55 2746 648358 236.11 1445.45 1794.74/1795.28 c (at root node) : - 27 7625 282.41 - 1794.74/1795.28 c conflict analysis: 0.00 0 0 0.00 - 1794.74/1795.28 c B&B Tree : 1794.74/1795.28 c number of runs : 1 1794.74/1795.28 c nodes : 1921 1794.74/1795.28 c nodes (total) : 1921 1794.74/1795.28 c nodes left : 335 1794.74/1795.28 c max depth : 52 1794.74/1795.28 c max depth (total): 52 1794.74/1795.28 c backtracks : 505 (26.3%) 1794.74/1795.28 c delayed cutoffs : 375 1794.74/1795.28 c repropagations : 862 (93831 domain reductions, 209 cutoffs) 1794.74/1795.28 c avg switch length: 3.65 1794.74/1795.28 c switching time : 1.58 1794.74/1795.28 c Solution : 1794.74/1795.28 c Solutions found : 0 (0 improvements) 1794.74/1795.28 c Primal Bound : - 1794.74/1795.28 c Dual Bound : +1.25647528946192e+03 1794.74/1795.28 c Gap : infinite 1794.74/1795.28 c Root Dual Bound : +1.24300491400886e+03 1794.94/1795.46 c Time complete: 1794.99.
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-1869107-1245158963/watcher-1869107-1245158963 -o /tmp/evaluation-result-1869107-1245158963/solver-1869107-1245158963 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869107-1245158963.opb 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.85 0.97 0.99 3/64 1587 /proc/meminfo: memFree=1850208/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=5812 CPUtime=0 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 183496580 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/1587/statm: 1453 515 344 1256 0 192 0 [startup+0.0148871 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1587 /proc/meminfo: memFree=1850208/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=11244 CPUtime=0 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 1788 0 0 0 0 0 0 0 18 0 1 0 183496580 11513856 1772 1992294400 4194304 9342243 548682068736 18446744073709551615 5544024 0 0 4096 0 0 0 0 17 1 0 0 /proc/1587/statm: 2811 1772 374 1256 0 1550 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11244 [startup+0.101895 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1587 /proc/meminfo: memFree=1850208/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=15976 CPUtime=0.09 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 2964 0 0 0 8 1 0 0 18 0 1 0 183496580 16359424 2948 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/1587/statm: 3994 2948 378 1256 0 2733 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15976 [startup+0.301916 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1587 /proc/meminfo: memFree=1850208/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=32024 CPUtime=0.29 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 7164 0 0 0 25 4 0 0 19 0 1 0 183496580 32792576 6794 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 8006 6794 467 1256 0 6745 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32024 [startup+0.701956 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1587 /proc/meminfo: memFree=1850208/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=33296 CPUtime=0.69 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 7525 0 0 0 61 8 0 0 22 0 1 0 183496580 34095104 7155 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 8324 7155 489 1256 0 7063 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33296 [startup+1.50104 s] /proc/loadavg: 0.85 0.97 0.99 2/65 1588 /proc/meminfo: memFree=1815000/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=45616 CPUtime=1.49 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 10183 0 0 0 139 10 0 0 25 0 1 0 183496580 46710784 9796 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 11404 9796 616 1256 0 10143 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45616 [startup+3.1022 s] /proc/loadavg: 0.85 0.97 0.99 2/65 1588 /proc/meminfo: memFree=1812824/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=45816 CPUtime=3.09 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 10921 0 0 0 299 10 0 0 25 0 1 0 183496580 46915584 9701 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 11454 9701 616 1256 0 10193 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45816 [startup+6.30152 s] /proc/loadavg: 0.86 0.97 0.99 2/65 1588 /proc/meminfo: memFree=1811800/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=47612 CPUtime=6.29 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 11669 0 0 0 618 11 0 0 25 0 1 0 183496580 48754688 10159 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 11903 10159 643 1256 0 10642 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47612 [startup+12.7012 s] /proc/loadavg: 0.87 0.97 0.99 2/65 1588 /proc/meminfo: memFree=1799384/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=63300 CPUtime=12.68 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 17560 0 0 0 1253 15 0 0 25 0 1 0 183496580 64819200 13651 1992294400 4194304 9342243 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 15825 13651 674 1256 0 14564 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 63300 [startup+25.5015 s] /proc/loadavg: 0.90 0.97 0.99 2/65 1588 /proc/meminfo: memFree=1772056/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=91868 CPUtime=25.48 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 29616 0 0 0 2525 23 0 0 25 0 1 0 183496580 94072832 20120 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 22967 20120 674 1256 0 21706 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 91868 [startup+51.1011 s] /proc/loadavg: 1.00 0.99 0.99 2/65 1588 /proc/meminfo: memFree=1729624/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=137160 CPUtime=51.08 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 47628 0 0 0 5073 35 0 0 25 0 1 0 183496580 140451840 30713 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 34290 30713 677 1256 0 33029 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 137160 [startup+102.305 s] /proc/loadavg: 1.07 1.00 1.00 2/65 1588 /proc/meminfo: memFree=1699288/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=166424 CPUtime=102.27 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 80475 0 0 0 10169 58 0 0 25 0 1 0 183496580 170418176 38267 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 41606 38267 677 1256 0 40345 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 166424 [startup+162.301 s] /proc/loadavg: 1.09 1.02 1.00 2/65 1588 /proc/meminfo: memFree=1678168/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=189028 CPUtime=162.25 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 102558 0 0 0 16148 77 0 0 25 0 1 0 183496580 193564672 43537 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 47257 43537 677 1256 0 45996 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 189028 [startup+222.301 s] /proc/loadavg: 1.15 1.04 1.01 2/65 1588 /proc/meminfo: memFree=1665112/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=201108 CPUtime=222.23 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 113335 0 0 0 22131 92 0 0 25 0 1 0 183496580 205934592 46763 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 50277 46763 677 1256 0 49016 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 201108 [startup+282.302 s] /proc/loadavg: 1.05 1.03 1.00 2/65 1588 /proc/meminfo: memFree=1654104/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=212904 CPUtime=282.22 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 116100 0 0 0 28120 102 0 0 25 0 1 0 183496580 218013696 49528 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 53226 49528 677 1256 0 51965 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 212904 [startup+342.302 s] /proc/loadavg: 1.02 1.02 1.00 2/65 1588 /proc/meminfo: memFree=1645848/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=224488 CPUtime=342.21 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 163488 0 0 0 34082 139 0 0 25 0 1 0 183496580 229875712 51788 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 56122 51788 677 1256 0 54861 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 224488 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 1588 /proc/meminfo: memFree=1634328/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=229716 CPUtime=402.18 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 166099 0 0 0 40068 150 0 0 25 0 1 0 183496580 235229184 54396 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 57429 54396 677 1256 0 56168 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 229716 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1588 /proc/meminfo: memFree=1632728/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=229716 CPUtime=462.17 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 166482 0 0 0 46056 161 0 0 25 0 1 0 183496580 235229184 54779 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 57429 54779 677 1256 0 56168 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 229716 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1588 /proc/meminfo: memFree=1631512/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=230364 CPUtime=522.15 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 166752 0 0 0 52044 171 0 0 25 0 1 0 183496580 235892736 55049 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 57591 55049 677 1256 0 56330 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 230364 [startup+582.302 s] /proc/loadavg: 1.07 1.02 1.00 2/65 1588 /proc/meminfo: memFree=1630488/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234124 CPUtime=582.14 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170318 0 0 0 58033 181 0 0 25 0 1 0 183496580 239742976 55313 1992294400 4194304 9342243 548682068736 18446744073709551615 6983436 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58531 55313 690 1256 0 57270 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 234124 [startup+642.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 1588 /proc/meminfo: memFree=1630296/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234124 CPUtime=642.13 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170361 0 0 0 64024 189 0 0 25 0 1 0 183496580 239742976 55356 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58531 55356 690 1256 0 57270 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 234124 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1629080/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234812 CPUtime=1122.01 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170574 0 0 0 111940 261 0 0 25 0 1 0 183496580 240447488 55569 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58703 55569 691 1256 0 57442 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 234812 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1588 /proc/meminfo: memFree=1629016/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234812 CPUtime=1181.99 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170577 0 0 0 117929 270 0 0 25 0 1 0 183496580 240447488 55572 1992294400 4194304 9342243 548682068736 18446744073709551615 6350716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58703 55572 691 1256 0 57442 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 234812 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1588 /proc/meminfo: memFree=1628824/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234812 CPUtime=1241.98 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170613 0 0 0 123918 280 0 0 25 0 1 0 183496580 240447488 55608 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58703 55608 691 1256 0 57442 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 234812 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1588 /proc/meminfo: memFree=1628440/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234812 CPUtime=1301.96 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170712 0 0 0 129904 292 0 0 25 0 1 0 183496580 240447488 55707 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58703 55707 691 1256 0 57442 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 234812 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1628184/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234812 CPUtime=1361.95 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170786 0 0 0 135892 303 0 0 25 0 1 0 183496580 240447488 55781 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58703 55781 691 1256 0 57442 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 234812 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1628120/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234812 CPUtime=1421.93 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170790 0 0 0 141882 311 0 0 25 0 1 0 183496580 240447488 55785 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58703 55785 691 1256 0 57442 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 234812 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1628056/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234812 CPUtime=1481.91 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170791 0 0 0 147872 319 0 0 25 0 1 0 183496580 240447488 55786 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58703 55786 691 1256 0 57442 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 234812 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1627800/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234812 CPUtime=1541.9 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170852 0 0 0 153860 330 0 0 25 0 1 0 183496580 240447488 55847 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58703 55847 691 1256 0 57442 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 234812 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1627608/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234812 CPUtime=1601.88 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 170906 0 0 0 159850 338 0 0 25 0 1 0 183496580 240447488 55901 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58703 55901 691 1256 0 57442 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 234812 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1626968/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=234812 CPUtime=1661.87 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 171043 0 0 0 165837 350 0 0 25 0 1 0 183496580 240447488 56038 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 58703 56038 691 1256 0 57442 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 234812 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1626648/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=236072 CPUtime=1721.86 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 171135 0 0 0 171827 359 0 0 25 0 1 0 183496580 241737728 56130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 59018 56130 691 1256 0 57757 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 236072 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1626456/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=236072 CPUtime=1781.84 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 171158 0 0 0 177815 369 0 0 25 0 1 0 183496580 241737728 56153 1992294400 4194304 9342243 548682068736 18446744073709551615 6976963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 59018 56153 691 1256 0 57757 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 236072 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1626392/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=236072 CPUtime=1785.03 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 171160 0 0 0 178134 369 0 0 25 0 1 0 183496580 241737728 56155 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 59018 56155 691 1256 0 57757 0 Current children cumulated CPU time (s) 1785.03 Current children cumulated vsize (KiB) 236072 [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1626392/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=236072 CPUtime=1791.44 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 171161 0 0 0 178773 371 0 0 25 0 1 0 183496580 241737728 56156 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 59018 56156 691 1256 0 57757 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 236072 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1626392/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=236072 CPUtime=1793.03 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 171161 0 0 0 178932 371 0 0 25 0 1 0 183496580 241737728 56156 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 59018 56156 691 1256 0 57757 0 Current children cumulated CPU time (s) 1793.03 Current children cumulated vsize (KiB) 236072 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1626392/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=236072 CPUtime=1793.83 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 171161 0 0 0 179012 371 0 0 25 0 1 0 183496580 241737728 56156 1992294400 4194304 9342243 548682068736 18446744073709551615 6983129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 59018 56156 691 1256 0 57757 0 Current children cumulated CPU time (s) 1793.83 Current children cumulated vsize (KiB) 236072 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1626392/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=236072 CPUtime=1794.64 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 171171 0 0 0 179093 371 0 0 25 0 1 0 183496580 241737728 56166 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1587/statm: 59018 56166 691 1256 0 57757 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 236072 [startup+1795.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1626392/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=236072 CPUtime=1794.84 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 171175 0 0 0 179112 372 0 0 25 0 1 0 183496580 241737728 56170 1992294400 4194304 9342243 548682068736 18446744073709551615 4301917 0 0 4096 0 0 0 0 17 1 0 0 /proc/1587/statm: 59018 56170 695 1256 0 57757 0 Current children cumulated CPU time (s) 1794.84 Current children cumulated vsize (KiB) 236072 [startup+1795.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1590 /proc/meminfo: memFree=1626392/2055920 swapFree=4182564/4192956 [pid=1587] ppid=1585 vsize=236072 CPUtime=1794.94 /proc/1587/stat : 1587 (pbscip.linux.x8) R 1585 1587 1550 0 -1 4194304 171175 0 0 0 179122 372 0 0 25 0 1 0 183496580 241737728 56170 1992294400 4194304 9342243 548682068736 18446744073709551615 5858514 0 0 4096 0 0 0 0 17 1 0 0 /proc/1587/statm: 59018 56170 695 1256 0 57757 0 Current children cumulated CPU time (s) 1794.94 Current children cumulated vsize (KiB) 236072 Child status: 0 Real time (s): 1795.46 CPU time (s): 1795.01 CPU user time (s): 1791.25 CPU system time (s): 3.75943 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 237372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.25 system time used= 3.75943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 171179 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= 5 involuntary context switches= 2850 runsolver used 1.36979 second user time and 3.70844 second system time The end
Begin job on node17 at 2009-06-16 15:29:23 IDJOB=1869107 IDBENCH=2175 IDSOLVER=684 FILE ID=node17/1869107-1245158963 PBS_JOBID= 9363853 Free space on /tmp= 66356 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869107-1245158963/watcher-1869107-1245158963 -o /tmp/evaluation-result-1869107-1245158963/solver-1869107-1245158963 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869107-1245158963.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bc7893eb7aff4749139e472af91e587e RANDOM SEED=280637766 node17.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.214 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.214 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1850624 kB Buffers: 34660 kB Cached: 102420 kB SwapCached: 4224 kB Active: 51156 kB Inactive: 93708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850624 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 12144 kB Writeback: 0 kB Mapped: 13604 kB Slab: 46420 kB Committed_AS: 165044 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66348 MiB End job on node17 at 2009-06-16 15:59:19