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.77 | 1790.17 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-set1al.opb |
MD5SUM | 2171c0e7720e195b62c6e8928bbcbe1d |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 160099728 |
Best CPU time to get the best result obtained on this benchmark | 1800.44 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 585542656 |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 492 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 492 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7200 |
Biggest coefficient in the objective function | 10737418240 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 1616008034847 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 10737418240 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 1616008034847 |
Number of bits of the biggest sum of numbers | 41 |
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-2703875-1278559665.opb> 0.09/0.13 c original problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 492 constraints 0.09/0.13 c problem read 0.09/0.13 c presolving settings loaded 0.19/0.27 c presolving: 0.29/0.31 c (round 1) 3119 del vars, 0 del conss, 3079 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.29/0.35 c (round 2) 4555 del vars, 0 del conss, 4515 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.29/0.35 c (round 3) 4741 del vars, 0 del conss, 4701 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.29/0.36 c (round 4) 4887 del vars, 0 del conss, 4847 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.29/0.37 c (round 5) 4993 del vars, 0 del conss, 4953 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.29/0.37 c (round 6) 5059 del vars, 0 del conss, 5019 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.29/0.38 c (round 7) 5085 del vars, 0 del conss, 5045 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.39/0.41 c (round 8) 5085 del vars, 0 del conss, 5045 chg bounds, 0 chg sides, 83 chg coeffs, 252 upgd conss, 0 impls, 0 clqs 0.39/0.48 c (round 9) 5085 del vars, 0 del conss, 5045 chg bounds, 0 chg sides, 222 chg coeffs, 252 upgd conss, 3692 impls, 334 clqs 0.49/0.51 c (round 10) 5085 del vars, 3 del conss, 5045 chg bounds, 334 chg sides, 1224 chg coeffs, 252 upgd conss, 3692 impls, 334 clqs 1.99/2.07 c (1.9s) probing: 1000/9315 (10.7%) - 24 fixings, 0 aggregations, 3497 implications, 0 bound changes 2.69/2.73 c (2.6s) probing: 1446/9315 (15.5%) - 24 fixings, 0 aggregations, 3551 implications, 0 bound changes 2.69/2.73 c (2.6s) probing aborted: 100/100 successive totally useless probings 2.69/2.73 c (round 11) 5109 del vars, 3 del conss, 5045 chg bounds, 334 chg sides, 1224 chg coeffs, 252 upgd conss, 10974 impls, 313 clqs 2.69/2.75 c (round 12) 5109 del vars, 3 del conss, 5045 chg bounds, 378 chg sides, 1268 chg coeffs, 252 upgd conss, 10974 impls, 313 clqs 2.79/2.82 c (round 13) 5159 del vars, 3 del conss, 5045 chg bounds, 378 chg sides, 1268 chg coeffs, 252 upgd conss, 11028 impls, 313 clqs 2.89/2.92 c (round 14) 5209 del vars, 3 del conss, 5045 chg bounds, 378 chg sides, 1268 chg coeffs, 252 upgd conss, 11202 impls, 313 clqs 3.49/3.59 c (3.5s) probing: 2000/9315 (21.5%) - 141 fixings, 0 aggregations, 3759 implications, 0 bound changes 4.49/4.56 c (4.4s) probing: 2646/9315 (28.4%) - 141 fixings, 0 aggregations, 3830 implications, 0 bound changes 4.49/4.56 c (4.4s) probing aborted: 100/100 successive totally useless probings 4.49/4.56 c (round 15) 5226 del vars, 3 del conss, 5045 chg bounds, 378 chg sides, 1268 chg coeffs, 252 upgd conss, 11548 impls, 313 clqs 4.79/4.81 c (4.7s) probing: 2807/9315 (30.1%) - 173 fixings, 0 aggregations, 3877 implications, 0 bound changes 4.79/4.81 c (4.7s) probing aborted: 100/100 successive totally useless probings 4.79/4.81 c (round 16) 5258 del vars, 3 del conss, 5045 chg bounds, 378 chg sides, 1268 chg coeffs, 252 upgd conss, 11646 impls, 313 clqs 4.79/4.84 c (4.7s) probing: 2817/9315 (30.2%) - 173 fixings, 0 aggregations, 3877 implications, 0 bound changes 4.79/4.84 c (4.7s) probing aborted: 100/100 successive totally useless probings 4.79/4.84 c presolving (17 rounds): 4.79/4.84 c 5258 deleted vars, 3 deleted constraints, 5045 tightened bounds, 0 added holes, 378 changed sides, 1268 changed coefficients 4.79/4.84 c 11646 implications, 313 cliques 4.79/4.84 c presolved problem has 9142 variables (9142 bin, 0 int, 0 impl, 0 cont) and 823 constraints 4.79/4.84 c 249 constraints of type <knapsack> 4.79/4.84 c 334 constraints of type <setppc> 4.79/4.84 c 240 constraints of type <linear> 4.79/4.84 c transformed objective value is always integral (scale: 1) 4.79/4.84 c Presolving Time: 4.66 4.79/4.84 c - non default parameters ---------------------------------------------------------------------- 4.79/4.84 c # SCIP version 1.2.1.3 4.79/4.84 c 4.79/4.84 c # frequency for displaying node information lines 4.79/4.84 c # [type: int, range: [-1,2147483647], default: 100] 4.79/4.84 c display/freq = 10000 4.79/4.84 c 4.79/4.84 c # maximal time in seconds to run 4.79/4.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.79/4.84 c limits/time = 1789.88 4.79/4.84 c 4.79/4.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 4.79/4.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.79/4.84 c limits/memory = 1620 4.79/4.84 c 4.79/4.84 c # default clock type (1: CPU user seconds, 2: wall clock time) 4.79/4.84 c # [type: int, range: [1,2], default: 1] 4.79/4.84 c timing/clocktype = 2 4.79/4.84 c 4.79/4.84 c # should presolving try to simplify inequalities 4.79/4.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.79/4.84 c constraints/linear/simplifyinequalities = TRUE 4.79/4.84 c 4.79/4.84 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 4.79/4.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.79/4.84 c constraints/indicator/addCouplingCons = TRUE 4.79/4.84 c 4.79/4.84 c # should presolving try to simplify knapsacks 4.79/4.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.79/4.84 c constraints/knapsack/simplifyinequalities = TRUE 4.79/4.84 c 4.79/4.84 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 4.79/4.84 c # [type: int, range: [-1,2147483647], default: -1] 4.79/4.84 c separating/rapidlearning/freq = 0 4.79/4.84 c 4.79/4.84 c ----------------------------------------------------------------------------------------------- 4.79/4.84 c start solving 4.79/4.85 c 4.99/5.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.99/5.04 c 4.9s| 1 | 0 | 1037 | - | 36M| 0 | 547 |9142 | 823 |9142 | 823 | 0 | 0 | 0 | 4.772506e+07 | -- | Inf 8.80/8.88 c 8.7s| 1 | 0 | 3522 | - | 37M| 0 | 689 |9142 | 823 |9142 |1223 | 400 | 0 | 0 | 4.891016e+07 | -- | Inf 10.19/10.25 c 10.1s| 1 | 0 | 5601 | - | 37M| 0 |1090 |9142 | 823 |9142 |1702 | 879 | 0 | 0 | 5.127375e+07 | -- | Inf 12.10/12.17 c 12.0s| 1 | 0 | 7918 | - | 39M| 0 |2474 |9142 | 823 |9142 |3334 |2511 | 0 | 0 | 5.325830e+07 | -- | Inf 14.29/14.35 c 14.2s| 1 | 0 | 8968 | - | 39M| 0 |2855 |9142 | 823 |9142 |3855 |3032 | 0 | 0 | 5.431290e+07 | -- | Inf 16.68/16.79 c 16.7s| 1 | 0 | 9896 | - | 40M| 0 |3161 |9142 | 823 |9142 |4218 |3395 | 0 | 0 | 5.534849e+07 | -- | Inf 19.09/19.19 c 19.1s| 1 | 0 | 10810 | - | 41M| 0 |3411 |9142 | 823 |9142 |4524 |3701 | 0 | 0 | 5.601838e+07 | -- | Inf 21.90/21.90 c 21.8s| 1 | 0 | 11763 | - | 41M| 0 |3706 |9142 | 823 |9142 |4872 |4049 | 0 | 0 | 5.656256e+07 | -- | Inf 24.69/24.76 c 24.6s| 1 | 0 | 12728 | - | 42M| 0 |3830 |9142 | 823 |9142 |5183 |4360 | 0 | 0 | 5.688641e+07 | -- | Inf 27.89/27.90 c 27.8s| 1 | 0 | 13652 | - | 42M| 0 |3960 |9142 | 823 |9142 |5429 |4606 | 0 | 0 | 5.706576e+07 | -- | Inf 31.58/31.60 c 31.5s| 1 | 0 | 14521 | - | 43M| 0 |4064 |9142 | 823 |9142 |5650 |4827 | 0 | 0 | 5.714278e+07 | -- | Inf 33.58/33.62 c 33.5s| 1 | 0 | 14965 | - | 43M| 0 |4082 |9142 | 823 |9142 |5774 |4951 | 0 | 0 | 5.720091e+07 | -- | Inf 35.58/35.62 c 35.5s| 1 | 0 | 15221 | - | 43M| 0 |4130 |9142 | 823 |9142 |5884 |5061 | 0 | 0 | 5.725686e+07 | -- | Inf 37.68/37.73 c 37.6s| 1 | 0 | 15490 | - | 43M| 0 |4155 |9142 | 823 |9142 |5981 |5158 | 0 | 0 | 5.730998e+07 | -- | Inf 39.78/39.82 c 39.7s| 1 | 0 | 15646 | - | 43M| 0 |4206 |9142 | 823 |9142 |5777 |5241 | 0 | 0 | 5.733263e+07 | -- | Inf 41.69/41.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 41.69/41.79 c 41.7s| 1 | 0 | 15763 | - | 44M| 0 |4250 |9142 | 823 |9142 |5858 |5322 | 0 | 0 | 5.734209e+07 | -- | Inf 43.78/43.82 c 43.7s| 1 | 0 | 15919 | - | 44M| 0 |4295 |9142 | 823 |9142 |5948 |5412 | 0 | 0 | 5.736309e+07 | -- | Inf 45.89/45.98 c 45.9s| 1 | 0 | 16151 | - | 45M| 0 |4344 |9142 | 823 |9142 |6056 |5520 | 0 | 0 | 5.739570e+07 | -- | Inf 48.08/48.19 c 48.1s| 1 | 0 | 16416 | - | 45M| 0 |4319 |9142 | 823 |9142 |6144 |5608 | 0 | 0 | 5.742829e+07 | -- | Inf 50.49/50.51 c 50.4s| 1 | 0 | 16653 | - | 45M| 0 |4326 |9142 | 823 |9142 |5813 |5681 | 0 | 0 | 5.748384e+07 | -- | Inf 52.58/52.63 c 52.5s| 1 | 0 | 16819 | - | 45M| 0 |4322 |9142 | 823 |9142 |5872 |5740 | 0 | 0 | 5.749648e+07 | -- | Inf 53.78/53.90 c 53.8s| 1 | 0 | 16946 | - | 45M| 0 |4332 |9142 | 823 |9142 |5918 |5786 | 0 | 0 | 5.750741e+07 | -- | Inf 55.18/55.20 c 55.1s| 1 | 0 | 17070 | - | 45M| 0 |4362 |9142 | 823 |9142 |5958 |5826 | 0 | 0 | 5.751106e+07 | -- | Inf 56.38/56.46 c 56.3s| 1 | 0 | 17140 | - | 45M| 0 |4397 |9142 | 823 |9142 |5993 |5861 | 0 | 0 | 5.751272e+07 | -- | Inf 57.68/57.71 c 57.6s| 1 | 0 | 17188 | - | 45M| 0 |4381 |9142 | 823 |9142 |6014 |5882 | 0 | 0 | 5.752300e+07 | -- | Inf 58.88/58.98 c 58.9s| 1 | 0 | 17209 | - | 45M| 0 |4400 |9142 | 823 |9142 |5709 |5900 | 0 | 0 | 5.752316e+07 | -- | Inf 60.07/60.17 c 60.0s| 1 | 0 | 17234 | - | 45M| 0 |4415 |9142 | 823 |9142 |5727 |5918 | 0 | 0 | 5.752326e+07 | -- | Inf 61.28/61.34 c 61.2s| 1 | 0 | 17253 | - | 45M| 0 |4417 |9142 | 823 |9142 |5743 |5934 | 0 | 0 | 5.752371e+07 | -- | Inf 62.48/62.53 c 62.4s| 1 | 0 | 17303 | - | 45M| 0 |4409 |9142 | 823 |9142 |5757 |5948 | 0 | 0 | 5.752717e+07 | -- | Inf 63.68/63.71 c 63.6s| 1 | 0 | 17326 | - | 45M| 0 |4427 |9142 | 823 |9142 |5772 |5963 | 0 | 0 | 5.752730e+07 | -- | Inf 65.47/65.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 65.47/65.59 c 65.5s| 1 | 2 | 17326 | - | 45M| 0 |4427 |9142 | 823 |9142 |5772 |5963 | 0 | 12 | 5.752730e+07 | -- | Inf 115.27/115.36 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09) 1789.59/1790.01 c 1789.59/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1789.59/1790.01 c Solving Time (sec) : 1789.89 1789.59/1790.01 c Solving Nodes : 2815 1789.59/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.59/1790.01 c Dual Bound : +5.77047374089077e+07 1789.59/1790.01 c Gap : infinite 1789.59/1790.01 s UNKNOWN 1789.59/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1789.59/1790.01 c Solving Time : 1789.89 1789.59/1790.01 c Original Problem : 1789.59/1790.01 c Problem name : HOME/instance-2703875-1278559665.opb 1789.59/1790.01 c Variables : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.59/1790.01 c Constraints : 492 initial, 492 maximal 1789.59/1790.01 c Presolved Problem : 1789.59/1790.01 c Problem name : t_HOME/instance-2703875-1278559665.opb 1789.59/1790.01 c Variables : 9142 (9142 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.59/1790.01 c Constraints : 823 initial, 1924 maximal 1789.59/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.59/1790.01 c trivial : 0.03 0 0 0 0 0 0 0 0 1789.59/1790.01 c dualfix : 0.03 0 0 0 0 0 0 0 0 1789.59/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.59/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.59/1790.01 c implics : 0.02 0 0 0 0 0 0 0 0 1789.59/1790.01 c probing : 4.24 173 0 0 0 0 0 0 0 1789.59/1790.01 c knapsack : 0.10 0 0 0 0 0 3 378 1185 1789.59/1790.01 c setppc : 0.01 0 0 0 0 0 0 0 0 1789.59/1790.01 c linear : 0.12 5045 40 0 5045 0 0 0 83 1789.59/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0 1789.59/1790.01 c root node : - 1 - - 1 - - - - 1789.59/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.59/1790.01 c integral : 0 0 0 2817 0 0 18 0 0 5610 1789.59/1790.01 c knapsack : 249 29 46945 0 1 0 32332 2014 0 0 1789.59/1790.01 c setppc : 334 29 46945 0 1 0 2283 0 0 0 1789.59/1790.01 c linear : 240 29 46945 0 0 324 1783 4274 0 0 1789.59/1790.01 c logicor : 0+ 0 2616 0 0 8 270 0 0 0 1789.59/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.59/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.59/1790.01 c integral : 615.82 0.00 0.00 615.82 0.00 1789.59/1790.01 c knapsack : 4.59 2.35 2.24 0.00 0.00 1789.59/1790.01 c setppc : 1.20 0.00 1.20 0.00 0.00 1789.59/1790.01 c linear : 4.16 2.17 2.00 0.00 0.00 1789.59/1790.01 c logicor : 0.05 0.00 0.05 0.00 0.00 1789.59/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.59/1790.01 c Propagators : Time Calls Cutoffs DomReds 1789.59/1790.01 c vbounds : 0.05 2 0 0 1789.59/1790.01 c rootredcost : 0.05 0 0 0 1789.59/1790.01 c pseudoobj : 29.42 40018 0 0 1789.59/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.59/1790.01 c propagation : 0.03 176 176 750 44.9 25 11.0 - 1789.59/1790.01 c infeasible LP : 1.66 426 418 767 45.1 50 3.6 0 1789.59/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.59/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.59/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.59/1790.01 c applied globally : - - - 1102 34.2 - - - 1789.59/1790.01 c applied locally : - - - 0 0.0 - - - 1789.59/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.59/1790.01 c cut pool : 0.04 28 - - 1312 - (maximal pool size: 5464) 1789.59/1790.01 c redcost : 4.29 2845 0 0 0 0 1789.59/1790.01 c impliedbounds : 0.09 29 0 0 3973 0 1789.59/1790.01 c intobj : 0.00 0 0 0 0 0 1789.59/1790.01 c cgmip : 0.00 0 0 0 0 0 1789.59/1790.01 c gomory : 19.87 29 0 0 407 0 1789.59/1790.01 c strongcg : 11.93 20 0 0 1051 0 1789.59/1790.01 c cmir : 1.29 10 0 0 0 0 1789.59/1790.01 c flowcover : 7.82 10 0 0 2006 0 1789.59/1790.01 c clique : 0.14 29 0 0 31 0 1789.59/1790.01 c zerohalf : 0.00 0 0 0 0 0 1789.59/1790.01 c mcf : 0.00 1 0 0 0 0 1789.59/1790.01 c rapidlearning : 2.01 1 0 0 0 0 1789.59/1790.01 c Pricers : Time Calls Vars 1789.59/1790.01 c problem variables: 0.00 0 0 1789.59/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.59/1790.01 c relpscost : 615.80 2817 0 18 0 0 5610 1789.59/1790.01 c pscost : 0.00 0 0 0 0 0 0 1789.59/1790.01 c inference : 0.00 1 0 0 0 0 2 1789.59/1790.01 c mostinf : 0.00 0 0 0 0 0 0 1789.59/1790.01 c leastinf : 0.00 0 0 0 0 0 0 1789.59/1790.01 c fullstrong : 0.00 0 0 0 0 0 0 1789.59/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0 1789.59/1790.01 c random : 0.00 0 0 0 0 0 0 1789.59/1790.01 c Primal Heuristics : Time Calls Found 1789.59/1790.01 c LP solutions : 0.00 - 0 1789.59/1790.01 c pseudo solutions : 0.00 - 0 1789.59/1790.01 c oneopt : 0.00 0 0 1789.59/1790.01 c crossover : 0.00 0 0 1789.59/1790.01 c intshifting : 0.00 0 0 1789.59/1790.01 c guideddiving : 0.00 0 0 1789.59/1790.01 c veclendiving : 81.75 3 0 1789.59/1790.01 c coefdiving : 151.19 4 0 1789.59/1790.01 c pscostdiving : 197.75 8 0 1789.59/1790.01 c fracdiving : 130.82 10 0 1789.59/1790.01 c linesearchdiving : 69.54 11 0 1789.59/1790.01 c trivial : 0.04 2 0 1789.59/1790.01 c simplerounding : 0.01 1 0 1789.59/1790.01 c zirounding : 0.92 1000 0 1789.59/1790.01 c rounding : 2.82 707 0 1789.59/1790.01 c shifting : 22.07 201 0 1789.59/1790.01 c twoopt : 0.00 0 0 1789.59/1790.01 c fixandinfer : 0.00 0 0 1789.59/1790.01 c feaspump : 23.58 4 0 1789.59/1790.01 c intdiving : 0.00 0 0 1789.59/1790.01 c actconsdiving : 0.00 0 0 1789.59/1790.01 c objpscostdiving : 55.44 1 0 1789.59/1790.01 c rootsoldiving : 15.28 2 0 1789.59/1790.01 c octane : 0.00 0 0 1789.59/1790.01 c rens : 0.28 1 0 1789.59/1790.01 c rins : 0.00 0 0 1789.59/1790.01 c localbranching : 0.00 0 0 1789.59/1790.01 c mutation : 0.00 0 0 1789.59/1790.01 c dins : 0.00 0 0 1789.59/1790.01 c undercover : 0.00 0 0 1789.59/1790.01 c nlp : 0.01 0 0 1789.59/1790.01 c trysol : 0.01 0 0 1789.59/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec 1789.59/1790.01 c primal LP : 0.07 1 1 1.00 14.71 1789.59/1790.01 c dual LP : 333.28 2910 339426 116.64 1018.43 1789.59/1790.01 c lex dual LP : 0.00 0 0 0.00 - 1789.59/1790.01 c barrier LP : 0.00 0 0 0.00 - 1789.59/1790.01 c diving/probing LP: 515.50 29214 379542 12.99 736.26 1789.59/1790.01 c strong branching : 606.80 10027 237956 23.73 392.15 1789.59/1790.01 c (at root node) : - 12 1262 105.17 - 1789.59/1790.01 c conflict analysis: 0.00 0 0 0.00 - 1789.59/1790.01 c B&B Tree : 1789.59/1790.01 c number of runs : 1 1789.59/1790.01 c nodes : 2815 1789.59/1790.01 c nodes (total) : 2815 1789.59/1790.01 c nodes left : 2798 1789.59/1790.01 c max depth : 37 1789.59/1790.01 c max depth (total): 37 1789.59/1790.01 c backtracks : 183 (6.5%) 1789.59/1790.01 c delayed cutoffs : 0 1789.59/1790.01 c repropagations : 196 (6 domain reductions, 0 cutoffs) 1789.59/1790.01 c avg switch length: 2.79 1789.59/1790.01 c switching time : 1.11 1789.59/1790.01 c Solution : 1789.59/1790.01 c Solutions found : 0 (0 improvements) 1789.59/1790.01 c Primal Bound : - 1789.59/1790.02 c Dual Bound : +5.77047374089077e+07 1789.59/1790.02 c Gap : infinite 1789.59/1790.02 c Root Dual Bound : +5.75272972644972e+07 1789.59/1790.02 c Root Iterations : 17326 1789.69/1790.16 c Time complete: 1789.76.
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-2703875-1278559665/watcher-2703875-1278559665 -o /tmp/evaluation-result-2703875-1278559665/solver-2703875-1278559665 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703875-1278559665.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 1.00 3/106 31455 /proc/meminfo: memFree=1811328/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=7904 CPUtime=0 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 1070 0 0 0 0 0 0 0 22 0 1 0 24177729 8093696 982 1992294400 4194304 8395647 140734440270016 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31455/statm: 1976 989 365 1026 0 946 0 [startup+0.062961 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31455 /proc/meminfo: memFree=1811328/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=20596 CPUtime=0.05 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 4481 0 0 0 4 1 0 0 22 0 1 0 24177729 21090304 4392 1992294400 4194304 8395647 140734440270016 18446744073709551615 4246013 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31455/statm: 5149 4392 394 1026 0 4119 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 20596 [startup+0.100963 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31455 /proc/meminfo: memFree=1811328/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=20988 CPUtime=0.09 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 4568 0 0 0 8 1 0 0 22 0 1 0 24177729 21491712 4479 1992294400 4194304 8395647 140734440270016 18446744073709551615 7324744 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31455/statm: 5247 4479 394 1026 0 4217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20988 [startup+0.300978 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31455 /proc/meminfo: memFree=1811328/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=41768 CPUtime=0.29 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 9773 0 0 0 26 3 0 0 22 0 1 0 24177729 42770432 9330 1992294400 4194304 8395647 140734440270016 18446744073709551615 7185430 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 10442 9330 471 1026 0 9412 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 41768 [startup+0.701005 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31455 /proc/meminfo: memFree=1811328/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=50944 CPUtime=0.69 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 12081 0 0 0 66 3 0 0 23 0 1 0 24177729 52166656 11638 1992294400 4194304 8395647 140734440270016 18446744073709551615 5604537 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 12736 11638 504 1026 0 11706 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50944 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31456 /proc/meminfo: memFree=1766060/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=51456 CPUtime=1.49 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 12209 0 0 0 146 3 0 0 25 0 1 0 24177729 52690944 11766 1992294400 4194304 8395647 140734440270016 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 12864 11766 504 1026 0 11834 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51456 [startup+3.10117 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31456 /proc/meminfo: memFree=1765812/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=52488 CPUtime=3.09 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 12472 0 0 0 306 3 0 0 25 0 1 0 24177729 53747712 12029 1992294400 4194304 8395647 140734440270016 18446744073709551615 7182292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 13122 12029 509 1026 0 12092 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 52488 [startup+6.30139 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31456 /proc/meminfo: memFree=1755652/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=71912 CPUtime=6.29 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 17119 0 0 0 622 7 0 0 25 0 1 0 24177729 73637888 16656 1992294400 4194304 8395647 140734440270016 18446744073709551615 4922593 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 17978 16656 610 1026 0 16948 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71912 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31456 /proc/meminfo: memFree=1715600/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=103176 CPUtime=12.69 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 27209 0 0 0 1255 14 0 0 25 0 1 0 24177729 105652224 24361 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 25794 24361 633 1026 0 24764 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 103176 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31456 /proc/meminfo: memFree=1715352/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=103176 CPUtime=25.48 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 27296 0 0 0 2528 20 0 0 25 0 1 0 24177729 105652224 24446 1992294400 4194304 8395647 140734440270016 18446744073709551615 5863246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 25794 24446 633 1026 0 24764 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 103176 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31458 /proc/meminfo: memFree=1709028/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=110352 CPUtime=51.07 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 28902 0 0 0 5069 38 0 0 25 0 1 0 24177729 113000448 26052 1992294400 4194304 8395647 140734440270016 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 27588 26052 633 1026 0 26558 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 110352 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31458 /proc/meminfo: memFree=1706176/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=112456 CPUtime=102.28 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36584 0 0 0 10167 61 0 0 25 0 1 0 24177729 115154944 26610 1992294400 4194304 8395647 140734440270016 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 28114 26610 640 1026 0 27084 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 112456 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31460 /proc/meminfo: memFree=1706176/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=112976 CPUtime=162.25 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36737 0 0 0 16142 83 0 0 25 0 1 0 24177729 115687424 26763 1992294400 4194304 8395647 140734440270016 18446744073709551615 6719956 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 28244 26763 741 1026 0 27214 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 112976 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31462 /proc/meminfo: memFree=1706176/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=112976 CPUtime=222.24 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36737 0 0 0 22114 110 0 0 25 0 1 0 24177729 115687424 26763 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 28244 26763 741 1026 0 27214 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 112976 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31464 /proc/meminfo: memFree=1706176/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=112976 CPUtime=282.23 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36737 0 0 0 28085 138 0 0 25 0 1 0 24177729 115687424 26763 1992294400 4194304 8395647 140734440270016 18446744073709551615 6594005 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 28244 26763 741 1026 0 27214 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 112976 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31466 /proc/meminfo: memFree=1706176/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=112976 CPUtime=342.22 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36755 0 0 0 34064 158 0 0 25 0 1 0 24177729 115687424 26781 1992294400 4194304 8395647 140734440270016 18446744073709551615 6737329 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 28244 26781 741 1026 0 27214 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 112976 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31466 /proc/meminfo: memFree=1706052/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=112976 CPUtime=402.2 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36755 0 0 0 40047 173 0 0 25 0 1 0 24177729 115687424 26781 1992294400 4194304 8395647 140734440270016 18446744073709551615 6740948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 28244 26781 741 1026 0 27214 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 112976 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31468 /proc/meminfo: memFree=1706052/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=112976 CPUtime=462.19 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36798 0 0 0 46026 193 0 0 25 0 1 0 24177729 115687424 26824 1992294400 4194304 8395647 140734440270016 18446744073709551615 6740902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 28244 26824 741 1026 0 27214 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 112976 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31470 /proc/meminfo: memFree=1706052/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=112976 CPUtime=522.18 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36798 0 0 0 52009 209 0 0 25 0 1 0 24177729 115687424 26824 1992294400 4194304 8395647 140734440270016 18446744073709551615 6723547 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 28244 26824 741 1026 0 27214 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 112976 [startup+582.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 31472 /proc/meminfo: memFree=1705928/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=112976 CPUtime=582.16 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36800 0 0 0 57989 227 0 0 25 0 1 0 24177729 115687424 26826 1992294400 4194304 8395647 140734440270016 18446744073709551615 4701101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 28244 26826 742 1026 0 27214 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 112976 [startup+642.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 31474 /proc/meminfo: memFree=1705184/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=114216 CPUtime=642.16 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 37032 0 0 0 63976 240 0 0 25 0 1 0 24177729 116957184 27058 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 28554 27058 742 1026 0 27524 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 114216 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1699480/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=120060 CPUtime=1002.07 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 48978 0 0 0 99858 349 0 0 25 0 1 0 24177729 122941440 28437 1992294400 4194304 8395647 140734440270016 18446744073709551615 6719062 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 30015 28437 742 1026 0 28985 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 120060 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31484 /proc/meminfo: memFree=1699976/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=120044 CPUtime=1062.06 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 50276 0 0 0 105840 366 0 0 25 0 1 0 24177729 122925056 28417 1992294400 4194304 8395647 140734440270016 18446744073709551615 6723547 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 30011 28417 742 1026 0 28981 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 120044 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31486 /proc/meminfo: memFree=1699232/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=120056 CPUtime=1122.04 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 52348 0 0 0 111816 388 0 0 25 0 1 0 24177729 122937344 28454 1992294400 4194304 8395647 140734440270016 18446744073709551615 6742920 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 30014 28454 742 1026 0 28984 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 120056 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31488 /proc/meminfo: memFree=1699728/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=120008 CPUtime=1182.03 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 52951 0 0 0 117791 412 0 0 25 0 1 0 24177729 122888192 28353 1992294400 4194304 8395647 140734440270016 18446744073709551615 6698194 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 30002 28353 742 1026 0 28972 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 120008 [startup+1242.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 31490 /proc/meminfo: memFree=1698612/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=120012 CPUtime=1242.02 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 54384 0 0 0 123772 430 0 0 25 0 1 0 24177729 122892288 28557 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 30003 28557 742 1026 0 28973 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 120012 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 31490 /proc/meminfo: memFree=1699480/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=120024 CPUtime=1302.01 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 57986 0 0 0 129752 449 0 0 25 0 1 0 24177729 122904576 28353 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 30006 28353 742 1026 0 28976 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 120024 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 31492 /proc/meminfo: memFree=1697868/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=121236 CPUtime=1361.99 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 59185 0 0 0 135731 468 0 0 25 0 1 0 24177729 124145664 28756 1992294400 4194304 8395647 140734440270016 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 30309 28756 742 1026 0 29279 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 121236 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31494 /proc/meminfo: memFree=1694520/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=124428 CPUtime=1421.98 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 61360 0 0 0 141714 484 0 0 25 0 1 0 24177729 127414272 29517 1992294400 4194304 8395647 140734440270016 18446744073709551615 6622164 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 31107 29517 742 1026 0 30077 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 124428 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31496 /proc/meminfo: memFree=1694272/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=124352 CPUtime=1481.96 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 62216 0 0 0 147695 501 0 0 25 0 1 0 24177729 127336448 29532 1992294400 4194304 8395647 140734440270016 18446744073709551615 6652301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 31088 29532 742 1026 0 30058 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 124352 [startup+1542.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 31498 /proc/meminfo: memFree=1694272/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=124424 CPUtime=1541.95 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 65491 0 0 0 153669 526 0 0 25 0 1 0 24177729 127410176 29602 1992294400 4194304 8395647 140734440270016 18446744073709551615 6696781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 31106 29602 742 1026 0 30076 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 124424 [startup+1602.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 31498 /proc/meminfo: memFree=1693404/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=125416 CPUtime=1601.94 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 71761 0 0 0 159640 554 0 0 25 0 1 0 24177729 128425984 29866 1992294400 4194304 8395647 140734440270016 18446744073709551615 6585993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 31354 29866 742 1026 0 30324 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 125416 [startup+1662.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 31500 /proc/meminfo: memFree=1694148/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=124372 CPUtime=1661.92 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 73053 0 0 0 165608 584 0 0 25 0 1 0 24177729 127356928 29683 1992294400 4194304 8395647 140734440270016 18446744073709551615 6696781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 31093 29683 742 1026 0 30063 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 124372 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 31502 /proc/meminfo: memFree=1693280/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=125724 CPUtime=1721.91 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 83388 0 0 0 171581 610 0 0 25 0 1 0 24177729 128741376 29879 1992294400 4194304 8395647 140734440270016 18446744073709551615 6697970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 31431 29879 742 1026 0 30401 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 125724 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 31504 /proc/meminfo: memFree=1688196/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=130808 CPUtime=1781.89 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86127 0 0 0 177564 625 0 0 25 0 1 0 24177729 133947392 31185 1992294400 4194304 8395647 140734440270016 18446744073709551615 6667456 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 32702 31185 835 1026 0 31672 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 130808 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.01 1.02 1.00 2/107 31504 /proc/meminfo: memFree=1688072/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=130808 CPUtime=1785.09 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86148 0 0 0 177883 626 0 0 25 0 1 0 24177729 133947392 31185 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 32702 31185 814 1026 0 31672 0 Current children cumulated CPU time (s) 1785.09 Current children cumulated vsize (KiB) 130808 [startup+1788.7 s] /proc/loadavg: 1.01 1.02 1.00 2/107 31504 /proc/meminfo: memFree=1687576/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=130976 CPUtime=1788.3 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86274 0 0 0 178203 627 0 0 25 0 1 0 24177729 134119424 31310 1992294400 4194304 8395647 140734440270016 18446744073709551615 6667494 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 32744 31310 813 1026 0 31714 0 Current children cumulated CPU time (s) 1788.3 Current children cumulated vsize (KiB) 130976 [startup+1789.5 s] /proc/loadavg: 1.01 1.02 1.00 2/107 31504 /proc/meminfo: memFree=1687576/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=130976 CPUtime=1789.09 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86275 0 0 0 178282 627 0 0 25 0 1 0 24177729 134119424 31311 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 32744 31311 813 1026 0 31714 0 Current children cumulated CPU time (s) 1789.09 Current children cumulated vsize (KiB) 130976 [startup+1789.9 s] /proc/loadavg: 1.01 1.02 1.00 2/107 31504 /proc/meminfo: memFree=1687576/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=130976 CPUtime=1789.49 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86277 0 0 0 178322 627 0 0 25 0 1 0 24177729 134119424 31313 1992294400 4194304 8395647 140734440270016 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31455/statm: 32744 31313 813 1026 0 31714 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (KiB) 130976 [startup+1790.1 s] /proc/loadavg: 1.01 1.02 1.00 2/107 31504 /proc/meminfo: memFree=1687576/2059040 swapFree=4108704/4192956 [pid=31455] ppid=31453 vsize=130976 CPUtime=1789.69 /proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86280 0 0 0 178342 627 0 0 25 0 1 0 24177729 134119424 31316 1992294400 4194304 8395647 140734440270016 18446744073709551615 6345199 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31455/statm: 32744 31316 815 1026 0 31714 0 Current children cumulated CPU time (s) 1789.69 Current children cumulated vsize (KiB) 130976 Child status: 0 Real time (s): 1790.17 CPU time (s): 1789.77 CPU user time (s): 1783.48 CPU system time (s): 6.29204 CPU usage (%): 99.9778 Max. virtual memory (cumulated for all children) (KiB): 141656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.48 system time used= 6.29204 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86281 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= 2 involuntary context switches= 4516 runsolver used 2.97955 second user time and 8.43072 second system time The end
Begin job on node034 at 2010-07-08 05:27:45 IDJOB=2703875 IDBENCH=2477 IDSOLVER=1213 FILE ID=node034/2703875-1278559665 PBS_JOBID= 11239505 Free space on /tmp= 62404 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-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.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-2703875-1278559665/watcher-2703875-1278559665 -o /tmp/evaluation-result-2703875-1278559665/solver-2703875-1278559665 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703875-1278559665.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2171c0e7720e195b62c6e8928bbcbe1d RANDOM SEED=387057610 node034.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.216 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.43 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.216 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1811732 kB Buffers: 33064 kB Cached: 105904 kB SwapCached: 41168 kB Active: 104572 kB Inactive: 77324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1811732 kB SwapTotal: 4192956 kB SwapFree: 4108704 kB Dirty: 11060 kB Writeback: 0 kB AnonPages: 10360 kB Mapped: 7016 kB Slab: 43472 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184528 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62392 MiB End job on node034 at 2010-07-08 05:57:35