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-2666714-1276666375.opb>
0.00/0.02 c original problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 761 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, 4980 impls, 100 clqs
0.19/0.23 c (0.1s) probing: 101/710 (14.2%) - 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 4980 implications, 100 cliques
0.19/0.23 c presolved problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 761 constraints
0.19/0.23 c 100 constraints of type <setppc>
0.19/0.23 c 610 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.90 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.90 c t 0.8s| 1 | 0 | 1829 | - |3488k| 0 | 390 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.89/0.90 o -5
0.89/0.90 c s 0.8s| 1 | 0 | 1829 | - |3511k| 0 | 390 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
1.00/1.01 o -6
1.00/1.01 c u 0.9s| 1 | 0 | 1829 | - |3520k| 0 | 390 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
2.10/2.19 o -7
2.10/2.19 c y 1.9s| 1 | 0 | 1829 | - |6616k| 0 | 390 | 710 | 761 | 710 |1371 | 0 | 0 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
2.39/2.49 c 2.2s| 1 | 0 | 2341 | - |5466k| 0 | 384 | 710 |1004 | 710 |1456 | 85 | 0 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
3.09/3.18 c 2.9s| 1 | 0 | 2805 | - |7060k| 0 | 403 | 710 |1004 | 710 |1499 | 128 | 0 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
3.89/3.99 c 3.6s| 1 | 0 | 3422 | - |8589k| 0 | 410 | 710 |1004 | 710 |1524 | 153 | 0 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
4.79/4.84 c 4.5s| 1 | 0 | 4060 | - | 10M| 0 | 391 | 710 |1004 | 710 |1549 | 178 | 0 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
5.59/5.69 c 5.3s| 1 | 0 | 4547 | - | 12M| 0 | 365 | 710 |1004 | 710 |1563 | 192 | 0 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
6.60/6.61 c 6.2s| 1 | 0 | 5166 | - | 14M| 0 | 403 | 710 |1004 | 710 |1586 | 215 | 0 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
13.68/13.73 c 13.3s| 1 | 2 | 5166 | - | 14M| 0 | 403 | 710 |1004 | 710 |1586 | 215 | 0 | 11 |-2.500000e+01 |-7.000000e+00 | 72.00%
21.48/21.50 o -8
21.48/21.50 c R21.0s| 8 | 7 | 8872 | 529.4 | 13M| 7 | 86 | 710 |1004 | 710 | 723 | 633 | 0 | 96 |-2.500000e+01 |-8.000000e+00 | 68.00%
21.48/21.52 o -9
21.48/21.52 c R21.0s| 8 | 7 | 8938 | 538.9 | 13M| 7 | 76 | 710 |1004 | 710 | 737 | 647 | 0 | 96 |-2.500000e+01 |-9.000000e+00 | 64.00%
22.19/22.29 o -10
22.19/22.29 c R21.8s| 11 | 10 | 9022 | 385.6 | 13M| 10 | 57 | 710 |1004 | 710 | 748 | 664 | 0 | 133 |-2.500000e+01 |-1.000000e+01 | 60.00%
23.79/23.82 o -11
23.79/23.82 c R23.3s| 13 | 11 | 9329 | 346.9 | 13M| 12 | - | 710 |1004 | 710 | 757 | 675 | 0 | 202 |-2.500000e+01 |-1.100000e+01 | 56.00%
79.08/79.15 o -12
79.08/79.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.08/79.15 c p77.9s| 361 | 195 | 89168 | 233.3 | 14M| 28 | - | 710 |1013 | 710 | 847 |4264 | 9 | 812 |-2.220852e+01 |-1.200000e+01 | 45.97%
81.77/81.83 o -13
81.77/81.83 c l80.5s| 373 | 161 | 97152 | 247.3 | 14M| 28 | - | 710 |1018 | 710 | 741 |4373 | 14 | 822 |-2.205736e+01 |-1.300000e+01 | 41.06%
187.05/187.16 o -14
187.05/187.16 c * 184s| 1741 | 650 |390566 | 221.5 | 15M| 48 | - | 710 |1059 | 710 | 856 | 10k| 60 |1549 |-1.982544e+01 |-1.400000e+01 | 29.38%
359.02/359.19 c 353s| 10000 | 1627 |895640 | 89.1 | 21M| 48 | 155 | 710 | 950 | 710 | 838 | 21k| 109 |2957 |-1.860914e+01 |-1.400000e+01 | 24.77%
526.69/526.85 c 518s| 20000 | 2209 | 1391k| 69.3 | 25M| 48 | 168 | 710 | 960 | 710 | 834 | 31k| 157 |4512 |-1.797085e+01 |-1.400000e+01 | 22.10%
671.34/671.58 c 660s| 30000 | 2653 | 1854k| 61.7 | 28M| 48 | 140 | 710 | 959 | 710 | 812 | 39k| 192 |5375 |-1.762125e+01 |-1.400000e+01 | 20.55%
810.22/810.42 c 796s| 40000 | 2919 | 2301k| 57.4 | 31M| 48 | - | 710 | 971 | 710 | 772 | 47k| 215 |6150 |-1.731751e+01 |-1.400000e+01 | 19.16%
946.19/946.42 c 929s| 50000 | 2889 | 2731k| 54.5 | 32M| 48 | 122 | 710 | 979 | 710 | 719 | 54k| 245 |7059 |-1.702739e+01 |-1.400000e+01 | 17.78%
1078.06/1078.32 c 1059s| 60000 | 2593 | 3152k| 52.5 | 31M| 48 | 134 | 710 | 975 | 710 | 713 | 61k| 266 |7912 |-1.677230e+01 |-1.400000e+01 | 16.53%
1202.63/1202.91 c 1181s| 70000 | 2032 | 3558k| 50.8 | 29M| 48 | - | 710 | 972 | 710 | 726 | 67k| 276 |8565 |-1.646513e+01 |-1.400000e+01 | 14.97%
1311.41/1311.74 c 1288s| 80000 | 538 | 3912k| 48.8 | 20M| 48 | - | 710 | 963 | 710 | 852 | 72k| 285 |9186 |-1.589205e+01 |-1.400000e+01 | 11.91%
1320.11/1320.42 c
1320.11/1320.42 c SCIP Status : problem is solved [optimal solution found]
1320.11/1320.42 c Solving Time (sec) : 1296.61
1320.11/1320.42 c Solving Nodes : 80864
1320.11/1320.42 c Primal Bound : -1.40000000000000e+01 (19 solutions)
1320.11/1320.42 c Dual Bound : -1.40000000000000e+01
1320.11/1320.42 c Gap : 0.00 %
1320.11/1320.42 s OPTIMUM FOUND
1320.11/1320.42 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
1320.11/1320.42 v -x69 x62 -x73 x77 -x64 -x60 x91 -x51 x99 -x97 x85 -x68 -x58 -x63 -x72 -x100 -x93 -x86 x94 -x66 -x78 x87 -x84 x50 -x49 x48 x47
1320.11/1320.42 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
1320.11/1320.42 v -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1320.11/1320.42 c SCIP Status : problem is solved [optimal solution found]
1320.11/1320.42 c Solving Time : 1296.61
1320.11/1320.42 c Original Problem :
1320.11/1320.42 c Problem name : HOME/instance-2666714-1276666375.opb
1320.11/1320.42 c Variables : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous)
1320.11/1320.42 c Constraints : 761 initial, 761 maximal
1320.11/1320.42 c Presolved Problem :
1320.11/1320.42 c Problem name : t_HOME/instance-2666714-1276666375.opb
1320.11/1320.42 c Variables : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous)
1320.11/1320.42 c Constraints : 761 initial, 1068 maximal
1320.11/1320.42 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1320.11/1320.42 c trivial : 0.00 0 0 0 0 0 0 0 0
1320.11/1320.42 c dualfix : 0.00 0 0 0 0 0 0 0 0
1320.11/1320.42 c boundshift : 0.00 0 0 0 0 0 0 0 0
1320.11/1320.42 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1320.11/1320.42 c implics : 0.00 0 0 0 0 0 0 0 0
1320.11/1320.42 c probing : 0.02 0 0 0 0 0 0 0 0
1320.11/1320.42 c setppc : 0.00 0 0 0 0 0 0 0 0
1320.11/1320.42 c and : 0.08 0 0 0 0 0 0 0 0
1320.11/1320.42 c linear : 0.00 0 0 0 0 0 0 0 0
1320.11/1320.42 c logicor : 0.01 0 0 0 0 0 0 0 0
1320.11/1320.42 c root node : - 27 - - 27 - - - -
1320.11/1320.42 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1320.11/1320.42 c integral : 0 0 0 41599 0 95 2133 0 0 81262
1320.11/1320.42 c setppc : 100 6 291971 1 0 152 86037 0 0 0
1320.11/1320.42 c and : 610 70943 291822 1 0 79 1801604 72558 0 0
1320.11/1320.42 c linear : 1+ 7 291742 1 0 4 12149 141 0 0
1320.11/1320.42 c logicor : 50+ 6 79349 1 0 2 72705 0 0 0
1320.11/1320.42 c countsols : 0 0 0 1 0 0 0 0 0 0
1320.11/1320.42 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1320.11/1320.42 c integral : 180.29 0.00 0.00 180.29 0.00
1320.11/1320.42 c setppc : 1.39 0.00 1.39 0.00 0.00
1320.11/1320.42 c and : 21.61 12.54 9.07 0.00 0.00
1320.11/1320.42 c linear : 3.34 0.00 3.34 0.00 0.00
1320.11/1320.42 c logicor : 1.22 0.00 1.22 0.00 0.00
1320.11/1320.42 c countsols : 0.00 0.00 0.00 0.00 0.00
1320.11/1320.42 c Propagators : Time Calls Cutoffs DomReds
1320.11/1320.42 c vbounds : 0.23 2 0 0
1320.11/1320.42 c rootredcost : 0.20 7 0 0
1320.11/1320.42 c pseudoobj : 1.69 293273 14 124
1320.11/1320.42 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1320.11/1320.42 c propagation : 0.00 250 249 301 12.5 1 37.0 -
1320.11/1320.42 c infeasible LP : 0.00 15 15 24 24.6 0 0.0 0
1320.11/1320.42 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1320.11/1320.42 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1320.11/1320.42 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1320.11/1320.42 c applied globally : - - - 286 8.9 - - -
1320.11/1320.42 c applied locally : - - - 0 0.0 - - -
1320.11/1320.42 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1320.11/1320.42 c cut pool : 0.01 5 - - 6 - (maximal pool size: 1580)
1320.11/1320.42 c redcost : 4.49 77995 0 453211 0 0
1320.11/1320.42 c impliedbounds : 0.00 6 0 0 208 0
1320.11/1320.42 c intobj : 0.00 0 0 0 0 0
1320.11/1320.42 c cgmip : 0.00 0 0 0 0 0
1320.11/1320.42 c gomory : 1.20 6 0 0 111 0
1320.11/1320.42 c strongcg : 1.25 6 0 0 2680 0
1320.11/1320.42 c cmir : 0.15 6 0 0 35 0
1320.11/1320.42 c flowcover : 0.10 6 0 0 62 0
1320.11/1320.42 c clique : 0.04 6 0 0 42 0
1320.11/1320.42 c zerohalf : 0.00 0 0 0 0 0
1320.11/1320.42 c mcf : 0.00 1 0 0 0 0
1320.11/1320.42 c rapidlearning : 0.58 1 0 0 0 243
1320.11/1320.42 c Pricers : Time Calls Vars
1320.11/1320.42 c problem variables: 0.00 0 0
1320.11/1320.42 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1320.11/1320.42 c relpscost : 180.20 41598 95 2133 0 0 81262
1320.11/1320.42 c pscost : 0.00 0 0 0 0 0 0
1320.11/1320.42 c inference : 0.00 0 0 0 0 0 0
1320.11/1320.42 c mostinf : 0.00 0 0 0 0 0 0
1320.11/1320.42 c leastinf : 0.00 0 0 0 0 0 0
1320.11/1320.42 c fullstrong : 0.00 0 0 0 0 0 0
1320.11/1320.42 c allfullstrong : 0.00 0 0 0 0 0 0
1320.11/1320.42 c random : 0.00 0 0 0 0 0 0
1320.11/1320.42 c Primal Heuristics : Time Calls Found
1320.11/1320.42 c LP solutions : 0.00 - 1
1320.11/1320.42 c pseudo solutions : 0.00 - 0
1320.11/1320.42 c feaspump : 0.01 0 0
1320.11/1320.42 c oneopt : 0.05 8 0
1320.11/1320.42 c crossover : 0.40 11 2
1320.11/1320.42 c objpscostdiving : 13.18 39 0
1320.11/1320.42 c linesearchdiving : 10.16 91 1
1320.11/1320.42 c pscostdiving : 10.31 91 1
1320.11/1320.42 c guideddiving : 13.15 91 0
1320.11/1320.42 c fracdiving : 11.00 91 0
1320.11/1320.42 c veclendiving : 7.49 91 0
1320.11/1320.42 c rootsoldiving : 3.54 46 0
1320.11/1320.42 c coefdiving : 12.51 92 0
1320.11/1320.42 c trivial : 0.00 2 3
1320.11/1320.42 c simplerounding : 0.19 0 0
1320.11/1320.42 c zirounding : 0.11 1000 0
1320.11/1320.42 c rounding : 10.15 22013 4
1320.11/1320.42 c shifting : 3.79 3741 5
1320.11/1320.42 c intshifting : 0.00 0 0
1320.11/1320.42 c twoopt : 0.00 0 0
1320.11/1320.42 c fixandinfer : 0.00 0 0
1320.11/1320.42 c intdiving : 0.00 0 0
1320.11/1320.42 c actconsdiving : 0.00 0 0
1320.11/1320.42 c octane : 0.00 0 0
1320.11/1320.42 c rens : 0.00 0 0
1320.11/1320.42 c rins : 0.00 0 0
1320.11/1320.42 c localbranching : 0.00 0 0
1320.11/1320.42 c mutation : 0.00 0 0
1320.11/1320.42 c dins : 0.00 0 0
1320.11/1320.42 c undercover : 0.09 1 1
1320.11/1320.42 c nlp : 0.07 0 0
1320.11/1320.42 c trysol : 0.13 0 0
1320.11/1320.42 c LP : Time Calls Iterations Iter/call Iter/sec
1320.11/1320.42 c primal LP : 7.69 0 0 0.00 0.00
1320.11/1320.42 c dual LP : 899.03 105693 3668511 34.71 4080.52
1320.11/1320.42 c lex dual LP : 0.00 0 0 0.00 -
1320.11/1320.42 c barrier LP : 0.00 0 0 0.00 -
1320.11/1320.42 c diving/probing LP: 69.73 26462 267923 10.12 3842.29
1320.11/1320.42 c strong branching : 175.69 9263 713169 76.99 4059.25
1320.11/1320.42 c (at root node) : - 11 11000 1000.00 -
1320.11/1320.42 c conflict analysis: 0.00 0 0 0.00 -
1320.11/1320.42 c B&B Tree :
1320.11/1320.42 c number of runs : 1
1320.11/1320.42 c nodes : 80864
1320.11/1320.42 c nodes (total) : 80864
1320.11/1320.42 c nodes left : 0
1320.11/1320.42 c max depth : 48
1320.11/1320.42 c max depth (total): 48
1320.11/1320.42 c backtracks : 14316 (17.7%)
1320.11/1320.42 c delayed cutoffs : 1
1320.11/1320.42 c repropagations : 1854 (1941 domain reductions, 0 cutoffs)
1320.11/1320.42 c avg switch length: 7.23
1320.11/1320.42 c switching time : 27.99
1320.11/1320.42 c Solution :
1320.11/1320.42 c Solutions found : 19 (11 improvements)
1320.11/1320.42 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1320.11/1320.42 c Primal Bound : -1.40000000000000e+01 (in run 1, after 1741 nodes, 184.13 seconds, depth 32, found by <relaxation>)
1320.11/1320.42 c Dual Bound : -1.40000000000000e+01
1320.11/1320.42 c Gap : 0.00 %
1320.11/1320.42 c Root Dual Bound : -2.50000000000000e+01
1320.11/1320.42 c Root Iterations : 5166
1320.11/1320.44 c Time complete: 1320.16.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666714-1276666375/watcher-2666714-1276666375 -o /tmp/evaluation-result-2666714-1276666375/solver-2666714-1276666375 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666714-1276666375.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 1.00 1.14 3/106 14489
/proc/meminfo: memFree=1789428/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=6696 CPUtime=0
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 7932879 6856704 907 1992294400 4194304 8223781 140733545556576 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14489/statm: 1674 916 343 984 0 687 0
[startup+0.071435 s]
/proc/loadavg: 1.00 1.00 1.14 3/106 14489
/proc/meminfo: memFree=1789428/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=13624 CPUtime=0.06
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 3049 0 0 0 4 2 0 0 20 0 1 0 7932879 13950976 2348 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 3406 2348 432 984 0 2419 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13624
[startup+0.100437 s]
/proc/loadavg: 1.00 1.00 1.14 3/106 14489
/proc/meminfo: memFree=1789428/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=13624 CPUtime=0.09
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 3049 0 0 0 5 4 0 0 20 0 1 0 7932879 13950976 2348 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 3406 2348 432 984 0 2419 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13624
[startup+0.30045 s]
/proc/loadavg: 1.00 1.00 1.14 3/106 14489
/proc/meminfo: memFree=1789428/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=18420 CPUtime=0.29
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 5727 0 0 0 19 10 0 0 20 0 1 0 7932879 18862080 3678 1992294400 4194304 8223781 140733545556576 18446744073709551615 6539856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 4605 3678 531 984 0 3618 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18420
[startup+0.700474 s]
/proc/loadavg: 1.00 1.00 1.14 3/106 14489
/proc/meminfo: memFree=1789428/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=19328 CPUtime=0.69
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 6074 0 0 0 59 10 0 0 21 0 1 0 7932879 19791872 3842 1992294400 4194304 8223781 140733545556576 18446744073709551615 6567536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 4832 3842 536 984 0 3845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19328
[startup+1.50052 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 14490
/proc/meminfo: memFree=1767844/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=32348 CPUtime=1.49
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 15273 0 0 0 132 17 0 0 23 0 1 0 7932879 33124352 6906 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 8087 6906 595 984 0 7100 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32348
[startup+3.10062 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 14490
/proc/meminfo: memFree=1760280/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=29000 CPUtime=3.09
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 18207 0 0 0 277 32 0 0 25 0 1 0 7932879 29696000 6432 1992294400 4194304 8223781 140733545556576 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 7250 6432 596 984 0 6263 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29000
[startup+6.30182 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 14490
/proc/meminfo: memFree=1758668/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=35940 CPUtime=6.29
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 20261 0 0 0 595 34 0 0 25 0 1 0 7932879 36802560 8137 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 8985 8137 596 984 0 7998 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35940
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 14490
/proc/meminfo: memFree=1758048/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=35940 CPUtime=12.69
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 21904 0 0 0 1230 39 0 0 25 0 1 0 7932879 36802560 8138 1992294400 4194304 8223781 140733545556576 18446744073709551615 6569329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 8985 8138 597 984 0 7998 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35940
[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 14492
/proc/meminfo: memFree=1758048/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=36004 CPUtime=25.48
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 21979 0 0 0 2494 54 0 0 25 0 1 0 7932879 36868096 8145 1992294400 4194304 8223781 140733545556576 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 9001 8145 597 984 0 8014 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36004
[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 14492
/proc/meminfo: memFree=1758048/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=36004 CPUtime=51.08
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 21983 0 0 0 5022 86 0 0 25 0 1 0 7932879 36868096 8149 1992294400 4194304 8223781 140733545556576 18446744073709551615 5428960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 9001 8149 599 984 0 8014 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36004
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 14494
/proc/meminfo: memFree=1757676/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=36080 CPUtime=102.27
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 26653 0 0 0 10071 156 0 0 25 0 1 0 7932879 36945920 8186 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 9020 8186 603 984 0 8033 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36080
[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 14494
/proc/meminfo: memFree=1756684/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=37408 CPUtime=162.25
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 58525 0 0 0 15974 251 0 0 25 0 1 0 7932879 38305792 8512 1992294400 4194304 8223781 140733545556576 18446744073709551615 6596765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 9352 8512 610 984 0 8365 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37408
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 14496
/proc/meminfo: memFree=1754328/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=39536 CPUtime=222.25
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 107613 0 0 0 21863 362 0 0 25 0 1 0 7932879 40484864 9058 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 9884 9058 610 984 0 8897 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 39536
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 14498
/proc/meminfo: memFree=1751724/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=42116 CPUtime=282.24
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 143384 0 0 0 27748 476 0 0 25 0 1 0 7932879 43126784 9702 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 10529 9702 610 984 0 9542 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 42116
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 14500
/proc/meminfo: memFree=1749244/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=44452 CPUtime=342.22
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 171242 0 0 0 33637 585 0 0 25 0 1 0 7932879 45518848 10285 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 11113 10285 610 984 0 10126 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 44452
[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 14502
/proc/meminfo: memFree=1746888/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=47148 CPUtime=402.21
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 194306 0 0 0 39526 695 0 0 25 0 1 0 7932879 48279552 10959 1992294400 4194304 8223781 140733545556576 18446744073709551615 5893946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 11787 10959 610 984 0 10800 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 47148
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 14502
/proc/meminfo: memFree=1745028/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=48836 CPUtime=462.19
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 220646 0 0 0 45420 799 0 0 25 0 1 0 7932879 50008064 11379 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 12209 11379 610 984 0 11222 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 48836
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 14504
/proc/meminfo: memFree=1742176/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=51644 CPUtime=522.18
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 239394 0 0 0 51313 905 0 0 25 0 1 0 7932879 52883456 12082 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 12911 12082 610 984 0 11924 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 51644
[startup+582.3 s]
/proc/loadavg: 1.03 1.01 1.06 2/107 14506
/proc/meminfo: memFree=1739820/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=53912 CPUtime=582.17
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 260957 0 0 0 57201 1016 0 0 25 0 1 0 7932879 55205888 12649 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 13478 12649 610 984 0 12491 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 53912
[startup+642.301 s]
/proc/loadavg: 1.04 1.02 1.06 2/107 14508
/proc/meminfo: memFree=1737960/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=55948 CPUtime=642.16
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 273187 0 0 0 63089 1127 0 0 25 0 1 0 7932879 57290752 13156 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 13987 13156 610 984 0 13000 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 55948
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1735728/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=57996 CPUtime=702.14
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 289565 0 0 0 68979 1235 0 0 25 0 1 0 7932879 59387904 13667 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 14499 13667 610 984 0 13512 0
Current children cumulated CPU time (s) 702.14
Current children cumulated vsize (KiB) 57996
[startup+762.308 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 14510
/proc/meminfo: memFree=1734736/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=58992 CPUtime=762.14
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 309274 0 0 0 74866 1348 0 0 25 0 1 0 7932879 60407808 13912 1992294400 4194304 8223781 140733545556576 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 14748 13912 610 984 0 13761 0
Current children cumulated CPU time (s) 762.14
Current children cumulated vsize (KiB) 58992
[startup+822.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 14512
/proc/meminfo: memFree=1732876/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=60884 CPUtime=822.11
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 321471 0 0 0 80759 1452 0 0 25 0 1 0 7932879 62345216 14385 1992294400 4194304 8223781 140733545556576 18446744073709551615 6520864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 15221 14385 610 984 0 14234 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 60884
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 14514
/proc/meminfo: memFree=1731388/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=62212 CPUtime=882.1
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 341399 0 0 0 86650 1560 0 0 25 0 1 0 7932879 63705088 14717 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 15553 14717 610 984 0 14566 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 62212
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 14516
/proc/meminfo: memFree=1730768/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=62732 CPUtime=942.09
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 354466 0 0 0 92538 1671 0 0 25 0 1 0 7932879 64237568 14847 1992294400 4194304 8223781 140733545556576 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 15683 14847 610 984 0 14696 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 62732
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 14518
/proc/meminfo: memFree=1730272/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=63176 CPUtime=1002.08
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 369297 0 0 0 98431 1777 0 0 25 0 1 0 7932879 64692224 14951 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 15794 14951 610 984 0 14807 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 63176
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 14518
/proc/meminfo: memFree=1729776/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=63940 CPUtime=1062.06
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 379880 0 0 0 104319 1887 0 0 25 0 1 0 7932879 65474560 15149 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 15985 15149 610 984 0 14998 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 63940
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 14520
/proc/meminfo: memFree=1729156/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=64380 CPUtime=1122.05
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 393847 0 0 0 110207 1998 0 0 25 0 1 0 7932879 65925120 15246 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 16095 15246 610 984 0 15108 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 64380
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 14522
/proc/meminfo: memFree=1728908/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=64420 CPUtime=1182.04
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 411790 0 0 0 116091 2113 0 0 25 0 1 0 7932879 65966080 15269 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 16105 15269 610 984 0 15118 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 64420
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14524
/proc/meminfo: memFree=1728660/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=64596 CPUtime=1242.02
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 418550 0 0 0 121983 2219 0 0 25 0 1 0 7932879 66146304 15313 1992294400 4194304 8223781 140733545556576 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 16149 15313 610 984 0 15162 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 64596
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14526
/proc/meminfo: memFree=1728660/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=64596 CPUtime=1302.02
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 421293 0 0 0 127881 2321 0 0 25 0 1 0 7932879 66146304 15313 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 16149 15313 610 984 0 15162 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 64596
Solver just ended. Dumping a history of the last processes samples
[startup+1305.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14526
/proc/meminfo: memFree=1728536/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=64596 CPUtime=1305.22
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 421437 0 0 0 128195 2327 0 0 25 0 1 0 7932879 66146304 15313 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 16149 15313 610 984 0 15162 0
Current children cumulated CPU time (s) 1305.22
Current children cumulated vsize (KiB) 64596
[startup+1311.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14526
/proc/meminfo: memFree=1728536/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=64596 CPUtime=1311.61
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 421662 0 0 0 128824 2337 0 0 25 0 1 0 7932879 66146304 15313 1992294400 4194304 8223781 140733545556576 18446744073709551615 6448624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 16149 15313 610 984 0 15162 0
Current children cumulated CPU time (s) 1311.61
Current children cumulated vsize (KiB) 64596
[startup+1315.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14526
/proc/meminfo: memFree=1728536/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=64596 CPUtime=1314.81
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 421739 0 0 0 129139 2342 0 0 25 0 1 0 7932879 66146304 15313 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 16149 15313 610 984 0 15162 0
Current children cumulated CPU time (s) 1314.81
Current children cumulated vsize (KiB) 64596
[startup+1318.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14526
/proc/meminfo: memFree=1728536/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=64596 CPUtime=1318.01
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 421793 0 0 0 129453 2348 0 0 25 0 1 0 7932879 66146304 15313 1992294400 4194304 8223781 140733545556576 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 16149 15313 610 984 0 15162 0
Current children cumulated CPU time (s) 1318.01
Current children cumulated vsize (KiB) 64596
[startup+1319.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14526
/proc/meminfo: memFree=1728536/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=63968 CPUtime=1318.81
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 421831 0 0 0 129532 2349 0 0 25 0 1 0 7932879 65503232 15157 1992294400 4194304 8223781 140733545556576 18446744073709551615 5126168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 15992 15157 610 984 0 15005 0
Current children cumulated CPU time (s) 1318.81
Current children cumulated vsize (KiB) 63968
[startup+1319.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14526
/proc/meminfo: memFree=1728784/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=63968 CPUtime=1319.62
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 421850 0 0 0 129611 2351 0 0 25 0 1 0 7932879 65503232 15157 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 15992 15157 610 984 0 15005 0
Current children cumulated CPU time (s) 1319.62
Current children cumulated vsize (KiB) 63968
[startup+1320.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14526
/proc/meminfo: memFree=1728784/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=63968 CPUtime=1320.01
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 421853 0 0 0 129650 2351 0 0 25 0 1 0 7932879 65503232 15157 1992294400 4194304 8223781 140733545556576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 15992 15157 610 984 0 15005 0
Current children cumulated CPU time (s) 1320.01
Current children cumulated vsize (KiB) 63968
[startup+1320.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14526
/proc/meminfo: memFree=1728784/2059040 swapFree=4164944/4192956
[pid=14489] ppid=14487 vsize=63968 CPUtime=1320.11
/proc/14489/stat : 14489 (pbscip.linux.x8) R 14487 14489 13855 0 -1 4202496 421854 0 0 0 129660 2351 0 0 25 0 1 0 7932879 65503232 15157 1992294400 4194304 8223781 140733545556576 18446744073709551615 6596074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14489/statm: 15992 15157 610 984 0 15005 0
Current children cumulated CPU time (s) 1320.11
Current children cumulated vsize (KiB) 63968
Child status: 0
Real time (s): 1320.45
CPU time (s): 1320.17
CPU user time (s): 1296.64
CPU system time (s): 23.5224
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 65008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1296.64
system time used= 23.5224
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421865
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= 14713
runsolver used 2.24066 second user time and 6.17206 second system time
The end