| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.55 | 1790.25 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-4-c.opb |
| MD5SUM | 28753ff2e44c4cedb2d3a2e783f8d1a4 |
| 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 | 2666 |
| Total number of constraints | 6659 |
| Number of constraints which are clauses | 6659 |
| 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 | 2666 |
| 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 | 2666 |
| 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 | 2666 |
| 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.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703436-1278554066.opb>
0.09/0.12 c original problem has 2666 variables (2666 bin, 0 int, 0 impl, 0 cont) and 6659 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.16 c presolving:
0.19/0.28 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6535 upgd conss, 5642 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, 6536 upgd conss, 5642 impls, 0 clqs
0.29/0.32 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 5642 impls, 0 clqs
0.39/0.40 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7104 impls, 0 clqs
0.39/0.42 c (round 5) 53 del vars, 177 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.39/0.43 c (round 6) 53 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.59/0.64 c (round 7) 103 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 27330 impls, 0 clqs
0.59/0.66 c (round 8) 103 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 27330 impls, 0 clqs
0.79/0.81 c (round 9) 153 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 46786 impls, 0 clqs
0.79/0.82 c (round 10) 153 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 46786 impls, 0 clqs
0.89/0.98 c (0.9s) probing: 548/2666 (20.6%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.98 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.98 c (round 11) 188 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 48388 impls, 0 clqs
0.89/0.99 c (round 12) 188 del vars, 314 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 48388 impls, 0 clqs
1.00/1.01 c (0.9s) probing: 558/2666 (20.9%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
1.00/1.01 c (0.9s) probing aborted: 100/100 successive totally useless probings
1.00/1.01 c presolving (13 rounds):
1.00/1.01 c 188 deleted vars, 314 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
1.00/1.01 c 48388 implications, 0 cliques
1.00/1.01 c presolved problem has 2478 variables (2478 bin, 0 int, 0 impl, 0 cont) and 6345 constraints
1.00/1.01 c 1515 constraints of type <setppc>
1.00/1.01 c 4830 constraints of type <logicor>
1.00/1.01 c transformed objective value is always integral (scale: 1)
1.00/1.01 c Presolving Time: 0.87
1.00/1.01 c - non default parameters ----------------------------------------------------------------------
1.00/1.01 c # SCIP version 1.2.1.3
1.00/1.01 c
1.00/1.01 c # frequency for displaying node information lines
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.01 c display/freq = 10000
1.00/1.01 c
1.00/1.01 c # maximal time in seconds to run
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.01 c limits/time = 1789.89
1.00/1.01 c
1.00/1.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.01 c limits/memory = 1620
1.00/1.01 c
1.00/1.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.02 c # [type: int, range: [1,2], default: 1]
1.00/1.02 c timing/clocktype = 2
1.00/1.02 c
1.00/1.02 c # should presolving try to simplify inequalities
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/linear/simplifyinequalities = TRUE
1.00/1.02 c
1.00/1.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/indicator/addCouplingCons = TRUE
1.00/1.02 c
1.00/1.02 c # should presolving try to simplify knapsacks
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.02 c
1.00/1.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.02 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.02 c separating/rapidlearning/freq = 0
1.00/1.02 c
1.00/1.02 c -----------------------------------------------------------------------------------------------
1.00/1.02 c start solving
1.00/1.02 c
4.79/4.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.79/4.88 c 4.8s| 1 | 0 | 4803 | - | 13M| 0 |1727 |2478 |6345 |2478 |6343 | 0 | 0 | 0 | 7.986569e+02 | -- | Inf
21.48/21.50 c 21.4s| 1 | 0 | 16472 | - | 21M| 0 |1968 |2478 |7163 |2478 |7413 |1070 | 0 | 0 | 8.240111e+02 | -- | Inf
23.68/23.78 c 23.7s| 1 | 0 | 17938 | - | 24M| 0 |2068 |2478 |7163 |2478 |7447 |1104 | 0 | 0 | 8.302785e+02 | -- | Inf
26.19/26.20 c 26.1s| 1 | 0 | 19274 | - | 29M| 0 |1599 |2478 |7163 |2478 |7475 |1132 | 0 | 0 | 8.341492e+02 | -- | Inf
28.38/28.46 c 28.3s| 1 | 0 | 20515 | - | 33M| 0 |1592 |2478 |7163 |2478 |7509 |1166 | 0 | 0 | 8.381136e+02 | -- | Inf
30.69/30.79 c 30.7s| 1 | 0 | 21830 | - | 35M| 0 |1618 |2478 |7163 |2478 |7546 |1203 | 0 | 0 | 8.432447e+02 | -- | Inf
33.49/33.53 c 33.4s| 1 | 0 | 23390 | - | 37M| 0 |1583 |2478 |7163 |2478 |7590 |1247 | 0 | 0 | 8.467625e+02 | -- | Inf
36.08/36.16 c 36.0s| 1 | 0 | 24837 | - | 41M| 0 |1628 |2478 |7163 |2478 |7630 |1287 | 0 | 0 | 8.484155e+02 | -- | Inf
40.07/40.10 c 40.0s| 1 | 0 | 26787 | - | 44M| 0 |1674 |2478 |7163 |2478 |7659 |1316 | 0 | 0 | 8.511004e+02 | -- | Inf
43.77/43.89 c 43.8s| 1 | 0 | 28474 | - | 48M| 0 |1635 |2478 |7163 |2478 |7701 |1358 | 0 | 0 | 8.542040e+02 | -- | Inf
49.57/49.60 c 49.5s| 1 | 0 | 30773 | - | 53M| 0 |1680 |2478 |7163 |2478 |7745 |1402 | 0 | 0 | 8.579548e+02 | -- | Inf
54.88/55.00 c 54.9s| 1 | 0 | 33210 | - | 58M| 0 |1657 |2478 |7163 |2478 |7777 |1434 | 0 | 0 | 8.604508e+02 | -- | Inf
57.97/58.04 c 57.9s| 1 | 0 | 34811 | - | 60M| 0 |1687 |2478 |7163 |2478 |7811 |1468 | 0 | 0 | 8.640557e+02 | -- | Inf
63.87/63.99 c 63.9s| 1 | 0 | 36977 | - | 62M| 0 |1702 |2478 |7163 |2478 |7858 |1515 | 0 | 0 | 8.675732e+02 | -- | Inf
69.17/69.28 c 69.2s| 1 | 0 | 39284 | - | 65M| 0 |1668 |2478 |7163 |2478 |7897 |1554 | 0 | 0 | 8.697793e+02 | -- | Inf
76.06/76.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.06/76.11 c 76.0s| 1 | 0 | 41779 | - | 67M| 0 |1691 |2478 |7163 |2478 |6830 |1592 | 0 | 0 | 8.716270e+02 | -- | Inf
83.17/83.28 c 83.2s| 1 | 0 | 44605 | - | 70M| 0 |1703 |2478 |7163 |2478 |6866 |1628 | 0 | 0 | 8.813537e+02 | -- | Inf
87.66/87.73 c 87.6s| 1 | 0 | 46668 | - | 74M| 0 |1733 |2478 |7163 |2478 |6910 |1672 | 0 | 0 | 8.840271e+02 | -- | Inf
92.66/92.79 c 92.7s| 1 | 0 | 48404 | - | 77M| 0 |1728 |2478 |7163 |2478 |6948 |1710 | 0 | 0 | 8.880531e+02 | -- | Inf
97.26/97.39 c 97.3s| 1 | 0 | 50440 | - | 79M| 0 |1732 |2478 |7163 |2478 |6985 |1747 | 0 | 0 | 8.901680e+02 | -- | Inf
106.67/106.72 c 107s| 1 | 0 | 53861 | - | 80M| 0 |1684 |2478 |7163 |2478 |7027 |1789 | 0 | 0 | 8.941706e+02 | -- | Inf
112.56/112.61 c 112s| 1 | 0 | 56260 | - | 80M| 0 |1699 |2478 |7163 |2478 |6928 |1845 | 0 | 0 | 9.062272e+02 | -- | Inf
115.85/115.93 c 116s| 1 | 0 | 57725 | - | 82M| 0 |1690 |2478 |7163 |2478 |6964 |1881 | 0 | 0 | 9.089237e+02 | -- | Inf
119.95/120.10 c 120s| 1 | 0 | 59840 | - | 83M| 0 |1688 |2478 |7163 |2478 |7006 |1923 | 0 | 0 | 9.107822e+02 | -- | Inf
124.45/124.54 c 124s| 1 | 0 | 61672 | - | 85M| 0 |1765 |2478 |7163 |2478 |7049 |1966 | 0 | 0 | 9.146080e+02 | -- | Inf
129.85/129.96 c 130s| 1 | 0 | 64021 | - | 86M| 0 |1777 |2478 |7163 |2478 |7084 |2001 | 0 | 0 | 9.172795e+02 | -- | Inf
134.95/135.07 c 135s| 1 | 0 | 65915 | - | 87M| 0 |2007 |2478 |7163 |2478 |7126 |2043 | 0 | 0 | 9.202051e+02 | -- | Inf
141.65/141.79 c 142s| 1 | 0 | 68802 | - | 88M| 0 |1895 |2478 |7163 |2478 |7022 |2089 | 0 | 0 | 9.235564e+02 | -- | Inf
145.25/145.31 c 145s| 1 | 0 | 69964 | - | 90M| 0 |1839 |2478 |7163 |2478 |7055 |2122 | 0 | 0 | 9.252679e+02 | -- | Inf
150.66/150.73 c 151s| 1 | 0 | 72068 | - | 91M| 0 |1851 |2478 |7163 |2478 |7097 |2164 | 0 | 0 | 9.284808e+02 | -- | Inf
157.16/157.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.16/157.20 c 157s| 1 | 0 | 74877 | - | 92M| 0 |1835 |2478 |7163 |2478 |7142 |2209 | 0 | 0 | 9.402976e+02 | -- | Inf
163.94/164.08 c 164s| 1 | 0 | 77488 | - | 92M| 0 |1962 |2478 |7163 |2478 |7210 |2277 | 0 | 0 | 9.512977e+02 | -- | Inf
169.54/169.68 c 170s| 1 | 0 | 79430 | - | 93M| 0 |1783 |2478 |7163 |2478 |7248 |2315 | 0 | 0 | 9.549342e+02 | -- | Inf
175.74/175.82 c 176s| 1 | 0 | 82005 | - | 95M| 0 |1847 |2478 |7163 |2478 |7076 |2338 | 0 | 0 | 9.574612e+02 | -- | Inf
180.74/180.87 c 181s| 1 | 0 | 83819 | - | 96M| 0 |1830 |2478 |7163 |2478 |7113 |2375 | 0 | 0 | 9.587323e+02 | -- | Inf
185.63/185.70 c 186s| 1 | 0 | 85934 | - | 98M| 0 |1873 |2478 |7163 |2478 |7150 |2412 | 0 | 0 | 9.606316e+02 | -- | Inf
192.04/192.16 c 192s| 1 | 0 | 88802 | - | 100M| 0 |1891 |2478 |7163 |2478 |7183 |2445 | 0 | 0 | 9.628157e+02 | -- | Inf
201.84/201.99 c 202s| 1 | 0 | 92644 | - | 102M| 0 |1862 |2478 |7163 |2478 |7231 |2493 | 0 | 0 | 9.722833e+02 | -- | Inf
209.33/209.46 c 209s| 1 | 0 | 95721 | - | 103M| 0 |1838 |2478 |7163 |2478 |7276 |2538 | 0 | 0 | 9.756948e+02 | -- | Inf
217.54/217.68 c 218s| 1 | 0 | 98935 | - | 106M| 0 |1886 |2478 |7163 |2478 |7176 |2603 | 0 | 0 | 9.897423e+02 | -- | Inf
221.73/221.80 c 222s| 1 | 0 |101060 | - | 109M| 0 |1760 |2478 |7163 |2478 |7209 |2636 | 0 | 0 | 9.919265e+02 | -- | Inf
226.93/227.03 c 227s| 1 | 0 |103810 | - | 110M| 0 |1973 |2478 |7163 |2478 |7262 |2689 | 0 | 0 | 9.936607e+02 | -- | Inf
232.42/232.59 c 232s| 1 | 0 |106309 | - | 112M| 0 |1956 |2478 |7163 |2478 |7297 |2724 | 0 | 0 | 9.955835e+02 | -- | Inf
241.23/241.35 c 241s| 1 | 0 |110158 | - | 113M| 0 |1925 |2478 |7163 |2478 |7353 |2780 | 0 | 0 | 1.002241e+03 | -- | Inf
246.03/246.11 c 246s| 1 | 0 |112393 | - | 115M| 0 |1946 |2478 |7163 |2478 |7396 |2823 | 0 | 0 | 1.005870e+03 | -- | Inf
251.32/251.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.32/251.42 c 251s| 1 | 0 |114626 | - | 119M| 0 |1962 |2478 |7163 |2478 |7258 |2854 | 0 | 0 | 1.006744e+03 | -- | Inf
259.92/260.09 c 260s| 1 | 0 |117988 | - | 120M| 0 |1958 |2478 |7163 |2478 |7301 |2897 | 0 | 0 | 1.009397e+03 | -- | Inf
267.72/267.88 c 268s| 1 | 0 |121228 | - | 123M| 0 |1993 |2478 |7163 |2478 |7330 |2926 | 0 | 0 | 1.010290e+03 | -- | Inf
276.51/276.69 c 277s| 1 | 0 |124913 | - | 125M| 0 |1961 |2478 |7163 |2478 |7365 |2961 | 0 | 0 | 1.013699e+03 | -- | Inf
287.52/287.64 c 288s| 1 | 0 |128795 | - | 125M| 0 |1927 |2478 |7163 |2478 |7420 |3016 | 0 | 0 | 1.023515e+03 | -- | Inf
297.91/298.09 c 298s| 1 | 0 |133147 | - | 127M| 0 |1972 |2478 |7163 |2478 |7467 |3063 | 0 | 0 | 1.030054e+03 | -- | Inf
304.00/304.10 c 304s| 1 | 0 |135948 | - | 129M| 0 |1960 |2478 |7163 |2478 |7271 |3112 | 0 | 0 | 1.034441e+03 | -- | Inf
308.92/309.00 c 309s| 1 | 0 |138095 | - | 130M| 0 |2013 |2478 |7163 |2478 |7316 |3157 | 0 | 0 | 1.036031e+03 | -- | Inf
318.21/318.33 c 318s| 1 | 0 |141633 | - | 131M| 0 |1992 |2478 |7163 |2478 |7363 |3204 | 0 | 0 | 1.039860e+03 | -- | Inf
323.60/323.79 c 324s| 1 | 0 |143942 | - | 132M| 0 |2040 |2478 |7163 |2478 |7409 |3250 | 0 | 0 | 1.042433e+03 | -- | Inf
335.20/335.40 c 335s| 1 | 0 |148375 | - | 133M| 0 |1914 |2478 |7163 |2478 |7471 |3312 | 0 | 0 | 1.052756e+03 | -- | Inf
340.91/341.05 c 341s| 1 | 0 |151104 | - | 135M| 0 |1960 |2478 |7163 |2478 |7512 |3353 | 0 | 0 | 1.056792e+03 | -- | Inf
346.01/346.13 c 346s| 1 | 0 |153386 | - | 138M| 0 |1925 |2478 |7163 |2478 |7371 |3390 | 0 | 0 | 1.059359e+03 | -- | Inf
351.30/351.49 c 351s| 1 | 0 |155792 | - | 141M| 0 |1964 |2478 |7163 |2478 |7404 |3423 | 0 | 0 | 1.060360e+03 | -- | Inf
358.80/358.97 c 359s| 1 | 0 |159024 | - | 142M| 0 |1961 |2478 |7163 |2478 |7457 |3476 | 0 | 0 | 1.063059e+03 | -- | Inf
365.00/365.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.00/365.14 c 365s| 1 | 0 |161899 | - | 144M| 0 |1935 |2478 |7163 |2478 |7499 |3518 | 0 | 0 | 1.066451e+03 | -- | Inf
370.80/370.90 c 371s| 1 | 0 |164499 | - | 145M| 0 |2023 |2478 |7163 |2478 |7558 |3577 | 0 | 0 | 1.068204e+03 | -- | Inf
376.59/376.78 c 377s| 1 | 0 |166928 | - | 147M| 0 |2001 |2478 |7163 |2478 |7603 |3622 | 0 | 0 | 1.069573e+03 | -- | Inf
386.19/386.31 c 386s| 1 | 0 |171028 | - | 149M| 0 |1992 |2478 |7163 |2478 |7403 |3669 | 0 | 0 | 1.071463e+03 | -- | Inf
393.49/393.61 c 393s| 1 | 0 |173937 | - | 150M| 0 |2059 |2478 |7163 |2478 |7446 |3712 | 0 | 0 | 1.072350e+03 | -- | Inf
402.87/403.02 c 403s| 1 | 0 |177476 | - | 151M| 0 |1968 |2478 |7163 |2478 |7511 |3777 | 0 | 0 | 1.079221e+03 | -- | Inf
410.57/410.70 c 411s| 1 | 0 |181104 | - | 153M| 0 |2066 |2478 |7163 |2478 |7564 |3830 | 0 | 0 | 1.081503e+03 | -- | Inf
421.47/421.62 c 422s| 1 | 0 |185504 | - | 153M| 0 |1929 |2478 |7163 |2478 |7626 |3892 | 0 | 0 | 1.093755e+03 | -- | Inf
427.46/427.68 c 428s| 1 | 0 |188286 | - | 154M| 0 |1978 |2478 |7163 |2478 |7674 |3940 | 0 | 0 | 1.096686e+03 | -- | Inf
434.57/434.77 c 435s| 1 | 0 |191367 | - | 156M| 0 |2044 |2478 |7163 |2478 |7475 |3989 | 0 | 0 | 1.100247e+03 | -- | Inf
443.67/443.85 c 444s| 1 | 0 |195521 | - | 157M| 0 |2043 |2478 |7163 |2478 |7522 |4036 | 0 | 0 | 1.104392e+03 | -- | Inf
449.17/449.38 c 449s| 1 | 0 |197724 | - | 159M| 0 |2092 |2478 |7163 |2478 |7573 |4087 | 0 | 0 | 1.106824e+03 | -- | Inf
453.47/453.68 c 454s| 1 | 0 |199766 | - | 161M| 0 |2088 |2478 |7163 |2478 |7606 |4120 | 0 | 0 | 1.109211e+03 | -- | Inf
458.13/458.55 c 458s| 1 | 0 |201800 | - | 162M| 0 |2080 |2478 |7163 |2478 |7641 |4155 | 0 | 0 | 1.110945e+03 | -- | Inf
462.61/463.01 c 463s| 1 | 0 |203767 | - | 164M| 0 |2080 |2478 |7163 |2478 |7674 |4188 | 0 | 0 | 1.112688e+03 | -- | Inf
467.80/468.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.80/468.27 c 468s| 1 | 0 |205799 | - | 166M| 0 |2072 |2478 |7163 |2478 |7468 |4232 | 0 | 0 | 1.114949e+03 | -- | Inf
474.80/475.20 c 475s| 1 | 0 |209012 | - | 168M| 0 |2050 |2478 |7163 |2478 |7501 |4265 | 0 | 0 | 1.116302e+03 | -- | Inf
480.99/481.43 c 481s| 1 | 0 |211875 | - | 169M| 0 |2122 |2478 |7163 |2478 |7555 |4319 | 0 | 0 | 1.119565e+03 | -- | Inf
486.59/487.09 c 487s| 1 | 0 |214378 | - | 171M| 0 |2147 |2478 |7163 |2478 |7594 |4358 | 0 | 0 | 1.121535e+03 | -- | Inf
498.09/498.50 c 498s| 1 | 0 |218810 | - | 171M| 0 |2082 |2478 |7163 |2478 |7651 |4415 | 0 | 0 | 1.129678e+03 | -- | Inf
506.28/506.70 c 507s| 1 | 0 |222301 | - | 172M| 0 |2065 |2478 |7163 |2478 |7706 |4470 | 0 | 0 | 1.134833e+03 | -- | Inf
511.78/512.25 c 512s| 1 | 0 |224792 | - | 173M| 0 |2054 |2478 |7163 |2478 |7481 |4518 | 0 | 0 | 1.136805e+03 | -- | Inf
516.69/517.18 c 517s| 1 | 0 |226906 | - | 174M| 0 |2122 |2478 |7163 |2478 |7516 |4553 | 0 | 0 | 1.137915e+03 | -- | Inf
521.99/522.44 c 522s| 1 | 0 |228937 | - | 175M| 0 |2108 |2478 |7163 |2478 |7562 |4599 | 0 | 0 | 1.139370e+03 | -- | Inf
527.88/528.39 c 528s| 1 | 0 |231178 | - | 175M| 0 |2163 |2478 |7163 |2478 |7604 |4641 | 0 | 0 | 1.144682e+03 | -- | Inf
533.59/534.02 c 534s| 1 | 0 |233118 | - | 176M| 0 |2100 |2478 |7163 |2478 |7642 |4679 | 0 | 0 | 1.149106e+03 | -- | Inf
542.88/543.34 c 543s| 1 | 0 |237269 | - | 176M| 0 |2090 |2478 |7163 |2478 |7685 |4722 | 0 | 0 | 1.152950e+03 | -- | Inf
549.08/549.50 c 549s| 1 | 0 |239764 | - | 178M| 0 |2073 |2478 |7163 |2478 |7551 |4759 | 0 | 0 | 1.155327e+03 | -- | Inf
552.58/553.04 c 553s| 1 | 0 |241687 | - | 178M| 0 |2031 |2478 |7163 |2478 |7582 |4790 | 0 | 0 | 1.156969e+03 | -- | Inf
556.37/556.83 c 557s| 1 | 0 |243683 | - | 179M| 0 |2046 |2478 |7163 |2478 |7618 |4826 | 0 | 0 | 1.157865e+03 | -- | Inf
562.88/563.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.88/563.37 c 563s| 1 | 0 |246754 | - | 180M| 0 |2178 |2478 |7163 |2478 |7657 |4865 | 0 | 0 | 1.158896e+03 | -- | Inf
571.37/571.83 c 572s| 1 | 0 |250054 | - | 181M| 0 |2095 |2478 |7163 |2478 |7710 |4918 | 0 | 0 | 1.165026e+03 | -- | Inf
578.17/578.65 c 579s| 1 | 0 |253335 | - | 183M| 0 |2123 |2478 |7163 |2478 |7738 |4946 | 0 | 0 | 1.167710e+03 | -- | Inf
588.87/589.34 c 589s| 1 | 0 |257931 | - | 184M| 0 |2102 |2478 |7163 |2478 |7493 |4973 | 0 | 0 | 1.170869e+03 | -- | Inf
593.77/594.20 c 594s| 1 | 0 |259760 | - | 185M| 0 |2088 |2478 |7163 |2478 |7526 |5006 | 0 | 0 | 1.171604e+03 | -- | Inf
601.36/601.89 c 602s| 1 | 0 |262712 | - | 185M| 0 |2055 |2478 |7163 |2478 |7592 |5072 | 0 | 0 | 1.178231e+03 | -- | Inf
606.57/607.07 c 607s| 1 | 0 |264986 | - | 186M| 0 |2076 |2478 |7163 |2478 |7622 |5102 | 0 | 0 | 1.182238e+03 | -- | Inf
611.96/612.44 c 612s| 1 | 0 |267190 | - | 187M| 0 |2071 |2478 |7163 |2478 |7658 |5138 | 0 | 0 | 1.184872e+03 | -- | Inf
615.36/615.86 c 616s| 1 | 0 |268460 | - | 188M| 0 |2055 |2478 |7163 |2478 |7681 |5161 | 0 | 0 | 1.185239e+03 | -- | Inf
621.16/621.63 c 622s| 1 | 0 |270517 | - | 189M| 0 |2149 |2478 |7163 |2478 |7564 |5217 | 0 | 0 | 1.189037e+03 | -- | Inf
627.16/627.66 c 628s| 1 | 0 |272977 | - | 189M| 0 |2086 |2478 |7163 |2478 |7592 |5245 | 0 | 0 | 1.191431e+03 | -- | Inf
631.47/631.91 c 632s| 1 | 0 |275393 | - | 190M| 0 |2087 |2478 |7163 |2478 |7616 |5269 | 0 | 0 | 1.192225e+03 | -- | Inf
635.06/635.55 c 635s| 1 | 0 |277078 | - | 185M| 0 |2073 |2478 |7163 |2478 |7648 |5301 | 0 | 0 | 1.193333e+03 | -- | Inf
640.46/640.94 c 641s| 1 | 0 |279621 | - | 183M| 0 |2072 |2478 |7163 |2478 |7694 |5347 | 0 | 0 | 1.196847e+03 | -- | Inf
646.15/646.61 c 646s| 1 | 0 |282429 | - | 178M| 0 |2048 |2478 |7163 |2478 |7730 |5383 | 0 | 0 | 1.198674e+03 | -- | Inf
649.65/650.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.65/650.17 c 650s| 1 | 0 |284433 | - | 176M| 0 |2064 |2478 |7163 |2478 |7520 |5416 | 0 | 0 | 1.200810e+03 | -- | Inf
653.36/653.85 c 654s| 1 | 0 |286178 | - | 175M| 0 |2036 |2478 |7163 |2478 |7544 |5440 | 0 | 0 | 1.202242e+03 | -- | Inf
656.66/657.20 c 657s| 1 | 0 |288002 | - | 174M| 0 |2115 |2478 |7163 |2478 |7569 |5465 | 0 | 0 | 1.202908e+03 | -- | Inf
661.55/662.00 c 662s| 1 | 0 |290010 | - | 171M| 0 |2069 |2478 |7163 |2478 |7600 |5496 | 0 | 0 | 1.204568e+03 | -- | Inf
663.95/664.48 c 664s| 1 | 0 |290846 | - | 169M| 0 |2078 |2478 |7163 |2478 |7624 |5520 | 0 | 0 | 1.204812e+03 | -- | Inf
667.35/667.82 c 668s| 1 | 0 |292485 | - | 165M| 0 |2090 |2478 |7163 |2478 |7640 |5536 | 0 | 0 | 1.204969e+03 | -- | Inf
674.14/674.66 c 675s| 1 | 0 |295590 | - | 162M| 0 |2142 |2478 |7163 |2478 |7482 |5558 | 0 | 0 | 1.206149e+03 | -- | Inf
679.05/679.58 c 679s| 1 | 0 |297244 | - | 157M| 0 |2074 |2478 |7163 |2478 |7516 |5592 | 0 | 0 | 1.207251e+03 | -- | Inf
683.65/684.13 c 684s| 1 | 0 |299259 | - | 155M| 0 |2078 |2478 |7163 |2478 |7542 |5618 | 0 | 0 | 1.208670e+03 | -- | Inf
688.84/689.32 c 689s| 1 | 0 |301520 | - | 154M| 0 |2062 |2478 |7163 |2478 |7583 |5659 | 0 | 0 | 1.212382e+03 | -- | Inf
695.04/695.54 c 695s| 1 | 0 |304007 | - | 152M| 0 |2046 |2478 |7163 |2478 |7627 |5703 | 0 | 0 | 1.215868e+03 | -- | Inf
698.65/699.18 c 699s| 1 | 0 |305870 | - | 150M| 0 |1978 |2478 |7163 |2478 |7662 |5738 | 0 | 0 | 1.216945e+03 | -- | Inf
701.64/702.12 c 702s| 1 | 0 |307278 | - | 149M| 0 |2029 |2478 |7163 |2478 |7532 |5760 | 0 | 0 | 1.217415e+03 | -- | Inf
704.84/705.37 c 705s| 1 | 0 |308430 | - | 147M| 0 |2112 |2478 |7163 |2478 |7551 |5779 | 0 | 0 | 1.217848e+03 | -- | Inf
711.44/711.96 c 712s| 1 | 0 |311106 | - | 144M| 0 |2034 |2478 |7163 |2478 |7602 |5830 | 0 | 0 | 1.223538e+03 | -- | Inf
715.13/715.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.13/715.66 c 716s| 1 | 0 |313249 | - | 144M| 0 |2083 |2478 |7163 |2478 |7621 |5849 | 0 | 0 | 1.224102e+03 | -- | Inf
718.34/718.83 c 719s| 1 | 0 |315013 | - | 145M| 0 |2068 |2478 |7163 |2478 |7640 |5868 | 0 | 0 | 1.224623e+03 | -- | Inf
721.64/722.13 c 722s| 1 | 0 |316527 | - | 145M| 0 |2106 |2478 |7163 |2478 |7655 |5883 | 0 | 0 | 1.225048e+03 | -- | Inf
726.83/727.30 c 727s| 1 | 0 |318576 | - | 143M| 0 |2083 |2478 |7163 |2478 |7546 |5920 | 0 | 0 | 1.226893e+03 | -- | Inf
734.04/734.55 c 734s| 1 | 0 |321871 | - | 142M| 0 |2032 |2478 |7163 |2478 |7575 |5949 | 0 | 0 | 1.229269e+03 | -- | Inf
736.94/737.46 c 737s| 1 | 0 |323356 | - | 142M| 0 |2046 |2478 |7163 |2478 |7594 |5968 | 0 | 0 | 1.230041e+03 | -- | Inf
741.93/742.41 c 742s| 1 | 0 |324974 | - | 141M| 0 |2054 |2478 |7163 |2478 |7613 |5987 | 0 | 0 | 1.231114e+03 | -- | Inf
746.84/747.31 c 747s| 1 | 0 |326889 | - | 140M| 0 |2040 |2478 |7163 |2478 |7633 |6007 | 0 | 0 | 1.232561e+03 | -- | Inf
751.03/751.52 c 751s| 1 | 0 |328244 | - | 139M| 0 |2049 |2478 |7163 |2478 |7685 |6059 | 0 | 0 | 1.233797e+03 | -- | Inf
755.63/756.13 c 756s| 1 | 0 |330070 | - | 138M| 0 |2056 |2478 |7163 |2478 |7532 |6080 | 0 | 0 | 1.234642e+03 | -- | Inf
757.93/758.48 c 758s| 1 | 0 |331291 | - | 138M| 0 |2049 |2478 |7163 |2478 |7549 |6097 | 0 | 0 | 1.235407e+03 | -- | Inf
760.43/760.95 c 761s| 1 | 0 |332803 | - | 138M| 0 |2066 |2478 |7163 |2478 |7566 |6114 | 0 | 0 | 1.236225e+03 | -- | Inf
763.33/763.89 c 764s| 1 | 0 |334532 | - | 138M| 0 |2056 |2478 |7163 |2478 |7589 |6137 | 0 | 0 | 1.236811e+03 | -- | Inf
768.13/768.66 c 769s| 1 | 0 |336475 | - | 138M| 0 |2090 |2478 |7163 |2478 |7621 |6169 | 0 | 0 | 1.237851e+03 | -- | Inf
771.13/771.65 c 772s| 1 | 0 |338375 | - | 137M| 0 |2103 |2478 |7163 |2478 |7648 |6196 | 0 | 0 | 1.238852e+03 | -- | Inf
776.22/776.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.22/776.79 c 777s| 1 | 0 |340419 | - | 136M| 0 |2076 |2478 |7163 |2478 |7545 |6241 | 0 | 0 | 1.241772e+03 | -- | Inf
780.23/780.77 c 781s| 1 | 0 |341471 | - | 134M| 0 |2070 |2478 |7163 |2478 |7562 |6258 | 0 | 0 | 1.242920e+03 | -- | Inf
784.23/784.78 c 785s| 1 | 0 |343010 | - | 132M| 0 |2083 |2478 |7163 |2478 |7578 |6274 | 0 | 0 | 1.243873e+03 | -- | Inf
787.02/787.52 c 787s| 1 | 0 |344009 | - | 131M| 0 |2108 |2478 |7163 |2478 |7592 |6288 | 0 | 0 | 1.243964e+03 | -- | Inf
791.22/791.72 c 792s| 1 | 0 |345260 | - | 129M| 0 |2090 |2478 |7163 |2478 |7603 |6299 | 0 | 0 | 1.244673e+03 | -- | Inf
793.31/793.86 c 794s| 1 | 0 |346042 | - | 127M| 0 |2099 |2478 |7163 |2478 |7618 |6314 | 0 | 0 | 1.245095e+03 | -- | Inf
797.12/797.63 c 798s| 1 | 0 |348215 | - | 126M| 0 |2110 |2478 |7163 |2478 |7488 |6328 | 0 | 0 | 1.245862e+03 | -- | Inf
802.42/802.97 c 803s| 1 | 0 |350656 | - | 125M| 0 |2099 |2478 |7163 |2478 |7510 |6350 | 0 | 0 | 1.247578e+03 | -- | Inf
805.82/806.38 c 806s| 1 | 0 |351990 | - | 124M| 0 |2098 |2478 |7163 |2478 |7526 |6366 | 0 | 0 | 1.248149e+03 | -- | Inf
810.32/810.86 c 811s| 1 | 0 |353381 | - | 123M| 0 |2078 |2478 |7163 |2478 |7538 |6378 | 0 | 0 | 1.248519e+03 | -- | Inf
813.31/813.84 c 814s| 1 | 0 |354858 | - | 122M| 0 |2084 |2478 |7163 |2478 |7557 |6397 | 0 | 0 | 1.248779e+03 | -- | Inf
815.21/815.72 c 816s| 1 | 0 |355404 | - | 119M| 0 |2081 |2478 |7163 |2478 |7573 |6413 | 0 | 0 | 1.248893e+03 | -- | Inf
820.71/821.26 c 821s| 1 | 0 |357553 | - | 118M| 0 |2098 |2478 |7163 |2478 |7454 |6431 | 0 | 0 | 1.249553e+03 | -- | Inf
824.62/825.11 c 825s| 1 | 0 |358904 | - | 115M| 0 |2095 |2478 |7163 |2478 |7480 |6457 | 0 | 0 | 1.249902e+03 | -- | Inf
827.71/828.25 c 828s| 1 | 0 |359584 | - | 114M| 0 |2104 |2478 |7163 |2478 |7496 |6473 | 0 | 0 | 1.250443e+03 | -- | Inf
830.71/831.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
830.71/831.24 c 831s| 1 | 0 |360190 | - | 113M| 0 |2094 |2478 |7163 |2478 |7505 |6482 | 0 | 0 | 1.250672e+03 | -- | Inf
834.51/835.09 c 835s| 1 | 0 |360742 | - | 112M| 0 |2087 |2478 |7163 |2478 |7513 |6490 | 0 | 0 | 1.250867e+03 | -- | Inf
837.91/838.41 c 838s| 1 | 0 |361661 | - | 110M| 0 |2090 |2478 |7163 |2478 |7525 |6502 | 0 | 0 | 1.251161e+03 | -- | Inf
842.80/843.32 c 843s| 1 | 0 |363351 | - | 109M| 0 |2097 |2478 |7163 |2478 |7455 |6514 | 0 | 0 | 1.252095e+03 | -- | Inf
847.51/848.08 c 848s| 1 | 0 |364806 | - | 109M| 0 |2083 |2478 |7163 |2478 |7461 |6520 | 0 | 0 | 1.252621e+03 | -- | Inf
852.01/852.54 c 852s| 1 | 0 |366283 | - | 108M| 0 |2078 |2478 |7163 |2478 |7478 |6537 | 0 | 0 | 1.253912e+03 | -- | Inf
853.61/854.11 c 854s| 1 | 0 |366629 | - | 107M| 0 |2072 |2478 |7163 |2478 |7490 |6549 | 0 | 0 | 1.253993e+03 | -- | Inf
855.21/855.74 c 856s| 1 | 0 |366946 | - | 106M| 0 |2075 |2478 |7163 |2478 |7493 |6552 | 0 | 0 | 1.254029e+03 | -- | Inf
859.01/859.59 c 859s| 1 | 0 |367720 | - | 102M| 0 |2085 |2478 |7163 |2478 |7501 |6560 | 0 | 0 | 1.254186e+03 | -- | Inf
862.60/863.19 c 863s| 1 | 0 |368132 | - | 100M| 0 |2075 |2478 |7163 |2478 |7418 |6567 | 0 | 0 | 1.254218e+03 | -- | Inf
867.11/867.68 c 868s| 1 | 0 |369179 | - | 99M| 0 |2068 |2478 |7163 |2478 |7422 |6571 | 0 | 0 | 1.254328e+03 | -- | Inf
871.70/872.25 c 872s| 1 | 0 |370407 | - | 97M| 0 |2080 |2478 |7163 |2478 |7430 |6579 | 0 | 0 | 1.254428e+03 | -- | Inf
875.40/875.97 c 876s| 1 | 0 |370901 | - | 97M| 0 |2057 |2478 |7163 |2478 |7438 |6587 | 0 | 0 | 1.254482e+03 | -- | Inf
880.90/881.45 c 881s| 1 | 0 |372999 | - | 96M| 0 |2084 |2478 |7163 |2478 |7461 |6610 | 0 | 0 | 1.255260e+03 | -- | Inf
884.10/884.65 c 885s| 1 | 0 |373286 | - | 95M| 0 |2076 |2478 |7163 |2478 |7473 |6622 | 0 | 0 | 1.255358e+03 | -- | Inf
887.50/888.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.50/888.07 c 888s| 1 | 0 |373606 | - | 93M| 0 |2083 |2478 |7163 |2478 |7420 |6630 | 0 | 0 | 1.255563e+03 | -- | Inf
891.10/891.64 c 892s| 1 | 0 |374073 | - | 91M| 0 |2073 |2478 |7163 |2478 |7429 |6639 | 0 | 0 | 1.255893e+03 | -- | Inf
895.40/895.95 c 896s| 1 | 0 |375417 | - | 91M| 0 |2092 |2478 |7163 |2478 |7439 |6649 | 0 | 0 | 1.256010e+03 | -- | Inf
900.70/901.26 c 901s| 1 | 0 |377143 | - | 89M| 0 |2040 |2478 |7163 |2478 |7456 |6666 | 0 | 0 | 1.256645e+03 | -- | Inf
902.69/903.25 c 903s| 1 | 0 |377984 | - | 90M| 0 |2075 |2478 |7163 |2478 |7474 |6684 | 0 | 0 | 1.256848e+03 | -- | Inf
907.00/907.50 c 907s| 1 | 0 |379006 | - | 88M| 0 |2077 |2478 |7163 |2478 |7482 |6692 | 0 | 0 | 1.256987e+03 | -- | Inf
911.49/912.05 c 912s| 1 | 0 |380308 | - | 87M| 0 |2070 |2478 |7163 |2478 |7458 |6712 | 0 | 0 | 1.257757e+03 | -- | Inf
913.39/913.99 c 914s| 1 | 0 |380703 | - | 87M| 0 |2059 |2478 |7163 |2478 |7472 |6726 | 0 | 0 | 1.257769e+03 | -- | Inf
916.69/917.29 c 917s| 1 | 0 |380991 | - | 85M| 0 |2081 |2478 |7163 |2478 |7479 |6733 | 0 | 0 | 1.258222e+03 | -- | Inf
921.99/922.55 c 922s| 1 | 0 |382776 | - | 83M| 0 |2099 |2478 |7163 |2478 |7489 |6743 | 0 | 0 | 1.258547e+03 | -- | Inf
924.39/924.93 c 925s| 1 | 0 |383368 | - | 82M| 0 |2057 |2478 |7163 |2478 |7500 |6754 | 0 | 0 | 1.258631e+03 | -- | Inf
926.09/926.63 c 927s| 1 | 0 |383944 | - | 82M| 0 |2067 |2478 |7163 |2478 |7510 |6764 | 0 | 0 | 1.258671e+03 | -- | Inf
930.78/931.33 c 931s| 1 | 0 |385611 | - | 80M| 0 |2090 |2478 |7163 |2478 |7465 |6777 | 0 | 0 | 1.259415e+03 | -- | Inf
934.58/935.12 c 935s| 1 | 0 |386098 | - | 78M| 0 |2079 |2478 |7163 |2478 |7477 |6789 | 0 | 0 | 1.259441e+03 | -- | Inf
938.69/939.24 c 939s| 1 | 0 |386776 | - | 77M| 0 |2097 |2478 |7163 |2478 |7489 |6801 | 0 | 0 | 1.259588e+03 | -- | Inf
942.69/943.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.69/943.27 c 943s| 1 | 0 |387660 | - | 75M| 0 |2111 |2478 |7163 |2478 |7495 |6807 | 0 | 0 | 1.259686e+03 | -- | Inf
945.38/945.90 c 946s| 1 | 0 |387681 | - | 75M| 0 |2108 |2478 |7163 |2478 |7497 |6809 | 0 | 0 | 1.259686e+03 | -- | Inf
948.28/948.86 c 949s| 1 | 0 |388022 | - | 74M| 0 |2084 |2478 |7163 |2478 |7498 |6810 | 0 | 0 | 1.259698e+03 | -- | Inf
950.88/951.41 c 951s| 1 | 0 |388196 | - | 73M| 0 |2070 |2478 |7163 |2478 |7432 |6812 | 0 | 0 | 1.259703e+03 | -- | Inf
954.68/955.29 c 955s| 1 | 0 |389229 | - | 73M| 0 |2091 |2478 |7163 |2478 |7436 |6816 | 0 | 0 | 1.259820e+03 | -- | Inf
958.18/958.77 c 959s| 1 | 0 |389335 | - | 72M| 0 |2081 |2478 |7163 |2478 |7437 |6817 | 0 | 0 | 1.259831e+03 | -- | Inf
962.18/962.72 c 963s| 1 | 0 |389833 | - | 71M| 0 |2100 |2478 |7163 |2478 |7439 |6819 | 0 | 0 | 1.259874e+03 | -- | Inf
967.08/967.64 c 968s| 1 | 0 |391652 | - | 71M| 0 |2058 |2478 |7163 |2478 |7461 |6841 | 0 | 0 | 1.260825e+03 | -- | Inf
971.07/971.63 c 972s| 1 | 0 |394214 | - | 71M| 0 |2090 |2478 |7163 |2478 |7475 |6855 | 0 | 0 | 1.261762e+03 | -- | Inf
975.59/976.19 c 976s| 1 | 0 |395367 | - | 70M| 0 |2096 |2478 |7163 |2478 |7423 |6865 | 0 | 0 | 1.262124e+03 | -- | Inf
979.27/979.84 c 980s| 1 | 0 |396301 | - | 69M| 0 |2087 |2478 |7163 |2478 |7434 |6876 | 0 | 0 | 1.262165e+03 | -- | Inf
983.77/984.32 c 984s| 1 | 0 |397433 | - | 68M| 0 |2005 |2478 |7163 |2478 |7449 |6891 | 0 | 0 | 1.262422e+03 | -- | Inf
987.97/988.53 c 988s| 1 | 0 |398982 | - | 68M| 0 |2039 |2478 |7163 |2478 |7462 |6904 | 0 | 0 | 1.262643e+03 | -- | Inf
992.87/993.43 c 993s| 1 | 0 |400652 | - | 68M| 0 |2083 |2478 |7163 |2478 |7474 |6916 | 0 | 0 | 1.262955e+03 | -- | Inf
996.58/997.16 c 997s| 1 | 0 |400926 | - | 66M| 0 |2082 |2478 |7163 |2478 |7480 |6922 | 0 | 0 | 1.262965e+03 | -- | Inf
1001.67/1002.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.67/1002.26 c 1002s| 1 | 0 |402677 | - | 65M| 0 |2073 |2478 |7163 |2478 |7477 |6939 | 0 | 0 | 1.263513e+03 | -- | Inf
1005.97/1006.53 c 1006s| 1 | 0 |403994 | - | 64M| 0 |2087 |2478 |7163 |2478 |7491 |6953 | 0 | 0 | 1.263985e+03 | -- | Inf
1009.36/1009.94 c 1010s| 1 | 0 |404744 | - | 64M| 0 |2075 |2478 |7163 |2478 |7515 |6977 | 0 | 0 | 1.265399e+03 | -- | Inf
1011.47/1012.01 c 1012s| 1 | 0 |405502 | - | 63M| 0 |2084 |2478 |7163 |2478 |7523 |6985 | 0 | 0 | 1.265505e+03 | -- | Inf
1016.37/1016.92 c 1017s| 1 | 0 |406716 | - | 63M| 0 |2105 |2478 |7163 |2478 |7531 |6993 | 0 | 0 | 1.266088e+03 | -- | Inf
1021.56/1022.10 c 1022s| 1 | 0 |407852 | - | 63M| 0 |2120 |2478 |7163 |2478 |7539 |7001 | 0 | 0 | 1.266456e+03 | -- | Inf
1027.16/1027.71 c 1028s| 1 | 0 |409768 | - | 62M| 0 |2140 |2478 |7163 |2478 |7463 |7007 | 0 | 0 | 1.266956e+03 | -- | Inf
1031.67/1032.29 c 1032s| 1 | 0 |410796 | - | 61M| 0 |2112 |2478 |7163 |2478 |7467 |7011 | 0 | 0 | 1.267470e+03 | -- | Inf
1036.76/1037.32 c 1037s| 1 | 0 |412189 | - | 60M| 0 |2109 |2478 |7163 |2478 |7469 |7013 | 0 | 0 | 1.267524e+03 | -- | Inf
1039.96/1040.53 c 1040s| 1 | 0 |412862 | - | 60M| 0 |2123 |2478 |7163 |2478 |7475 |7019 | 0 | 0 | 1.267655e+03 | -- | Inf
1046.36/1046.97 c 1047s| 1 | 0 |415790 | - | 60M| 0 |2111 |2478 |7163 |2478 |7480 |7024 | 0 | 0 | 1.268545e+03 | -- | Inf
1051.26/1051.85 c 1052s| 1 | 0 |417596 | - | 60M| 0 |2141 |2478 |7163 |2478 |7485 |7029 | 0 | 0 | 1.269234e+03 | -- | Inf
1055.75/1056.37 c 1056s| 1 | 0 |418174 | - | 58M| 0 |2070 |2478 |7163 |2478 |7439 |7050 | 0 | 0 | 1.269290e+03 | -- | Inf
1060.46/1061.06 c 1061s| 1 | 0 |419790 | - | 57M| 0 |2112 |2478 |7163 |2478 |7449 |7060 | 0 | 0 | 1.269494e+03 | -- | Inf
1063.15/1063.74 c 1064s| 1 | 0 |420861 | - | 56M| 0 |2103 |2478 |7163 |2478 |7463 |7074 | 0 | 0 | 1.269893e+03 | -- | Inf
1065.25/1065.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.25/1065.81 c 1066s| 1 | 0 |421343 | - | 56M| 0 |2078 |2478 |7163 |2478 |7471 |7082 | 0 | 0 | 1.269922e+03 | -- | Inf
1068.85/1069.50 c 1069s| 1 | 0 |421783 | - | 56M| 0 |2127 |2478 |7163 |2478 |7476 |7087 | 0 | 0 | 1.270151e+03 | -- | Inf
1073.15/1073.73 c 1074s| 1 | 0 |422254 | - | 55M| 0 |2122 |2478 |7163 |2478 |7483 |7094 | 0 | 0 | 1.270153e+03 | -- | Inf
1077.96/1078.55 c 1078s| 1 | 0 |423467 | - | 54M| 0 |2059 |2478 |7163 |2478 |7460 |7103 | 0 | 0 | 1.270378e+03 | -- | Inf
1082.26/1082.80 c 1083s| 1 | 0 |424455 | - | 55M| 0 |2108 |2478 |7163 |2478 |7467 |7110 | 0 | 0 | 1.270480e+03 | -- | Inf
1089.35/1089.98 c 1090s| 1 | 0 |427263 | - | 54M| 0 |2094 |2478 |7163 |2478 |7474 |7117 | 0 | 0 | 1.270635e+03 | -- | Inf
1094.84/1095.49 c 1095s| 1 | 0 |429659 | - | 54M| 0 |2077 |2478 |7163 |2478 |7483 |7126 | 0 | 0 | 1.270805e+03 | -- | Inf
1099.85/1100.44 c 1100s| 1 | 0 |431493 | - | 54M| 0 |2051 |2478 |7163 |2478 |7493 |7136 | 0 | 0 | 1.271195e+03 | -- | Inf
1102.85/1103.44 c 1103s| 1 | 0 |432797 | - | 53M| 0 |2065 |2478 |7163 |2478 |7507 |7150 | 0 | 0 | 1.271266e+03 | -- | Inf
1108.45/1109.05 c 1109s| 1 | 0 |434674 | - | 52M| 0 |2082 |2478 |7163 |2478 |7469 |7160 | 0 | 0 | 1.272282e+03 | -- | Inf
1113.34/1113.95 c 1114s| 1 | 0 |436423 | - | 50M| 0 |2059 |2478 |7163 |2478 |7474 |7165 | 0 | 0 | 1.272423e+03 | -- | Inf
1117.84/1118.42 c 1118s| 1 | 0 |437498 | - | 50M| 0 |1993 |2478 |7163 |2478 |7478 |7169 | 0 | 0 | 1.272643e+03 | -- | Inf
1121.44/1122.08 c 1122s| 1 | 0 |438211 | - | 49M| 0 |2093 |2478 |7163 |2478 |7491 |7182 | 0 | 0 | 1.272727e+03 | -- | Inf
1126.54/1127.18 c 1127s| 1 | 0 |439470 | - | 48M| 0 |2039 |2478 |7163 |2478 |7500 |7191 | 0 | 0 | 1.273019e+03 | -- | Inf
1130.04/1130.63 c 1131s| 1 | 0 |439538 | - | 47M| 0 |2034 |2478 |7163 |2478 |7502 |7193 | 0 | 0 | 1.273019e+03 | -- | Inf
1133.74/1134.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.74/1134.37 c 1134s| 1 | 0 |439583 | - | 46M| 0 |2038 |2478 |7163 |2478 |7474 |7194 | 0 | 0 | 1.273019e+03 | -- | Inf
1137.53/1138.15 c 1138s| 1 | 0 |439712 | - | 46M| 0 |2030 |2478 |7163 |2478 |7476 |7196 | 0 | 0 | 1.273019e+03 | -- | Inf
1158.14/1158.80 c 1159s| 1 | 2 |439712 | - | 46M| 0 |2030 |2478 |7163 |2478 |7476 |7196 | 0 | 23 | 1.273019e+03 | -- | Inf
1789.39/1790.12 c
1789.39/1790.12 c SCIP Status : solving was interrupted [time limit reached]
1789.39/1790.12 c Solving Time (sec) : 1790.01
1789.39/1790.12 c Solving Nodes : 62
1789.39/1790.12 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.39/1790.12 c Dual Bound : +1.27464889658299e+03
1789.39/1790.12 c Gap : infinite
1789.39/1790.12 s UNKNOWN
1789.39/1790.12 c SCIP Status : solving was interrupted [time limit reached]
1789.39/1790.12 c Solving Time : 1790.01
1789.39/1790.12 c Original Problem :
1789.39/1790.12 c Problem name : HOME/instance-2703436-1278554066.opb
1789.39/1790.12 c Variables : 2666 (2666 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.39/1790.12 c Constraints : 6659 initial, 6659 maximal
1789.39/1790.12 c Presolved Problem :
1789.39/1790.12 c Problem name : t_HOME/instance-2703436-1278554066.opb
1789.39/1790.12 c Variables : 2478 (2478 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.39/1790.12 c Constraints : 6345 initial, 7197 maximal
1789.39/1790.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.39/1790.12 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.39/1790.12 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.12 c implics : 0.01 0 3 0 0 0 0 0 0
1789.39/1790.12 c probing : 0.53 2 183 0 0 0 0 0 0
1789.39/1790.12 c setppc : 0.05 0 0 0 0 0 190 0 0
1789.39/1790.12 c linear : 0.10 0 0 0 0 0 122 122 0
1789.39/1790.12 c logicor : 0.14 0 0 0 0 0 2 0 0
1789.39/1790.12 c root node : - 0 - - 0 - - - -
1789.39/1790.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.39/1790.12 c integral : 0 0 0 63 0 0 1 0 0 124
1789.39/1790.12 c setppc : 1515 227 6326 0 0 9 74 0 0 0
1789.39/1790.12 c linear : 0+ 227 2480 0 0 0 0 292 0 0
1789.39/1790.12 c logicor : 4830+ 227 4365 0 0 11 89 0 0 0
1789.39/1790.12 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.39/1790.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.39/1790.12 c integral : 418.18 0.00 0.00 418.18 0.00
1789.39/1790.12 c setppc : 0.51 0.06 0.44 0.00 0.00
1789.39/1790.12 c linear : 0.38 0.30 0.08 0.00 0.00
1789.39/1790.12 c logicor : 0.21 0.16 0.05 0.00 0.00
1789.39/1790.12 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.39/1790.12 c Propagators : Time Calls Cutoffs DomReds
1789.39/1790.12 c vbounds : 0.01 2 0 0
1789.39/1790.12 c rootredcost : 0.00 0 0 0
1789.39/1790.12 c pseudoobj : 0.30 2718 0 0
1789.39/1790.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.39/1790.12 c propagation : 0.00 18 18 24 8.0 3 11.0 -
1789.39/1790.12 c infeasible LP : 0.01 7 7 9 21.0 1 4.0 0
1789.39/1790.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.39/1790.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.39/1790.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.39/1790.12 c applied globally : - - - 34 10.8 - - -
1789.39/1790.12 c applied locally : - - - 0 0.0 - - -
1789.39/1790.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.39/1790.12 c cut pool : 9.61 226 - - 6989 - (maximal pool size: 37211)
1789.39/1790.12 c redcost : 0.07 289 0 0 0 0
1789.39/1790.12 c impliedbounds : 0.29 227 0 0 2332 0
1789.39/1790.12 c intobj : 0.00 0 0 0 0 0
1789.39/1790.12 c cgmip : 0.00 0 0 0 0 0
1789.39/1790.12 c gomory : 419.17 227 0 0 89737 0
1789.39/1790.12 c strongcg : 9.52 20 0 0 10000 0
1789.39/1790.12 c cmir : 0.88 10 0 0 0 0
1789.39/1790.12 c flowcover : 0.89 10 0 0 0 0
1789.39/1790.12 c clique : 0.55 227 0 0 70 0
1789.39/1790.12 c zerohalf : 0.00 0 0 0 0 0
1789.39/1790.12 c mcf : 0.01 1 0 0 0 0
1789.39/1790.12 c rapidlearning : 2.58 1 0 0 0 818
1789.39/1790.12 c Pricers : Time Calls Vars
1789.39/1790.12 c problem variables: 0.00 0 0
1789.39/1790.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.39/1790.12 c relpscost : 418.18 63 0 1 0 0 124
1789.39/1790.12 c pscost : 0.00 0 0 0 0 0 0
1789.39/1790.12 c inference : 0.00 0 0 0 0 0 0
1789.39/1790.12 c mostinf : 0.00 0 0 0 0 0 0
1789.39/1790.12 c leastinf : 0.00 0 0 0 0 0 0
1789.39/1790.12 c fullstrong : 0.00 0 0 0 0 0 0
1789.39/1790.12 c allfullstrong : 0.00 0 0 0 0 0 0
1789.39/1790.12 c random : 0.00 0 0 0 0 0 0
1789.39/1790.12 c Primal Heuristics : Time Calls Found
1789.39/1790.12 c LP solutions : 0.00 - 0
1789.39/1790.12 c pseudo solutions : 0.00 - 0
1789.39/1790.12 c oneopt : 0.00 0 0
1789.39/1790.12 c crossover : 0.00 0 0
1789.39/1790.12 c linesearchdiving : 6.11 1 0
1789.39/1790.13 c objpscostdiving : 90.36 1 0
1789.39/1790.13 c rootsoldiving : 18.41 1 0
1789.39/1790.13 c coefdiving : 13.18 2 0
1789.39/1790.13 c pscostdiving : 17.58 2 0
1789.39/1790.13 c fracdiving : 12.85 2 0
1789.39/1790.13 c veclendiving : 8.97 2 0
1789.39/1790.13 c trivial : 0.01 2 0
1789.39/1790.13 c simplerounding : 0.00 0 0
1789.39/1790.13 c zirounding : 0.07 62 0
1789.39/1790.13 c rounding : 0.30 132 0
1789.39/1790.13 c shifting : 2.31 100 0
1789.39/1790.13 c intshifting : 0.00 0 0
1789.39/1790.13 c twoopt : 0.00 0 0
1789.39/1790.13 c fixandinfer : 0.00 0 0
1789.39/1790.13 c feaspump : 7.86 1 0
1789.39/1790.13 c intdiving : 0.00 0 0
1789.39/1790.13 c actconsdiving : 0.00 0 0
1789.39/1790.13 c guideddiving : 0.00 0 0
1789.39/1790.13 c octane : 0.00 0 0
1789.39/1790.13 c rens : 0.01 0 0
1789.39/1790.13 c rins : 0.00 0 0
1789.39/1790.13 c localbranching : 0.00 0 0
1789.39/1790.13 c mutation : 0.00 0 0
1789.39/1790.13 c dins : 0.00 0 0
1789.39/1790.13 c undercover : 0.00 0 0
1789.39/1790.13 c nlp : 0.00 0 0
1789.39/1790.13 c trysol : 0.00 0 0
1789.39/1790.13 c LP : Time Calls Iterations Iter/call Iter/sec
1789.39/1790.13 c primal LP : 0.50 0 0 0.00 0.00
1789.39/1790.13 c dual LP : 745.03 289 489972 1695.40 657.66
1789.39/1790.13 c lex dual LP : 0.00 0 0 0.00 -
1789.39/1790.13 c barrier LP : 0.00 0 0 0.00 -
1789.39/1790.13 c diving/probing LP: 170.98 1147 138835 121.04 811.97
1789.39/1790.13 c strong branching : 418.08 819 346745 423.38 829.37
1789.39/1790.13 c (at root node) : - 23 11726 509.83 -
1789.39/1790.13 c conflict analysis: 0.00 0 0 0.00 -
1789.39/1790.13 c B&B Tree :
1789.39/1790.13 c number of runs : 1
1789.39/1790.13 c nodes : 62
1789.39/1790.13 c nodes (total) : 62
1789.39/1790.13 c nodes left : 63
1789.39/1790.13 c max depth : 13
1789.39/1790.13 c max depth (total): 13
1789.39/1790.13 c backtracks : 11 (17.7%)
1789.39/1790.13 c delayed cutoffs : 0
1789.39/1790.13 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.39/1790.13 c avg switch length: 2.61
1789.39/1790.13 c switching time : 0.04
1789.39/1790.13 c Solution :
1789.39/1790.13 c Solutions found : 0 (0 improvements)
1789.39/1790.13 c Primal Bound : -
1789.39/1790.13 c Dual Bound : +1.27464889658299e+03
1789.39/1790.13 c Gap : infinite
1789.39/1790.13 c Root Dual Bound : +1.27301878430076e+03
1789.39/1790.13 c Root Iterations : 439712
1789.49/1790.25 c Time complete: 1789.53.
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-2703436-1278554066/watcher-2703436-1278554066 -o /tmp/evaluation-result-2703436-1278554066/solver-2703436-1278554066 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703436-1278554066.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.91 3/106 28243 /proc/meminfo: memFree=1870908/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=7904 CPUtime=0 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 1055 0 0 0 0 0 0 0 25 0 1 0 23617248 8093696 966 1992294400 4194304 8395647 140734390697808 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28243/statm: 1976 974 365 1026 0 946 0 [startup+0.066141 s] /proc/loadavg: 1.00 1.00 0.91 3/106 28243 /proc/meminfo: memFree=1870908/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=14532 CPUtime=0.06 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 2924 0 0 0 5 1 0 0 25 0 1 0 23617248 14880768 2834 1992294400 4194304 8395647 140734390697808 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28243/statm: 3633 2834 393 1026 0 2603 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14532 [startup+0.101143 s] /proc/loadavg: 1.00 1.00 0.91 3/106 28243 /proc/meminfo: memFree=1870908/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=16100 CPUtime=0.09 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 3324 0 0 0 8 1 0 0 25 0 1 0 23617248 16486400 3234 1992294400 4194304 8395647 140734390697808 18446744073709551615 7291653 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28243/statm: 4025 3234 393 1026 0 2995 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16100 [startup+0.30116 s] /proc/loadavg: 1.00 1.00 0.91 3/106 28243 /proc/meminfo: memFree=1870908/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=31288 CPUtime=0.29 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 7197 0 0 0 27 2 0 0 25 0 1 0 23617248 32038912 6753 1992294400 4194304 8395647 140734390697808 18446744073709551615 4327586 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 7822 6753 477 1026 0 6792 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31288 [startup+0.701195 s] /proc/loadavg: 1.00 1.00 0.91 3/106 28243 /proc/meminfo: memFree=1870908/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=31480 CPUtime=0.69 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 7285 0 0 0 67 2 0 0 25 0 1 0 23617248 32235520 6841 1992294400 4194304 8395647 140734390697808 18446744073709551615 6085705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 7870 6841 497 1026 0 6840 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31480 [startup+1.50126 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28244 /proc/meminfo: memFree=1844488/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=42404 CPUtime=1.49 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 10131 0 0 0 145 4 0 0 25 0 1 0 23617248 43421696 9569 1992294400 4194304 8395647 140734390697808 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 10601 9569 587 1026 0 9571 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42404 [startup+3.1014 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28244 /proc/meminfo: memFree=1833700/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=44036 CPUtime=3.1 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 10547 0 0 0 305 5 0 0 25 0 1 0 23617248 45092864 9955 1992294400 4194304 8395647 140734390697808 18446744073709551615 6585993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 11009 9955 607 1026 0 9979 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 44036 [startup+6.30068 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28244 /proc/meminfo: memFree=1832212/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=44036 CPUtime=6.29 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 10714 0 0 0 623 6 0 0 25 0 1 0 23617248 45092864 10088 1992294400 4194304 8395647 140734390697808 18446744073709551615 6696781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 11009 10088 579 1026 0 9979 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44036 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28244 /proc/meminfo: memFree=1832088/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=44036 CPUtime=12.69 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 10714 0 0 0 1260 9 0 0 25 0 1 0 23617248 45092864 10088 1992294400 4194304 8395647 140734390697808 18446744073709551615 6708229 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 11009 10088 579 1026 0 9979 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44036 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28245 /proc/meminfo: memFree=1783356/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=93896 CPUtime=25.48 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 23091 0 0 0 2523 25 0 0 25 0 1 0 23617248 96149504 22343 1992294400 4194304 8395647 140734390697808 18446744073709551615 6693183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 23474 22343 630 1026 0 22444 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 93896 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28246 /proc/meminfo: memFree=1768724/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=112012 CPUtime=51.07 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 28162 0 0 0 5071 36 0 0 25 0 1 0 23617248 114700288 26427 1992294400 4194304 8395647 140734390697808 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 28003 26427 629 1026 0 26973 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 112012 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28247 /proc/meminfo: memFree=1732020/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=147948 CPUtime=102.26 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 42491 0 0 0 10166 60 0 0 25 0 1 0 23617248 151498752 35577 1992294400 4194304 8395647 140734390697808 18446744073709551615 6724258 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 36987 35577 832 1026 0 35957 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 147948 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28248 /proc/meminfo: memFree=1725324/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=154228 CPUtime=162.25 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 49914 0 0 0 16141 84 0 0 25 0 1 0 23617248 157929472 36857 1992294400 4194304 8395647 140734390697808 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 38557 36857 702 1026 0 37527 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 154228 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28250 /proc/meminfo: memFree=1705856/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=173672 CPUtime=222.23 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 55835 0 0 0 22118 105 0 0 25 0 1 0 23617248 177840128 41771 1992294400 4194304 8395647 140734390697808 18446744073709551615 6198182 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 43418 41771 755 1026 0 42388 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 173672 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28252 /proc/meminfo: memFree=1686884/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=194920 CPUtime=282.22 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 63166 0 0 0 28096 126 0 0 25 0 1 0 23617248 199598080 46690 1992294400 4194304 8395647 140734390697808 18446744073709551615 6696085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 48730 46690 954 1026 0 47700 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 194920 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28254 /proc/meminfo: memFree=1673864/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=208392 CPUtime=342.2 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 71275 0 0 0 34074 146 0 0 25 0 1 0 23617248 213393408 49921 1992294400 4194304 8395647 140734390697808 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 52098 49921 943 1026 0 51068 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 208392 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28264 /proc/meminfo: memFree=1662208/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=218452 CPUtime=402.17 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 77808 0 0 0 40047 170 0 0 25 0 1 0 23617248 223694848 52356 1992294400 4194304 8395647 140734390697808 18446744073709551615 6697974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 54613 52356 643 1026 0 53583 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 218452 [startup+462.301 s] /proc/loadavg: 1.07 1.02 0.92 2/112 28679 /proc/meminfo: memFree=1623720/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=245976 CPUtime=461.91 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 88731 0 0 0 45993 198 0 0 25 0 1 0 23617248 251879424 58722 1992294400 4194304 8395647 140734390697808 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 61494 58722 750 1026 0 60464 0 Current children cumulated CPU time (s) 461.91 Current children cumulated vsize (KiB) 245976 [startup+522.301 s] /proc/loadavg: 1.06 1.03 0.93 2/107 28733 /proc/meminfo: memFree=1607460/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=251908 CPUtime=521.89 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 92843 0 0 0 51970 219 0 0 25 0 1 0 23617248 257953792 60507 1992294400 4194304 8395647 140734390697808 18446744073709551615 6698038 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 62977 60507 933 1026 0 61947 0 Current children cumulated CPU time (s) 521.89 Current children cumulated vsize (KiB) 251908 [startup+582.301 s] /proc/loadavg: 1.02 1.02 0.93 2/107 28735 /proc/meminfo: memFree=1601136/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=256704 CPUtime=581.88 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 95688 0 0 0 57947 241 0 0 25 0 1 0 23617248 262864896 61813 1992294400 4194304 8395647 140734390697808 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 64176 61813 659 1026 0 63146 0 Current children cumulated CPU time (s) 581.88 Current children cumulated vsize (KiB) 256704 [startup+642.301 s] /proc/loadavg: 1.00 1.01 0.93 2/107 28737 /proc/meminfo: memFree=1595432/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=263988 CPUtime=641.85 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 99790 0 0 0 63921 264 0 0 25 0 1 0 23617248 270323712 63212 1992294400 4194304 8395647 140734390697808 18446744073709551615 6106919 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 65997 63212 641 1026 0 64967 0 Current children cumulated CPU time (s) 641.85 Current children cumulated vsize (KiB) 263988 [startup+702.309 s] ################ # More data... # ################ /proc/meminfo: memFree=1591108/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1001.77 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102107 0 0 0 99769 408 0 0 25 0 1 0 23617248 274841600 64325 1992294400 4194304 8395647 140734390697808 18446744073709551615 4270195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64325 728 1026 0 66070 0 Current children cumulated CPU time (s) 1001.77 Current children cumulated vsize (KiB) 268400 [startup+1062.3 s] /proc/loadavg: 1.03 1.01 0.94 2/107 28747 /proc/meminfo: memFree=1590984/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1061.76 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102123 0 0 0 105749 427 0 0 25 0 1 0 23617248 274841600 64341 1992294400 4194304 8395647 140734390697808 18446744073709551615 4270498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64341 728 1026 0 66070 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 268400 [startup+1122.3 s] /proc/loadavg: 1.12 1.04 0.95 2/107 28749 /proc/meminfo: memFree=1590364/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1121.74 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102226 0 0 0 111724 450 0 0 25 0 1 0 23617248 274841600 64364 1992294400 4194304 8395647 140734390697808 18446744073709551615 6199328 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64364 648 1026 0 66070 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 268400 [startup+1182.3 s] /proc/loadavg: 1.12 1.04 0.95 2/107 28751 /proc/meminfo: memFree=1590364/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1181.73 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102230 0 0 0 117700 473 0 0 25 0 1 0 23617248 274841600 64368 1992294400 4194304 8395647 140734390697808 18446744073709551615 6693387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64368 650 1026 0 66070 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 268400 [startup+1242.3 s] /proc/loadavg: 1.04 1.03 0.95 2/107 28753 /proc/meminfo: memFree=1590116/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1241.72 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102230 0 0 0 123678 494 0 0 25 0 1 0 23617248 274841600 64368 1992294400 4194304 8395647 140734390697808 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64368 650 1026 0 66070 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 268400 [startup+1302.3 s] /proc/loadavg: 1.01 1.02 0.95 2/107 28754 /proc/meminfo: memFree=1590116/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1301.7 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102231 0 0 0 129656 514 0 0 25 0 1 0 23617248 274841600 64369 1992294400 4194304 8395647 140734390697808 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64369 651 1026 0 66070 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 268400 [startup+1362.31 s] /proc/loadavg: 1.00 1.02 0.95 2/107 28755 /proc/meminfo: memFree=1590116/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1361.69 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102231 0 0 0 135632 537 0 0 25 0 1 0 23617248 274841600 64369 1992294400 4194304 8395647 140734390697808 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64369 651 1026 0 66070 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 268400 [startup+1422.3 s] /proc/loadavg: 1.00 1.01 0.95 2/107 28757 /proc/meminfo: memFree=1590116/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1421.67 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102231 0 0 0 141605 562 0 0 25 0 1 0 23617248 274841600 64369 1992294400 4194304 8395647 140734390697808 18446744073709551615 6697970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64369 651 1026 0 66070 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 268400 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 0.95 3/108 28762 /proc/meminfo: memFree=1585520/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1481.65 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102279 0 0 0 147579 586 0 0 25 0 1 0 23617248 274841600 64407 1992294400 4194304 8395647 140734390697808 18446744073709551615 6698038 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64407 653 1026 0 66070 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 268400 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 28764 /proc/meminfo: memFree=1589372/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1541.64 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102286 0 0 0 153556 608 0 0 25 0 1 0 23617248 274841600 64414 1992294400 4194304 8395647 140734390697808 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64414 653 1026 0 66070 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 268400 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 28765 /proc/meminfo: memFree=1589372/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1601.62 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102286 0 0 0 159530 632 0 0 25 0 1 0 23617248 274841600 64414 1992294400 4194304 8395647 140734390697808 18446744073709551615 6587074 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64414 653 1026 0 66070 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 268400 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 28766 /proc/meminfo: memFree=1589372/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1661.62 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102286 0 0 0 165505 657 0 0 25 0 1 0 23617248 274841600 64414 1992294400 4194304 8395647 140734390697808 18446744073709551615 6721246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64414 653 1026 0 66070 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 268400 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 28768 /proc/meminfo: memFree=1589372/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1721.6 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102286 0 0 0 171482 678 0 0 25 0 1 0 23617248 274841600 64414 1992294400 4194304 8395647 140734390697808 18446744073709551615 6702024 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64414 653 1026 0 66070 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 268400 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 28770 /proc/meminfo: memFree=1589372/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1781.59 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102286 0 0 0 177455 704 0 0 25 0 1 0 23617248 274841600 64414 1992294400 4194304 8395647 140734390697808 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64414 653 1026 0 66070 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 268400 Solver just ended. Dumping a history of the last processes samples [startup+1786 s] /proc/loadavg: 1.00 1.00 0.95 2/107 28770 /proc/meminfo: memFree=1589372/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1785.28 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102286 0 0 0 177823 705 0 0 25 0 1 0 23617248 274841600 64414 1992294400 4194304 8395647 140734390697808 18446744073709551615 6697688 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64414 653 1026 0 66070 0 Current children cumulated CPU time (s) 1785.28 Current children cumulated vsize (KiB) 268400 [startup+1787.6 s] /proc/loadavg: 1.00 1.00 0.95 2/107 28770 /proc/meminfo: memFree=1589372/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1786.88 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102286 0 0 0 177982 706 0 0 25 0 1 0 23617248 274841600 64414 1992294400 4194304 8395647 140734390697808 18446744073709551615 6697041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64414 653 1026 0 66070 0 Current children cumulated CPU time (s) 1786.88 Current children cumulated vsize (KiB) 268400 [startup+1789.2 s] /proc/loadavg: 1.00 1.00 0.95 2/107 28770 /proc/meminfo: memFree=1589372/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1788.49 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102286 0 0 0 178142 707 0 0 25 0 1 0 23617248 274841600 64414 1992294400 4194304 8395647 140734390697808 18446744073709551615 6697045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64414 653 1026 0 66070 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (KiB) 268400 [startup+1790 s] /proc/loadavg: 1.00 1.00 0.95 2/107 28770 /proc/meminfo: memFree=1589372/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1789.28 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102286 0 0 0 178221 707 0 0 25 0 1 0 23617248 274841600 64414 1992294400 4194304 8395647 140734390697808 18446744073709551615 6693378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64414 653 1026 0 66070 0 Current children cumulated CPU time (s) 1789.28 Current children cumulated vsize (KiB) 268400 [startup+1790.21 s] /proc/loadavg: 1.00 1.00 0.95 2/107 28770 /proc/meminfo: memFree=1589372/2059040 swapFree=4139724/4192956 [pid=28243] ppid=28241 vsize=268400 CPUtime=1789.49 /proc/28243/stat : 28243 (pbscip.linux.x8) R 28241 28243 27178 0 -1 4202496 102288 0 0 0 178242 707 0 0 25 0 1 0 23617248 274841600 64416 1992294400 4194304 8395647 140734390697808 18446744073709551615 4423594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28243/statm: 67100 64416 655 1026 0 66070 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (KiB) 268400 Child status: 0 Real time (s): 1790.25 CPU time (s): 1789.55 CPU user time (s): 1782.44 CPU system time (s): 7.10192 CPU usage (%): 99.9604 Max. virtual memory (cumulated for all children) (KiB): 268400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.44 system time used= 7.10192 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 102291 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= 17903 runsolver used 3.10053 second user time and 8.35373 second system time The end
Begin job on node031 at 2010-07-08 03:54:26 IDJOB=2703436 IDBENCH=2134 IDSOLVER=1213 FILE ID=node031/2703436-1278554066 PBS_JOBID= 11239507 Free space on /tmp= 62560 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703436-1278554066/watcher-2703436-1278554066 -o /tmp/evaluation-result-2703436-1278554066/solver-2703436-1278554066 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703436-1278554066.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 28753ff2e44c4cedb2d3a2e783f8d1a4 RANDOM SEED=1044176680 node031.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.220 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.220 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1871436 kB Buffers: 11016 kB Cached: 87680 kB SwapCached: 6288 kB Active: 95940 kB Inactive: 16240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1871436 kB SwapTotal: 4192956 kB SwapFree: 4139724 kB Dirty: 10580 kB Writeback: 0 kB AnonPages: 11724 kB Mapped: 12048 kB Slab: 53216 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180844 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62556 MiB End job on node031 at 2010-07-08 04:24:17