0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666733-1276669589.opb>
0.00/0.02 c original problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 769 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.19/0.20 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 5044 impls, 100 clqs
0.19/0.23 c (0.1s) probing: 101/718 (14.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (2 rounds):
0.19/0.23 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23 c 5044 implications, 100 cliques
0.19/0.23 c presolved problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 769 constraints
0.19/0.23 c 100 constraints of type <setppc>
0.19/0.23 c 618 constraints of type <and>
0.19/0.23 c 1 constraints of type <linear>
0.19/0.23 c 50 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.11
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1799.99
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c heuristics/undercover/freq = 0
0.19/0.23 c
0.19/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c separating/rapidlearning/freq = 0
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.89/0.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.93 c t 0.8s| 1 | 0 | 1822 | - |3524k| 0 | 423 | 718 | 769 | 718 |1387 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.89/0.93 o -5
0.89/0.93 c s 0.8s| 1 | 0 | 1822 | - |3553k| 0 | 423 | 718 | 769 | 718 |1387 | 0 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
2.20/2.21 o -8
2.20/2.21 c y 1.9s| 1 | 0 | 1822 | - |6064k| 0 | 423 | 718 | 770 | 718 |1387 | 0 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
2.39/2.43 c 2.1s| 1 | 0 | 2207 | - |4788k| 0 | 421 | 718 | 995 | 718 |1464 | 77 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
3.09/3.19 c 2.9s| 1 | 0 | 2581 | - |6374k| 0 | 399 | 718 | 995 | 718 |1490 | 103 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
3.79/3.88 c 3.5s| 1 | 0 | 2924 | - |8025k| 0 | 409 | 718 | 995 | 718 |1500 | 113 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
4.59/4.60 c 4.2s| 1 | 0 | 3220 | - |9745k| 0 | 416 | 718 | 995 | 718 |1516 | 129 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
5.40/5.43 c 5.1s| 1 | 0 | 3710 | - | 11M| 0 | 404 | 718 | 995 | 718 |1534 | 147 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
5.99/6.06 c 5.7s| 1 | 0 | 4024 | - | 12M| 0 | 396 | 718 | 995 | 718 |1547 | 160 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
16.59/16.60 c 16.1s| 1 | 2 | 4024 | - | 12M| 0 | 396 | 718 | 995 | 718 |1547 | 160 | 1 | 18 |-2.500000e+01 |-8.000000e+00 | 68.00%
29.38/29.41 o -9
29.38/29.41 c R28.8s| 14 | 13 | 7737 | 285.6 | 12M| 13 | 80 | 718 | 995 | 718 | 723 | 535 | 1 | 281 |-2.500000e+01 |-9.000000e+00 | 64.00%
47.38/47.43 o -12
47.38/47.43 c p46.5s| 26 | 25 | 13680 | 386.2 | 12M| 13 | - | 718 | 995 | 718 | 785 | 976 | 1 | 599 |-2.482196e+01 |-1.200000e+01 | 51.66%
75.17/75.22 o -13
75.17/75.22 c l73.9s| 450 | 198 | 75952 | 160.2 | 12M| 32 | - | 718 |1017 | 718 | 789 |3329 | 23 | 821 |-2.281676e+01 |-1.300000e+01 | 43.02%
327.49/327.67 c 322s| 10000 | 2317 |812365 | 80.8 | 21M| 49 | 131 | 718 |1102 | 718 | 827 | 18k| 189 |3018 |-1.874540e+01 |-1.300000e+01 | 30.65%
423.27/423.48 o -14
423.27/423.48 c * 416s| 17327 | 1588 | 1111k| 63.9 | 17M| 49 | - | 718 |1125 | 718 | 810 | 25k| 268 |3830 |-1.834238e+01 |-1.400000e+01 | 23.67%
467.55/467.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.55/467.76 c 459s| 20000 | 1785 | 1248k| 62.2 | 19M| 49 | - | 718 |1039 | 718 | 835 | 28k| 277 |4168 |-1.822479e+01 |-1.400000e+01 | 23.18%
617.31/617.55 c 606s| 30000 | 2267 | 1715k| 57.0 | 22M| 49 | 145 | 718 |1025 | 718 | 799 | 37k| 317 |5424 |-1.786165e+01 |-1.400000e+01 | 21.62%
752.86/753.17 c 739s| 40000 | 2507 | 2164k| 54.0 | 24M| 49 | 164 | 718 | 987 | 718 | 697 | 45k| 342 |6002 |-1.755888e+01 |-1.400000e+01 | 20.27%
887.11/887.43 c 871s| 50000 | 2517 | 2591k| 51.8 | 26M| 49 | 131 | 718 | 979 | 718 | 784 | 53k| 358 |7101 |-1.732000e+01 |-1.400000e+01 | 19.17%
1017.66/1018.07 c 999s| 60000 | 2401 | 3013k| 50.2 | 26M| 49 | 145 | 718 | 977 | 718 | 820 | 60k| 375 |8065 |-1.706784e+01 |-1.400000e+01 | 17.97%
1141.03/1141.45 c 1120s| 70000 | 2105 | 3414k| 48.7 | 26M| 49 | - | 718 | 970 | 718 | 824 | 66k| 384 |8849 |-1.680684e+01 |-1.400000e+01 | 16.70%
1254.40/1254.89 c 1232s| 80000 | 1517 | 3789k| 47.3 | 23M| 49 | 191 | 718 | 964 | 718 | 774 | 72k| 392 |9435 |-1.652834e+01 |-1.400000e+01 | 15.30%
1355.07/1355.51 c 1330s| 90000 | 300 | 4122k| 45.8 | 16M| 49 | - | 718 | 947 | 718 | 725 | 76k| 395 | 10k|-1.600055e+01 |-1.400000e+01 | 12.50%
1359.97/1360.48 c
1359.97/1360.48 c SCIP Status : problem is solved [optimal solution found]
1359.97/1360.48 c Solving Time (sec) : 1334.80
1359.97/1360.48 c Solving Nodes : 90585
1359.97/1360.48 c Primal Bound : -1.40000000000000e+01 (14 solutions)
1359.97/1360.48 c Dual Bound : -1.40000000000000e+01
1359.97/1360.48 c Gap : 0.00 %
1359.97/1360.48 s OPTIMUM FOUND
1359.97/1360.48 v -x81 -x67 x84 -x72 -x60 x100 -x83 -x56 x82 -x95 -x54 -x80 -x61 -x79 -x62 -x57 -x87 x85 -x63 -x55 -x99 x88 x98 -x74 -x89 -x93 -x78
1359.97/1360.48 v x70 x68 -x64 x66 -x96 -x92 x53 -x90 -x94 x51 -x75 -x71 -x58 -x59 -x65 -x52 -x77 x73 -x76 x91 -x69 x86 -x97 -x50 x49 -x48 -x47
1359.97/1360.48 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
1359.97/1360.48 v -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1359.97/1360.48 c SCIP Status : problem is solved [optimal solution found]
1359.97/1360.48 c Solving Time : 1334.80
1359.97/1360.48 c Original Problem :
1359.97/1360.48 c Problem name : HOME/instance-2666733-1276669589.opb
1359.97/1360.48 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1359.97/1360.48 c Constraints : 769 initial, 769 maximal
1359.97/1360.48 c Presolved Problem :
1359.97/1360.48 c Problem name : t_HOME/instance-2666733-1276669589.opb
1359.97/1360.48 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1359.97/1360.48 c Constraints : 769 initial, 1125 maximal
1359.97/1360.48 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1359.97/1360.48 c trivial : 0.00 0 0 0 0 0 0 0 0
1359.97/1360.48 c dualfix : 0.00 0 0 0 0 0 0 0 0
1359.97/1360.48 c boundshift : 0.00 0 0 0 0 0 0 0 0
1359.97/1360.48 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1359.97/1360.48 c implics : 0.00 0 0 0 0 0 0 0 0
1359.97/1360.48 c probing : 0.02 0 0 0 0 0 0 0 0
1359.97/1360.48 c setppc : 0.00 0 0 0 0 0 0 0 0
1359.97/1360.48 c and : 0.08 0 0 0 0 0 0 0 0
1359.97/1360.48 c linear : 0.01 0 0 0 0 0 0 0 0
1359.97/1360.48 c logicor : 0.00 0 0 0 0 0 0 0 0
1359.97/1360.48 c root node : - 22 - - 22 - - - -
1359.97/1360.48 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1359.97/1360.48 c integral : 0 0 0 47097 0 129 2219 0 0 91942
1359.97/1360.48 c setppc : 100 6 324093 1 0 213 180678 0 0 0
1359.97/1360.48 c and : 618 78110 323880 1 0 76 2563771 77170 0 0
1359.97/1360.48 c linear : 1+ 7 323803 1 0 2 12327 0 0 0
1359.97/1360.48 c logicor : 50+ 6 90942 1 0 2 73152 0 0 0
1359.97/1360.48 c countsols : 0 0 0 1 0 0 0 0 0 0
1359.97/1360.48 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1359.97/1360.48 c integral : 177.23 0.00 0.00 177.23 0.00
1359.97/1360.48 c setppc : 1.82 0.00 1.82 0.00 0.00
1359.97/1360.48 c and : 24.79 14.17 10.62 0.00 0.00
1359.97/1360.48 c linear : 3.78 0.00 3.78 0.00 0.00
1359.97/1360.48 c logicor : 1.29 0.00 1.29 0.00 0.00
1359.97/1360.48 c countsols : 0.00 0.00 0.00 0.00 0.00
1359.97/1360.48 c Propagators : Time Calls Cutoffs DomReds
1359.97/1360.48 c vbounds : 0.28 2 0 0
1359.97/1360.48 c rootredcost : 0.21 5 0 0
1359.97/1360.48 c pseudoobj : 1.71 325317 10 160
1359.97/1360.48 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1359.97/1360.48 c propagation : 0.00 302 301 431 13.5 2 35.5 -
1359.97/1360.48 c infeasible LP : 0.00 22 22 54 31.7 0 0.0 0
1359.97/1360.48 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1359.97/1360.48 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1359.97/1360.48 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1359.97/1360.48 c applied globally : - - - 396 11.5 - - -
1359.97/1360.48 c applied locally : - - - 0 0.0 - - -
1359.97/1360.48 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1359.97/1360.48 c cut pool : 0.03 5 - - 0 - (maximal pool size: 1525)
1359.97/1360.48 c redcost : 4.43 84150 0 413414 0 0
1359.97/1360.48 c impliedbounds : 0.00 6 0 0 196 0
1359.97/1360.48 c intobj : 0.00 0 0 0 0 0
1359.97/1360.48 c cgmip : 0.00 0 0 0 0 0
1359.97/1360.48 c gomory : 1.33 6 0 0 10 0
1359.97/1360.48 c strongcg : 1.32 6 0 0 2903 0
1359.97/1360.48 c cmir : 0.14 6 0 0 36 0
1359.97/1360.48 c flowcover : 0.12 6 0 0 72 0
1359.97/1360.48 c clique : 0.03 6 0 0 45 0
1359.97/1360.48 c zerohalf : 0.00 0 0 0 0 0
1359.97/1360.48 c mcf : 0.00 1 0 0 0 0
1359.97/1360.48 c rapidlearning : 0.57 1 0 0 0 225
1359.97/1360.48 c Pricers : Time Calls Vars
1359.97/1360.48 c problem variables: 0.00 0 0
1359.97/1360.48 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1359.97/1360.48 c relpscost : 177.05 47096 129 2219 0 0 91942
1359.97/1360.48 c pscost : 0.00 0 0 0 0 0 0
1359.97/1360.48 c inference : 0.00 0 0 0 0 0 0
1359.97/1360.48 c mostinf : 0.00 0 0 0 0 0 0
1359.97/1360.48 c leastinf : 0.00 0 0 0 0 0 0
1359.97/1360.48 c fullstrong : 0.00 0 0 0 0 0 0
1359.97/1360.48 c allfullstrong : 0.00 0 0 0 0 0 0
1359.97/1360.48 c random : 0.00 0 0 0 0 0 0
1359.97/1360.48 c Primal Heuristics : Time Calls Found
1359.97/1360.48 c LP solutions : 0.01 - 1
1359.97/1360.48 c pseudo solutions : 0.00 - 0
1359.97/1360.48 c feaspump : 0.00 0 0
1359.97/1360.48 c oneopt : 0.11 5 0
1359.97/1360.48 c crossover : 0.44 15 0
1359.97/1360.48 c objpscostdiving : 13.24 37 0
1359.97/1360.48 c coefdiving : 11.02 106 0
1359.97/1360.48 c pscostdiving : 10.57 106 1
1359.97/1360.48 c linesearchdiving : 8.17 106 1
1359.97/1360.48 c fracdiving : 12.73 106 0
1359.97/1360.48 c guideddiving : 11.36 106 0
1359.97/1360.48 c veclendiving : 10.26 106 0
1359.97/1360.48 c rootsoldiving : 3.96 54 0
1359.97/1360.48 c trivial : 0.00 2 3
1359.97/1360.48 c simplerounding : 0.16 0 0
1359.97/1360.48 c zirounding : 0.11 1000 0
1359.97/1360.48 c rounding : 5.50 12541 1
1359.97/1360.48 c shifting : 4.22 4151 6
1359.97/1360.48 c intshifting : 0.00 0 0
1359.97/1360.48 c twoopt : 0.00 0 0
1359.97/1360.48 c fixandinfer : 0.00 0 0
1359.97/1360.48 c intdiving : 0.00 0 0
1359.97/1360.48 c actconsdiving : 0.00 0 0
1359.97/1360.48 c octane : 0.00 0 0
1359.97/1360.48 c rens : 0.01 0 0
1359.97/1360.48 c rins : 0.00 0 0
1359.97/1360.48 c localbranching : 0.00 0 0
1359.97/1360.48 c mutation : 0.00 0 0
1359.97/1360.48 c dins : 0.00 0 0
1359.97/1360.48 c undercover : 0.08 1 0
1359.97/1360.48 c nlp : 0.05 0 0
1359.97/1360.48 c trysol : 0.15 0 0
1359.97/1360.48 c LP : Time Calls Iterations Iter/call Iter/sec
1359.97/1360.48 c primal LP : 7.66 0 0 0.00 0.00
1359.97/1360.48 c dual LP : 936.33 117057 3860759 32.98 4123.29
1359.97/1360.48 c lex dual LP : 0.00 0 0 0.00 -
1359.97/1360.48 c barrier LP : 0.00 0 0 0.00 -
1359.97/1360.48 c diving/probing LP: 69.95 27026 276489 10.23 3952.67
1359.97/1360.48 c strong branching : 172.19 10087 711188 70.51 4130.25
1359.97/1360.48 c (at root node) : - 18 17453 969.61 -
1359.97/1360.48 c conflict analysis: 0.00 0 0 0.00 -
1359.97/1360.48 c B&B Tree :
1359.97/1360.48 c number of runs : 1
1359.97/1360.48 c nodes : 90585
1359.97/1360.48 c nodes (total) : 90585
1359.97/1360.48 c nodes left : 0
1359.97/1360.48 c max depth : 49
1359.97/1360.48 c max depth (total): 49
1359.97/1360.48 c backtracks : 14427 (15.9%)
1359.97/1360.48 c delayed cutoffs : 3
1359.97/1360.48 c repropagations : 2839 (2940 domain reductions, 0 cutoffs)
1359.97/1360.48 c avg switch length: 5.95
1359.97/1360.48 c switching time : 27.37
1359.97/1360.48 c Solution :
1359.97/1360.48 c Solutions found : 14 (7 improvements)
1359.97/1360.48 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1359.97/1360.48 c Primal Bound : -1.40000000000000e+01 (in run 1, after 17327 nodes, 415.66 seconds, depth 33, found by <relaxation>)
1359.97/1360.48 c Dual Bound : -1.40000000000000e+01
1359.97/1360.48 c Gap : 0.00 %
1359.97/1360.48 c Root Dual Bound : -2.50000000000000e+01
1359.97/1360.48 c Root Iterations : 4024
1360.06/1360.50 c Time complete: 1360.07.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666733-1276669589/watcher-2666733-1276669589 -o /tmp/evaluation-result-2666733-1276669589/solver-2666733-1276669589 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666733-1276669589.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: 0.92 0.98 0.99 3/106 9130
/proc/meminfo: memFree=1612384/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=7724 CPUtime=0
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 1050 0 0 0 0 0 0 0 20 0 1 0 42562550 7909376 970 1992294400 4194304 8223781 140733827872048 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9130/statm: 1931 979 348 984 0 944 0
[startup+0.0787011 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9130
/proc/meminfo: memFree=1612384/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=13628 CPUtime=0.06
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 3057 0 0 0 3 3 0 0 20 0 1 0 42562550 13955072 2356 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 3407 2356 432 984 0 2420 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13628
[startup+0.100703 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9130
/proc/meminfo: memFree=1612384/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=13628 CPUtime=0.09
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 3057 0 0 0 4 5 0 0 20 0 1 0 42562550 13955072 2356 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 3407 2356 432 984 0 2420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13628
[startup+0.300726 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9130
/proc/meminfo: memFree=1612384/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=18520 CPUtime=0.29
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 5739 0 0 0 18 11 0 0 20 0 1 0 42562550 18964480 3675 1992294400 4194304 8223781 140733827872048 18446744073709551615 6539895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 4630 3675 531 984 0 3643 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18520
[startup+0.700772 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9130
/proc/meminfo: memFree=1612384/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=19488 CPUtime=0.69
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 6110 0 0 0 58 11 0 0 20 0 1 0 42562550 19955712 3859 1992294400 4194304 8223781 140733827872048 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 4872 3859 535 984 0 3885 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19488
[startup+1.50087 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 9131
/proc/meminfo: memFree=1587080/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=25852 CPUtime=1.49
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 12805 0 0 0 133 16 0 0 22 0 1 0 42562550 26472448 5650 1992294400 4194304 8223781 140733827872048 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 6463 5650 596 984 0 5476 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25852
[startup+3.10105 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 9131
/proc/meminfo: memFree=1583856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=28132 CPUtime=3.09
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 17038 0 0 0 277 32 0 0 25 0 1 0 42562550 28807168 6189 1992294400 4194304 8223781 140733827872048 18446744073709551615 6614993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 7033 6189 598 984 0 6046 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28132
[startup+6.30142 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 9131
/proc/meminfo: memFree=1582244/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=38848 CPUtime=6.29
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 21615 0 0 0 593 36 0 0 25 0 1 0 42562550 39780352 8815 1992294400 4194304 8223781 140733827872048 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 9712 8815 599 984 0 8725 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38848
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 9131
/proc/meminfo: memFree=1578772/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=38536 CPUtime=12.68
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 27203 0 0 0 1226 42 0 0 25 0 1 0 42562550 39460864 8705 1992294400 4194304 8223781 140733827872048 18446744073709551615 6536484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 9634 8705 599 984 0 8647 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38536
[startup+25.5006 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 9131
/proc/meminfo: memFree=1578896/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=38096 CPUtime=25.48
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 34855 0 0 0 2491 57 0 0 25 0 1 0 42562550 39010304 8675 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 9524 8675 599 984 0 8537 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38096
[startup+51.1006 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 9131
/proc/meminfo: memFree=1578896/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=38620 CPUtime=51.07
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 42865 0 0 0 5015 92 0 0 25 0 1 0 42562550 39546880 8733 1992294400 4194304 8223781 140733827872048 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 9655 8733 599 984 0 8668 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38620
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 9133
/proc/meminfo: memFree=1577532/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=39936 CPUtime=102.27
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 80771 0 0 0 10049 178 0 0 25 0 1 0 42562550 40894464 9072 1992294400 4194304 8223781 140733827872048 18446744073709551615 6563032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 9984 9072 610 984 0 8997 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39936
[startup+162.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9135
/proc/meminfo: memFree=1575300/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=42004 CPUtime=162.24
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 115112 0 0 0 15943 281 0 0 25 0 1 0 42562550 43012096 9634 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 10501 9634 610 984 0 9514 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 42004
[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9137
/proc/meminfo: memFree=1569472/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=47416 CPUtime=222.22
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 157808 0 0 0 21825 397 0 0 25 0 1 0 42562550 48553984 10989 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 11854 10989 610 984 0 10867 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 47416
[startup+282.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9137
/proc/meminfo: memFree=1568604/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=48508 CPUtime=282.21
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 169211 0 0 0 27725 496 0 0 25 0 1 0 42562550 49672192 11267 1992294400 4194304 8223781 140733827872048 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 12112 11266 610 984 0 11125 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 48508
[startup+342.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9139
/proc/meminfo: memFree=1565504/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=51916 CPUtime=342.19
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 190460 0 0 0 33610 609 0 0 25 0 1 0 42562550 53161984 12099 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 12979 12099 610 984 0 11992 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 51916
[startup+402.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9141
/proc/meminfo: memFree=1562652/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=54392 CPUtime=402.17
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 213273 0 0 0 39490 727 0 0 25 0 1 0 42562550 55697408 12741 1992294400 4194304 8223781 140733827872048 18446744073709551615 6569483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 13598 12741 610 984 0 12611 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 54392
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9143
/proc/meminfo: memFree=1561660/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=55328 CPUtime=462.16
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 247618 0 0 0 45377 839 0 0 25 0 1 0 42562550 56655872 12950 1992294400 4194304 8223781 140733827872048 18446744073709551615 6536496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 13832 12950 610 984 0 12845 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 55328
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9145
/proc/meminfo: memFree=1561660/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=55820 CPUtime=522.14
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 278940 0 0 0 51262 952 0 0 25 0 1 0 42562550 57159680 13016 1992294400 4194304 8223781 140733827872048 18446744073709551615 6567432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 13955 13016 610 984 0 12968 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 55820
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9145
/proc/meminfo: memFree=1560792/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=56264 CPUtime=582.11
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 301495 0 0 0 57148 1063 0 0 25 0 1 0 42562550 57614336 13204 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 14066 13204 610 984 0 13079 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 56264
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9147
/proc/meminfo: memFree=1559056/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=57704 CPUtime=642.09
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 327122 0 0 0 63032 1177 0 0 25 0 1 0 42562550 59088896 13550 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 14426 13550 610 984 0 13439 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 57704
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1558560/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=58480 CPUtime=702.07
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 339609 0 0 0 68926 1281 0 0 25 0 1 0 42562550 59883520 13756 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 14620 13756 610 984 0 13633 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 58480
[startup+762.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9151
/proc/meminfo: memFree=1556700/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=60244 CPUtime=762.06
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 352476 0 0 0 74814 1392 0 0 25 0 1 0 42562550 61689856 14197 1992294400 4194304 8223781 140733827872048 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15061 14197 610 984 0 14074 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 60244
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9153
/proc/meminfo: memFree=1555708/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=61140 CPUtime=822.03
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 373251 0 0 0 80700 1503 0 0 25 0 1 0 42562550 62607360 14397 1992294400 4194304 8223781 140733827872048 18446744073709551615 6539318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15285 14397 610 984 0 14298 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 61140
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9153
/proc/meminfo: memFree=1554964/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=61616 CPUtime=882.01
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 381775 0 0 0 86593 1608 0 0 25 0 1 0 42562550 63094784 14509 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15404 14509 610 984 0 14417 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 61616
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9155
/proc/meminfo: memFree=1554344/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=62248 CPUtime=941.99
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 398834 0 0 0 92474 1725 0 0 25 0 1 0 42562550 63741952 14688 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15562 14688 610 984 0 14575 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 62248
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9157
/proc/meminfo: memFree=1554096/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=62492 CPUtime=1001.97
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 409571 0 0 0 98366 1831 0 0 25 0 1 0 42562550 63991808 14734 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15623 14734 610 984 0 14636 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 62492
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9159
/proc/meminfo: memFree=1553476/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63020 CPUtime=1061.95
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 425008 0 0 0 104249 1946 0 0 25 0 1 0 42562550 64532480 14881 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15755 14881 610 984 0 14768 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 63020
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9161
/proc/meminfo: memFree=1552980/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63176 CPUtime=1121.93
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 442904 0 0 0 110141 2052 0 0 25 0 1 0 42562550 64692224 14920 1992294400 4194304 8223781 140733827872048 18446744073709551615 6536502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15794 14920 610 984 0 14807 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 63176
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9161
/proc/meminfo: memFree=1552980/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63432 CPUtime=1181.92
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 457864 0 0 0 116028 2164 0 0 25 0 1 0 42562550 64954368 14984 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15858 14984 610 984 0 14871 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 63432
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9163
/proc/meminfo: memFree=1552856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63432 CPUtime=1241.9
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 466713 0 0 0 121917 2273 0 0 25 0 1 0 42562550 64954368 14984 1992294400 4194304 8223781 140733827872048 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15858 14984 610 984 0 14871 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 63432
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9165
/proc/meminfo: memFree=1552856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63464 CPUtime=1301.89
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 482167 0 0 0 127796 2393 0 0 25 0 1 0 42562550 64987136 14992 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15866 14992 610 984 0 14879 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 63464
Solver just ended. Dumping a history of the last processes samples
[startup+1331.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9165
/proc/meminfo: memFree=1552856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63524 CPUtime=1330.67
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 488136 0 0 0 130609 2458 0 0 25 0 1 0 42562550 65048576 14987 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15881 14987 610 984 0 14894 0
Current children cumulated CPU time (s) 1330.67
Current children cumulated vsize (KiB) 63524
[startup+1343.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9165
/proc/meminfo: memFree=1552856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63500 CPUtime=1343.46
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 494132 0 0 0 131859 2487 0 0 25 0 1 0 42562550 65024000 14995 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15875 14995 610 984 0 14888 0
Current children cumulated CPU time (s) 1343.46
Current children cumulated vsize (KiB) 63500
[startup+1350.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9167
/proc/meminfo: memFree=1552856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63432 CPUtime=1349.87
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 497832 0 0 0 132486 2501 0 0 25 0 1 0 42562550 64954368 14984 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15858 14984 610 984 0 14871 0
Current children cumulated CPU time (s) 1349.87
Current children cumulated vsize (KiB) 63432
[startup+1356.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9167
/proc/meminfo: memFree=1552856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63540 CPUtime=1356.27
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 501670 0 0 0 133112 2515 0 0 25 0 1 0 42562550 65064960 15009 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15885 15009 610 984 0 14898 0
Current children cumulated CPU time (s) 1356.27
Current children cumulated vsize (KiB) 63540
[startup+1358.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9167
/proc/meminfo: memFree=1552856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63532 CPUtime=1357.86
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 502532 0 0 0 133268 2518 0 0 25 0 1 0 42562550 65056768 14999 1992294400 4194304 8223781 140733827872048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15883 14999 610 984 0 14896 0
Current children cumulated CPU time (s) 1357.86
Current children cumulated vsize (KiB) 63532
[startup+1359.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9167
/proc/meminfo: memFree=1552856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63464 CPUtime=1359.46
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 503621 0 0 0 133424 2522 0 0 25 0 1 0 42562550 64987136 14991 1992294400 4194304 8223781 140733827872048 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15866 14991 610 984 0 14879 0
Current children cumulated CPU time (s) 1359.46
Current children cumulated vsize (KiB) 63464
[startup+1360.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9167
/proc/meminfo: memFree=1552856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=63432 CPUtime=1359.86
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 503896 0 0 0 133463 2523 0 0 25 0 1 0 42562550 64954368 14984 1992294400 4194304 8223781 140733827872048 18446744073709551615 6563533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9130/statm: 15858 14984 610 984 0 14871 0
Current children cumulated CPU time (s) 1359.86
Current children cumulated vsize (KiB) 63432
[startup+1360.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9167
/proc/meminfo: memFree=1552856/2059040 swapFree=4140048/4192956
[pid=9130] ppid=9128 vsize=23328 CPUtime=1360.06
/proc/9130/stat : 9130 (pbscip.linux.x8) R 9128 9130 8148 0 -1 4202496 504126 0 0 0 133482 2524 0 0 25 0 1 0 42562550 23887872 5343 1992294400 4194304 8223781 140733827872048 18446744073709551615 7453498 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9130/statm: 5832 5118 612 984 0 4845 0
Current children cumulated CPU time (s) 1360.06
Current children cumulated vsize (KiB) 23328
Child status: 0
Real time (s): 1360.5
CPU time (s): 1360.08
CPU user time (s): 1334.83
CPU system time (s): 25.2502
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 69280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1334.83
system time used= 25.2502
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3874
runsolver used 2.33164 second user time and 6.34304 second system time
The end