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-2703318-1278573096.opb>
0.00/0.02 c original problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 767 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.00/0.09 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 5028 impls, 100 clqs
0.10/0.11 c (0.1s) probing: 101/716 (14.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.11 c presolving (2 rounds):
0.10/0.11 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.11 c 5028 implications, 100 cliques
0.10/0.11 c presolved problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 767 constraints
0.10/0.11 c 150 constraints of type <setppc>
0.10/0.11 c 616 constraints of type <and>
0.10/0.11 c 1 constraints of type <linear>
0.10/0.11 c transformed objective value is always integral (scale: 1)
0.10/0.11 c Presolving Time: 0.08
0.10/0.11 c - non default parameters ----------------------------------------------------------------------
0.10/0.11 c # SCIP version 1.2.1.3
0.10/0.11 c
0.10/0.11 c # frequency for displaying node information lines
0.10/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.11 c display/freq = 10000
0.10/0.11 c
0.10/0.11 c # maximal time in seconds to run
0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.11 c limits/time = 1789.99
0.10/0.11 c
0.10/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.11 c limits/memory = 1620
0.10/0.11 c
0.10/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.10/0.11 c # [type: int, range: [1,2], default: 1]
0.10/0.11 c timing/clocktype = 2
0.10/0.11 c
0.10/0.11 c # should presolving try to simplify inequalities
0.10/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.11 c constraints/linear/simplifyinequalities = TRUE
0.10/0.11 c
0.10/0.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.10/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.11 c constraints/indicator/addCouplingCons = TRUE
0.10/0.11 c
0.10/0.11 c # should presolving try to simplify knapsacks
0.10/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.11 c
0.10/0.11 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.10/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.11 c heuristics/undercover/freq = 0
0.10/0.11 c
0.10/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.11 c separating/rapidlearning/freq = 0
0.10/0.11 c
0.10/0.11 c -----------------------------------------------------------------------------------------------
0.10/0.11 c start solving
0.10/0.11 c
0.10/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.16 c t 0.1s| 1 | 0 | 424 | - |3440k| 0 | 258 | 716 | 767 | 716 |1383 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.10/0.16 o -4
0.10/0.16 c R 0.1s| 1 | 0 | 424 | - |3455k| 0 | 258 | 716 | 767 | 716 |1383 | 0 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.89/0.91 o -7
0.89/0.91 c y 0.9s| 1 | 0 | 424 | - |7174k| 0 | 258 | 716 | 768 | 716 |1383 | 0 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
0.99/1.02 c 1.0s| 1 | 0 | 737 | - |3948k| 0 | 362 | 716 | 860 | 716 |1393 | 10 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
1.39/1.42 c 1.4s| 1 | 0 | 931 | - |4667k| 0 | 371 | 716 | 860 | 716 |1402 | 19 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
1.79/1.87 c 1.9s| 1 | 0 | 1106 | - |5520k| 0 | 336 | 716 | 860 | 716 |1411 | 28 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
2.29/2.35 c 2.3s| 1 | 0 | 1389 | - |6539k| 0 | 291 | 716 | 860 | 716 |1417 | 34 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
2.79/2.84 c 2.8s| 1 | 0 | 1678 | - |7290k| 0 | 344 | 716 | 860 | 716 |1426 | 43 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
3.30/3.37 c 3.4s| 1 | 0 | 1914 | - |8325k| 0 | 339 | 716 | 860 | 716 |1431 | 48 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
8.39/8.46 o -8
8.39/8.46 c E 8.4s| 1 | 0 | 1914 | - |8332k| 0 | 339 | 716 | 860 | 716 |1431 | 48 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
8.39/8.48 c 8.5s| 1 | 0 | 1914 | - |8332k| 0 | 339 | 716 | 860 | 716 |1431 | 48 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
8.99/9.07 c 9.1s| 1 | 0 | 2175 | - |9475k| 0 | 337 | 716 | 860 | 716 |1437 | 54 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
18.29/18.31 c 18.3s| 1 | 2 | 2175 | - |9475k| 0 | 337 | 716 | 860 | 716 |1437 | 54 | 1 | 20 |-2.500000e+01 |-8.000000e+00 | 68.00%
23.09/23.20 o -9
23.09/23.20 c R23.2s| 9 | 8 | 5072 | 362.1 |9294k| 8 | 36 | 716 | 860 | 716 | 694 | 402 | 1 | 123 |-2.500000e+01 |-9.000000e+00 | 64.00%
23.99/24.00 o -10
23.99/24.00 c *24.0s| 13 | 9 | 5225 | 254.2 |9328k| 12 | - | 716 | 860 | 716 | 700 | 410 | 1 | 225 |-2.500000e+01 |-1.000000e+01 | 60.00%
38.28/38.36 o -11
38.28/38.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.28/38.36 c c38.3s| 26 | 19 | 9933 | 310.3 |9401k| 13 | - | 716 | 860 | 716 | 751 | 814 | 1 | 410 |-2.481839e+01 |-1.100000e+01 | 55.68%
56.47/56.59 o -12
56.47/56.59 c g56.6s| 121 | 95 | 29501 | 227.7 |9602k| 16 | - | 716 | 860 | 716 | 741 |1756 | 1 | 622 |-2.397187e+01 |-1.200000e+01 | 49.94%
101.27/101.37 o -13
101.27/101.37 c l 101s| 666 | 363 |147909 | 219.1 | 10M| 36 | - | 716 | 882 | 716 | 811 |4200 | 23 | 973 |-2.110992e+01 |-1.300000e+01 | 38.42%
324.81/324.92 c 325s| 10000 | 2449 |836149 | 83.4 | 19M| 46 | 177 | 716 | 997 | 716 | 825 | 18k| 172 |2998 |-1.841569e+01 |-1.300000e+01 | 29.41%
464.08/464.24 c 464s| 20000 | 3443 | 1281k| 64.0 | 24M| 51 | - | 716 |1040 | 716 | 821 | 28k| 297 |4363 |-1.785514e+01 |-1.300000e+01 | 27.19%
576.95/577.16 c 577s| 30000 | 4007 | 1653k| 55.0 | 28M| 51 | - | 716 |1080 | 716 | 668 | 35k| 385 |5347 |-1.766370e+01 |-1.300000e+01 | 26.40%
678.53/678.72 c 679s| 40000 | 4527 | 2022k| 50.5 | 32M| 51 | 91 | 716 |1136 | 716 | 834 | 42k| 464 |5527 |-1.747542e+01 |-1.300000e+01 | 25.61%
793.90/794.18 c 794s| 50000 | 5073 | 2408k| 48.1 | 35M| 51 | 78 | 716 |1143 | 716 | 816 | 49k| 533 |6550 |-1.733372e+01 |-1.300000e+01 | 25.00%
798.60/798.81 o -14
798.60/798.81 c * 799s| 50395 | 2323 | 2422k| 48.0 | 18M| 51 | - | 716 |1145 | 716 | 834 | 50k| 536 |6593 |-1.733340e+01 |-1.400000e+01 | 19.23%
922.07/922.32 c 922s| 60000 | 2394 | 2834k| 47.2 | 20M| 51 | - | 716 |1125 | 716 | 790 | 56k| 552 |7561 |-1.721391e+01 |-1.400000e+01 | 18.67%
1048.14/1048.43 c 1048s| 70000 | 2376 | 3267k| 46.6 | 21M| 51 | - | 716 |1111 | 716 | 823 | 63k| 569 |8460 |-1.702444e+01 |-1.400000e+01 | 17.77%
1163.52/1163.85 c 1164s| 80000 | 2136 | 3668k| 45.8 | 21M| 51 | 164 | 716 |1098 | 716 | 814 | 68k| 580 |9195 |-1.683022e+01 |-1.400000e+01 | 16.82%
1273.99/1274.31 c 1274s| 90000 | 1756 | 4058k| 45.1 | 21M| 51 | - | 716 |1082 | 716 | 811 | 74k| 590 |9862 |-1.662175e+01 |-1.400000e+01 | 15.77%
1382.26/1382.60 c 1383s|100000 | 1108 | 4422k| 44.2 | 18M| 51 | - | 716 |1070 | 716 | 804 | 78k| 601 | 10k|-1.641391e+01 |-1.400000e+01 | 14.71%
1464.64/1465.05 c
1464.64/1465.05 c SCIP Status : problem is solved [optimal solution found]
1464.64/1465.05 c Solving Time (sec) : 1465.03
1464.64/1465.05 c Solving Nodes : 108983
1464.64/1465.05 c Primal Bound : -1.40000000000000e+01 (14 solutions)
1464.64/1465.05 c Dual Bound : -1.40000000000000e+01
1464.64/1465.05 c Gap : 0.00 %
1464.64/1465.05 s OPTIMUM FOUND
1464.64/1465.05 v -x90 -x69 -x56 -x86 -x85 -x63 x60 -x57 x95 -x72 x79 -x58 x67 -x54 -x97 -x61 -x92 x66 -x52 -x98 -x84 x83 x77 -x71 -x59 -x53 -x81
1464.64/1465.05 v -x68 -x74 -x55 -x88 x94 -x100 x80 -x51 x87 x82 -x75 x73 -x64 -x93 -x96 x78 -x65 x99 -x62 -x76 -x89 -x70 -x91 -x50 -x49 x48 -x47
1464.64/1465.05 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
1464.64/1465.05 v -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 x12 x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1464.64/1465.05 c SCIP Status : problem is solved [optimal solution found]
1464.64/1465.05 c Solving Time : 1465.03
1464.64/1465.05 c Original Problem :
1464.64/1465.05 c Problem name : HOME/instance-2703318-1278573096.opb
1464.64/1465.05 c Variables : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous)
1464.64/1465.05 c Constraints : 767 initial, 767 maximal
1464.64/1465.05 c Presolved Problem :
1464.64/1465.05 c Problem name : t_HOME/instance-2703318-1278573096.opb
1464.64/1465.05 c Variables : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous)
1464.64/1465.05 c Constraints : 767 initial, 1154 maximal
1464.64/1465.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1464.64/1465.05 c trivial : 0.00 0 0 0 0 0 0 0 0
1464.64/1465.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
1464.64/1465.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1464.64/1465.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1464.64/1465.05 c implics : 0.00 0 0 0 0 0 0 0 0
1464.64/1465.05 c probing : 0.02 0 0 0 0 0 0 0 0
1464.64/1465.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1464.64/1465.05 c and : 0.06 0 0 0 0 0 0 0 0
1464.64/1465.05 c linear : 0.01 0 0 0 0 0 0 0 0
1464.64/1465.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1464.64/1465.05 c root node : - 55 - - 55 - - - -
1464.64/1465.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1464.64/1465.05 c integral : 0 0 0 57222 0 144 2749 0 0 111870
1464.64/1465.05 c setppc : 150 7 373346 2 0 347 280792 0 0 0
1464.64/1465.05 c and : 616 93699 372998 2 0 138 3013810 82243 0 0
1464.64/1465.05 c linear : 1+ 8 372859 2 0 8 6633 0 0 0
1464.64/1465.05 c logicor : 0+ 7 100956 0 0 1 104843 0 0 0
1464.64/1465.05 c countsols : 0 0 0 2 0 0 0 0 0 0
1464.64/1465.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1464.64/1465.05 c integral : 184.29 0.00 0.00 184.29 0.00
1464.64/1465.05 c setppc : 2.91 0.00 2.91 0.00 0.00
1464.64/1465.05 c and : 27.63 14.63 13.00 0.00 0.00
1464.64/1465.05 c linear : 3.65 0.01 3.65 0.00 0.00
1464.64/1465.05 c logicor : 2.15 0.00 2.15 0.00 0.00
1464.64/1465.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1464.64/1465.05 c Propagators : Time Calls Cutoffs DomReds
1464.64/1465.05 c vbounds : 0.20 2 0 0
1464.64/1465.05 c rootredcost : 0.21 6 0 0
1464.64/1465.05 c pseudoobj : 1.92 374569 21 241
1464.64/1465.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1464.64/1465.05 c propagation : 0.01 514 508 624 9.5 7 27.6 -
1464.64/1465.05 c infeasible LP : 0.00 13 13 32 31.4 0 0.0 0
1464.64/1465.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1464.64/1465.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1464.64/1465.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1464.64/1465.05 c applied globally : - - - 603 8.7 - - -
1464.64/1465.05 c applied locally : - - - 0 0.0 - - -
1464.64/1465.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1464.64/1465.05 c cut pool : 0.01 6 - - 18 - (maximal pool size: 1165)
1464.64/1465.05 c redcost : 5.12 102423 0 489065 0 0
1464.64/1465.05 c impliedbounds : 0.00 7 0 0 44 0
1464.64/1465.05 c intobj : 0.00 0 0 0 0 0
1464.64/1465.05 c cgmip : 0.00 0 0 0 0 0
1464.64/1465.05 c gomory : 1.25 7 0 0 490 0
1464.64/1465.05 c strongcg : 1.12 7 0 0 3260 0
1464.64/1465.05 c cmir : 0.11 7 0 0 6 0
1464.64/1465.05 c flowcover : 0.10 7 0 0 8 0
1464.64/1465.05 c clique : 0.03 7 0 0 42 0
1464.64/1465.05 c zerohalf : 0.00 0 0 0 0 0
1464.64/1465.05 c mcf : 0.00 1 0 0 0 0
1464.64/1465.05 c rapidlearning : 0.39 1 0 0 0 92
1464.64/1465.05 c Pricers : Time Calls Vars
1464.64/1465.05 c problem variables: 0.00 0 0
1464.64/1465.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1464.64/1465.05 c relpscost : 184.16 57220 144 2749 0 0 111870
1464.64/1465.05 c pscost : 0.00 0 0 0 0 0 0
1464.64/1465.05 c inference : 0.00 0 0 0 0 0 0
1464.64/1465.05 c mostinf : 0.00 0 0 0 0 0 0
1464.64/1465.05 c leastinf : 0.00 0 0 0 0 0 0
1464.64/1465.05 c fullstrong : 0.00 0 0 0 0 0 0
1464.64/1465.05 c allfullstrong : 0.00 0 0 0 0 0 0
1464.64/1465.05 c random : 0.00 0 0 0 0 0 0
1464.64/1465.05 c Primal Heuristics : Time Calls Found
1464.64/1465.05 c LP solutions : 0.03 - 2
1464.64/1465.05 c pseudo solutions : 0.00 - 0
1464.64/1465.05 c feaspump : 0.01 0 0
1464.64/1465.05 c oneopt : 0.08 8 0
1464.64/1465.05 c crossover : 0.74 16 0
1464.64/1465.05 c objpscostdiving : 14.23 50 0
1464.64/1465.05 c guideddiving : 13.27 114 1
1464.64/1465.05 c coefdiving : 13.02 114 1
1464.64/1465.05 c pscostdiving : 9.66 114 0
1464.64/1465.05 c fracdiving : 10.82 114 0
1464.64/1465.05 c veclendiving : 9.85 114 0
1464.64/1465.05 c linesearchdiving : 8.01 115 1
1464.64/1465.05 c rootsoldiving : 4.06 58 0
1464.64/1465.05 c trivial : 0.00 2 3
1464.64/1465.05 c simplerounding : 0.09 0 0
1464.64/1465.05 c zirounding : 0.14 1000 0
1464.64/1465.05 c rounding : 7.84 18884 2
1464.64/1465.05 c shifting : 2.01 2188 2
1464.64/1465.05 c intshifting : 0.00 0 0
1464.64/1465.05 c twoopt : 0.00 0 0
1464.64/1465.05 c fixandinfer : 0.00 0 0
1464.64/1465.05 c intdiving : 0.00 0 0
1464.64/1465.05 c actconsdiving : 0.00 0 0
1464.64/1465.05 c octane : 0.00 0 0
1464.64/1465.05 c rens : 5.10 1 1
1464.64/1465.05 c rins : 0.00 0 0
1464.64/1465.05 c localbranching : 0.00 0 0
1464.64/1465.05 c mutation : 0.00 0 0
1464.64/1465.05 c dins : 0.00 0 0
1464.64/1465.05 c undercover : 0.10 1 0
1464.64/1465.05 c nlp : 0.06 0 0
1464.64/1465.05 c trysol : 0.07 0 0
1464.64/1465.05 c LP : Time Calls Iterations Iter/call Iter/sec
1464.64/1465.05 c primal LP : 8.17 0 0 0.00 0.00
1464.64/1465.05 c dual LP : 1035.89 139521 4427753 31.74 4274.35
1464.64/1465.05 c lex dual LP : 0.00 0 0 0.00 -
1464.64/1465.05 c barrier LP : 0.00 0 0 0.00 -
1464.64/1465.05 c diving/probing LP: 70.71 28394 285501 10.05 4037.91
1464.64/1465.05 c strong branching : 179.04 11283 774851 68.67 4327.80
1464.64/1465.05 c (at root node) : - 20 18578 928.90 -
1464.64/1465.05 c conflict analysis: 0.00 0 0 0.00 -
1464.64/1465.05 c B&B Tree :
1464.64/1465.05 c number of runs : 1
1464.64/1465.05 c nodes : 108983
1464.64/1465.05 c nodes (total) : 108983
1464.64/1465.05 c nodes left : 0
1464.64/1465.05 c max depth : 51
1464.64/1465.05 c max depth (total): 51
1464.64/1465.05 c backtracks : 15926 (14.6%)
1464.64/1465.05 c delayed cutoffs : 1
1464.64/1465.05 c repropagations : 5800 (5358 domain reductions, 0 cutoffs)
1464.64/1465.05 c avg switch length: 5.56
1464.64/1465.05 c switching time : 31.10
1464.64/1465.05 c Solution :
1464.64/1465.05 c Solutions found : 14 (10 improvements)
1464.64/1465.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1464.64/1465.05 c Primal Bound : -1.40000000000000e+01 (in run 1, after 50395 nodes, 798.77 seconds, depth 45, found by <relaxation>)
1464.64/1465.05 c Dual Bound : -1.40000000000000e+01
1464.64/1465.05 c Gap : 0.00 %
1464.64/1465.05 c Root Dual Bound : -2.50000000000000e+01
1464.64/1465.05 c Root Iterations : 2175
1464.64/1465.08 c Time complete: 1464.72.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703318-1278573096/watcher-2703318-1278573096 -o /tmp/evaluation-result-2703318-1278573096/solver-2703318-1278573096 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703318-1278573096.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.95 0.49 0.53 4/106 31460
/proc/meminfo: memFree=1661648/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=7904 CPUtime=0
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 1055 0 0 0 0 0 0 0 20 0 1 0 25522121 8093696 966 1992294400 4194304 8395647 140737364475968 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31460/statm: 1976 975 365 1026 0 946 0
[startup+0.107448 s]
/proc/loadavg: 0.95 0.49 0.53 4/106 31460
/proc/meminfo: memFree=1661648/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=17252 CPUtime=0.1
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 3730 0 0 0 9 1 0 0 20 0 1 0 25522121 17666048 3287 1992294400 4194304 8395647 140737364475968 18446744073709551615 5608274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 4313 3287 497 1026 0 3283 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17252
[startup+0.201456 s]
/proc/loadavg: 0.95 0.49 0.53 4/106 31460
/proc/meminfo: memFree=1661648/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=33628 CPUtime=0.19
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 7616 0 0 0 17 2 0 0 20 0 1 0 25522121 34435072 7135 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 8407 7135 578 1026 0 7377 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33628
[startup+0.301465 s]
/proc/loadavg: 0.95 0.49 0.53 4/106 31460
/proc/meminfo: memFree=1661648/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=35176 CPUtime=0.3
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 8339 0 0 0 27 3 0 0 20 0 1 0 25522121 36020224 7858 1992294400 4194304 8395647 140737364475968 18446744073709551615 6197344 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 8794 7858 617 1026 0 7764 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 35176
[startup+0.701501 s]
/proc/loadavg: 0.95 0.49 0.53 4/106 31460
/proc/meminfo: memFree=1661648/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=35808 CPUtime=0.69
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 8607 0 0 0 59 10 0 0 20 0 1 0 25522121 36667392 8126 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 8952 8126 635 1026 0 7922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35808
[startup+1.50157 s]
/proc/loadavg: 0.95 0.49 0.53 2/107 31461
/proc/meminfo: memFree=1629400/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=37900 CPUtime=1.49
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 9156 0 0 0 136 13 0 0 22 0 1 0 25522121 38809600 8674 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 9475 8674 638 1026 0 8445 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37900
[startup+3.10072 s]
/proc/loadavg: 0.95 0.49 0.53 2/107 31461
/proc/meminfo: memFree=1629152/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=37900 CPUtime=3.09
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 9191 0 0 0 295 14 0 0 25 0 1 0 25522121 38809600 8694 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 9475 8694 638 1026 0 8445 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37900
[startup+6.30101 s]
/proc/loadavg: 0.95 0.50 0.53 2/107 31461
/proc/meminfo: memFree=1617496/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=50548 CPUtime=6.29
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 12068 0 0 0 607 22 0 0 25 0 1 0 25522121 51761152 11529 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 12637 11529 650 1026 0 11607 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50548
[startup+12.7006 s]
/proc/loadavg: 0.95 0.50 0.53 2/107 31461
/proc/meminfo: memFree=1627540/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=38580 CPUtime=12.69
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 12152 0 0 0 1235 34 0 0 25 0 1 0 25522121 39505920 8898 1992294400 4194304 8395647 140737364475968 18446744073709551615 6696247 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 9645 8898 650 1026 0 8615 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38580
[startup+25.5017 s]
/proc/loadavg: 0.96 0.53 0.54 2/107 31463
/proc/meminfo: memFree=1627540/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=38580 CPUtime=25.49
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 12152 0 0 0 2502 47 0 0 25 0 1 0 25522121 39505920 8898 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 9645 8898 650 1026 0 8615 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38580
[startup+51.101 s]
/proc/loadavg: 0.98 0.56 0.55 2/107 31463
/proc/meminfo: memFree=1627540/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=38580 CPUtime=51.08
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 12152 0 0 0 5033 75 0 0 25 0 1 0 25522121 39505920 8898 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 9645 8898 650 1026 0 8615 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38580
[startup+102.302 s]
/proc/loadavg: 0.99 0.64 0.57 2/107 31465
/proc/meminfo: memFree=1627664/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=38624 CPUtime=102.28
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 13417 0 0 0 10090 138 0 0 25 0 1 0 25522121 39550976 8901 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 9656 8901 652 1026 0 8626 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 38624
[startup+162.301 s]
/proc/loadavg: 0.99 0.69 0.59 2/107 31465
/proc/meminfo: memFree=1628160/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=38176 CPUtime=162.25
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 16524 0 0 0 16009 216 0 0 25 0 1 0 25522121 39092224 8796 1992294400 4194304 8395647 140737364475968 18446744073709551615 6585873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 9544 8796 652 1026 0 8514 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 38176
[startup+222.308 s]
/proc/loadavg: 0.99 0.75 0.62 2/107 31467
/proc/meminfo: memFree=1625804/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=41152 CPUtime=222.24
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 19223 0 0 0 21927 297 0 0 25 0 1 0 25522121 42139648 9490 1992294400 4194304 8395647 140737364475968 18446744073709551615 4216711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 10288 9490 652 1026 0 9258 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 41152
[startup+282.301 s]
/proc/loadavg: 0.99 0.79 0.64 2/107 31469
/proc/meminfo: memFree=1620348/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=45804 CPUtime=282.22
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 24439 0 0 0 27843 379 0 0 25 0 1 0 25522121 46903296 10714 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 11451 10714 652 1026 0 10421 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 45804
[startup+342.301 s]
/proc/loadavg: 0.99 0.83 0.66 2/107 31471
/proc/meminfo: memFree=1618364/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=48532 CPUtime=342.2
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 25060 0 0 0 33755 465 0 0 25 0 1 0 25522121 49696768 11335 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 12133 11335 652 1026 0 11103 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 48532
[startup+402.302 s]
/proc/loadavg: 0.99 0.85 0.67 2/107 31473
/proc/meminfo: memFree=1615140/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=51640 CPUtime=402.19
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 27809 0 0 0 39668 551 0 0 25 0 1 0 25522121 52879360 12134 1992294400 4194304 8395647 140737364475968 18446744073709551615 6575223 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 12910 12134 652 1026 0 11880 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 51640
[startup+462.301 s]
/proc/loadavg: 0.99 0.88 0.69 2/107 31476
/proc/meminfo: memFree=1609808/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=56452 CPUtime=462.18
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 29008 0 0 0 45583 635 0 0 25 0 1 0 25522121 57806848 13333 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 14113 13333 652 1026 0 13083 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 56452
[startup+522.302 s]
/proc/loadavg: 0.99 0.90 0.71 2/107 31478
/proc/meminfo: memFree=1606708/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=59448 CPUtime=522.16
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 29793 0 0 0 51490 726 0 0 25 0 1 0 25522121 60874752 14118 1992294400 4194304 8395647 140737364475968 18446744073709551615 6696653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 14862 14118 652 1026 0 13832 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 59448
[startup+582.301 s]
/proc/loadavg: 0.99 0.91 0.73 2/107 31480
/proc/meminfo: memFree=1603980/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=62192 CPUtime=582.15
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 32333 0 0 0 57400 815 0 0 25 0 1 0 25522121 63684608 14804 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 15548 14804 652 1026 0 14518 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 62192
[startup+642.302 s]
/proc/loadavg: 0.99 0.93 0.74 2/107 31482
/proc/meminfo: memFree=1600632/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=65688 CPUtime=642.14
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 33184 0 0 0 63308 906 0 0 25 0 1 0 25522121 67264512 15655 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 16422 15655 652 1026 0 15392 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 65688
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1594928/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70680 CPUtime=822.1
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 39962 0 0 0 81038 1172 0 0 25 0 1 0 25522121 72376320 16945 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17670 16945 652 1026 0 16640 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 70680
[startup+882.308 s]
/proc/loadavg: 0.99 0.96 0.79 2/107 31488
/proc/meminfo: memFree=1594928/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70712 CPUtime=882.08
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 43925 0 0 0 86951 1257 0 0 25 0 1 0 25522121 72409088 16953 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17678 16953 652 1026 0 16648 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 70712
[startup+942.302 s]
/proc/loadavg: 0.99 0.96 0.80 2/107 31490
/proc/meminfo: memFree=1594928/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70712 CPUtime=942.07
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 43925 0 0 0 92864 1343 0 0 25 0 1 0 25522121 72409088 16953 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17678 16953 652 1026 0 16648 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 70712
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/107 31492
/proc/meminfo: memFree=1594804/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70824 CPUtime=1002.04
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 45796 0 0 0 98768 1436 0 0 25 0 1 0 25522121 72523776 16981 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17706 16981 652 1026 0 16676 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 70824
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 31492
/proc/meminfo: memFree=1594928/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70824 CPUtime=1062.04
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 45796 0 0 0 104675 1529 0 0 25 0 1 0 25522121 72523776 16981 1992294400 4194304 8395647 140737364475968 18446744073709551615 4246743 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17706 16981 652 1026 0 16676 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 70824
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 31494
/proc/meminfo: memFree=1594804/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70800 CPUtime=1122.01
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 47652 0 0 0 110590 1611 0 0 25 0 1 0 25522121 72499200 16975 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17700 16975 652 1026 0 16670 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 70800
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 31496
/proc/meminfo: memFree=1594804/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70800 CPUtime=1182.01
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 47652 0 0 0 116503 1698 0 0 25 0 1 0 25522121 72499200 16975 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17700 16975 652 1026 0 16670 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 70800
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 31498
/proc/meminfo: memFree=1594680/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70800 CPUtime=1241.99
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 47652 0 0 0 122417 1782 0 0 25 0 1 0 25522121 72499200 16975 1992294400 4194304 8395647 140737364475968 18446744073709551615 4694347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17700 16975 652 1026 0 16670 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 70800
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 31500
/proc/meminfo: memFree=1594556/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70800 CPUtime=1301.97
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 47652 0 0 0 128323 1874 0 0 25 0 1 0 25522121 72499200 16975 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17700 16975 652 1026 0 16670 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 70800
[startup+1362.3 s]
/proc/loadavg: 1.04 0.99 0.85 2/107 31500
/proc/meminfo: memFree=1594556/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70800 CPUtime=1361.96
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 47652 0 0 0 134234 1962 0 0 25 0 1 0 25522121 72499200 16975 1992294400 4194304 8395647 140737364475968 18446744073709551615 6741412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17700 16975 652 1026 0 16670 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 70800
[startup+1422.3 s]
/proc/loadavg: 1.05 1.00 0.87 2/107 31502
/proc/meminfo: memFree=1594432/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70928 CPUtime=1421.95
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 49525 0 0 0 140146 2049 0 0 25 0 1 0 25522121 72630272 17007 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17732 17007 652 1026 0 16702 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 70928
Solver just ended. Dumping a history of the last processes samples
[startup+1433.6 s]
/proc/loadavg: 1.12 1.02 0.87 2/107 31502
/proc/meminfo: memFree=1594432/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70928 CPUtime=1433.24
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 49525 0 0 0 141261 2063 0 0 25 0 1 0 25522121 72630272 17007 1992294400 4194304 8395647 140737364475968 18446744073709551615 6592944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17732 17007 652 1026 0 16702 0
Current children cumulated CPU time (s) 1433.24
Current children cumulated vsize (KiB) 70928
[startup+1446.4 s]
/proc/loadavg: 1.10 1.02 0.87 2/107 31504
/proc/meminfo: memFree=1594432/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70928 CPUtime=1446.04
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 49525 0 0 0 142523 2081 0 0 25 0 1 0 25522121 72630272 17007 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17732 17007 652 1026 0 16702 0
Current children cumulated CPU time (s) 1446.04
Current children cumulated vsize (KiB) 70928
[startup+1452.8 s]
/proc/loadavg: 1.09 1.02 0.87 2/107 31504
/proc/meminfo: memFree=1594432/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70928 CPUtime=1452.43
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 49525 0 0 0 143151 2092 0 0 25 0 1 0 25522121 72630272 17007 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17732 17007 652 1026 0 16702 0
Current children cumulated CPU time (s) 1452.43
Current children cumulated vsize (KiB) 70928
[startup+1459.2 s]
/proc/loadavg: 1.08 1.01 0.87 2/107 31504
/proc/meminfo: memFree=1594432/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70928 CPUtime=1458.84
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 49525 0 0 0 143783 2101 0 0 25 0 1 0 25522121 72630272 17007 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17732 17007 652 1026 0 16702 0
Current children cumulated CPU time (s) 1458.84
Current children cumulated vsize (KiB) 70928
[startup+1462.4 s]
/proc/loadavg: 1.08 1.01 0.87 2/107 31504
/proc/meminfo: memFree=1594556/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70928 CPUtime=1462.04
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 49525 0 0 0 144097 2107 0 0 25 0 1 0 25522121 72630272 17007 1992294400 4194304 8395647 140737364475968 18446744073709551615 5027310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17732 17007 652 1026 0 16702 0
Current children cumulated CPU time (s) 1462.04
Current children cumulated vsize (KiB) 70928
[startup+1464 s]
/proc/loadavg: 1.07 1.01 0.88 2/107 31504
/proc/meminfo: memFree=1594556/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70928 CPUtime=1463.64
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 49525 0 0 0 144255 2109 0 0 25 0 1 0 25522121 72630272 17007 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17732 17007 652 1026 0 16702 0
Current children cumulated CPU time (s) 1463.64
Current children cumulated vsize (KiB) 70928
[startup+1464.8 s]
/proc/loadavg: 1.07 1.01 0.88 2/107 31504
/proc/meminfo: memFree=1594556/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70928 CPUtime=1464.44
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 49525 0 0 0 144334 2110 0 0 25 0 1 0 25522121 72630272 17007 1992294400 4194304 8395647 140737364475968 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17732 17007 652 1026 0 16702 0
Current children cumulated CPU time (s) 1464.44
Current children cumulated vsize (KiB) 70928
[startup+1465 s]
/proc/loadavg: 1.07 1.01 0.88 2/107 31504
/proc/meminfo: memFree=1594556/2059040 swapFree=4138592/4192956
[pid=31460] ppid=31458 vsize=70928 CPUtime=1464.64
/proc/31460/stat : 31460 (pbscip.linux.x8) R 31458 31460 31391 0 -1 4202496 49525 0 0 0 144354 2110 0 0 25 0 1 0 25522121 72630272 17007 1992294400 4194304 8395647 140737364475968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31460/statm: 17732 17007 652 1026 0 16702 0
Current children cumulated CPU time (s) 1464.64
Current children cumulated vsize (KiB) 70928
Child status: 0
Real time (s): 1465.08
CPU time (s): 1464.73
CPU user time (s): 1443.61
CPU system time (s): 21.1118
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 79432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1443.61
system time used= 21.1118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49529
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= 1957
runsolver used 2.35064 second user time and 6.98094 second system time
The end