0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2704376-1278554008.opb>
0.00/0.02 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 900 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.07 c (round 1) 0 del vars, 20 del conss, 0 chg bounds, 20 chg sides, 0 chg coeffs, 880 upgd conss, 584 impls, 0 clqs
0.00/0.09 c presolving (2 rounds):
0.00/0.09 c 0 deleted vars, 20 deleted constraints, 0 tightened bounds, 0 added holes, 20 changed sides, 0 changed coefficients
0.00/0.09 c 976 implications, 0 cliques
0.00/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 880 constraints
0.00/0.09 c 148 constraints of type <setppc>
0.00/0.09 c 732 constraints of type <logicor>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.06
0.00/0.09 c - non default parameters ----------------------------------------------------------------------
0.00/0.09 c # SCIP version 1.2.1.3
0.00/0.09 c
0.00/0.09 c # frequency for displaying node information lines
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.09 c display/freq = 10000
0.00/0.09 c
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/time = 1789.98
0.00/0.09 c
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/memory = 1620
0.00/0.09 c
0.00/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.09 c # [type: int, range: [1,2], default: 1]
0.00/0.09 c timing/clocktype = 2
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify inequalities
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/linear/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/indicator/addCouplingCons = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify knapsacks
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c separating/rapidlearning/freq = 0
0.00/0.09 c
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving
0.00/0.09 c
0.29/0.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.33 c 0.3s| 1 | 0 | 1369 | - |1751k| 0 | 181 | 200 | 880 | 200 | 880 | 0 | 0 | 0 | 6.678216e+01 | -- | Inf
1.29/1.31 o 100
1.29/1.31 c F 1.3s| 1 | 0 | 4302 | - |1770k| 0 | 0 | 200 | 880 | 200 | 880 | 0 | 0 | 0 | 6.678216e+01 | 1.000000e+02 | 49.74%
1.79/1.83 o 91
1.79/1.83 c y 1.8s| 1 | 0 | 4302 | - |3996k| 0 | 181 | 200 | 880 | 200 | 880 | 0 | 0 | 0 | 6.678216e+01 | 9.100000e+01 | 36.26%
1.89/1.95 c 1.9s| 1 | 0 | 4645 | - |4032k| 0 | 178 | 200 | 933 | 200 | 855 | 14 | 0 | 0 | 6.859796e+01 | 9.100000e+01 | 32.66%
2.10/2.16 c 2.1s| 1 | 0 | 4734 | - |6251k| 0 | 177 | 200 | 933 | 200 | 856 | 15 | 0 | 0 | 6.869197e+01 | 9.100000e+01 | 32.48%
2.29/2.39 c 2.4s| 1 | 0 | 4840 | - |8462k| 0 | 175 | 200 | 933 | 200 | 857 | 16 | 0 | 0 | 6.874991e+01 | 9.100000e+01 | 32.36%
2.59/2.62 c 2.6s| 1 | 0 | 4916 | - | 11M| 0 | 177 | 200 | 933 | 200 | 858 | 17 | 0 | 0 | 6.877015e+01 | 9.100000e+01 | 32.32%
2.79/2.85 c 2.8s| 1 | 0 | 4993 | - | 13M| 0 | 177 | 200 | 933 | 200 | 859 | 18 | 0 | 0 | 6.878097e+01 | 9.100000e+01 | 32.30%
3.09/3.12 c 3.1s| 1 | 0 | 5121 | - | 16M| 0 | 182 | 200 | 933 | 200 | 861 | 20 | 0 | 0 | 6.895105e+01 | 9.100000e+01 | 31.98%
3.30/3.36 c 3.3s| 1 | 0 | 5196 | - | 18M| 0 | 178 | 200 | 933 | 200 | 862 | 21 | 0 | 0 | 6.901654e+01 | 9.100000e+01 | 31.85%
3.59/3.60 c 3.6s| 1 | 0 | 5273 | - | 21M| 0 | 179 | 200 | 933 | 200 | 863 | 22 | 0 | 0 | 6.904548e+01 | 9.100000e+01 | 31.80%
3.78/3.85 c 3.8s| 1 | 0 | 5361 | - | 24M| 0 | 181 | 200 | 933 | 200 | 864 | 23 | 0 | 0 | 6.905827e+01 | 9.100000e+01 | 31.77%
4.09/4.10 c 4.1s| 1 | 0 | 5449 | - | 26M| 0 | 181 | 200 | 933 | 200 | 865 | 24 | 0 | 0 | 6.906414e+01 | 9.100000e+01 | 31.76%
4.30/4.35 c 4.3s| 1 | 0 | 5514 | - | 29M| 0 | 181 | 200 | 933 | 200 | 866 | 25 | 0 | 0 | 6.906901e+01 | 9.100000e+01 | 31.75%
4.58/4.60 c 4.6s| 1 | 0 | 5559 | - | 32M| 0 | 181 | 200 | 933 | 200 | 860 | 26 | 0 | 0 | 6.907261e+01 | 9.100000e+01 | 31.75%
4.79/4.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.79/4.88 c 4.9s| 1 | 0 | 5613 | - | 34M| 0 | 181 | 200 | 933 | 200 | 861 | 27 | 0 | 0 | 6.907735e+01 | 9.100000e+01 | 31.74%
5.09/5.13 c 5.1s| 1 | 0 | 5668 | - | 34M| 0 | 182 | 200 | 933 | 200 | 862 | 28 | 0 | 0 | 6.907873e+01 | 9.100000e+01 | 31.73%
5.29/5.39 c 5.4s| 1 | 0 | 5742 | - | 34M| 0 | 181 | 200 | 933 | 200 | 863 | 29 | 0 | 0 | 6.908028e+01 | 9.100000e+01 | 31.73%
5.59/5.64 c 5.6s| 1 | 0 | 5796 | - | 34M| 0 | 180 | 200 | 933 | 200 | 864 | 30 | 0 | 0 | 6.908110e+01 | 9.100000e+01 | 31.73%
5.89/5.91 c 5.9s| 1 | 0 | 5889 | - | 35M| 0 | 181 | 200 | 933 | 200 | 865 | 31 | 0 | 0 | 6.908334e+01 | 9.100000e+01 | 31.72%
6.09/6.16 c 6.1s| 1 | 0 | 5922 | - | 35M| 0 | 180 | 200 | 933 | 200 | 860 | 32 | 0 | 0 | 6.908380e+01 | 9.100000e+01 | 31.72%
8.59/8.64 c 8.6s| 1 | 2 | 5922 | - | 35M| 0 | 180 | 200 | 933 | 200 | 860 | 32 | 0 | 16 | 6.908380e+01 | 9.100000e+01 | 31.72%
42.89/42.92 o 89
42.89/42.92 c *42.9s| 134 | 74 | 22904 | 127.7 | 35M| 22 | - | 200 | 979 | 200 | 859 | 32 | 46 | 421 | 7.241335e+01 | 8.900000e+01 | 22.91%
87.56/87.63 c
87.56/87.63 c SCIP Status : problem is solved [optimal solution found]
87.56/87.63 c Solving Time (sec) : 87.61
87.56/87.63 c Solving Nodes : 1981
87.56/87.63 c Primal Bound : +8.90000000000000e+01 (4 solutions)
87.56/87.63 c Dual Bound : +8.90000000000000e+01
87.56/87.63 c Gap : 0.00 %
87.56/87.63 s OPTIMUM FOUND
87.56/87.63 v -x200 x199 -x198 x197 x196 -x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 -x179 x178
87.56/87.63 v -x177 -x176 x175 -x174 x173 -x172 x171 x170 -x169 x168 -x167 -x166 x165 -x164 x163 x162 -x161 -x160 x159 x158 -x157 -x156 x155
87.56/87.63 v x154 -x153 x152 -x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 -x139 -x138 x137 x136 -x135 -x134 x133 -x132
87.56/87.63 v -x131 -x130 x129 x128 -x127 x126 -x125 -x124 x123 -x122 x121 x120 -x119 -x118 x117 x116 -x115 -x114 -x113 -x112 x111 -x110
87.56/87.63 v x109 x108 -x107 -x106 x105 x104 -x103 -x102 -x101 x100 -x99 -x98 x97 -x96 x95 -x94 x93 x92 -x91 x90 -x89 x88 -x87 -x86 x85
87.56/87.63 v x84 -x83 x82 -x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 x70 -x69 -x68 x67 x66 -x65 -x64 x63 -x62 -x61 -x60 x59 -x58 x57
87.56/87.63 v x56 -x55 -x54 x53 -x52 x51 x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 x38 -x37 -x36 -x35 -x34 x33 x32 -x31 -x30
87.56/87.63 v x29 -x28 x27 -x26 x25 x24 -x23 -x22 x21 -x20 -x19 x18 -x17 x16 -x15 -x14 x13 x12 -x11 -x10 x9 -x8 x7 x6 -x5 x4 -x3 x2 -x1
87.56/87.63 c SCIP Status : problem is solved [optimal solution found]
87.56/87.63 c Solving Time : 87.61
87.56/87.63 c Original Problem :
87.56/87.63 c Problem name : HOME/instance-2704376-1278554008.opb
87.56/87.63 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
87.56/87.63 c Constraints : 900 initial, 900 maximal
87.56/87.63 c Presolved Problem :
87.56/87.63 c Problem name : t_HOME/instance-2704376-1278554008.opb
87.56/87.63 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
87.56/87.63 c Constraints : 880 initial, 1600 maximal
87.56/87.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
87.56/87.63 c trivial : 0.00 0 0 0 0 0 0 0 0
87.56/87.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
87.56/87.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
87.56/87.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
87.56/87.63 c implics : 0.00 0 0 0 0 0 0 0 0
87.56/87.63 c probing : 0.01 0 0 0 0 0 0 0 0
87.56/87.63 c setppc : 0.00 0 0 0 0 0 0 0 0
87.56/87.63 c linear : 0.03 0 0 0 0 0 20 20 0
87.56/87.63 c logicor : 0.01 0 0 0 0 0 0 0 0
87.56/87.63 c root node : - 5 - - 5 - - - -
87.56/87.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
87.56/87.63 c integral : 0 0 0 1155 0 9 98 0 0 2226
87.56/87.63 c setppc : 148 19 15170 1 0 438 32751 0 0 0
87.56/87.63 c linear : 0+ 18 14055 0 0 11 1045 4 0 0
87.56/87.63 c logicor : 732+ 19 12139 1 0 357 25586 0 0 0
87.56/87.63 c countsols : 0 0 0 1 0 0 0 0 0 0
87.56/87.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
87.56/87.63 c integral : 39.84 0.00 0.00 39.84 0.00
87.56/87.63 c setppc : 0.23 0.00 0.23 0.00 0.00
87.56/87.63 c linear : 0.07 0.00 0.07 0.00 0.00
87.56/87.63 c logicor : 0.37 0.00 0.37 0.00 0.00
87.56/87.63 c countsols : 0.00 0.00 0.00 0.00 0.00
87.56/87.63 c Propagators : Time Calls Cutoffs DomReds
87.56/87.63 c vbounds : 0.01 2 0 0
87.56/87.63 c rootredcost : 0.01 1 0 0
87.56/87.63 c pseudoobj : 0.15 14808 22 108
87.56/87.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
87.56/87.63 c propagation : 0.05 806 723 3125 13.7 45 8.8 -
87.56/87.63 c infeasible LP : 0.00 13 13 58 13.8 1 4.0 0
87.56/87.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
87.56/87.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
87.56/87.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
87.56/87.63 c applied globally : - - - 1512 11.7 - - -
87.56/87.63 c applied locally : - - - 1 31.0 - - -
87.56/87.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
87.56/87.63 c cut pool : 0.12 17 - - 414 - (maximal pool size: 6498)
87.56/87.63 c redcost : 0.01 1319 0 591 0 0
87.56/87.63 c impliedbounds : 0.00 18 0 0 18 0
87.56/87.63 c intobj : 0.00 0 0 0 0 0
87.56/87.63 c cgmip : 0.00 0 0 0 0 0
87.56/87.63 c gomory : 2.00 18 0 0 5 0
87.56/87.63 c strongcg : 1.76 18 0 0 6549 0
87.56/87.63 c cmir : 0.06 10 0 0 0 0
87.56/87.63 c flowcover : 0.07 10 0 0 0 0
87.56/87.63 c clique : 0.00 1 0 0 0 0
87.56/87.63 c zerohalf : 0.00 0 0 0 0 0
87.56/87.63 c mcf : 0.00 1 0 0 0 0
87.56/87.63 c rapidlearning : 0.33 1 0 4 0 73
87.56/87.63 c Pricers : Time Calls Vars
87.56/87.63 c problem variables: 0.00 0 0
87.56/87.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
87.56/87.63 c relpscost : 39.84 1154 9 98 0 0 2226
87.56/87.63 c pscost : 0.00 0 0 0 0 0 0
87.56/87.63 c inference : 0.00 0 0 0 0 0 0
87.56/87.63 c mostinf : 0.00 0 0 0 0 0 0
87.56/87.63 c leastinf : 0.00 0 0 0 0 0 0
87.56/87.63 c fullstrong : 0.00 0 0 0 0 0 0
87.56/87.63 c allfullstrong : 0.00 0 0 0 0 0 0
87.56/87.63 c random : 0.00 0 0 0 0 0 0
87.56/87.63 c Primal Heuristics : Time Calls Found
87.56/87.63 c LP solutions : 0.00 - 1
87.56/87.63 c pseudo solutions : 0.00 - 0
87.56/87.63 c oneopt : 0.00 2 0
87.56/87.63 c coefdiving : 0.29 6 0
87.56/87.63 c rootsoldiving : 0.37 3 0
87.56/87.63 c pscostdiving : 0.29 6 0
87.56/87.63 c fracdiving : 0.19 6 0
87.56/87.63 c veclendiving : 0.27 6 0
87.56/87.63 c guideddiving : 0.20 7 0
87.56/87.63 c linesearchdiving : 0.19 7 0
87.56/87.63 c trivial : 0.00 2 0
87.56/87.63 c simplerounding : 0.00 0 0
87.56/87.63 c zirounding : 0.06 1000 0
87.56/87.63 c rounding : 0.14 428 0
87.56/87.63 c shifting : 0.13 120 0
87.56/87.63 c intshifting : 0.00 0 0
87.56/87.63 c twoopt : 0.00 0 0
87.56/87.63 c fixandinfer : 0.00 0 0
87.56/87.63 c feaspump : 0.98 1 1
87.56/87.63 c intdiving : 0.00 0 0
87.56/87.63 c actconsdiving : 0.00 0 0
87.56/87.63 c objpscostdiving : 0.38 3 1
87.56/87.63 c octane : 0.00 0 0
87.56/87.63 c rens : 0.01 0 0
87.56/87.63 c rins : 0.00 0 0
87.56/87.63 c localbranching : 0.00 0 0
87.56/87.63 c mutation : 0.00 0 0
87.56/87.63 c crossover : 0.01 0 0
87.56/87.63 c dins : 0.00 0 0
87.56/87.63 c undercover : 0.00 0 0
87.56/87.63 c nlp : 0.00 0 0
87.56/87.63 c trysol : 0.00 0 0
87.56/87.63 c LP : Time Calls Iterations Iter/call Iter/sec
87.56/87.63 c primal LP : 0.00 0 0 0.00 -
87.56/87.63 c dual LP : 38.09 1470 153627 104.51 4032.88
87.56/87.63 c lex dual LP : 0.00 0 0 0.00 -
87.56/87.63 c barrier LP : 0.00 0 0 0.00 -
87.56/87.63 c diving/probing LP: 3.01 419 11749 28.04 3904.17
87.56/87.63 c strong branching : 39.76 636 152413 239.64 3833.60
87.56/87.63 c (at root node) : - 16 7213 450.81 -
87.56/87.63 c conflict analysis: 0.00 0 0 0.00 -
87.56/87.63 c B&B Tree :
87.56/87.63 c number of runs : 1
87.56/87.63 c nodes : 1981
87.56/87.63 c nodes (total) : 1981
87.56/87.63 c nodes left : 0
87.56/87.63 c max depth : 24
87.56/87.63 c max depth (total): 24
87.56/87.63 c backtracks : 592 (29.9%)
87.56/87.63 c delayed cutoffs : 244
87.56/87.63 c repropagations : 990 (13913 domain reductions, 185 cutoffs)
87.56/87.63 c avg switch length: 5.48
87.56/87.63 c switching time : 0.32
87.56/87.63 c Solution :
87.56/87.63 c Solutions found : 4 (3 improvements)
87.56/87.63 c First Solution : +1.00000000000000e+02 (in run 1, after 1 nodes, 1.29 seconds, depth 0, found by <feaspump>)
87.56/87.63 c Primal Bound : +8.90000000000000e+01 (in run 1, after 134 nodes, 42.90 seconds, depth 18, found by <relaxation>)
87.56/87.63 c Dual Bound : +8.90000000000000e+01
87.56/87.63 c Gap : 0.00 %
87.56/87.63 c Root Dual Bound : +6.90837950779048e+01
87.56/87.63 c Root Iterations : 5922
87.56/87.65 c Time complete: 87.61.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704376-1278554008/watcher-2704376-1278554008 -o /tmp/evaluation-result-2704376-1278554008/solver-2704376-1278554008 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704376-1278554008.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.08 1.02 0.93 3/105 27645
/proc/meminfo: memFree=1861636/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=7904 CPUtime=0
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 1150 0 0 0 0 0 0 0 25 0 1 0 23609241 8093696 1062 1992294400 4194304 8395647 140736431129536 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27645/statm: 1976 1070 365 1026 0 946 0
[startup+0.00984808 s]
/proc/loadavg: 1.08 1.02 0.93 3/105 27645
/proc/meminfo: memFree=1861636/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=8936 CPUtime=0
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 1393 0 0 0 0 0 0 0 25 0 1 0 23609241 9150464 1305 1992294400 4194304 8395647 140736431129536 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27645/statm: 2234 1315 374 1026 0 1204 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8936
[startup+0.100863 s]
/proc/loadavg: 1.08 1.02 0.93 3/105 27645
/proc/meminfo: memFree=1861636/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=16668 CPUtime=0.09
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 3732 0 0 0 8 1 0 0 18 0 1 0 23609241 17068032 3277 1992294400 4194304 8395647 140736431129536 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 4167 3277 560 1026 0 3137 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16668
[startup+0.300902 s]
/proc/loadavg: 1.08 1.02 0.93 3/105 27645
/proc/meminfo: memFree=1861636/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=17612 CPUtime=0.29
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 3961 0 0 0 28 1 0 0 18 0 1 0 23609241 18034688 3493 1992294400 4194304 8395647 140736431129536 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 4403 3493 567 1026 0 3373 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17612
[startup+0.700981 s]
/proc/loadavg: 1.08 1.02 0.93 3/105 27645
/proc/meminfo: memFree=1861636/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=17612 CPUtime=0.69
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 3970 0 0 0 67 2 0 0 18 0 1 0 23609241 18034688 3502 1992294400 4194304 8395647 140736431129536 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 4403 3502 573 1026 0 3373 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17612
[startup+1.50113 s]
/proc/loadavg: 1.08 1.02 0.93 2/106 27646
/proc/meminfo: memFree=1849476/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=19372 CPUtime=1.49
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 4420 0 0 0 147 2 0 0 19 0 1 0 23609241 19836928 3952 1992294400 4194304 8395647 140736431129536 18446744073709551615 6197330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 4843 3952 582 1026 0 3813 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19372
[startup+3.10143 s]
/proc/loadavg: 1.15 1.03 0.94 2/106 27646
/proc/meminfo: memFree=1837696/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=35172 CPUtime=3.09
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 8467 0 0 0 299 10 0 0 25 0 1 0 23609241 36016128 7980 1992294400 4194304 8395647 140736431129536 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 8793 7980 625 1026 0 7763 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35172
[startup+6.30104 s]
/proc/loadavg: 1.15 1.03 0.94 2/106 27646
/proc/meminfo: memFree=1812648/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=54456 CPUtime=6.29
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 14052 0 0 0 614 15 0 0 25 0 1 0 23609241 55762944 12828 1992294400 4194304 8395647 140736431129536 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13614 12828 627 1026 0 12584 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54456
[startup+12.7013 s]
/proc/loadavg: 1.13 1.03 0.94 2/106 27646
/proc/meminfo: memFree=1811656/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=54456 CPUtime=12.69
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 14053 0 0 0 1249 20 0 0 25 0 1 0 23609241 55762944 12829 1992294400 4194304 8395647 140736431129536 18446744073709551615 6698732 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13614 12829 628 1026 0 12584 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54456
[startup+25.5007 s]
/proc/loadavg: 1.11 1.03 0.94 2/106 27646
/proc/meminfo: memFree=1811656/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=54456 CPUtime=25.48
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 14053 0 0 0 2515 33 0 0 25 0 1 0 23609241 55762944 12829 1992294400 4194304 8395647 140736431129536 18446744073709551615 6697363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13614 12829 628 1026 0 12584 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54456
[startup+51.1006 s]
/proc/loadavg: 1.07 1.03 0.94 2/106 27648
/proc/meminfo: memFree=1811532/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=54456 CPUtime=51.07
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 14794 0 0 0 5047 60 0 0 25 0 1 0 23609241 55762944 12833 1992294400 4194304 8395647 140736431129536 18446744073709551615 6697363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13614 12833 629 1026 0 12584 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 54456
Solver just ended. Dumping a history of the last processes samples
[startup+63.901 s]
/proc/loadavg: 1.05 1.02 0.94 2/106 27648
/proc/meminfo: memFree=1811532/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=54820 CPUtime=63.86
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 14853 0 0 0 6312 74 0 0 25 0 1 0 23609241 56135680 12892 1992294400 4194304 8395647 140736431129536 18446744073709551615 6693443 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13705 12892 629 1026 0 12675 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 54820
[startup+76.7005 s]
/proc/loadavg: 1.05 1.02 0.94 2/106 27648
/proc/meminfo: memFree=1811532/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=54984 CPUtime=76.66
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 14854 0 0 0 7576 90 0 0 25 0 1 0 23609241 56303616 12893 1992294400 4194304 8395647 140736431129536 18446744073709551615 6697338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13746 12893 629 1026 0 12716 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 54984
[startup+83.1017 s]
/proc/loadavg: 1.04 1.02 0.94 2/106 27648
/proc/meminfo: memFree=1811532/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=54984 CPUtime=83.07
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 14906 0 0 0 8209 98 0 0 25 0 1 0 23609241 56303616 12945 1992294400 4194304 8395647 140736431129536 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13746 12945 629 1026 0 12716 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 54984
[startup+84.709 s]
/proc/loadavg: 1.04 1.02 0.94 2/106 27648
/proc/meminfo: memFree=1811532/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=54984 CPUtime=84.67
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 14908 0 0 0 8368 99 0 0 25 0 1 0 23609241 56303616 12947 1992294400 4194304 8395647 140736431129536 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13746 12947 629 1026 0 12716 0
Current children cumulated CPU time (s) 84.67
Current children cumulated vsize (KiB) 54984
[startup+86.3013 s]
/proc/loadavg: 1.04 1.02 0.94 2/106 27648
/proc/meminfo: memFree=1811532/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=55200 CPUtime=86.26
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 14948 0 0 0 8525 101 0 0 25 0 1 0 23609241 56524800 12987 1992294400 4194304 8395647 140736431129536 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13800 12987 629 1026 0 12770 0
Current children cumulated CPU time (s) 86.26
Current children cumulated vsize (KiB) 55200
[startup+87.1014 s]
/proc/loadavg: 1.04 1.02 0.94 2/106 27648
/proc/meminfo: memFree=1811284/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=55748 CPUtime=87.06
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 15021 0 0 0 8604 102 0 0 25 0 1 0 23609241 57085952 13060 1992294400 4194304 8395647 140736431129536 18446744073709551615 6697268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13937 13060 629 1026 0 12907 0
Current children cumulated CPU time (s) 87.06
Current children cumulated vsize (KiB) 55748
[startup+87.5015 s]
/proc/loadavg: 1.04 1.02 0.94 2/106 27648
/proc/meminfo: memFree=1811284/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=55748 CPUtime=87.46
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 15021 0 0 0 8644 102 0 0 25 0 1 0 23609241 57085952 13060 1992294400 4194304 8395647 140736431129536 18446744073709551615 6697355 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13937 13060 629 1026 0 12907 0
Current children cumulated CPU time (s) 87.46
Current children cumulated vsize (KiB) 55748
[startup+87.6015 s]
/proc/loadavg: 1.04 1.02 0.94 2/106 27648
/proc/meminfo: memFree=1811284/2059040 swapFree=4139832/4192956
[pid=27645] ppid=27643 vsize=55748 CPUtime=87.56
/proc/27645/stat : 27645 (pbscip.linux.x8) R 27643 27645 26828 0 -1 4202496 15021 0 0 0 8654 102 0 0 25 0 1 0 23609241 57085952 13060 1992294400 4194304 8395647 140736431129536 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27645/statm: 13937 13060 629 1026 0 12907 0
Current children cumulated CPU time (s) 87.56
Current children cumulated vsize (KiB) 55748
Child status: 0
Real time (s): 87.658
CPU time (s): 87.6277
CPU user time (s): 86.5898
CPU system time (s): 1.03784
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 55748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.5898
system time used= 1.03784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15026
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= 4
involuntary context switches= 1109
runsolver used 0.142978 second user time and 0.423935 second system time
The end