0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2665171-1276652715.opb>
0.00/0.01 c original problem has 656 variables (656 bin, 0 int, 0 impl, 0 cont) and 656 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.09/0.19 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 50 upgd conss, 16862 impls, 0 clqs
0.19/0.21 c (0.1s) probing: 101/656 (15.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (2 rounds):
0.19/0.21 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 16862 implications, 0 cliques
0.19/0.21 c presolved problem has 656 variables (656 bin, 0 int, 0 impl, 0 cont) and 656 constraints
0.19/0.21 c 606 constraints of type <and>
0.19/0.21 c 50 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.09
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.2
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1799.99
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 1620
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c heuristics/undercover/freq = 0
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c 0.1s| 1 | 0 | 100 | - |3448k| 0 | 100 | 656 | 656 | 656 |1262 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 o 40
0.19/0.23 c s 0.1s| 1 | 0 | 100 | - |3464k| 0 | 100 | 656 | 656 | 656 |1262 | 0 | 0 | 0 | 0.000000e+00 | 4.000000e+01 | Inf
0.39/0.44 c 0.3s| 1 | 0 | 250 | - |3508k| 0 | 100 | 656 | 656 | 656 |1364 | 102 | 0 | 0 | 0.000000e+00 | 4.000000e+01 | Inf
0.39/0.44 o 23
0.39/0.44 c s 0.3s| 1 | 0 | 250 | - |3517k| 0 | 100 | 656 | 656 | 656 |1364 | 102 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
0.49/0.50 c 0.3s| 1 | 0 | 400 | - |3560k| 0 | 100 | 656 | 656 | 656 |1464 | 202 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
0.49/0.50 o 22
0.49/0.50 c s 0.3s| 1 | 0 | 400 | - |3568k| 0 | 100 | 656 | 656 | 656 |1464 | 202 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
0.49/0.56 c 0.4s| 1 | 0 | 550 | - |3612k| 0 | 100 | 656 | 656 | 656 |1565 | 303 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
0.49/0.56 o 8
0.49/0.56 c s 0.4s| 1 | 0 | 550 | - |3620k| 0 | 100 | 656 | 656 | 656 |1565 | 303 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
0.59/0.62 c 0.4s| 1 | 0 | 700 | - |3663k| 0 | 100 | 656 | 656 | 656 |1666 | 404 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
0.69/0.70 c 0.5s| 1 | 0 | 895 | - |3707k| 0 | 250 | 656 | 656 | 656 |1767 | 505 | 0 | 0 | 2.546211e+00 | 8.000000e+00 | 214.19%
0.89/1.00 c 0.8s| 1 | 0 | 1102 | - |4070k| 0 | 345 | 656 | 656 | 656 |1831 | 569 | 0 | 0 | 3.575460e+00 | 8.000000e+00 | 123.75%
1.29/1.35 c 1.1s| 1 | 0 | 1223 | - |4303k| 0 | 384 | 656 | 656 | 656 |1848 | 586 | 0 | 0 | 3.765519e+00 | 8.000000e+00 | 112.45%
1.29/1.35 o 7
1.29/1.35 c s 1.1s| 1 | 0 | 1223 | - |4311k| 0 | 384 | 656 | 656 | 656 |1848 | 586 | 0 | 0 | 3.765519e+00 | 7.000000e+00 | 85.90%
1.59/1.69 c 1.5s| 1 | 0 | 1326 | - |4574k| 0 | 382 | 656 | 656 | 656 |1855 | 593 | 0 | 0 | 3.830001e+00 | 7.000000e+00 | 82.77%
1.99/2.05 c 1.8s| 1 | 0 | 1450 | - |4813k| 0 | 340 | 656 | 656 | 656 |1861 | 599 | 0 | 0 | 3.892774e+00 | 7.000000e+00 | 79.82%
2.29/2.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.39 c 2.2s| 1 | 0 | 1569 | - |5029k| 0 | 345 | 656 | 656 | 656 |1864 | 602 | 0 | 0 | 3.929240e+00 | 7.000000e+00 | 78.15%
2.69/2.70 c 2.5s| 1 | 0 | 1687 | - |5030k| 0 | 382 | 656 | 656 | 656 | 711 | 606 | 0 | 0 | 3.953876e+00 | 7.000000e+00 | 77.04%
2.79/2.85 c 2.6s| 1 | 0 | 1760 | - |5111k| 0 | 333 | 656 | 656 | 656 | 715 | 610 | 0 | 0 | 3.965081e+00 | 7.000000e+00 | 76.54%
2.89/2.97 c 2.8s| 1 | 0 | 1825 | - |5135k| 0 | 333 | 656 | 656 | 656 | 724 | 619 | 0 | 0 | 3.965455e+00 | 7.000000e+00 | 76.52%
2.99/3.09 c 2.9s| 1 | 0 | 1935 | - |5141k| 0 | 390 | 656 | 656 | 656 | 731 | 626 | 0 | 0 | 3.976385e+00 | 7.000000e+00 | 76.04%
3.20/3.24 c 3.0s| 1 | 0 | 2001 | - |5141k| 0 | 387 | 656 | 656 | 656 | 742 | 637 | 0 | 0 | 3.979633e+00 | 7.000000e+00 | 75.90%
3.29/3.39 c 3.2s| 1 | 0 | 2076 | - |5141k| 0 | 361 | 656 | 656 | 656 | 750 | 645 | 0 | 0 | 3.983060e+00 | 7.000000e+00 | 75.74%
3.49/3.52 c 3.3s| 1 | 0 | 2157 | - |5138k| 0 | 393 | 656 | 656 | 656 | 672 | 653 | 0 | 0 | 3.984012e+00 | 7.000000e+00 | 75.70%
3.59/3.64 c 3.4s| 1 | 0 | 2220 | - |5139k| 0 | 407 | 656 | 656 | 656 | 678 | 659 | 0 | 0 | 3.985146e+00 | 7.000000e+00 | 75.65%
3.69/3.78 c 3.5s| 1 | 0 | 2293 | - |5139k| 0 | 372 | 656 | 656 | 656 | 685 | 666 | 0 | 0 | 3.989632e+00 | 7.000000e+00 | 75.45%
3.79/3.89 c 3.7s| 1 | 0 | 2316 | - |5139k| 0 | 385 | 656 | 656 | 656 | 696 | 677 | 0 | 0 | 3.989647e+00 | 7.000000e+00 | 75.45%
3.89/3.96 c 3.7s| 1 | 0 | 2323 | - |5139k| 0 | 385 | 656 | 656 | 656 | 700 | 681 | 0 | 0 | 3.989647e+00 | 7.000000e+00 | 75.45%
3.99/4.02 c 3.8s| 1 | 0 | 2327 | - |5139k| 0 | 386 | 656 | 656 | 656 | 704 | 685 | 0 | 0 | 3.989647e+00 | 7.000000e+00 | 75.45%
3.99/4.08 c 3.9s| 1 | 0 | 2328 | - |5140k| 0 | 386 | 656 | 656 | 656 | 661 | 686 | 0 | 0 | 3.989647e+00 | 7.000000e+00 | 75.45%
4.09/4.14 c 3.9s| 1 | 0 | 2329 | - |5140k| 0 | 386 | 656 | 656 | 656 | 662 | 687 | 0 | 0 | 3.989647e+00 | 7.000000e+00 | 75.45%
4.99/5.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.99/5.08 c 4.8s| 1 | 2 | 2329 | - |5141k| 0 | 386 | 656 | 656 | 656 | 662 | 687 | 0 | 29 | 3.989647e+00 | 7.000000e+00 | 75.45%
6.09/6.19 o 6
6.09/6.19 c * 5.9s| 6 | 2 | 2989 | 132.0 |5187k| 5 | - | 656 | 656 | 656 | 706 | 848 | 0 | 145 | 4.018344e+00 | 6.000000e+00 | 49.32%
16.19/16.27 c
16.19/16.27 c SCIP Status : problem is solved [optimal solution found]
16.19/16.27 c Solving Time (sec) : 15.67
16.19/16.27 c Solving Nodes : 22
16.19/16.27 c Primal Bound : +6.00000000000000e+00 (6 solutions)
16.19/16.27 c Dual Bound : +6.00000000000000e+00
16.19/16.27 c Gap : 0.00 %
16.19/16.27 s OPTIMUM FOUND
16.19/16.27 v -x50 -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
16.19/16.27 v -x24 -x23 -x22 -x21 x20 -x19 x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 x4 -x3 -x2 -x1
16.19/16.27 c SCIP Status : problem is solved [optimal solution found]
16.19/16.27 c Solving Time : 15.67
16.19/16.27 c Original Problem :
16.19/16.27 c Problem name : HOME/instance-2665171-1276652715.opb
16.19/16.27 c Variables : 656 (656 binary, 0 integer, 0 implicit integer, 0 continuous)
16.19/16.27 c Constraints : 656 initial, 656 maximal
16.19/16.27 c Presolved Problem :
16.19/16.27 c Problem name : t_HOME/instance-2665171-1276652715.opb
16.19/16.27 c Variables : 656 (656 binary, 0 integer, 0 implicit integer, 0 continuous)
16.19/16.27 c Constraints : 656 initial, 656 maximal
16.19/16.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
16.19/16.27 c trivial : 0.00 0 0 0 0 0 0 0 0
16.19/16.27 c dualfix : 0.00 0 0 0 0 0 0 0 0
16.19/16.27 c boundshift : 0.00 0 0 0 0 0 0 0 0
16.19/16.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0
16.19/16.27 c implics : 0.00 0 0 0 0 0 0 0 0
16.19/16.27 c probing : 0.01 0 0 0 0 0 0 0 0
16.19/16.27 c and : 0.08 0 0 0 0 0 0 0 0
16.19/16.27 c logicor : 0.00 0 0 0 0 0 0 0 0
16.19/16.27 c root node : - 18 - - 18 - - - -
16.19/16.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
16.19/16.27 c integral : 0 0 0 44 0 5 116 0 0 24
16.19/16.27 c and : 606 116 381 1 0 0 1848 1454 0 0
16.19/16.27 c logicor : 50 24 280 1 0 0 0 0 0 0
16.19/16.27 c countsols : 0 0 0 1 0 0 0 0 0 0
16.19/16.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
16.19/16.27 c integral : 10.48 0.00 0.00 10.48 0.00
16.19/16.27 c and : 0.07 0.06 0.01 0.00 0.00
16.19/16.27 c logicor : 0.00 0.00 0.00 0.00 0.00
16.19/16.27 c countsols : 0.00 0.00 0.00 0.00 0.00
16.19/16.27 c Propagators : Time Calls Cutoffs DomReds
16.19/16.27 c vbounds : 0.00 2 0 0
16.19/16.27 c rootredcost : 0.00 1 0 0
16.19/16.27 c pseudoobj : 0.00 212 0 0
16.19/16.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
16.19/16.27 c propagation : 0.00 0 0 0 0.0 0 0.0 -
16.19/16.27 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
16.19/16.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
16.19/16.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
16.19/16.27 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
16.19/16.27 c applied globally : - - - 0 0.0 - - -
16.19/16.27 c applied locally : - - - 0 0.0 - - -
16.19/16.27 c Separators : Time Calls Cutoffs DomReds Cuts Conss
16.19/16.27 c cut pool : 0.01 23 - - 213 - (maximal pool size: 1500)
16.19/16.27 c redcost : 0.00 116 0 104 0 0
16.19/16.27 c impliedbounds : 0.02 24 0 0 666 0
16.19/16.27 c intobj : 0.00 0 0 0 0 0
16.19/16.27 c cgmip : 0.00 0 0 0 0 0
16.19/16.27 c gomory : 1.73 24 0 0 1526 0
16.19/16.27 c strongcg : 1.06 20 0 0 4276 0
16.19/16.27 c cmir : 0.18 10 0 0 537 0
16.19/16.27 c flowcover : 0.20 10 0 0 1112 0
16.19/16.27 c clique : 0.06 24 0 0 11 0
16.19/16.27 c zerohalf : 0.00 0 0 0 0 0
16.19/16.27 c mcf : 0.00 1 0 0 0 0
16.19/16.27 c rapidlearning : 0.08 1 0 0 0 0
16.19/16.27 c Pricers : Time Calls Vars
16.19/16.27 c problem variables: 0.00 0 0
16.19/16.27 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
16.19/16.27 c relpscost : 10.48 43 5 116 0 0 24
16.19/16.27 c pscost : 0.00 0 0 0 0 0 0
16.19/16.27 c inference : 0.00 0 0 0 0 0 0
16.19/16.27 c mostinf : 0.00 0 0 0 0 0 0
16.19/16.27 c leastinf : 0.00 0 0 0 0 0 0
16.19/16.27 c fullstrong : 0.00 0 0 0 0 0 0
16.19/16.27 c allfullstrong : 0.00 0 0 0 0 0 0
16.19/16.27 c random : 0.00 0 0 0 0 0 0
16.19/16.27 c Primal Heuristics : Time Calls Found
16.19/16.27 c LP solutions : 0.00 - 1
16.19/16.27 c pseudo solutions : 0.00 - 0
16.19/16.27 c crossover : 0.00 0 0
16.19/16.27 c fracdiving : 0.00 0 0
16.19/16.27 c veclendiving : 0.00 0 0
16.19/16.27 c objpscostdiving : 0.00 0 0
16.19/16.27 c rootsoldiving : 0.00 0 0
16.19/16.27 c linesearchdiving : 0.00 0 0
16.19/16.27 c guideddiving : 0.00 0 0
16.19/16.27 c oneopt : 0.00 5 0
16.19/16.27 c trivial : 0.00 2 0
16.19/16.27 c simplerounding : 0.00 0 0
16.19/16.27 c zirounding : 0.00 16 0
16.19/16.27 c rounding : 0.06 122 0
16.19/16.27 c shifting : 0.03 25 5
16.19/16.27 c intshifting : 0.00 0 0
16.19/16.27 c twoopt : 0.00 0 0
16.19/16.27 c fixandinfer : 0.00 0 0
16.19/16.27 c feaspump : 0.00 0 0
16.19/16.27 c coefdiving : 0.04 1 0
16.19/16.27 c pscostdiving : 0.03 1 0
16.19/16.27 c intdiving : 0.00 0 0
16.19/16.27 c actconsdiving : 0.00 0 0
16.19/16.27 c octane : 0.00 0 0
16.19/16.27 c rens : 0.00 0 0
16.19/16.27 c rins : 0.00 0 0
16.19/16.27 c localbranching : 0.00 0 0
16.19/16.27 c mutation : 0.00 0 0
16.19/16.27 c dins : 0.00 0 0
16.19/16.27 c undercover : 0.00 1 0
16.19/16.27 c nlp : 0.00 0 0
16.19/16.27 c trysol : 0.00 0 0
16.19/16.27 c LP : Time Calls Iterations Iter/call Iter/sec
16.19/16.27 c primal LP : 0.13 0 0 0.00 0.00
16.19/16.27 c dual LP : 1.27 152 7741 50.93 6095.28
16.19/16.27 c lex dual LP : 0.00 0 0 0.00 -
16.19/16.27 c barrier LP : 0.00 0 0 0.00 -
16.19/16.27 c diving/probing LP: 0.06 10 439 43.90 7316.67
16.19/16.27 c strong branching : 10.47 539 74063 137.41 7073.83
16.19/16.27 c (at root node) : - 29 6826 235.38 -
16.19/16.27 c conflict analysis: 0.00 0 0 0.00 -
16.19/16.27 c B&B Tree :
16.19/16.27 c number of runs : 1
16.19/16.27 c nodes : 22
16.19/16.27 c nodes (total) : 22
16.19/16.27 c nodes left : 0
16.19/16.27 c max depth : 7
16.19/16.27 c max depth (total): 7
16.19/16.27 c backtracks : 4 (18.2%)
16.19/16.27 c delayed cutoffs : 0
16.19/16.27 c repropagations : 0 (0 domain reductions, 0 cutoffs)
16.19/16.27 c avg switch length: 2.55
16.19/16.27 c switching time : 0.13
16.19/16.27 c Solution :
16.19/16.27 c Solutions found : 6 (6 improvements)
16.19/16.27 c First Solution : +4.00000000000000e+01 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <shifting>)
16.19/16.27 c Primal Bound : +6.00000000000000e+00 (in run 1, after 6 nodes, 5.87 seconds, depth 5, found by <relaxation>)
16.19/16.27 c Dual Bound : +6.00000000000000e+00
16.19/16.27 c Gap : 0.00 %
16.19/16.27 c Root Dual Bound : +3.98964680220816e+00
16.19/16.27 c Root Iterations : 2329
16.19/16.29 c Time complete: 16.28.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665171-1276652715/watcher-2665171-1276652715 -o /tmp/evaluation-result-2665171-1276652715/solver-2665171-1276652715 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665171-1276652715.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.02 1.03 1.00 3/106 13236
/proc/meminfo: memFree=1768508/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=9288 CPUtime=0
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 1031 0 0 0 0 0 0 0 20 0 1 0 40875493 9510912 951 1992294400 4194304 9819077 140736831788528 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13236/statm: 2322 960 371 1374 0 943 0
[startup+0.0597969 s]
/proc/loadavg: 1.02 1.03 1.00 3/106 13236
/proc/meminfo: memFree=1768508/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=15564 CPUtime=0.05
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 3247 0 0 0 3 2 0 0 20 0 1 0 40875493 15937536 2557 1992294400 4194304 9819077 140736831788528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 3891 2557 473 1374 0 2512 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15564
[startup+0.101802 s]
/proc/loadavg: 1.02 1.03 1.00 3/106 13236
/proc/meminfo: memFree=1768508/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=15564 CPUtime=0.09
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 3247 0 0 0 5 4 0 0 20 0 1 0 40875493 15937536 2557 1992294400 4194304 9819077 140736831788528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 3891 2557 473 1374 0 2512 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15564
[startup+0.301822 s]
/proc/loadavg: 1.02 1.03 1.00 3/106 13236
/proc/meminfo: memFree=1768508/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=21316 CPUtime=0.3
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 6381 0 0 0 18 12 0 0 20 0 1 0 40875493 21827584 3809 1992294400 4194304 9819077 140736831788528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 5329 3809 664 1374 0 3950 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 21316
[startup+0.700864 s]
/proc/loadavg: 1.02 1.03 1.00 3/106 13236
/proc/meminfo: memFree=1768508/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=23532 CPUtime=0.69
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 10452 0 0 0 51 18 0 0 21 0 1 0 40875493 24096768 4317 1992294400 4194304 9819077 140736831788528 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 5883 4317 691 1374 0 4504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23532
[startup+1.50094 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 13237
/proc/meminfo: memFree=1752380/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=25632 CPUtime=1.49
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 11255 0 0 0 131 18 0 0 23 0 1 0 40875493 26247168 4676 1992294400 4194304 9819077 140736831788528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 6408 4676 694 1374 0 5029 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25632
[startup+3.10111 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 13237
/proc/meminfo: memFree=1752132/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=26724 CPUtime=3.09
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 12730 0 0 0 289 20 0 0 25 0 1 0 40875493 27365376 5201 1992294400 4194304 9819077 140736831788528 18446744073709551615 6044382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 6681 5201 703 1374 0 5302 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26724
[startup+6.30143 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 13237
/proc/meminfo: memFree=1749280/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=28520 CPUtime=6.29
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 26315 0 0 0 599 30 0 0 25 0 1 0 40875493 29204480 5259 1992294400 4194304 9819077 140736831788528 18446744073709551615 6391593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 7130 5259 718 1374 0 5751 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28520
[startup+12.7011 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 13237
/proc/meminfo: memFree=1749280/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=28692 CPUtime=12.69
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 51886 0 0 0 1221 48 0 0 25 0 1 0 40875493 29380608 5265 1992294400 4194304 9819077 140736831788528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 7173 5265 718 1374 0 5794 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28692
Solver just ended. Dumping a history of the last processes samples
[startup+14.3083 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 13237
/proc/meminfo: memFree=1749280/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=27752 CPUtime=14.29
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 58182 0 0 0 1377 52 0 0 25 0 1 0 40875493 28418048 5240 1992294400 4194304 9819077 140736831788528 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 7169 5247 718 1374 0 5790 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 27752
[startup+15.1013 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 13237
/proc/meminfo: memFree=1749280/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=28564 CPUtime=15.09
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 62282 0 0 0 1454 55 0 0 25 0 1 0 40875493 29249536 5260 1992294400 4194304 9819077 140736831788528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 7141 5260 718 1374 0 5762 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 28564
[startup+15.9014 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 13237
/proc/meminfo: memFree=1749280/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=28580 CPUtime=15.89
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 65914 0 0 0 1532 57 0 0 25 0 1 0 40875493 29265920 5253 1992294400 4194304 9819077 140736831788528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 7145 5253 718 1374 0 5766 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 28580
[startup+16.1014 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 13237
/proc/meminfo: memFree=1749280/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=28028 CPUtime=16.09
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 66952 0 0 0 1551 58 0 0 25 0 1 0 40875493 28700672 5236 1992294400 4194304 9819077 140736831788528 18446744073709551615 7227418 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 7007 5236 718 1374 0 5628 0
Current children cumulated CPU time (s) 16.09
Current children cumulated vsize (KiB) 28028
[startup+16.2014 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 13237
/proc/meminfo: memFree=1749280/2059040 swapFree=4135684/4192956
[pid=13236] ppid=13234 vsize=28744 CPUtime=16.19
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12171 0 -1 4202496 67352 0 0 0 1561 58 0 0 25 0 1 0 40875493 29433856 5270 1992294400 4194304 9819077 140736831788528 18446744073709551615 7311653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13236/statm: 7186 5270 718 1374 0 5807 0
Current children cumulated CPU time (s) 16.19
Current children cumulated vsize (KiB) 28744
Child status: 0
Real time (s): 16.2936
CPU time (s): 16.2895
CPU user time (s): 15.6986
CPU system time (s): 0.59091
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 30772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.6986
system time used= 0.59091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67747
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= 179
runsolver used 0.029995 second user time and 0.086986 second system time
The end