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-3485181-1307785905.opb>
0.00/0.00 c original problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 151 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 4980 impls, 100 clqs
0.00/0.04 c (0.0s) probing: 101/710 (14.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 4980 implications, 100 cliques
0.00/0.04 c presolved problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 761 constraints
0.00/0.04 c 150 constraints of type <setppc>
0.00/0.04 c 610 constraints of type <and>
0.00/0.04 c 1 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.04
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.4
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c t 0.1s| 1 | 0 | 220 | - |3221k| 0 | 163 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.00/0.06 o -3
0.00/0.06 c s 0.1s| 1 | 0 | 220 | - |3238k| 0 | 163 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
0.09/0.12 o -4
0.09/0.12 c U 0.1s| 1 | 0 | 220 | - |3239k| 0 | 163 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.19/0.21 c 0.2s| 1 | 0 | 228 | - |3486k| 0 | 164 | 710 | 762 | 710 |1378 | 7 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.19/0.26 c 0.3s| 1 | 0 | 360 | - |3565k| 0 | 257 | 710 | 762 | 710 |1384 | 13 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.28/0.31 c 0.3s| 1 | 0 | 362 | - |3591k| 0 | 258 | 710 | 762 | 710 |1385 | 14 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.28/0.37 c 0.4s| 1 | 0 | 604 | - |3624k| 0 | 304 | 710 | 762 | 710 |1386 | 15 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.38/0.49 c 0.5s| 1 | 0 | 688 | - |3710k| 0 | 322 | 710 | 762 | 710 |1390 | 19 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.59/0.61 c 0.6s| 1 | 0 | 763 | - |3806k| 0 | 341 | 710 | 762 | 710 |1392 | 21 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
3.09/3.14 o -10
3.09/3.14 c E 3.1s| 1 | 0 | 763 | - |3817k| 0 | 341 | 710 | 762 | 710 |1392 | 21 | 0 | 0 |-2.500000e+01 |-1.000000e+01 | 60.00%
3.09/3.14 c 3.1s| 1 | 0 | 763 | - |3817k| 0 | 341 | 710 | 762 | 710 |1392 | 21 | 0 | 0 |-2.500000e+01 |-1.000000e+01 | 60.00%
3.19/3.26 c 3.3s| 1 | 0 | 896 | - |3828k| 0 | 351 | 710 | 762 | 710 |1395 | 24 | 0 | 0 |-2.500000e+01 |-1.000000e+01 | 60.00%
4.58/4.66 c 4.7s| 1 | 2 | 896 | - |3830k| 0 | 351 | 710 | 762 | 710 |1395 | 24 | 0 | 12 |-2.500000e+01 |-1.000000e+01 | 60.00%
20.49/20.56 o -12
20.49/20.56 c f20.6s| 134 | 119 | 61938 | 459.0 |3866k| 16 | - | 710 | 764 | 710 | 728 |1852 | 2 | 299 |-2.392648e+01 |-1.200000e+01 | 49.85%
25.09/25.12 o -13
25.09/25.12 c l25.1s| 196 | 155 |109138 | 555.1 |3977k| 21 | - | 710 | 766 | 710 | 816 |2418 | 4 | 305 |-2.276643e+01 |-1.300000e+01 | 42.90%
73.49/73.51 o -14
73.49/73.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.49/73.51 c l73.5s| 5070 | 761 |580541 | 114.4 |5921k| 44 | - | 710 | 864 | 710 | 815 | 10k| 105 | 347 |-1.954616e+01 |-1.400000e+01 | 28.37%
104.90/104.94 c 105s| 10000 | 1331 |886805 | 88.6 |9545k| 44 | 119 | 710 | 900 | 710 | 727 | 16k| 155 | 397 |-1.891195e+01 |-1.400000e+01 | 25.97%
163.09/163.11 c 163s| 20000 | 1983 | 1445k| 72.2 | 13M| 44 | - | 710 | 879 | 710 | 771 | 27k| 209 | 686 |-1.829447e+01 |-1.400000e+01 | 23.47%
215.79/215.88 c 216s| 30000 | 2357 | 1955k| 65.2 | 16M| 44 | 138 | 710 | 869 | 710 | 726 | 36k| 266 | 971 |-1.788997e+01 |-1.400000e+01 | 21.74%
265.80/265.85 c 266s| 40000 | 2457 | 2436k| 60.9 | 17M| 44 | 156 | 710 | 868 | 710 | 705 | 45k| 290 |1253 |-1.758784e+01 |-1.400000e+01 | 20.40%
311.90/311.94 c 312s| 50000 | 2369 | 2883k| 57.7 | 18M| 45 | 159 | 710 | 874 | 710 | 856 | 53k| 315 |1453 |-1.735731e+01 |-1.400000e+01 | 19.34%
355.80/355.88 c 356s| 60000 | 2229 | 3312k| 55.2 | 17M| 47 | - | 710 | 878 | 710 | 856 | 60k| 333 |1680 |-1.713806e+01 |-1.400000e+01 | 18.31%
399.80/399.88 c 400s| 70000 | 1961 | 3743k| 53.5 | 16M| 47 | - | 710 | 872 | 710 | 820 | 68k| 348 |1886 |-1.692816e+01 |-1.400000e+01 | 17.30%
441.60/441.60 c 442s| 80000 | 1591 | 4152k| 51.9 | 15M| 47 | 149 | 710 | 878 | 710 | 803 | 74k| 367 |2065 |-1.670364e+01 |-1.400000e+01 | 16.19%
481.90/481.97 c 482s| 90000 | 1057 | 4546k| 50.5 | 12M| 47 | - | 710 | 880 | 710 | 774 | 80k| 378 |2284 |-1.645820e+01 |-1.400000e+01 | 14.94%
516.60/516.68 c
516.60/516.68 c SCIP Status : problem is solved [optimal solution found]
516.60/516.68 c Solving Time (sec) : 516.68
516.60/516.68 c Solving Nodes : 99435
516.60/516.68 c Primal Bound : -1.40000000000000e+01 (11 solutions)
516.60/516.68 c Dual Bound : -1.40000000000000e+01
516.60/516.68 c Gap : 0.00 %
516.60/516.68 s OPTIMUM FOUND
516.60/516.68 v -x98 x89 x90 -x56 x96 -x76 -x55 -x95 -x79 x92 -x71 -x75 -x88 x54 -x65 -x57 -x53 x74 -x81 -x83 -x80 x52 -x82 -x70 -x67 -x61 -x59
516.60/516.68 v -x69 x62 -x73 x77 -x64 -x60 x91 -x51 x99 -x97 x85 -x68 -x58 -x63 -x72 -x100 -x93 -x86 x94 -x66 -x78 x87 -x84 x50 -x49 x48 x47
516.60/516.68 v -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 x34 x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 -x22 x21 -x20
516.60/516.68 v -x19 -x18 -x17 -x16 x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
516.60/516.68 c SCIP Status : problem is solved [optimal solution found]
516.60/516.68 c Total Time : 516.68
516.60/516.68 c solving : 516.68
516.60/516.68 c presolving : 0.04 (included in solving)
516.60/516.68 c reading : 0.00 (included in solving)
516.60/516.68 c Original Problem :
516.60/516.68 c Problem name : HOME/instance-3485181-1307785905.opb
516.60/516.68 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
516.60/516.68 c Constraints : 151 initial, 151 maximal
516.60/516.68 c Presolved Problem :
516.60/516.68 c Problem name : t_HOME/instance-3485181-1307785905.opb
516.60/516.68 c Variables : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous)
516.60/516.68 c Constraints : 761 initial, 904 maximal
516.60/516.68 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
516.60/516.68 c trivial : 0.00 0 0 0 0 0 0 0 0 0
516.60/516.68 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
516.60/516.68 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
516.60/516.68 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
516.60/516.68 c implics : 0.00 0 0 0 0 0 0 0 0 0
516.60/516.68 c probing : 0.01 0 0 0 0 0 0 0 0 0
516.60/516.68 c setppc : 0.00 0 0 0 0 0 0 0 0 0
516.60/516.68 c and : 0.02 0 0 0 0 0 0 0 0 0
516.60/516.68 c linear : 0.00 0 0 0 0 0 0 0 0 0
516.60/516.68 c logicor : 0.00 0 0 0 0 0 0 0 0 0
516.60/516.68 c root node : - 13 - - 13 - - - - -
516.60/516.68 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
516.60/516.68 c integral : 0 0 0 50661 0 85 0 72 687 0 0 100444
516.60/516.68 c setppc : 150 7 319118 0 0 80 1198 165 234711 0 0 0
516.60/516.68 c and : 610 83940 318952 0 0 79 1742 62 2716912 85553 0 0
516.60/516.68 c linear : 1 7 318888 0 0 10 3 13 46 0 0 0
516.60/516.68 c logicor : 0+ 7 76246 0 0 0 156 1 33282 0 0 0
516.60/516.68 c countsols : 0 0 0 0 0 14 0 0 0 0 0 0
516.60/516.68 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
516.60/516.68 c integral : 26.38 0.00 0.00 26.38 0.00 0.00 0.00
516.60/516.68 c setppc : 0.68 0.00 0.68 0.00 0.00 0.00 0.00
516.60/516.68 c and : 6.11 2.85 3.26 0.00 0.00 0.00 0.00
516.60/516.68 c linear : 0.20 0.00 0.20 0.00 0.00 0.00 0.00
516.60/516.68 c logicor : 0.21 0.00 0.21 0.00 0.00 0.00 0.00
516.60/516.68 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
516.60/516.68 c Propagators : #Propagate #Resprop Cutoffs DomReds
516.60/516.68 c vbounds : 0 0 0 0
516.60/516.68 c rootredcost : 3 0 0 0
516.60/516.68 c pseudoobj : 320407 209 28 367
516.60/516.68 c Propagator Timings : TotalTime Propagate Resprop
516.60/516.68 c vbounds : 0.05 0.05 0.00
516.60/516.68 c rootredcost : 0.05 0.05 0.00
516.60/516.68 c pseudoobj : 0.61 0.61 0.00
516.60/516.68 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
516.60/516.68 c propagation : 0.00 269 260 420 16.5 1 32.0 -
516.60/516.68 c infeasible LP : 0.00 25 25 51 34.7 0 0.0 0
516.60/516.68 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
516.60/516.68 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
516.60/516.68 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
516.60/516.68 c applied globally : - - - 379 15.5 - - -
516.60/516.68 c applied locally : - - - 0 0.0 - - -
516.60/516.68 c Separators : Time Calls Cutoffs DomReds Cuts Conss
516.60/516.68 c cut pool : 0.00 6 - - 25 - (maximal pool size: 131)
516.60/516.68 c redcost : 1.82 90760 0 415188 0 0
516.60/516.68 c impliedbounds : 0.00 7 0 0 0 0
516.60/516.68 c intobj : 0.00 0 0 0 0 0
516.60/516.68 c gomory : 0.21 7 0 0 207 0
516.60/516.68 c cgmip : 0.00 0 0 0 0 0
516.60/516.68 c closecuts : 0.00 0 0 0 0 0
516.60/516.68 c strongcg : 0.18 7 0 0 526 0
516.60/516.68 c cmir : 0.03 7 0 0 0 0
516.60/516.68 c flowcover : 0.06 7 0 0 0 0
516.60/516.68 c clique : 0.02 7 0 0 22 0
516.60/516.68 c zerohalf : 0.00 0 0 0 0 0
516.60/516.68 c mcf : 0.00 1 0 0 0 0
516.60/516.68 c oddcycle : 0.00 0 0 0 0 0
516.60/516.68 c rapidlearning : 0.04 1 0 0 0 0
516.60/516.68 c Pricers : Time Calls Vars
516.60/516.68 c problem variables: 0.00 0 0
516.60/516.68 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
516.60/516.68 c relpscost : 26.34 50661 72 687 0 0 100444
516.60/516.68 c pscost : 0.00 0 0 0 0 0 0
516.60/516.68 c inference : 0.00 0 0 0 0 0 0
516.60/516.68 c mostinf : 0.00 0 0 0 0 0 0
516.60/516.68 c leastinf : 0.00 0 0 0 0 0 0
516.60/516.68 c fullstrong : 0.00 0 0 0 0 0 0
516.60/516.68 c allfullstrong : 0.00 0 0 0 0 0 0
516.60/516.68 c random : 0.00 0 0 0 0 0 0
516.60/516.68 c Primal Heuristics : Time Calls Found
516.60/516.68 c LP solutions : 0.00 - 0
516.60/516.68 c pseudo solutions : 0.00 - 0
516.60/516.68 c feaspump : 0.00 0 0
516.60/516.68 c oneopt : 0.03 5 0
516.60/516.68 c crossover : 0.29 12 1
516.60/516.68 c objpscostdiving : 4.78 29 0
516.60/516.68 c veclendiving : 3.40 102 0
516.60/516.68 c fracdiving : 4.61 102 1
516.60/516.68 c pscostdiving : 2.81 103 0
516.60/516.68 c linesearchdiving : 2.67 103 2
516.60/516.68 c guideddiving : 4.17 103 0
516.60/516.68 c coefdiving : 4.96 103 0
516.60/516.68 c rootsoldiving : 2.77 52 0
516.60/516.68 c trivial : 0.00 2 1
516.60/516.68 c shiftandpropagate: 0.00 0 0
516.60/516.68 c simplerounding : 0.02 0 0
516.60/516.68 c zirounding : 2.23 0 0
516.60/516.68 c rounding : 0.74 3918 0
516.60/516.68 c shifting : 1.51 4060 4
516.60/516.68 c intshifting : 0.00 0 0
516.60/516.68 c twoopt : 0.00 0 0
516.60/516.68 c fixandinfer : 0.00 0 0
516.60/516.68 c clique : 0.00 0 0
516.60/516.68 c intdiving : 0.00 0 0
516.60/516.68 c actconsdiving : 0.00 0 0
516.60/516.68 c octane : 0.00 0 0
516.60/516.68 c rens : 2.53 1 1
516.60/516.68 c rins : 0.00 0 0
516.60/516.68 c localbranching : 0.00 0 0
516.60/516.68 c mutation : 0.00 0 0
516.60/516.68 c dins : 0.00 0 0
516.60/516.68 c vbounds : 0.00 0 0
516.60/516.68 c undercover : 0.06 1 1
516.60/516.68 c subnlp : 0.02 0 0
516.60/516.68 c trysol : 0.03 0 0
516.60/516.68 c LP : Time Calls Iterations Iter/call Iter/sec
516.60/516.68 c primal LP : 3.66 0 0 0.00 0.00
516.60/516.68 c dual LP : 411.43 127860 4590543 35.90 11157.52
516.60/516.68 c lex dual LP : 0.00 0 0 0.00 -
516.60/516.68 c barrier LP : 0.00 0 0 0.00 -
516.60/516.68 c diving/probing LP: 26.34 22685 301768 13.30 11458.18
516.60/516.68 c strong branching : 25.46 2431 292197 120.20 11476.12
516.60/516.68 c (at root node) : - 12 12000 1000.00 -
516.60/516.68 c conflict analysis: 0.00 0 0 0.00 -
516.60/516.68 c B&B Tree :
516.60/516.68 c number of runs : 1
516.60/516.68 c nodes : 99435
516.60/516.68 c nodes (total) : 99435
516.60/516.68 c nodes left : 0
516.60/516.68 c max depth : 47
516.60/516.68 c max depth (total): 47
516.60/516.68 c backtracks : 15708 (15.8%)
516.60/516.68 c delayed cutoffs : 0
516.60/516.68 c repropagations : 3516 (2905 domain reductions, 0 cutoffs)
516.60/516.68 c avg switch length: 6.31
516.60/516.68 c switching time : 9.40
516.60/516.68 c Solution :
516.60/516.68 c Solutions found : 11 (7 improvements)
516.60/516.68 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
516.60/516.68 c Primal Bound : -1.40000000000000e+01 (in run 1, after 5070 nodes, 73.51 seconds, depth 47, found by <linesearchdiving>)
516.60/516.68 c Dual Bound : -1.40000000000000e+01
516.60/516.68 c Gap : 0.00 %
516.60/516.68 c Root Dual Bound : -2.50000000000000e+01
516.60/516.68 c Root Iterations : 896
516.60/516.69 c Time complete: 516.69.
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-3485181-1307785905/watcher-3485181-1307785905 -o /tmp/evaluation-result-3485181-1307785905/solver-3485181-1307785905 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485181-1307785905.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: 1.00 1.11 1.45 3/173 5197
/proc/meminfo: memFree=31458152/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=9116 CPUtime=0 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 1203 0 0 0 0 0 0 0 23 0 1 0 890188699 9334784 1159 33554432000 4194304 8979876 140735735412288 18446744073709551615 7836189 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5197/statm: 2279 1172 346 1169 0 1106 0
[startup+0.00756007 s]
/proc/loadavg: 1.00 1.11 1.45 3/173 5197
/proc/meminfo: memFree=31458152/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=10004 CPUtime=0 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 1492 0 0 0 0 0 0 0 23 0 1 0 890188699 10244096 1447 33554432000 4194304 8979876 140735735412288 18446744073709551615 7807840 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5197/statm: 2501 1451 367 1169 0 1328 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10004
[startup+0.100575 s]
/proc/loadavg: 1.00 1.11 1.45 3/173 5197
/proc/meminfo: memFree=31458152/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=33992 CPUtime=0.09 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 8094 0 0 0 8 1 0 0 24 0 1 0 890188699 34807808 7413 33554432000 4194304 8979876 140735735412288 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 8498 7413 657 1169 0 7325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33992
[startup+0.300551 s]
/proc/loadavg: 1.00 1.11 1.45 3/173 5197
/proc/meminfo: memFree=31458152/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=36748 CPUtime=0.28 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 13316 0 0 0 27 1 0 0 25 0 1 0 890188699 37629952 8151 33554432000 4194304 8979876 140735735412288 18446744073709551615 6283112 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 9187 8151 710 1169 0 8014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 36748
[startup+0.700487 s]
/proc/loadavg: 1.00 1.11 1.45 3/173 5197
/proc/meminfo: memFree=31458152/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=46408 CPUtime=0.69 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 15472 0 0 0 67 2 0 0 25 0 1 0 890188699 47521792 10307 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 11602 10307 719 1169 0 10429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46408
[startup+1.50034 s]
/proc/loadavg: 1.00 1.11 1.45 3/179 5207
/proc/meminfo: memFree=31312196/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=49836 CPUtime=1.49 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 16327 0 0 0 146 3 0 0 25 0 1 0 890188699 51032064 11134 33554432000 4194304 8979876 140735735412288 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 12459 11134 724 1169 0 11286 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49836
[startup+3.10102 s]
/proc/loadavg: 1.00 1.11 1.45 3/179 5207
/proc/meminfo: memFree=31142344/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=50328 CPUtime=3.09 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 16455 0 0 0 301 8 0 0 25 0 1 0 890188699 51535872 11262 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 12582 11262 725 1169 0 11409 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50328
[startup+6.30048 s]
/proc/loadavg: 1.08 1.12 1.46 3/179 5207
/proc/meminfo: memFree=31113516/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=40760 CPUtime=6.29 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 16907 0 0 0 617 12 0 0 25 0 1 0 890188699 41738240 9051 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 10190 9051 727 1169 0 9017 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40760
[startup+12.7003 s]
/proc/loadavg: 1.15 1.14 1.46 3/179 5207
/proc/meminfo: memFree=31106108/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=40760 CPUtime=12.69 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 16909 0 0 0 1250 19 0 0 25 0 1 0 890188699 41738240 9053 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 10190 9053 727 1169 0 9017 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40760
[startup+25.5011 s]
/proc/loadavg: 1.34 1.18 1.47 3/179 5207
/proc/meminfo: memFree=31106368/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=40852 CPUtime=25.49 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 16914 0 0 0 2517 32 0 0 25 0 1 0 890188699 41832448 9058 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 10213 9058 728 1169 0 9040 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40852
[startup+51.1005 s]
/proc/loadavg: 1.56 1.24 1.48 3/179 5208
/proc/meminfo: memFree=31098576/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=49500 CPUtime=51.09 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 18872 0 0 0 5046 63 0 0 25 0 1 0 890188699 50688000 11013 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 12375 11013 732 1169 0 11202 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 49500
[startup+102.306 s]
/proc/loadavg: 1.81 1.36 1.50 3/179 5209
/proc/meminfo: memFree=31087644/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=47340 CPUtime=102.29 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 25930 0 0 0 10110 119 0 0 25 0 1 0 890188699 48476160 10692 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 11835 10692 732 1169 0 10662 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 47340
[startup+162.301 s]
/proc/loadavg: 1.93 1.47 1.53 3/179 5211
/proc/meminfo: memFree=31085592/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=50028 CPUtime=162.29 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 31297 0 0 0 16041 188 0 0 25 0 1 0 890188699 51228672 11332 33554432000 4194304 8979876 140735735412288 18446744073709551615 6783195 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 12507 11332 732 1169 0 11334 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 50028
[startup+222.301 s]
/proc/loadavg: 1.97 1.56 1.56 3/179 5213
/proc/meminfo: memFree=31079488/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=55192 CPUtime=222.3 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 35129 0 0 0 21970 260 0 0 25 0 1 0 890188699 56516608 12590 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 13798 12590 732 1169 0 12625 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 55192
[startup+282.3 s]
/proc/loadavg: 1.99 1.64 1.58 3/179 5214
/proc/meminfo: memFree=30903740/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=57180 CPUtime=282.3 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 35660 0 0 0 27905 325 0 0 25 0 1 0 890188699 58552320 13121 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 14295 13121 732 1169 0 13122 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 57180
[startup+342.301 s]
/proc/loadavg: 2.03 1.72 1.61 3/179 5216
/proc/meminfo: memFree=30898124/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=59612 CPUtime=342.3 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 38834 0 0 0 33838 392 0 0 25 0 1 0 890188699 61042688 13710 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 14903 13710 732 1169 0 13730 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 59612
[startup+402.301 s]
/proc/loadavg: 2.01 1.77 1.63 3/179 5217
/proc/meminfo: memFree=30897704/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60120 CPUtime=402.3 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 38968 0 0 0 39764 466 0 0 25 0 1 0 890188699 61562880 13844 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15030 13844 732 1169 0 13857 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 60120
[startup+462.3 s]
/proc/loadavg: 2.00 1.81 1.65 3/179 5219
/proc/meminfo: memFree=30897404/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60284 CPUtime=462.3 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 39004 0 0 0 45698 532 0 0 25 0 1 0 890188699 61730816 13880 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15071 13880 732 1169 0 13898 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 60284
Solver just ended. Dumping a history of the last processes samples
[startup+486.301 s]
/proc/loadavg: 2.00 1.82 1.66 3/179 5220
/proc/meminfo: memFree=30897264/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60284 CPUtime=486.3 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 39004 0 0 0 48071 559 0 0 25 0 1 0 890188699 61730816 13880 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15071 13880 732 1169 0 13898 0
Current children cumulated CPU time (s) 486.3
Current children cumulated vsize (KiB) 60284
[startup+499.101 s]
/proc/loadavg: 2.00 1.83 1.66 3/179 5220
/proc/meminfo: memFree=30897260/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60284 CPUtime=499.11 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 39004 0 0 0 49336 575 0 0 25 0 1 0 890188699 61730816 13880 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15071 13880 732 1169 0 13898 0
Current children cumulated CPU time (s) 499.11
Current children cumulated vsize (KiB) 60284
[startup+505.501 s]
/proc/loadavg: 2.00 1.83 1.67 3/179 5220
/proc/meminfo: memFree=30897256/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60284 CPUtime=505.5 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 39004 0 0 0 49967 583 0 0 25 0 1 0 890188699 61730816 13880 33554432000 4194304 8979876 140735735412288 18446744073709551615 7186186 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15071 13880 732 1169 0 13898 0
Current children cumulated CPU time (s) 505.5
Current children cumulated vsize (KiB) 60284
[startup+511.901 s]
/proc/loadavg: 2.00 1.83 1.67 3/179 5220
/proc/meminfo: memFree=30897256/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60284 CPUtime=511.91 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 39004 0 0 0 50598 593 0 0 25 0 1 0 890188699 61730816 13880 33554432000 4194304 8979876 140735735412288 18446744073709551615 7046464 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15071 13880 732 1169 0 13898 0
Current children cumulated CPU time (s) 511.91
Current children cumulated vsize (KiB) 60284
[startup+515.101 s]
/proc/loadavg: 2.00 1.84 1.67 3/179 5220
/proc/meminfo: memFree=30897008/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60284 CPUtime=515.1 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 39004 0 0 0 50913 597 0 0 25 0 1 0 890188699 61730816 13880 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15071 13880 732 1169 0 13898 0
Current children cumulated CPU time (s) 515.1
Current children cumulated vsize (KiB) 60284
[startup+515.907 s]
/proc/loadavg: 2.00 1.84 1.67 3/179 5220
/proc/meminfo: memFree=30897236/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60284 CPUtime=515.91 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 39004 0 0 0 50993 598 0 0 25 0 1 0 890188699 61730816 13880 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15071 13880 732 1169 0 13898 0
Current children cumulated CPU time (s) 515.91
Current children cumulated vsize (KiB) 60284
[startup+516.301 s]
/proc/loadavg: 2.00 1.84 1.67 3/179 5220
/proc/meminfo: memFree=30897236/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60284 CPUtime=516.31 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 39004 0 0 0 51032 599 0 0 25 0 1 0 890188699 61730816 13880 33554432000 4194304 8979876 140735735412288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15071 13880 732 1169 0 13898 0
Current children cumulated CPU time (s) 516.31
Current children cumulated vsize (KiB) 60284
[startup+516.501 s]
/proc/loadavg: 2.00 1.84 1.67 3/179 5220
/proc/meminfo: memFree=30897236/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60284 CPUtime=516.5 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 39004 0 0 0 51051 599 0 0 25 0 1 0 890188699 61730816 13880 33554432000 4194304 8979876 140735735412288 18446744073709551615 4911306 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15071 13880 732 1169 0 13898 0
Current children cumulated CPU time (s) 516.5
Current children cumulated vsize (KiB) 60284
[startup+516.601 s]
/proc/loadavg: 2.00 1.84 1.67 3/179 5220
/proc/meminfo: memFree=30897236/32951124 swapFree=67063272/67111528
[pid=5197] ppid=5195 vsize=60284 CPUtime=516.6 cores=0,2,4,6
/proc/5197/stat : 5197 (scip-2.0.1.4_2.) R 5195 5197 965 0 -1 4202496 39004 0 0 0 51061 599 0 0 25 0 1 0 890188699 61730816 13880 33554432000 4194304 8979876 140735735412288 18446744073709551615 4318655 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 15071 13880 732 1169 0 13898 0
Current children cumulated CPU time (s) 516.6
Current children cumulated vsize (KiB) 60284
Child status: 0
Real time (s): 516.692
CPU time (s): 516.702
CPU user time (s): 510.704
CPU system time (s): 5.99809
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 60284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 510.704
system time used= 5.99809
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39012
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= 9
involuntary context switches= 1027
runsolver used 0.763883 second user time and 1.59876 second system time
The end