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-2703283-1278578232.opb>
0.01/0.02 c original problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 761 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/0.02 o 0
0.01/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/0.02 c presolving:
0.01/0.09 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 4980 impls, 100 clqs
0.09/0.11 c (0.1s) probing: 101/710 (14.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (2 rounds):
0.09/0.11 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 4980 implications, 100 cliques
0.09/0.11 c presolved problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 761 constraints
0.09/0.11 c 150 constraints of type <setppc>
0.09/0.11 c 610 constraints of type <and>
0.09/0.11 c 1 constraints of type <linear>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.08
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 1.2.1.3
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1789.99
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 1620
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/indicator/addCouplingCons = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c heuristics/undercover/freq = 0
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/rapidlearning/freq = 0
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c t 0.1s| 1 | 0 | 220 | - |3410k| 0 | 163 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.09/0.15 o -3
0.09/0.15 c s 0.1s| 1 | 0 | 220 | - |3425k| 0 | 163 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
0.19/0.25 o -4
0.19/0.25 c u 0.2s| 1 | 0 | 220 | - |3430k| 0 | 163 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.69/0.73 o -6
0.69/0.73 c y 0.7s| 1 | 0 | 220 | - |5000k| 0 | 163 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
0.69/0.78 c 0.8s| 1 | 0 | 431 | - |3710k| 0 | 279 | 710 | 833 | 710 |1379 | 8 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
1.10/1.12 c 1.1s| 1 | 0 | 752 | - |3834k| 0 | 333 | 710 | 833 | 710 |1385 | 14 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
1.49/1.50 c 1.5s| 1 | 0 | 964 | - |3945k| 0 | 359 | 710 | 833 | 710 |1393 | 22 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
1.89/1.98 c 2.0s| 1 | 0 | 1321 | - |3993k| 0 | 377 | 710 | 833 | 710 |1399 | 28 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
2.49/2.50 c 2.5s| 1 | 0 | 1543 | - |4185k| 0 | 381 | 710 | 833 | 710 |1417 | 46 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
2.89/2.99 c 3.0s| 1 | 0 | 1759 | - |4252k| 0 | 376 | 710 | 833 | 710 |1427 | 56 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
14.08/14.11 c 14.1s| 1 | 2 | 1759 | - |4262k| 0 | 376 | 710 | 833 | 710 |1427 | 56 | 0 | 25 |-2.500000e+01 |-6.000000e+00 | 76.00%
40.17/40.22 o -12
40.17/40.22 c p40.2s| 26 | 26 | 11481 | 388.9 |4155k| 13 | - | 710 | 833 | 710 | 748 | 902 | 0 | 449 |-2.483058e+01 |-1.200000e+01 | 51.67%
92.26/92.39 o -13
92.26/92.39 c l92.4s| 569 | 402 |135454 | 235.4 |5162k| 30 | - | 710 | 850 | 710 | 842 |4882 | 17 | 874 |-2.199805e+01 |-1.300000e+01 | 40.90%
148.74/148.81 o -14
148.74/148.81 c * 149s| 1530 | 704 |312752 | 203.4 |5882k| 32 | - | 710 | 894 | 710 | 750 |8884 | 61 |1221 |-2.038721e+01 |-1.400000e+01 | 31.33%
325.80/325.91 c 326s| 10000 | 1974 |863699 | 86.2 | 11M| 41 | - | 710 | 939 | 710 | 730 | 21k| 163 |2989 |-1.874515e+01 |-1.400000e+01 | 25.31%
481.57/481.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.57/481.72 c 482s| 20000 | 2682 | 1368k| 68.3 | 16M| 44 | - | 710 | 919 | 710 | 813 | 32k| 223 |4455 |-1.818811e+01 |-1.400000e+01 | 23.03%
619.43/619.68 c 620s| 30000 | 3086 | 1840k| 61.3 | 18M| 46 | 128 | 710 | 929 | 710 | 834 | 43k| 280 |5287 |-1.784018e+01 |-1.400000e+01 | 21.53%
747.90/748.19 c 748s| 40000 | 3352 | 2283k| 57.0 | 21M| 46 | 136 | 710 | 939 | 710 | 765 | 52k| 331 |6099 |-1.758611e+01 |-1.400000e+01 | 20.39%
869.17/869.47 c 869s| 50000 | 3390 | 2699k| 54.0 | 22M| 47 | - | 710 | 946 | 710 | 735 | 61k| 366 |6942 |-1.734443e+01 |-1.400000e+01 | 19.28%
991.25/991.52 c 992s| 60000 | 3472 | 3122k| 52.0 | 23M| 47 | 160 | 710 | 945 | 710 | 827 | 69k| 396 |7757 |-1.712495e+01 |-1.400000e+01 | 18.25%
1108.43/1108.74 c 1109s| 70000 | 3446 | 3527k| 50.4 | 24M| 47 | 124 | 710 | 954 | 710 | 725 | 77k| 434 |8590 |-1.696279e+01 |-1.400000e+01 | 17.47%
1218.59/1218.94 c 1219s| 80000 | 3272 | 3914k| 48.9 | 24M| 47 | 144 | 710 | 954 | 710 | 816 | 83k| 461 |9177 |-1.681280e+01 |-1.400000e+01 | 16.73%
1326.77/1327.18 c 1327s| 90000 | 2972 | 4299k| 47.8 | 23M| 47 | 144 | 710 | 960 | 710 | 829 | 89k| 488 |9746 |-1.663534e+01 |-1.400000e+01 | 15.84%
1433.43/1433.86 c 1434s|100000 | 2424 | 4675k| 46.7 | 21M| 48 | 160 | 710 | 950 | 710 | 810 | 95k| 505 | 10k|-1.643910e+01 |-1.400000e+01 | 14.84%
1535.90/1536.39 c 1536s|110000 | 1538 | 5023k| 45.7 | 17M| 48 | 144 | 710 | 947 | 710 | 767 | 100k| 526 | 11k|-1.619776e+01 |-1.400000e+01 | 13.57%
1590.69/1591.15 c
1590.69/1591.15 c SCIP Status : problem is solved [optimal solution found]
1590.69/1591.15 c Solving Time (sec) : 1591.14
1590.69/1591.15 c Solving Nodes : 116487
1590.69/1591.15 c Primal Bound : -1.40000000000000e+01 (13 solutions)
1590.69/1591.15 c Dual Bound : -1.40000000000000e+01
1590.69/1591.15 c Gap : 0.00 %
1590.69/1591.15 s OPTIMUM FOUND
1590.69/1591.15 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 -x69
1590.69/1591.15 v -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
1590.69/1591.15 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
1590.69/1591.15 v x20 -x19 -x18 -x17 x16 -x15 x14 -x13 -x12 x11 -x10 x9 -x8 -x7 -x6 -x5 x4 x3 -x2 -x1
1590.69/1591.15 c SCIP Status : problem is solved [optimal solution found]
1590.69/1591.15 c Solving Time : 1591.14
1590.69/1591.15 c Original Problem :
1590.69/1591.15 c Problem name : HOME/instance-2703283-1278578232.opb
1590.69/1591.15 c Variables : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous)
1590.69/1591.15 c Constraints : 761 initial, 761 maximal
1590.69/1591.15 c Presolved Problem :
1590.69/1591.15 c Problem name : t_HOME/instance-2703283-1278578232.opb
1590.69/1591.15 c Variables : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous)
1590.69/1591.15 c Constraints : 761 initial, 961 maximal
1590.69/1591.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1590.69/1591.15 c trivial : 0.00 0 0 0 0 0 0 0 0
1590.69/1591.15 c dualfix : 0.00 0 0 0 0 0 0 0 0
1590.69/1591.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1590.69/1591.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1590.69/1591.15 c implics : 0.00 0 0 0 0 0 0 0 0
1590.69/1591.15 c probing : 0.02 0 0 0 0 0 0 0 0
1590.69/1591.15 c setppc : 0.00 0 0 0 0 0 0 0 0
1590.69/1591.15 c and : 0.06 0 0 0 0 0 0 0 0
1590.69/1591.15 c linear : 0.01 0 0 0 0 0 0 0 0
1590.69/1591.15 c logicor : 0.00 0 0 0 0 0 0 0 0
1590.69/1591.15 c root node : - 13 - - 13 - - - -
1590.69/1591.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1590.69/1591.15 c integral : 0 0 0 59656 0 137 2501 0 0 116908
1590.69/1591.15 c setppc : 150 6 396225 1 0 373 259494 0 0 0
1590.69/1591.15 c and : 610 101757 395853 1 0 111 3190831 103140 0 0
1590.69/1591.15 c linear : 1+ 7 395740 1 0 2 9309 2 0 0
1590.69/1591.15 c logicor : 0+ 0 98019 0 0 7 72331 0 0 0
1590.69/1591.15 c countsols : 0 0 0 1 0 0 0 0 0 0
1590.69/1591.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1590.69/1591.15 c integral : 196.50 0.00 0.00 196.50 0.00
1590.69/1591.15 c setppc : 3.09 0.00 3.09 0.00 0.00
1590.69/1591.15 c and : 30.30 17.27 13.02 0.00 0.00
1590.69/1591.15 c linear : 4.10 0.01 4.09 0.00 0.00
1590.69/1591.15 c logicor : 1.54 0.00 1.54 0.00 0.00
1590.69/1591.15 c countsols : 0.00 0.00 0.00 0.00 0.00
1590.69/1591.15 c Propagators : Time Calls Cutoffs DomReds
1590.69/1591.15 c vbounds : 0.24 2 0 0
1590.69/1591.15 c rootredcost : 0.23 4 0 0
1590.69/1591.15 c pseudoobj : 2.11 397902 2 27
1590.69/1591.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1590.69/1591.15 c propagation : 0.01 494 486 502 4.1 1 50.0 -
1590.69/1591.15 c infeasible LP : 0.01 29 29 43 21.0 0 0.0 0
1590.69/1591.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1590.69/1591.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1590.69/1591.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1590.69/1591.15 c applied globally : - - - 533 4.8 - - -
1590.69/1591.15 c applied locally : - - - 0 0.0 - - -
1590.69/1591.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1590.69/1591.15 c cut pool : 0.00 5 - - 16 - (maximal pool size: 189)
1590.69/1591.15 c redcost : 5.52 110327 0 589047 0 0
1590.69/1591.15 c impliedbounds : 0.00 6 0 0 32 0
1590.69/1591.15 c intobj : 0.00 0 0 0 0 0
1590.69/1591.15 c cgmip : 0.00 0 0 0 0 0
1590.69/1591.15 c gomory : 0.81 6 0 0 209 0
1590.69/1591.15 c strongcg : 0.73 6 0 0 715 0
1590.69/1591.15 c cmir : 0.10 6 0 0 5 0
1590.69/1591.15 c flowcover : 0.13 6 0 0 10 0
1590.69/1591.15 c clique : 0.03 6 0 0 36 0
1590.69/1591.15 c zerohalf : 0.00 0 0 0 0 0
1590.69/1591.15 c mcf : 0.00 1 0 0 0 0
1590.69/1591.15 c rapidlearning : 0.36 1 0 0 0 72
1590.69/1591.15 c Pricers : Time Calls Vars
1590.69/1591.15 c problem variables: 0.00 0 0
1590.69/1591.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1590.69/1591.15 c relpscost : 196.37 59655 137 2501 0 0 116908
1590.69/1591.15 c pscost : 0.00 0 0 0 0 0 0
1590.69/1591.15 c inference : 0.00 0 0 0 0 0 0
1590.69/1591.15 c mostinf : 0.00 0 0 0 0 0 0
1590.69/1591.15 c leastinf : 0.00 0 0 0 0 0 0
1590.69/1591.15 c fullstrong : 0.00 0 0 0 0 0 0
1590.69/1591.15 c allfullstrong : 0.00 0 0 0 0 0 0
1590.69/1591.15 c random : 0.00 0 0 0 0 0 0
1590.69/1591.15 c Primal Heuristics : Time Calls Found
1590.69/1591.15 c LP solutions : 0.00 - 1
1590.69/1591.15 c pseudo solutions : 0.00 - 0
1590.69/1591.15 c feaspump : 0.01 0 0
1590.69/1591.15 c oneopt : 0.11 4 0
1590.69/1591.15 c crossover : 0.56 12 0
1590.69/1591.15 c objpscostdiving : 16.04 31 0
1590.69/1591.15 c pscostdiving : 10.09 119 1
1590.69/1591.15 c coefdiving : 12.02 119 0
1590.69/1591.15 c linesearchdiving : 7.92 119 1
1590.69/1591.15 c guideddiving : 13.51 119 0
1590.69/1591.15 c veclendiving : 11.55 119 0
1590.69/1591.15 c fracdiving : 13.97 119 0
1590.69/1591.15 c rootsoldiving : 5.49 60 0
1590.69/1591.15 c trivial : 0.00 2 3
1590.69/1591.15 c simplerounding : 0.12 0 0
1590.69/1591.15 c zirounding : 0.12 1000 0
1590.69/1591.15 c rounding : 2.07 4309 0
1590.69/1591.15 c shifting : 4.51 4736 5
1590.69/1591.15 c intshifting : 0.01 0 0
1590.69/1591.15 c twoopt : 0.00 0 0
1590.69/1591.15 c fixandinfer : 0.00 0 0
1590.69/1591.15 c intdiving : 0.00 0 0
1590.69/1591.15 c actconsdiving : 0.00 0 0
1590.69/1591.15 c octane : 0.00 0 0
1590.69/1591.15 c rens : 0.01 0 0
1590.69/1591.15 c rins : 0.00 0 0
1590.69/1591.15 c localbranching : 0.00 0 0
1590.69/1591.15 c mutation : 0.00 0 0
1590.69/1591.15 c dins : 0.00 0 0
1590.69/1591.15 c undercover : 0.11 1 1
1590.69/1591.15 c nlp : 0.05 0 0
1590.69/1591.15 c trysol : 0.07 0 0
1590.69/1591.15 c LP : Time Calls Iterations Iter/call Iter/sec
1590.69/1591.15 c primal LP : 8.85 0 0 0.00 0.00
1590.69/1591.15 c dual LP : 1139.13 152133 4902778 32.23 4303.98
1590.69/1591.15 c lex dual LP : 0.00 0 0 0.00 -
1590.69/1591.15 c barrier LP : 0.00 0 0 0.00 -
1590.69/1591.15 c diving/probing LP: 78.50 28585 317593 11.11 4045.86
1590.69/1591.15 c strong branching : 190.83 11459 831291 72.54 4356.26
1590.69/1591.15 c (at root node) : - 25 22090 883.60 -
1590.69/1591.15 c conflict analysis: 0.00 0 0 0.00 -
1590.69/1591.15 c B&B Tree :
1590.69/1591.15 c number of runs : 1
1590.69/1591.15 c nodes : 116487
1590.69/1591.15 c nodes (total) : 116487
1590.69/1591.15 c nodes left : 0
1590.69/1591.15 c max depth : 49
1590.69/1591.15 c max depth (total): 49
1590.69/1591.15 c backtracks : 19415 (16.7%)
1590.69/1591.15 c delayed cutoffs : 1
1590.69/1591.15 c repropagations : 4168 (4477 domain reductions, 0 cutoffs)
1590.69/1591.15 c avg switch length: 6.08
1590.69/1591.15 c switching time : 33.23
1590.69/1591.15 c Solution :
1590.69/1591.15 c Solutions found : 13 (7 improvements)
1590.69/1591.15 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1590.69/1591.15 c Primal Bound : -1.40000000000000e+01 (in run 1, after 1530 nodes, 148.79 seconds, depth 22, found by <relaxation>)
1590.69/1591.15 c Dual Bound : -1.40000000000000e+01
1590.69/1591.15 c Gap : 0.00 %
1590.69/1591.15 c Root Dual Bound : -2.49999999999999e+01
1590.69/1591.15 c Root Iterations : 1759
1590.69/1591.17 c Time complete: 1590.77.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703283-1278578232/watcher-2703283-1278578232 -o /tmp/evaluation-result-2703283-1278578232/solver-2703283-1278578232 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703283-1278578232.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.00 0.99 0.91 3/106 29689
/proc/meminfo: memFree=1660224/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=7904 CPUtime=0
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 1036 0 0 0 0 0 0 0 18 0 1 0 26036909 8093696 947 1992294400 4194304 8395647 140735100342240 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29689/statm: 1976 956 365 1026 0 946 0
[startup+0.0186331 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 29689
/proc/meminfo: memFree=1660224/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=11164 CPUtime=0.01
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 2077 0 0 0 1 0 0 0 20 0 1 0 26036909 11431936 1988 1992294400 4194304 8395647 140735100342240 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29689/statm: 2791 1988 393 1026 0 1761 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11164
[startup+0.101639 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 29689
/proc/meminfo: memFree=1660224/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=17240 CPUtime=0.09
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 3726 0 0 0 9 0 0 0 20 0 1 0 26036909 17653760 3284 1992294400 4194304 8395647 140735100342240 18446744073709551615 4715321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 4310 3284 497 1026 0 3280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17240
[startup+0.301655 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 29689
/proc/meminfo: memFree=1660224/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=34964 CPUtime=0.3
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 8297 0 0 0 27 3 0 0 20 0 1 0 26036909 35803136 7816 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 8741 7816 612 1026 0 7711 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 34964
[startup+0.701688 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 29689
/proc/meminfo: memFree=1660224/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=34964 CPUtime=0.69
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 8397 0 0 0 57 12 0 0 20 0 1 0 26036909 35803136 7916 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 8741 7916 632 1026 0 7711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34964
[startup+1.50175 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29690
/proc/meminfo: memFree=1630828/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=39184 CPUtime=1.49
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 9422 0 0 0 136 13 0 0 23 0 1 0 26036909 40124416 8927 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 9796 8927 636 1026 0 8766 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39184
[startup+3.10088 s]
/proc/loadavg: 1.00 0.99 0.91 3/107 29690
/proc/meminfo: memFree=1626240/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=40024 CPUtime=3.09
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 9560 0 0 0 295 14 0 0 25 0 1 0 26036909 40984576 9064 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 10006 9064 636 1026 0 8976 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40024
[startup+6.30114 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29690
/proc/meminfo: memFree=1625620/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=40024 CPUtime=6.29
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 9560 0 0 0 612 17 0 0 25 0 1 0 26036909 40984576 9064 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 10006 9064 636 1026 0 8976 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40024
[startup+12.7007 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29690
/proc/meminfo: memFree=1625628/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=40024 CPUtime=12.69
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 9560 0 0 0 1248 21 0 0 25 0 1 0 26036909 40984576 9064 1992294400 4194304 8395647 140735100342240 18446744073709551615 6752539 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 10006 9064 636 1026 0 8976 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40024
[startup+25.5017 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29691
/proc/meminfo: memFree=1625628/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=40024 CPUtime=25.49
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 9564 0 0 0 2514 35 0 0 25 0 1 0 26036909 40984576 9068 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 10006 9068 639 1026 0 8976 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40024
[startup+51.1008 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 29691
/proc/meminfo: memFree=1625628/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=40024 CPUtime=51.07
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 9564 0 0 0 5037 70 0 0 25 0 1 0 26036909 40984576 9068 1992294400 4194304 8395647 140735100342240 18446744073709551615 6390474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 10006 9068 639 1026 0 8976 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40024
[startup+102.309 s]
/proc/loadavg: 1.03 1.00 0.92 2/107 29693
/proc/meminfo: memFree=1625380/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=40264 CPUtime=102.26
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 9636 0 0 0 10089 137 0 0 25 0 1 0 26036909 41230336 9140 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 10066 9140 644 1026 0 9036 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40264
[startup+162.301 s]
/proc/loadavg: 1.04 1.01 0.93 2/107 29694
/proc/meminfo: memFree=1626000/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=38952 CPUtime=162.24
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 10878 0 0 0 16011 213 0 0 25 0 1 0 26036909 39886848 8845 1992294400 4194304 8395647 140735100342240 18446744073709551615 6693383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 9738 8845 651 1026 0 8708 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38952
[startup+222.302 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 29695
/proc/meminfo: memFree=1625380/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=39596 CPUtime=222.23
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 14459 0 0 0 21929 294 0 0 25 0 1 0 26036909 40546304 8978 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 9899 8978 651 1026 0 8869 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 39596
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29697
/proc/meminfo: memFree=1624636/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=40352 CPUtime=282.21
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 15868 0 0 0 27846 375 0 0 25 0 1 0 26036909 41320448 9165 1992294400 4194304 8395647 140735100342240 18446744073709551615 6746219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 10088 9165 651 1026 0 9058 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 40352
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29699
/proc/meminfo: memFree=1624016/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=41452 CPUtime=342.2
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 18098 0 0 0 33759 461 0 0 25 0 1 0 26036909 42446848 9443 1992294400 4194304 8395647 140735100342240 18446744073709551615 6746637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 10363 9443 651 1026 0 9333 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 41452
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29701
/proc/meminfo: memFree=1620916/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=44648 CPUtime=402.18
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 18908 0 0 0 39674 544 0 0 25 0 1 0 26036909 45719552 10253 1992294400 4194304 8395647 140735100342240 18446744073709551615 6696326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 11162 10253 651 1026 0 10132 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 44648
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29702
/proc/meminfo: memFree=1619304/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=46264 CPUtime=462.17
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 21509 0 0 0 45589 628 0 0 25 0 1 0 26036909 47374336 10669 1992294400 4194304 8395647 140735100342240 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 11566 10669 651 1026 0 10536 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 46264
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29703
/proc/meminfo: memFree=1617816/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=47876 CPUtime=522.16
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 21880 0 0 0 51505 711 0 0 25 0 1 0 26036909 49025024 11040 1992294400 4194304 8395647 140735100342240 18446744073709551615 4808260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 11969 11040 651 1026 0 10939 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 47876
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29705
/proc/meminfo: memFree=1616204/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=49404 CPUtime=582.14
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 22285 0 0 0 57417 797 0 0 25 0 1 0 26036909 50589696 11445 1992294400 4194304 8395647 140735100342240 18446744073709551615 4227596 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 12351 11445 651 1026 0 11321 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 49404
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29707
/proc/meminfo: memFree=1614592/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=50828 CPUtime=642.13
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 24528 0 0 0 63329 884 0 0 25 0 1 0 26036909 52047872 11818 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 12707 11818 651 1026 0 11677 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 50828
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1607524/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=57136 CPUtime=942.06
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 27926 0 0 0 92895 1311 0 0 25 0 1 0 26036909 58507264 13399 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 14284 13399 651 1026 0 13254 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 57136
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29717
/proc/meminfo: memFree=1607400/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=57752 CPUtime=1002.04
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 28073 0 0 0 98807 1397 0 0 25 0 1 0 26036909 59138048 13546 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 14438 13546 651 1026 0 13408 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 57752
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29718
/proc/meminfo: memFree=1607152/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=58200 CPUtime=1062.03
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 28153 0 0 0 104716 1487 0 0 25 0 1 0 26036909 59596800 13626 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 14550 13626 651 1026 0 13520 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 58200
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29719
/proc/meminfo: memFree=1605044/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=60216 CPUtime=1122.02
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 28666 0 0 0 110627 1575 0 0 25 0 1 0 26036909 61661184 14139 1992294400 4194304 8395647 140735100342240 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15054 14139 651 1026 0 14024 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 60216
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29721
/proc/meminfo: memFree=1604052/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=61168 CPUtime=1182.01
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 28903 0 0 0 116540 1661 0 0 25 0 1 0 26036909 62636032 14376 1992294400 4194304 8395647 140735100342240 18446744073709551615 6731387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15292 14376 651 1026 0 14262 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 61168
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29723
/proc/meminfo: memFree=1603184/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=61896 CPUtime=1241.99
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 29060 0 0 0 122446 1753 0 0 25 0 1 0 26036909 63381504 14533 1992294400 4194304 8395647 140735100342240 18446744073709551615 6696936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15474 14533 651 1026 0 14444 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 61896
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 3/107 29725
/proc/meminfo: memFree=1602688/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=62248 CPUtime=1301.99
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 29189 0 0 0 128360 1839 0 0 25 0 1 0 26036909 63741952 14662 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15562 14662 651 1026 0 14532 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 62248
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29726
/proc/meminfo: memFree=1602688/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=62420 CPUtime=1361.97
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 29215 0 0 0 134267 1930 0 0 25 0 1 0 26036909 63918080 14688 1992294400 4194304 8395647 140735100342240 18446744073709551615 6652298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15605 14688 651 1026 0 14575 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 62420
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29727
/proc/meminfo: memFree=1602564/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=62420 CPUtime=1421.95
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 29216 0 0 0 140179 2016 0 0 25 0 1 0 26036909 63918080 14689 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15605 14689 651 1026 0 14575 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 62420
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29738
/proc/meminfo: memFree=1601944/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=62572 CPUtime=1481.92
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 29256 0 0 0 146086 2106 0 0 25 0 1 0 26036909 64073728 14729 1992294400 4194304 8395647 140735100342240 18446744073709551615 6697003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15643 14729 651 1026 0 14613 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 62572
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29740
/proc/meminfo: memFree=1601200/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=63076 CPUtime=1541.9
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 31242 0 0 0 151996 2194 0 0 25 0 1 0 26036909 64589824 14884 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15769 14884 651 1026 0 14739 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 63076
Solver just ended. Dumping a history of the last processes samples
[startup+1561.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29740
/proc/meminfo: memFree=1601200/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=63076 CPUtime=1561.09
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 31242 0 0 0 153887 2222 0 0 25 0 1 0 26036909 64589824 14884 1992294400 4194304 8395647 140735100342240 18446744073709551615 6070547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15769 14884 651 1026 0 14739 0
Current children cumulated CPU time (s) 1561.09
Current children cumulated vsize (KiB) 63076
[startup+1574.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29741
/proc/meminfo: memFree=1601200/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=63076 CPUtime=1573.9
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 31242 0 0 0 155148 2242 0 0 25 0 1 0 26036909 64589824 14884 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15769 14884 651 1026 0 14739 0
Current children cumulated CPU time (s) 1573.9
Current children cumulated vsize (KiB) 63076
[startup+1580.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29741
/proc/meminfo: memFree=1601200/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=63076 CPUtime=1580.3
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 31242 0 0 0 155779 2251 0 0 25 0 1 0 26036909 64589824 14884 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15769 14884 651 1026 0 14739 0
Current children cumulated CPU time (s) 1580.3
Current children cumulated vsize (KiB) 63076
[startup+1587.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29741
/proc/meminfo: memFree=1601200/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=63076 CPUtime=1586.69
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 31242 0 0 0 156409 2260 0 0 25 0 1 0 26036909 64589824 14884 1992294400 4194304 8395647 140735100342240 18446744073709551615 6723650 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15769 14884 651 1026 0 14739 0
Current children cumulated CPU time (s) 1586.69
Current children cumulated vsize (KiB) 63076
[startup+1588.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29741
/proc/meminfo: memFree=1601200/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=63076 CPUtime=1588.29
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 31242 0 0 0 156567 2262 0 0 25 0 1 0 26036909 64589824 14884 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15769 14884 651 1026 0 14739 0
Current children cumulated CPU time (s) 1588.29
Current children cumulated vsize (KiB) 63076
[startup+1590.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29741
/proc/meminfo: memFree=1601200/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=63076 CPUtime=1589.88
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 31242 0 0 0 156724 2264 0 0 25 0 1 0 26036909 64589824 14884 1992294400 4194304 8395647 140735100342240 18446744073709551615 6667497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15769 14884 651 1026 0 14739 0
Current children cumulated CPU time (s) 1589.88
Current children cumulated vsize (KiB) 63076
[startup+1590.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29741
/proc/meminfo: memFree=1601200/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=63076 CPUtime=1590.29
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 31242 0 0 0 156764 2265 0 0 25 0 1 0 26036909 64589824 14884 1992294400 4194304 8395647 140735100342240 18446744073709551615 6697250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15769 14884 651 1026 0 14739 0
Current children cumulated CPU time (s) 1590.29
Current children cumulated vsize (KiB) 63076
[startup+1591.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 29741
/proc/meminfo: memFree=1601200/2059040 swapFree=4139412/4192956
[pid=29689] ppid=29687 vsize=63076 CPUtime=1590.69
/proc/29689/stat : 29689 (pbscip.linux.x8) R 29687 29689 29248 0 -1 4202496 31242 0 0 0 156804 2265 0 0 25 0 1 0 26036909 64589824 14884 1992294400 4194304 8395647 140735100342240 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29689/statm: 15769 14884 651 1026 0 14739 0
Current children cumulated CPU time (s) 1590.69
Current children cumulated vsize (KiB) 63076
Child status: 0
Real time (s): 1591.18
CPU time (s): 1590.78
CPU user time (s): 1568.11
CPU system time (s): 22.6666
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 63076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1568.11
system time used= 22.6666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31246
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= 4575
runsolver used 2.84757 second user time and 7.29889 second system time
The end