0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3485084-1307780949.opb>
0.00/0.00 c original problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 100
0.00/0.01 c feasible solution found by trivial heuristic, objective value 1.000000e+02
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 36088 impls, 0 clqs
0.05/0.07 c (0.1s) probing: 101/1352 (7.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.05/0.07 c presolving (2 rounds):
0.05/0.07 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.07 c 36088 implications, 0 cliques
0.05/0.07 c presolved problem has 1352 variables (1352 bin, 0 int, 0 impl, 0 cont) and 1352 constraints
0.05/0.07 c 1252 constraints of type <and>
0.05/0.07 c 100 constraints of type <logicor>
0.05/0.07 c transformed objective value is always integral (scale: 1)
0.05/0.07 c Presolving Time: 0.07
0.05/0.07 c - non default parameters ----------------------------------------------------------------------
0.05/0.07 c # SCIP version 2.0.1.4
0.05/0.07 c
0.05/0.07 c # frequency for displaying node information lines
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.07 c display/freq = 10000
0.05/0.07 c
0.05/0.07 c # maximal time in seconds to run
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.07 c limits/time = 1797
0.05/0.07 c
0.05/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.07 c limits/memory = 13950
0.05/0.07 c
0.05/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.05/0.07 c # [type: int, range: [1,2], default: 1]
0.05/0.07 c timing/clocktype = 2
0.05/0.07 c
0.05/0.07 c # belongs reading time to solving time?
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c timing/reading = TRUE
0.05/0.07 c
0.05/0.07 c # should presolving try to simplify inequalities
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/linear/simplifyinequalities = TRUE
0.05/0.07 c
0.05/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/indicator/addCouplingCons = TRUE
0.05/0.07 c
0.05/0.07 c # should presolving try to simplify knapsacks
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.07 c
0.05/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07 c separating/rapidlearning/freq = 0
0.05/0.07 c
0.05/0.07 c -----------------------------------------------------------------------------------------------
0.05/0.07 c start solving
0.05/0.07 c
0.05/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.08 c t 0.1s| 1 | 0 | 200 | - |6572k| 0 | 200 |1352 |1352 |1352 |2604 | 0 | 0 | 0 | 0.000000e+00 | 1.000000e+02 | Inf
0.05/0.09 o 21
0.05/0.09 c s 0.1s| 1 | 0 | 200 | - |6612k| 0 | 200 |1352 |1352 |1352 |2604 | 0 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 500 | - |6732k| 0 | 200 |1352 |1363 |1352 |2805 | 201 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 800 | - |6834k| 0 | 200 |1352 |1363 |1352 |3007 | 403 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf
0.19/0.29 o 19
0.19/0.29 c s 0.3s| 1 | 0 | 800 | - |6854k| 0 | 200 |1352 |1363 |1352 |3007 | 403 | 0 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
0.29/0.37 c 0.4s| 1 | 0 | 1101 | - |6957k| 0 | 200 |1352 |1363 |1352 |3209 | 605 | 0 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
0.29/0.37 o 17
0.29/0.37 c s 0.4s| 1 | 0 | 1101 | - |6977k| 0 | 200 |1352 |1363 |1352 |3209 | 605 | 0 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
0.39/0.45 c 0.5s| 1 | 0 | 1401 | - |7079k| 0 | 200 |1352 |1363 |1352 |3411 | 807 | 0 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
0.59/0.60 c 0.6s| 1 | 0 | 2142 | - |7182k| 0 | 504 |1352 |1363 |1352 |3611 |1007 | 0 | 0 | 5.424594e+00 | 1.700000e+01 | 213.39%
0.89/0.90 c 0.9s| 1 | 0 | 2445 | - |7694k| 0 | 589 |1352 |1363 |1352 |3746 |1142 | 0 | 0 | 6.508356e+00 | 1.700000e+01 | 161.20%
1.19/1.23 c 1.2s| 1 | 0 | 2658 | - |8108k| 0 | 736 |1352 |1363 |1352 |3787 |1183 | 0 | 0 | 7.021166e+00 | 1.700000e+01 | 142.13%
1.59/1.65 c 1.7s| 1 | 0 | 2774 | - |8543k| 0 | 817 |1352 |1363 |1352 |3817 |1213 | 0 | 0 | 7.165872e+00 | 1.700000e+01 | 137.24%
2.10/2.12 c 2.1s| 1 | 0 | 2848 | - |9057k| 0 | 845 |1352 |1363 |1352 |3829 |1225 | 0 | 0 | 7.236313e+00 | 1.700000e+01 | 134.93%
2.59/2.64 c 2.6s| 1 | 0 | 2950 | - |9529k| 0 | 844 |1352 |1363 |1352 |3834 |1230 | 0 | 0 | 7.281867e+00 | 1.700000e+01 | 133.46%
3.09/3.10 c 3.1s| 1 | 0 | 3010 | - |9456k| 0 | 803 |1352 |1363 |1352 |1410 |1241 | 0 | 0 | 7.281867e+00 | 1.700000e+01 | 133.46%
3.09/3.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.10 c 3.1s| 1 | 0 | 3010 | - |9456k| 0 | 803 |1352 |1363 |1352 |1410 |1241 | 0 | 0 | 7.324965e+00 | 1.700000e+01 | 132.08%
3.29/3.35 c 3.4s| 1 | 0 | 3061 | - |9638k| 0 | 807 |1352 |1363 |1352 |1415 |1246 | 0 | 0 | 7.335210e+00 | 1.700000e+01 | 131.76%
3.59/3.61 c 3.6s| 1 | 0 | 3089 | - |9721k| 0 | 853 |1352 |1363 |1352 |1420 |1251 | 0 | 0 | 7.338037e+00 | 1.700000e+01 | 131.67%
3.79/3.87 c 3.9s| 1 | 0 | 3119 | - |9731k| 0 | 871 |1352 |1363 |1352 |1423 |1254 | 0 | 0 | 7.340473e+00 | 1.700000e+01 | 131.59%
4.69/4.72 c 4.7s| 1 | 2 | 3119 | - |9731k| 0 | 871 |1352 |1363 |1352 |1423 |1254 | 0 | 17 | 7.340473e+00 | 1.700000e+01 | 131.59%
5.69/5.74 o 11
5.69/5.74 c * 5.7s| 11 | 6 | 3836 | 71.7 |9783k| 10 | - |1352 |1363 |1352 |1404 |1323 | 0 | 107 | 7.458437e+00 | 1.100000e+01 | 47.48%
45.99/46.01 o 10
45.99/46.01 c *46.0s| 3586 | 0 |189075 | 51.9 | 10M| 35 | - |1352 |1363 |1352 |1402 |9136 | 0 | 974 | 1.000000e+01 | 1.000000e+01 | 0.00%
45.99/46.01 c
45.99/46.01 c SCIP Status : problem is solved [optimal solution found]
45.99/46.01 c Solving Time (sec) : 46.01
45.99/46.01 c Solving Nodes : 3586
45.99/46.01 c Primal Bound : +1.00000000000000e+01 (6 solutions)
45.99/46.01 c Dual Bound : +1.00000000000000e+01
45.99/46.01 c Gap : 0.00 %
45.99/46.01 s OPTIMUM FOUND
45.99/46.01 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
45.99/46.01 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
45.99/46.01 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
45.99/46.01 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
45.99/46.01 c SCIP Status : problem is solved [optimal solution found]
45.99/46.01 c Total Time : 46.01
45.99/46.01 c solving : 46.01
45.99/46.01 c presolving : 0.07 (included in solving)
45.99/46.01 c reading : 0.00 (included in solving)
45.99/46.01 c Original Problem :
45.99/46.01 c Problem name : HOME/instance-3485084-1307780949.opb
45.99/46.01 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
45.99/46.01 c Constraints : 100 initial, 100 maximal
45.99/46.01 c Presolved Problem :
45.99/46.01 c Problem name : t_HOME/instance-3485084-1307780949.opb
45.99/46.01 c Variables : 1352 (1352 binary, 0 integer, 0 implicit integer, 0 continuous)
45.99/46.01 c Constraints : 1352 initial, 1363 maximal
45.99/46.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
45.99/46.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
45.99/46.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
45.99/46.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
45.99/46.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
45.99/46.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
45.99/46.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
45.99/46.01 c and : 0.05 0 0 0 0 0 0 0 0 0
45.99/46.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
45.99/46.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
45.99/46.01 c root node : - 0 - - 0 - - - - -
45.99/46.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
45.99/46.01 c integral : 0 0 0 2329 0 32 0 10 283 0 0 4404
45.99/46.01 c and : 1252 5072 17374 2 0 27 0 0 227986 9097 0 0
45.99/46.01 c linear : 0+ 15 47 0 0 0 0 0 0 0 0 0
45.99/46.01 c logicor : 100 15 7545 2 0 4 0 0 0 0 0 0
45.99/46.01 c countsols : 0 0 0 2 0 7 0 0 0 0 0 0
45.99/46.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
45.99/46.01 c integral : 10.90 0.00 0.00 10.90 0.00 0.00 0.00
45.99/46.01 c and : 1.32 0.88 0.44 0.00 0.00 0.00 0.00
45.99/46.01 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
45.99/46.01 c logicor : 0.03 0.00 0.03 0.00 0.00 0.00 0.00
45.99/46.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
45.99/46.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
45.99/46.01 c vbounds : 0 0 0 0
45.99/46.01 c rootredcost : 1 0 0 0
45.99/46.01 c pseudoobj : 17262 0 0 0
45.99/46.01 c Propagator Timings : TotalTime Propagate Resprop
45.99/46.01 c vbounds : 0.00 0.00 0.00
45.99/46.01 c rootredcost : 0.00 0.00 0.00
45.99/46.01 c pseudoobj : 0.06 0.06 0.00
45.99/46.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
45.99/46.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
45.99/46.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
45.99/46.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
45.99/46.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
45.99/46.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
45.99/46.01 c applied globally : - - - 0 0.0 - - -
45.99/46.01 c applied locally : - - - 0 0.0 - - -
45.99/46.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
45.99/46.01 c cut pool : 0.00 14 - - 36 - (maximal pool size: 2191)
45.99/46.01 c redcost : 0.10 5072 0 14958 0 0
45.99/46.01 c impliedbounds : 0.01 15 0 0 1298 0
45.99/46.01 c intobj : 0.00 0 0 0 0 0
45.99/46.01 c gomory : 2.23 15 0 0 2102 0
45.99/46.01 c cgmip : 0.00 0 0 0 0 0
45.99/46.01 c closecuts : 0.00 0 0 0 0 0
45.99/46.01 c strongcg : 0.97 15 0 0 5437 0
45.99/46.01 c cmir : 0.22 10 0 0 1010 0
45.99/46.01 c flowcover : 0.17 10 0 0 1172 0
45.99/46.01 c clique : 0.06 15 0 0 14 0
45.99/46.01 c zerohalf : 0.00 0 0 0 0 0
45.99/46.01 c mcf : 0.00 1 0 0 0 0
45.99/46.01 c oddcycle : 0.00 0 0 0 0 0
45.99/46.01 c rapidlearning : 0.05 1 0 0 0 11
45.99/46.01 c Pricers : Time Calls Vars
45.99/46.01 c problem variables: 0.00 1 21
45.99/46.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
45.99/46.01 c relpscost : 10.90 2327 10 283 0 0 4404
45.99/46.01 c pscost : 0.00 0 0 0 0 0 0
45.99/46.01 c inference : 0.00 0 0 0 0 0 0
45.99/46.01 c mostinf : 0.00 0 0 0 0 0 0
45.99/46.01 c leastinf : 0.00 0 0 0 0 0 0
45.99/46.01 c fullstrong : 0.00 0 0 0 0 0 0
45.99/46.01 c allfullstrong : 0.00 0 0 0 0 0 0
45.99/46.01 c random : 0.00 0 0 0 0 0 0
45.99/46.01 c Primal Heuristics : Time Calls Found
45.99/46.01 c LP solutions : 0.01 - 2
45.99/46.01 c pseudo solutions : 0.00 - 0
45.99/46.01 c feaspump : 0.00 0 0
45.99/46.01 c intshifting : 0.00 0 0
45.99/46.01 c oneopt : 0.00 4 0
45.99/46.01 c objpscostdiving : 0.69 3 0
45.99/46.01 c rootsoldiving : 0.33 9 0
45.99/46.01 c linesearchdiving : 0.42 19 0
45.99/46.01 c veclendiving : 0.95 19 0
45.99/46.01 c pscostdiving : 0.58 20 0
45.99/46.01 c fracdiving : 0.81 20 0
45.99/46.01 c coefdiving : 0.46 20 0
45.99/46.01 c guideddiving : 0.97 20 0
45.99/46.01 c trivial : 0.00 2 1
45.99/46.01 c shiftandpropagate: 0.00 0 0
45.99/46.01 c simplerounding : 0.00 0 0
45.99/46.01 c zirounding : 0.11 1000 0
45.99/46.01 c rounding : 0.28 949 0
45.99/46.01 c shifting : 0.20 542 3
45.99/46.01 c twoopt : 0.00 0 0
45.99/46.01 c fixandinfer : 0.00 0 0
45.99/46.01 c clique : 0.00 0 0
45.99/46.01 c intdiving : 0.00 0 0
45.99/46.01 c actconsdiving : 0.00 0 0
45.99/46.01 c octane : 0.00 0 0
45.99/46.01 c rens : 0.00 0 0
45.99/46.01 c rins : 0.00 0 0
45.99/46.01 c localbranching : 0.00 0 0
45.99/46.01 c mutation : 0.00 0 0
45.99/46.01 c crossover : 0.08 3 0
45.99/46.01 c dins : 0.00 0 0
45.99/46.01 c vbounds : 0.00 0 0
45.99/46.01 c undercover : 0.01 1 0
45.99/46.01 c subnlp : 0.00 0 0
45.99/46.01 c trysol : 0.00 0 0
45.99/46.01 c LP : Time Calls Iterations Iter/call Iter/sec
45.99/46.01 c primal LP : 0.17 0 0 0.00 0.00
45.99/46.01 c dual LP : 21.53 6141 156788 25.53 7280.79
45.99/46.01 c lex dual LP : 0.00 0 0 0.00 -
45.99/46.01 c barrier LP : 0.00 0 0 0.00 -
45.99/46.01 c diving/probing LP: 4.43 2781 32287 11.61 7287.42
45.99/46.01 c strong branching : 10.84 974 83345 85.57 7685.34
45.99/46.01 c (at root node) : - 17 4712 277.18 -
45.99/46.01 c conflict analysis: 0.00 0 0 0.00 -
45.99/46.01 c B&B Tree :
45.99/46.01 c number of runs : 1
45.99/46.01 c nodes : 3586
45.99/46.01 c nodes (total) : 3586
45.99/46.01 c nodes left : 0
45.99/46.01 c max depth : 35
45.99/46.01 c max depth (total): 35
45.99/46.01 c backtracks : 739 (20.6%)
45.99/46.01 c delayed cutoffs : 0
45.99/46.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
45.99/46.01 c avg switch length: 5.67
45.99/46.01 c switching time : 0.49
45.99/46.01 c Solution :
45.99/46.01 c Solutions found : 6 (6 improvements)
45.99/46.01 c First Solution : +1.00000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
45.99/46.01 c Primal Bound : +1.00000000000000e+01 (in run 1, after 3586 nodes, 46.01 seconds, depth 12, found by <relaxation>)
45.99/46.01 c Dual Bound : +1.00000000000000e+01
45.99/46.01 c Gap : 0.00 %
45.99/46.01 c Root Dual Bound : +7.34047346257020e+00
45.99/46.01 c Root Iterations : 3119
45.99/46.03 c Time complete: 46.02.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485084-1307780949/watcher-3485084-1307780949 -o /tmp/evaluation-result-3485084-1307780949/solver-3485084-1307780949 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485084-1307780949.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11799
/proc/meminfo: memFree=31203028/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=10000 CPUtime=0 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 1504 0 0 0 0 0 0 0 25 0 1 0 889695681 10240000 1459 33554432000 4194304 8979876 140734793880672 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11799/statm: 2500 1459 368 1169 0 1327 0
[startup+0.057412 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11799
/proc/meminfo: memFree=31203028/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=20660 CPUtime=0.05 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 4206 0 0 0 5 0 0 0 25 0 1 0 889695681 21155840 3904 33554432000 4194304 8979876 140734793880672 18446744073709551615 5049035 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11799/statm: 5165 3904 503 1169 0 3992 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20660
[startup+0.100443 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11799
/proc/meminfo: memFree=31203028/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=27024 CPUtime=0.09 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 7239 0 0 0 9 0 0 0 25 0 1 0 889695681 27672576 5778 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11799/statm: 6756 5778 643 1169 0 5583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27024
[startup+0.300394 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11799
/proc/meminfo: memFree=31203028/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=44464 CPUtime=0.29 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 11653 0 0 0 28 1 0 0 25 0 1 0 889695681 45531136 9830 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11799/statm: 11116 9830 684 1169 0 9943 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44464
[startup+0.700327 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11799
/proc/meminfo: memFree=31203028/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=44464 CPUtime=0.69 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 11663 0 0 0 68 1 0 0 25 0 1 0 889695681 45531136 9840 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11799/statm: 11116 9840 688 1169 0 9943 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44464
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11800
/proc/meminfo: memFree=31165472/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=44464 CPUtime=1.49 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 11924 0 0 0 147 2 0 0 25 0 1 0 889695681 45531136 10101 33554432000 4194304 8979876 140734793880672 18446744073709551615 6543764 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11799/statm: 11116 10101 690 1169 0 9943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44464
[startup+3.10089 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11800
/proc/meminfo: memFree=31165220/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=44464 CPUtime=3.09 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 11935 0 0 0 307 2 0 0 25 0 1 0 889695681 45531136 10112 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11799/statm: 11116 10112 690 1169 0 9943 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44464
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11801
/proc/meminfo: memFree=31164796/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=44464 CPUtime=6.29 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 11942 0 0 0 625 4 0 0 25 0 1 0 889695681 45531136 10119 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11799/statm: 11116 10119 695 1169 0 9943 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44464
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11801
/proc/meminfo: memFree=31164304/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=44464 CPUtime=12.69 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 11942 0 0 0 1259 10 0 0 25 0 1 0 889695681 45531136 10119 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11799/statm: 11116 10119 695 1169 0 9943 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44464
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11801
/proc/meminfo: memFree=31163916/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=44468 CPUtime=25.49 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 13720 0 0 0 2527 22 0 0 25 0 1 0 889695681 45535232 10173 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11799/statm: 11117 10173 717 1169 0 9944 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44468
Solver just ended. Dumping a history of the last processes samples
[startup+38.3004 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11801
/proc/meminfo: memFree=31161848/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=62168 CPUtime=38.29 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 20714 0 0 0 3796 33 0 0 25 0 1 0 889695681 63660032 14113 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11799/statm: 15542 14113 717 1169 0 14369 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 62168
[startup+41.5009 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11801
/proc/meminfo: memFree=31148196/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=62168 CPUtime=41.49 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 20715 0 0 0 4115 34 0 0 25 0 1 0 889695681 63660032 14114 33554432000 4194304 8979876 140734793880672 18446744073709551615 7164623 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11799/statm: 15542 14114 717 1169 0 14369 0
Current children cumulated CPU time (s) 41.49
Current children cumulated vsize (KiB) 62168
[startup+43.1006 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11802
/proc/meminfo: memFree=31148252/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=62168 CPUtime=43.09 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 20715 0 0 0 4273 36 0 0 25 0 1 0 889695681 63660032 14114 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11799/statm: 15542 14114 717 1169 0 14369 0
Current children cumulated CPU time (s) 43.09
Current children cumulated vsize (KiB) 62168
[startup+44.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11802
/proc/meminfo: memFree=31148252/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=62168 CPUtime=44.69 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 20716 0 0 0 4432 37 0 0 25 0 1 0 889695681 63660032 14115 33554432000 4194304 8979876 140734793880672 18446744073709551615 4905456 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11799/statm: 15542 14115 717 1169 0 14369 0
Current children cumulated CPU time (s) 44.69
Current children cumulated vsize (KiB) 62168
[startup+45.5011 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11802
/proc/meminfo: memFree=31148252/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=62168 CPUtime=45.49 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 20716 0 0 0 4512 37 0 0 25 0 1 0 889695681 63660032 14115 33554432000 4194304 8979876 140734793880672 18446744073709551615 5041664 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11799/statm: 15542 14115 717 1169 0 14369 0
Current children cumulated CPU time (s) 45.49
Current children cumulated vsize (KiB) 62168
[startup+45.9011 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11802
/proc/meminfo: memFree=31148252/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=62168 CPUtime=45.89 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 20716 0 0 0 4551 38 0 0 25 0 1 0 889695681 63660032 14115 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11799/statm: 15542 14115 717 1169 0 14369 0
Current children cumulated CPU time (s) 45.89
Current children cumulated vsize (KiB) 62168
[startup+46.001 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11802
/proc/meminfo: memFree=31148252/32951124 swapFree=67056684/67111528
[pid=11799] ppid=11797 vsize=62168 CPUtime=45.99 cores=0,2,4,6
/proc/11799/stat : 11799 (scip-2.0.1.4_2.) R 11797 11799 9145 0 -1 4202496 20717 0 0 0 4561 38 0 0 25 0 1 0 889695681 63660032 14116 33554432000 4194304 8979876 140734793880672 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11799/statm: 15542 14116 717 1169 0 14369 0
Current children cumulated CPU time (s) 45.99
Current children cumulated vsize (KiB) 62168
Child status: 0
Real time (s): 46.0311
CPU time (s): 46.028
CPU user time (s): 45.6421
CPU system time (s): 0.385941
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 62168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.6421
system time used= 0.385941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20725
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= 3
involuntary context switches= 294
runsolver used 0.079987 second user time and 0.143978 second system time
The end
Begin job on node109 at 2011-06-11 10:29:09
IDJOB=3485084
IDBENCH=48130
IDSOLVER=1977
FILE ID=node109/3485084-1307780949
RUNJOBID= node109-1307777630-9163
PBS_JOBID= 13550880
Free space on /tmp= 74000 MiB
SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_5.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485084-1307780949/watcher-3485084-1307780949 -o /tmp/evaluation-result-3485084-1307780949/solver-3485084-1307780949 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485084-1307780949.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= e6ef25c6f832d5fe55af9368c1298b73
RANDOM SEED=129336295
node109.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.809
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.61
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.809
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 : 5332.75
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.809
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.74
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.809
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.75
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.809
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.82
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.809
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.75
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.809
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.809
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31203084 kB
Buffers: 287240 kB
Cached: 953356 kB
SwapCached: 8608 kB
Active: 923276 kB
Inactive: 596408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31203084 kB
SwapTotal: 67111528 kB
SwapFree: 67056684 kB
Dirty: 16792 kB
Writeback: 0 kB
AnonPages: 276512 kB
Mapped: 16112 kB
Slab: 163136 kB
PageTables: 5136 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 472556 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= 73984 MiB
End job on node109 at 2011-06-11 10:29:55