Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | ? | 1790.31 | 1790.27 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo |
MD5SUM | f8e585aed580dee910146256b9cb9d64 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.172973 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 5456 |
Total number of constraints | 17015 |
Number of soft constraints | 5692 |
Number of constraints which are clauses | 16667 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 348 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
Top cost | 285936 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 285935 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 177 |
Number of bits of the biggest sum of numbers | 8 |
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: Clp 1.11.1] 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-2705191-1278576535.wbo> 0.09/0.14 c original problem has 16840 variables (11148 bin, 0 int, 5692 impl, 0 cont) and 22708 constraints 0.09/0.14 c problem read 0.09/0.14 c presolving settings loaded 0.19/0.28 c presolving: 0.29/0.37 c (round 1) 532 del vars, 1431 del conss, 313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 181278 impls, 0 clqs 0.39/0.41 c (round 2) 1348 del vars, 4035 del conss, 667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 185248 impls, 0 clqs 0.39/0.45 c (round 3) 2655 del vars, 6228 del conss, 865 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 186943 impls, 0 clqs 0.39/0.48 c (round 4) 4038 del vars, 7493 del conss, 970 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 187562 impls, 0 clqs 0.39/0.49 c (round 5) 4888 del vars, 8145 del conss, 1037 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 187940 impls, 0 clqs 0.49/0.51 c (round 6) 5363 del vars, 8589 del conss, 1088 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 188192 impls, 0 clqs 0.49/0.52 c (round 7) 5656 del vars, 8881 del conss, 1121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 188230 impls, 0 clqs 0.49/0.52 c (round 8) 5847 del vars, 9021 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 188258 impls, 0 clqs 0.49/0.53 c (round 9) 5947 del vars, 9072 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 188258 impls, 0 clqs 0.49/0.53 c (round 10) 5991 del vars, 9086 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 188258 impls, 0 clqs 0.49/0.53 c (round 11) 6004 del vars, 9092 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 188258 impls, 0 clqs 0.49/0.55 c (round 12) 6009 del vars, 9095 del conss, 4745 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 188258 impls, 0 clqs 0.49/0.56 c (round 13) 6014 del vars, 9097 del conss, 4745 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 188258 impls, 0 clqs 0.59/0.61 c (round 14) 6014 del vars, 9097 del conss, 4745 chg bounds, 0 chg sides, 0 chg coeffs, 6575 upgd conss, 195381 impls, 0 clqs 2.79/2.82 c (2.7s) probing: 1000/7209 (13.9%) - 24 fixings, 1 aggregations, 46681 implications, 1 bound changes 4.09/4.15 c (4.0s) probing: 2000/7209 (27.7%) - 24 fixings, 5 aggregations, 53585 implications, 1 bound changes 5.19/5.24 c (5.1s) probing: 3000/7209 (41.6%) - 24 fixings, 5 aggregations, 55793 implications, 1 bound changes 5.79/5.85 c (5.7s) probing: 3668/7209 (50.9%) - 24 fixings, 5 aggregations, 55928 implications, 1 bound changes 5.79/5.85 c (5.7s) probing aborted: 100/100 successive totally useless probings 5.79/5.85 c (round 15) 6043 del vars, 9097 del conss, 4746 chg bounds, 0 chg sides, 8 chg coeffs, 6575 upgd conss, 406095 impls, 532 clqs 5.79/5.87 c (round 16) 6043 del vars, 9171 del conss, 4746 chg bounds, 2 chg sides, 90 chg coeffs, 6575 upgd conss, 406095 impls, 535 clqs 5.79/5.90 c (round 17) 6069 del vars, 9199 del conss, 4746 chg bounds, 10 chg sides, 173 chg coeffs, 6575 upgd conss, 406103 impls, 582 clqs 5.89/5.92 c (round 18) 6097 del vars, 9203 del conss, 4758 chg bounds, 10 chg sides, 192 chg coeffs, 6575 upgd conss, 406103 impls, 598 clqs 5.89/5.95 c (round 19) 6101 del vars, 9203 del conss, 4758 chg bounds, 10 chg sides, 200 chg coeffs, 6581 upgd conss, 406103 impls, 599 clqs 5.89/5.97 c (5.8s) probing: 3678/7209 (51.0%) - 24 fixings, 5 aggregations, 55928 implications, 1 bound changes 5.89/5.97 c (5.8s) probing aborted: 100/100 successive totally useless probings 5.89/5.97 c presolving (20 rounds): 5.89/5.97 c 6101 deleted vars, 9203 deleted constraints, 4758 tightened bounds, 0 added holes, 10 changed sides, 201 changed coefficients 5.89/5.97 c 406103 implications, 599 cliques 5.89/5.97 c presolved problem has 10739 variables (7150 bin, 0 int, 3589 impl, 0 cont) and 13515 constraints 5.89/5.97 c 194 constraints of type <varbound> 5.89/5.97 c 237 constraints of type <knapsack> 5.89/5.97 c 5068 constraints of type <setppc> 5.89/5.97 c 3393 constraints of type <linear> 5.89/5.97 c 3589 constraints of type <indicator> 5.89/5.97 c 1034 constraints of type <logicor> 5.89/5.97 c transformed objective value is always integral (scale: 1) 5.89/5.97 c Presolving Time: 5.78 5.89/5.97 c - non default parameters ---------------------------------------------------------------------- 5.89/5.97 c # SCIP version 1.2.1.3 5.89/5.97 c 5.89/5.97 c # frequency for displaying node information lines 5.89/5.97 c # [type: int, range: [-1,2147483647], default: 100] 5.89/5.97 c display/freq = 10000 5.89/5.97 c 5.89/5.97 c # maximal time in seconds to run 5.89/5.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 5.89/5.97 c limits/time = 1789.88 5.89/5.97 c 5.89/5.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 5.89/5.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 5.89/5.97 c limits/memory = 3420 5.89/5.97 c 5.89/5.97 c # default clock type (1: CPU user seconds, 2: wall clock time) 5.89/5.97 c # [type: int, range: [1,2], default: 1] 5.89/5.97 c timing/clocktype = 2 5.89/5.97 c 5.89/5.97 c # should presolving try to simplify inequalities 5.89/5.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.89/5.97 c constraints/linear/simplifyinequalities = TRUE 5.89/5.97 c 5.89/5.97 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 5.89/5.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.89/5.97 c constraints/indicator/addCouplingCons = TRUE 5.89/5.97 c 5.89/5.97 c # should presolving try to simplify knapsacks 5.89/5.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.89/5.97 c constraints/knapsack/simplifyinequalities = TRUE 5.89/5.97 c 5.89/5.97 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 5.89/5.97 c # [type: int, range: [-1,2147483647], default: -1] 5.89/5.97 c separating/rapidlearning/freq = 0 5.89/5.97 c 5.89/5.97 c ----------------------------------------------------------------------------------------------- 5.89/5.97 c start solving 5.89/5.98 c 5.99/6.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.99/6.04 c 5.9s| 1 | 0 | 756 | - | 67M| 0 | 703 | 10k| 13k| 10k|6334 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 6.99/7.02 c 6.9s| 1 | 0 | 1928 | - | 69M| 0 |1059 | 10k| 13k| 10k|7899 |1565 | 0 | 0 | 0.000000e+00 | -- | Inf 7.89/7.96 c 7.8s| 1 | 0 | 2759 | - | 69M| 0 |1433 | 10k| 13k| 10k|8329 |1995 | 0 | 0 | 0.000000e+00 | -- | Inf 10.29/10.31 c 10.2s| 1 | 0 | 4117 | - | 71M| 0 |1750 | 10k| 13k| 10k|8655 |2321 | 0 | 0 | 0.000000e+00 | -- | Inf 15.59/15.68 c 15.5s| 1 | 0 | 6468 | - | 72M| 0 |1966 | 10k| 13k| 10k|8954 |2620 | 0 | 0 | 0.000000e+00 | -- | Inf 21.09/21.16 c 21.0s| 1 | 0 | 9381 | - | 73M| 0 |2042 | 10k| 13k| 10k|9281 |2947 | 0 | 0 | 0.000000e+00 | -- | Inf 29.29/29.38 c 29.2s| 1 | 0 | 12853 | - | 73M| 0 |1924 | 10k| 13k| 10k|9543 |3209 | 0 | 0 | 0.000000e+00 | -- | Inf 45.70/45.73 c 45.6s| 1 | 2 | 12853 | - | 73M| 0 |1924 | 10k| 13k| 10k|9543 |3209 | 0 | 17 | 0.000000e+00 | -- | Inf 475.21/475.23 c 475s| 10000 | 9994 |438336 | 42.6 | 132M| 186 | 9 | 10k| 13k| 10k|7900 | 14k| 36 |2961 | 0.000000e+00 | -- | Inf 616.21/616.22 c 616s| 20000 | 19994 |583649 | 28.5 | 189M| 186 | 40 | 10k| 13k| 10k|7900 | 30k| 61 |4102 | 0.000000e+00 | -- | Inf 777.61/777.66 c 778s| 30000 | 29990 |770419 | 25.3 | 245M| 186 | 0 | 10k| 13k| 10k|7990 | 45k| 81 |5221 | 0.000000e+00 | -- | Inf 1088.02/1088.00 c 1088s| 40000 | 39986 | 1116k| 27.6 | 302M| 186 | 11 | 10k| 13k| 10k|7959 | 60k| 130 |7067 | 0.000000e+00 | -- | Inf 1342.04/1342.07 c 1342s| 50000 | 49986 | 1374k| 27.2 | 358M| 186 | 0 | 10k| 13k| 10k|7974 | 76k| 170 |8342 | 0.000000e+00 | -- | Inf 1503.33/1503.36 c 1503s| 60000 | 59984 | 1566k| 25.9 | 414M| 186 | 8 | 10k| 13k| 10k|7964 | 90k| 199 |8667 | 0.000000e+00 | -- | Inf 1657.13/1657.17 c 1657s| 70000 | 69982 | 1707k| 24.2 | 469M| 187 | 0 | 10k| 13k| 10k|7966 | 102k| 223 |9472 | 0.000000e+00 | -- | Inf 1790.04/1790.02 c 1790.04/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1790.04/1790.02 c Solving Time (sec) : 1789.88 1790.04/1790.02 c Solving Nodes : 75968 1790.04/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1790.04/1790.02 c Dual Bound : +0.00000000000000e+00 1790.04/1790.02 c Gap : infinite 1790.04/1790.02 s UNKNOWN 1790.04/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1790.04/1790.02 c Solving Time : 1789.88 1790.04/1790.02 c Original Problem : 1790.04/1790.02 c Problem name : HOME/instance-2705191-1278576535.wbo 1790.04/1790.02 c Variables : 16840 (11148 binary, 0 integer, 5692 implicit integer, 0 continuous) 1790.04/1790.02 c Constraints : 22708 initial, 22708 maximal 1790.04/1790.02 c Presolved Problem : 1790.04/1790.02 c Problem name : t_HOME/instance-2705191-1278576535.wbo 1790.04/1790.02 c Variables : 10739 (7150 binary, 0 integer, 3589 implicit integer, 0 continuous) 1790.04/1790.02 c Constraints : 13515 initial, 13669 maximal 1790.04/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.04/1790.02 c trivial : 0.01 21 0 0 0 0 0 0 0 1790.04/1790.02 c dualfix : 0.02 4460 0 0 0 0 0 0 0 1790.04/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.04/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.04/1790.02 c implics : 0.01 0 0 0 0 0 0 0 0 1790.04/1790.02 c probing : 5.22 24 5 0 1 0 0 0 0 1790.04/1790.02 c varbound : 0.00 0 0 0 0 0 8 0 0 1790.04/1790.02 c knapsack : 0.04 0 0 0 0 0 0 10 201 1790.04/1790.02 c setppc : 0.03 0 0 0 0 0 49 0 0 1790.04/1790.02 c linear : 0.26 1108 483 0 4757 0 7042 0 0 1790.04/1790.02 c indicator : 0.05 0 0 0 0 0 2103 0 0 1790.04/1790.02 c logicor : 0.03 0 0 0 0 0 1 0 0 1790.04/1790.02 c root node : - 0 - - 0 - - - - 1790.04/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.04/1790.02 c integral : 0 0 0 82795 0 0 40 0 0 97680 1790.04/1790.02 c varbound : 194 6 303943 33927 0 0 5168 988 0 0 1790.04/1790.02 c knapsack : 237 6 303943 33089 0 4 239285 489 0 0 1790.04/1790.02 c setppc : 5068 6 303939 33089 0 3 437984 0 0 0 1790.04/1790.02 c linear : 3393 6 303936 33089 0 0 80175 107433 0 0 1790.04/1790.02 c indicator : 3589 0 303936 33927 0 0 82480 0 0 0 1790.04/1790.02 c logicor : 1034+ 6 151697 27115 0 12 109564 0 0 0 1790.04/1790.02 c countsols : 0 0 0 27115 0 0 0 0 0 0 1790.04/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.04/1790.02 c integral : 413.87 0.00 0.00 413.87 0.00 1790.04/1790.02 c varbound : 1.61 0.00 1.09 0.52 0.00 1790.04/1790.02 c knapsack : 3.75 0.01 3.22 0.52 0.00 1790.04/1790.02 c setppc : 12.06 0.00 10.26 1.80 0.00 1790.04/1790.02 c linear : 16.64 0.01 7.90 8.74 0.00 1790.04/1790.02 c indicator : 71.78 0.00 47.49 24.29 0.00 1790.04/1790.02 c logicor : 1.44 0.00 0.67 0.77 0.00 1790.04/1790.02 c countsols : 0.01 0.00 0.00 0.01 0.00 1790.04/1790.02 c Propagators : Time Calls Cutoffs DomReds 1790.04/1790.02 c vbounds : 0.46 14000 0 0 1790.04/1790.02 c rootredcost : 0.07 0 0 0 1790.04/1790.02 c pseudoobj : 21.47 291615 0 0 1790.04/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.04/1790.02 c propagation : 0.00 19 19 28 6.3 1 6.0 - 1790.04/1790.02 c infeasible LP : 0.17 125 125 219 10.2 0 0.0 0 1790.04/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.04/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.04/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.04/1790.02 c applied globally : - - - 224 9.4 - - - 1790.04/1790.02 c applied locally : - - - 0 0.0 - - - 1790.04/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.04/1790.02 c cut pool : 0.00 5 - - 64 - (maximal pool size: 2528) 1790.04/1790.02 c redcost : 22.74 82759 0 0 0 0 1790.04/1790.02 c impliedbounds : 0.02 6 0 0 1960 0 1790.04/1790.02 c intobj : 0.00 0 0 0 0 0 1790.04/1790.02 c cgmip : 0.00 0 0 0 0 0 1790.04/1790.02 c gomory : 6.80 6 0 0 1599 0 1790.04/1790.02 c strongcg : 6.26 6 0 0 2629 0 1790.04/1790.02 c cmir : 0.34 6 0 0 0 0 1790.04/1790.02 c flowcover : 0.90 6 0 0 389 0 1790.04/1790.02 c clique : 0.48 6 0 0 45 0 1790.04/1790.02 c zerohalf : 0.00 0 0 0 0 0 1790.04/1790.02 c mcf : 0.03 1 0 0 0 0 1790.04/1790.02 c rapidlearning : 0.00 0 0 0 0 0 1790.04/1790.02 c Pricers : Time Calls Vars 1790.04/1790.02 c problem variables: 0.00 0 0 1790.04/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.04/1790.02 c relpscost : 413.78 48868 0 40 0 0 97680 1790.04/1790.02 c pscost : 0.00 0 0 0 0 0 0 1790.04/1790.02 c inference : 42.72 27115 0 0 0 0 54238 1790.04/1790.02 c mostinf : 0.00 0 0 0 0 0 0 1790.04/1790.02 c leastinf : 0.00 0 0 0 0 0 0 1790.04/1790.02 c fullstrong : 0.00 0 0 0 0 0 0 1790.04/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0 1790.04/1790.02 c random : 0.00 0 0 0 0 0 0 1790.04/1790.02 c Primal Heuristics : Time Calls Found 1790.04/1790.02 c LP solutions : 0.00 - 0 1790.04/1790.02 c pseudo solutions : 0.00 - 0 1790.04/1790.02 c oneopt : 0.07 0 0 1790.04/1790.02 c crossover : 0.03 0 0 1790.04/1790.02 c guideddiving : 0.00 0 0 1790.04/1790.02 c intshifting : 0.00 0 0 1790.04/1790.02 c rootsoldiving : 5.92 15 0 1790.04/1790.02 c objpscostdiving : 10.52 35 0 1790.04/1790.02 c fracdiving : 36.65 1171 0 1790.04/1790.02 c veclendiving : 29.00 1171 0 1790.04/1790.02 c pscostdiving : 21.31 1193 0 1790.04/1790.02 c linesearchdiving : 19.00 1235 0 1790.04/1790.02 c coefdiving : 27.15 1254 0 1790.04/1790.02 c trivial : 0.08 2 0 1790.04/1790.02 c simplerounding : 0.15 47634 0 1790.04/1790.02 c zirounding : 0.29 1000 0 1790.04/1790.02 c rounding : 1.52 3041 0 1790.04/1790.02 c shifting : 2.77 898 0 1790.04/1790.02 c twoopt : 0.00 0 0 1790.04/1790.02 c fixandinfer : 0.00 0 0 1790.04/1790.02 c feaspump : 5.76 95 0 1790.04/1790.02 c intdiving : 0.00 0 0 1790.04/1790.02 c actconsdiving : 0.00 0 0 1790.04/1790.02 c octane : 0.00 0 0 1790.04/1790.02 c rens : 1.42 1 0 1790.04/1790.02 c rins : 0.00 0 0 1790.04/1790.02 c localbranching : 0.00 0 0 1790.04/1790.02 c mutation : 0.00 0 0 1790.04/1790.02 c dins : 0.00 0 0 1790.04/1790.02 c undercover : 0.00 0 0 1790.04/1790.02 c nlp : 0.02 0 0 1790.04/1790.02 c trysol : 7.52 1329 0 1790.04/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec 1790.04/1790.02 c primal LP : 0.01 0 0 0.00 - 1790.04/1790.02 c dual LP : 867.98 57310 1675311 29.23 1930.13 1790.04/1790.02 c lex dual LP : 0.00 0 0 0.00 - 1790.04/1790.02 c barrier LP : 0.00 0 0 0.00 - 1790.04/1790.02 c diving/probing LP: 100.67 10440 172011 16.48 1708.71 1790.04/1790.02 c strong branching : 411.84 10187 741329 72.77 1800.05 1790.04/1790.02 c (at root node) : - 17 16585 975.59 - 1790.04/1790.02 c conflict analysis: 0.00 0 0 0.00 - 1790.04/1790.02 c B&B Tree : 1790.04/1790.02 c number of runs : 1 1790.04/1790.02 c nodes : 75968 1790.04/1790.02 c nodes (total) : 75968 1790.04/1790.02 c nodes left : 75951 1790.04/1790.02 c max depth : 191 1790.04/1790.02 c max depth (total): 191 1790.04/1790.02 c backtracks : 1524 (2.0%) 1790.04/1790.02 c delayed cutoffs : 0 1790.04/1790.02 c repropagations : 156 (177 domain reductions, 0 cutoffs) 1790.04/1790.02 c avg switch length: 2.43 1790.04/1790.02 c switching time : 14.98 1790.04/1790.02 c Solution : 1790.04/1790.02 c Solutions found : 0 (0 improvements) 1790.04/1790.02 c Primal Bound : - 1790.04/1790.02 c Dual Bound : +0.00000000000000e+00 1790.04/1790.02 c Gap : infinite 1790.04/1790.02 c Root Dual Bound : +0.00000000000000e+00 1790.04/1790.02 c Root Iterations : 12853 1790.24/1790.26 c Time complete: 1790.3.
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-2705191-1278576535/watcher-2705191-1278576535 -o /tmp/evaluation-result-2705191-1278576535/solver-2705191-1278576535 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705191-1278576535.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.99 1.91 4/178 21620 /proc/meminfo: memFree=26824332/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=12548 CPUtime=0 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 1980 0 0 0 0 0 0 0 24 0 1 0 25867415 12849152 1899 4089446400 4194304 10345943 140733948779616 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/21620/statm: 3137 1899 429 1502 0 1630 0 [startup+0.0409801 s] /proc/loadavg: 1.93 1.99 1.91 4/178 21620 /proc/meminfo: memFree=26824332/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=21760 CPUtime=0.03 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 4307 0 0 0 3 0 0 0 24 0 1 0 25867415 22282240 4226 4089446400 4194304 10345943 140733948779616 18446744073709551615 9134638 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/21620/statm: 5440 4226 430 1502 0 3933 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21760 [startup+0.100968 s] /proc/loadavg: 1.93 1.99 1.91 4/178 21620 /proc/meminfo: memFree=26824332/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=30960 CPUtime=0.09 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 6605 0 0 0 9 0 0 0 24 0 1 0 25867415 31703040 6524 4089446400 4194304 10345943 140733948779616 18446744073709551615 9137614 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/21620/statm: 7740 6524 430 1502 0 6233 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30960 [startup+0.300934 s] /proc/loadavg: 1.93 1.99 1.91 4/178 21620 /proc/meminfo: memFree=26824332/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=80116 CPUtime=0.29 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 18830 0 0 0 27 2 0 0 25 0 1 0 25867415 82038784 18368 4089446400 4194304 10345943 140733948779616 18446744073709551615 6326861 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 20029 18369 545 1502 0 18522 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 80116 [startup+0.700919 s] /proc/loadavg: 1.93 1.99 1.91 4/178 21620 /proc/meminfo: memFree=26824332/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=91516 CPUtime=0.69 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 21845 0 0 0 67 2 0 0 25 0 1 0 25867415 93712384 21325 4089446400 4194304 10345943 140733948779616 18446744073709551615 5210328 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 22879 21325 591 1502 0 21372 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 91516 [startup+1.50083 s] /proc/loadavg: 1.93 1.99 1.91 3/179 21621 /proc/meminfo: memFree=26738144/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=94760 CPUtime=1.49 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 22672 0 0 0 146 3 0 0 25 0 1 0 25867415 97034240 22152 4089446400 4194304 10345943 140733948779616 18446744073709551615 4706426 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 23690 22152 591 1502 0 22183 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 94760 [startup+3.10049 s] /proc/loadavg: 1.93 1.99 1.91 3/179 21621 /proc/meminfo: memFree=26731572/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=99400 CPUtime=3.09 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 23799 0 0 0 306 3 0 0 25 0 1 0 25867415 101785600 23279 4089446400 4194304 10345943 140733948779616 18446744073709551615 9132238 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 24850 23279 596 1502 0 23343 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 99400 [startup+6.30089 s] /proc/loadavg: 1.93 1.99 1.91 3/179 21621 /proc/meminfo: memFree=26726176/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=118176 CPUtime=6.29 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 27932 0 0 0 625 4 0 0 25 0 1 0 25867415 121012224 27406 4089446400 4194304 10345943 140733948779616 18446744073709551615 5863178 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 29544 27406 743 1502 0 28037 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 118176 [startup+12.7007 s] /proc/loadavg: 1.94 1.99 1.91 2/174 21638 /proc/meminfo: memFree=28898464/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=136972 CPUtime=12.69 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 32038 0 0 0 1264 5 0 0 25 0 1 0 25867415 140259328 31508 4089446400 4194304 10345943 140733948779616 18446744073709551615 8933896 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 34243 31508 766 1502 0 32736 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 136972 [startup+25.5004 s] /proc/loadavg: 1.95 1.99 1.91 3/179 21648 /proc/meminfo: memFree=28618452/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=151400 CPUtime=25.49 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 35337 0 0 0 2543 6 0 0 25 0 1 0 25867415 155033600 34807 4089446400 4194304 10345943 140733948779616 18446744073709551615 6129744 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 37850 34807 766 1502 0 36343 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 151400 [startup+51.1009 s] /proc/loadavg: 1.97 1.99 1.91 3/179 21648 /proc/meminfo: memFree=28405396/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=162652 CPUtime=51.09 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 53210 0 0 0 5095 14 0 0 25 0 1 0 25867415 166555648 36215 4089446400 4194304 10345943 140733948779616 18446744073709551615 7569816 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 40663 36215 793 1502 0 39156 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 162652 [startup+102.307 s] /proc/loadavg: 1.98 1.99 1.91 3/179 21650 /proc/meminfo: memFree=28405132/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=161964 CPUtime=102.3 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 82266 0 0 0 10201 29 0 0 25 0 1 0 25867415 165851136 36228 4089446400 4194304 10345943 140733948779616 18446744073709551615 7573063 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 40491 36228 794 1502 0 38984 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 161964 [startup+162.301 s] /proc/loadavg: 1.99 1.99 1.91 3/179 21652 /proc/meminfo: memFree=28403980/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=154588 CPUtime=162.3 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 103534 0 0 0 16182 48 0 0 25 0 1 0 25867415 158298112 36423 4089446400 4194304 10345943 140733948779616 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 38647 36423 794 1502 0 37140 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 154588 [startup+222.3 s] /proc/loadavg: 1.99 1.99 1.91 3/179 21654 /proc/meminfo: memFree=28403324/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=155408 CPUtime=222.3 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 108888 0 0 0 22165 65 0 0 25 0 1 0 25867415 159137792 36587 4089446400 4194304 10345943 140733948779616 18446744073709551615 6119608 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 38852 36587 797 1502 0 37345 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 155408 [startup+282.301 s] /proc/loadavg: 1.99 1.99 1.91 3/179 21655 /proc/meminfo: memFree=28401176/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=158244 CPUtime=282.3 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 117066 0 0 0 28147 83 0 0 25 0 1 0 25867415 162041856 37145 4089446400 4194304 10345943 140733948779616 18446744073709551615 7591008 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 39561 37145 798 1502 0 38054 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 158244 [startup+342.301 s] /proc/loadavg: 1.99 1.99 1.91 3/179 21656 /proc/meminfo: memFree=28394924/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=164448 CPUtime=342.3 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 149388 0 0 0 34124 106 0 0 25 0 1 0 25867415 168394752 38920 4089446400 4194304 10345943 140733948779616 18446744073709551615 4701019 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 41112 38920 799 1502 0 39605 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 164448 [startup+402.3 s] /proc/loadavg: 2.04 2.00 1.92 3/179 21658 /proc/meminfo: memFree=28371944/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=188052 CPUtime=402.3 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 201164 0 0 0 40094 136 0 0 25 0 1 0 25867415 192565248 43860 4089446400 4194304 10345943 140733948779616 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 47013 43860 799 1502 0 45506 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 188052 [startup+462.301 s] /proc/loadavg: 2.01 2.00 1.92 3/179 21660 /proc/meminfo: memFree=28325776/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=213076 CPUtime=462.3 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 254687 0 0 0 46069 161 0 0 25 0 1 0 25867415 218189824 50241 4089446400 4194304 10345943 140733948779616 18446744073709551615 4701101 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 53269 50241 799 1502 0 51762 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 213076 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 21662 /proc/meminfo: memFree=28283680/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=236980 CPUtime=522.31 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 292282 0 0 0 52046 185 0 0 25 0 1 0 25867415 242667520 56288 4089446400 4194304 10345943 140733948779616 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 59245 56288 799 1502 0 57738 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 236980 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.92 4/180 21666 /proc/meminfo: memFree=28209964/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=259872 CPUtime=582.31 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 337838 0 0 0 58024 207 0 0 25 0 1 0 25867415 266108928 62013 4089446400 4194304 10345943 140733948779616 18446744073709551615 4881974 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 64968 62013 799 1502 0 63461 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 259872 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 21667 /proc/meminfo: memFree=28187148/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=284280 CPUtime=642.31 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 372416 0 0 0 64001 230 0 0 25 0 1 0 25867415 291102720 68360 4089446400 4194304 10345943 140733948779616 18446744073709551615 6307455 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 71070 68360 799 1502 0 69563 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 284280 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=27920308/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=386932 CPUtime=1062.32 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 600565 0 0 0 105846 386 0 0 25 0 1 0 25867415 396218368 94361 4089446400 4194304 10345943 140733948779616 18446744073709551615 7546811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 96733 94361 811 1502 0 95226 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 386932 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21681 /proc/meminfo: memFree=27883428/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=398548 CPUtime=1122.32 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 623296 0 0 0 111828 404 0 0 25 0 1 0 25867415 408113152 97359 4089446400 4194304 10345943 140733948779616 18446744073709551615 7568927 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 99637 97359 811 1502 0 98130 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 398548 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21682 /proc/meminfo: memFree=27848044/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=409868 CPUtime=1182.32 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 666113 0 0 0 117805 427 0 0 25 0 1 0 25867415 419704832 99787 4089446400 4194304 10345943 140733948779616 18446744073709551615 7604544 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 102467 99787 811 1502 0 100960 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 409868 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21683 /proc/meminfo: memFree=27816760/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=420984 CPUtime=1242.32 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 721600 0 0 0 123779 453 0 0 25 0 1 0 25867415 431087616 102158 4089446400 4194304 10345943 140733948779616 18446744073709551615 7569578 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 105246 102158 811 1502 0 103739 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 420984 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21685 /proc/meminfo: memFree=27769828/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=440140 CPUtime=1302.33 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 767163 0 0 0 129759 474 0 0 25 0 1 0 25867415 450703360 106867 4089446400 4194304 10345943 140733948779616 18446744073709551615 7591001 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 110035 106867 811 1502 0 108528 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 440140 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21687 /proc/meminfo: memFree=27732952/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=455564 CPUtime=1362.33 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 813499 0 0 0 135738 495 0 0 25 0 1 0 25867415 466497536 111354 4089446400 4194304 10345943 140733948779616 18446744073709551615 9134633 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 113891 111354 811 1502 0 112384 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 455564 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21689 /proc/meminfo: memFree=27687016/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=479712 CPUtime=1422.33 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 885056 0 0 0 141711 522 0 0 25 0 1 0 25867415 491225088 117413 4089446400 4194304 10345943 140733948779616 18446744073709551615 6108104 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 119928 117413 811 1502 0 118421 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 479712 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21690 /proc/meminfo: memFree=27639480/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=501928 CPUtime=1482.33 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 919649 0 0 0 147691 542 0 0 25 0 1 0 25867415 513974272 122804 4089446400 4194304 10345943 140733948779616 18446744073709551615 7578734 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 125482 122804 811 1502 0 123975 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 501928 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21691 /proc/meminfo: memFree=27598864/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=523676 CPUtime=1542.33 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 945806 0 0 0 153675 558 0 0 25 0 1 0 25867415 536244224 128341 4089446400 4194304 10345943 140733948779616 18446744073709551615 6715432 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 130919 128341 811 1502 0 129412 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 523676 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21693 /proc/meminfo: memFree=27556656/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=545900 CPUtime=1602.34 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 975797 0 0 0 159655 579 0 0 25 0 1 0 25867415 559001600 133577 4089446400 4194304 10345943 140733948779616 18446744073709551615 6702925 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 136475 133577 811 1502 0 134968 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 545900 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21695 /proc/meminfo: memFree=27506868/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=571928 CPUtime=1662.33 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 1020341 0 0 0 165631 602 0 0 25 0 1 0 25867415 585654272 139030 4089446400 4194304 10345943 140733948779616 18446744073709551615 9107408 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 142982 139039 811 1502 0 141475 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 571928 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21697 /proc/meminfo: memFree=27466504/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=591992 CPUtime=1722.34 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 1043294 0 0 0 171614 620 0 0 25 0 1 0 25867415 606199808 143415 4089446400 4194304 10345943 140733948779616 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 147998 143415 811 1502 0 146491 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 591992 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21698 /proc/meminfo: memFree=27427268/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=597412 CPUtime=1782.34 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 1065676 0 0 0 177593 641 0 0 25 0 1 0 25867415 611749888 146621 4089446400 4194304 10345943 140733948779616 18446744073709551615 6777328 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 149353 146621 811 1502 0 147846 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 597412 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21698 /proc/meminfo: memFree=27428880/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=605912 CPUtime=1785.53 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 1066669 0 0 0 177912 641 0 0 25 0 1 0 25867415 620453888 146859 4089446400 4194304 10345943 140733948779616 18446744073709551615 7568698 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 151478 146859 811 1502 0 149971 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 605912 [startup+1788.7 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21698 /proc/meminfo: memFree=27424528/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=600108 CPUtime=1788.74 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 1068100 0 0 0 178231 643 0 0 25 0 1 0 25867415 614510592 147161 4089446400 4194304 10345943 140733948779616 18446744073709551615 5614585 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 150027 147161 811 1502 0 148520 0 Current children cumulated CPU time (s) 1788.74 Current children cumulated vsize (KiB) 600108 [startup+1789.5 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21698 /proc/meminfo: memFree=27424528/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=600920 CPUtime=1789.54 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 1068153 0 0 0 178311 643 0 0 25 0 1 0 25867415 615342080 147214 4089446400 4194304 10345943 140733948779616 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 150230 147214 811 1502 0 148723 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (KiB) 600920 [startup+1789.9 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21699 /proc/meminfo: memFree=27424156/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=600920 CPUtime=1789.94 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 1068155 0 0 0 178351 643 0 0 25 0 1 0 25867415 615342080 147216 4089446400 4194304 10345943 140733948779616 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/21620/statm: 150230 147216 811 1502 0 148723 0 Current children cumulated CPU time (s) 1789.94 Current children cumulated vsize (KiB) 600920 [startup+1790.1 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21699 /proc/meminfo: memFree=27424156/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=600920 CPUtime=1790.14 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 1068156 0 0 0 178371 643 0 0 25 0 1 0 25867415 615342080 147217 4089446400 4194304 10345943 140733948779616 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/21620/statm: 150230 147217 812 1502 0 148723 0 Current children cumulated CPU time (s) 1790.14 Current children cumulated vsize (KiB) 600920 [startup+1790.2 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21699 /proc/meminfo: memFree=27424156/32950904 swapFree=67111528/67111528 [pid=21620] ppid=21618 vsize=600920 CPUtime=1790.24 /proc/21620/stat : 21620 (pbscip.linux.x8) R 21618 21620 21202 0 -1 4202496 1068156 0 0 0 178381 643 0 0 25 0 1 0 25867415 615342080 147217 4089446400 4194304 10345943 140733948779616 18446744073709551615 6324995 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/21620/statm: 150230 147217 812 1502 0 148723 0 Current children cumulated CPU time (s) 1790.24 Current children cumulated vsize (KiB) 600920 Child status: 0 Real time (s): 1790.27 CPU time (s): 1790.31 CPU user time (s): 1783.86 CPU system time (s): 6.45302 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 605912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.86 system time used= 6.45302 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1068159 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= 19138 runsolver used 3.15252 second user time and 6.62899 second system time The end
Begin job on node121 at 2010-07-08 10:08:55 IDJOB=2705191 IDBENCH=79068 IDSOLVER=1214 FILE ID=node121/2705191-1278576535 PBS_JOBID= 11240212 Free space on /tmp= 73656 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j309_10-unsat--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705191-1278576535/watcher-2705191-1278576535 -o /tmp/evaluation-result-2705191-1278576535/solver-2705191-1278576535 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705191-1278576535.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8e585aed580dee910146256b9cb9d64 RANDOM SEED=1713272524 node121.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 26824488 kB Buffers: 153100 kB Cached: 3566516 kB SwapCached: 0 kB Active: 3604408 kB Inactive: 2355760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 26824488 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 13256 kB Writeback: 0 kB AnonPages: 2241012 kB Mapped: 17680 kB Slab: 96972 kB PageTables: 8956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 2422360 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73644 MiB End job on node121 at 2010-07-08 10:38:46