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-2703288-1278578297.opb>
0.00/0.02 c original problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1615 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.09/0.11 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11812 impls, 100 clqs
0.19/0.21 c (0.2s) probing: 101/1564 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (2 rounds):
0.19/0.21 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 11812 implications, 100 cliques
0.19/0.21 c presolved problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1615 constraints
0.19/0.21 c 150 constraints of type <setppc>
0.19/0.21 c 1464 constraints of type <and>
0.19/0.21 c 1 constraints of type <linear>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.17
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.3
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1789.98
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 1620
0.19/0.21 c
0.19/0.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.21 c # [type: int, range: [1,2], default: 1]
0.19/0.21 c timing/clocktype = 2
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/indicator/addCouplingCons = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c heuristics/undercover/freq = 0
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.49/0.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.59 c t 0.6s| 1 | 0 | 1119 | - |7503k| 0 | 756 |1564 |1615 |1564 |3079 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.59/0.60 o -2
0.59/0.60 c s 0.6s| 1 | 0 | 1119 | - |7534k| 0 | 756 |1564 |1615 |1564 |3079 | 0 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
2.20/2.23 o -3
2.20/2.23 c y 2.2s| 1 | 0 | 1119 | - |8047k| 0 | 756 |1564 |1616 |1564 |3079 | 0 | 1 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
2.29/2.39 c 2.4s| 1 | 0 | 1321 | - |9286k| 0 | 748 |1564 |2142 |1564 |3096 | 17 | 1 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
2.99/3.09 c 3.1s| 1 | 0 | 1812 | - |9465k| 0 | 735 |1564 |2142 |1564 |3100 | 21 | 1 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
3.99/4.05 c 4.0s| 1 | 0 | 2389 | - |9745k| 0 | 723 |1564 |2142 |1564 |3104 | 25 | 1 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
4.99/5.03 c 5.0s| 1 | 0 | 2992 | - | 10M| 0 | 665 |1564 |2142 |1564 |3110 | 31 | 1 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
6.18/6.27 c 6.2s| 1 | 0 | 3859 | - | 10M| 0 | 685 |1564 |2142 |1564 |3120 | 41 | 1 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
7.39/7.41 c 7.4s| 1 | 0 | 4680 | - | 10M| 0 | 709 |1564 |2142 |1564 |3129 | 50 | 1 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
22.18/22.21 o -5
22.18/22.21 c E22.2s| 1 | 0 | 4680 | - | 10M| 0 | 709 |1564 |2142 |1564 |3129 | 50 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
22.18/22.24 c 22.2s| 1 | 0 | 4680 | - | 10M| 0 | 709 |1564 |2142 |1564 |3129 | 50 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
23.38/23.47 c 23.4s| 1 | 0 | 5550 | - | 10M| 0 | 763 |1564 |2142 |1564 |3135 | 56 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
59.76/59.81 c 59.8s| 1 | 2 | 5550 | - | 10M| 0 | 763 |1564 |2142 |1564 |3135 | 56 | 1 | 37 |-2.500000e+01 |-5.000000e+00 | 80.00%
79.46/79.52 o -6
79.46/79.52 c *79.5s| 9 | 3 | 14047 |1062.1 | 10M| 7 | - |1564 |2142 |1564 |1386 |1016 | 1 | 240 |-2.500000e+01 |-6.000000e+00 | 76.00%
595.00/595.21 c 595s| 10000 | 1862 |795253 | 79.0 | 34M| 66 | 81 |1564 |2319 |1564 |1640 | 30k| 298 |4150 |-1.079093e+01 |-6.000000e+00 | 44.40%
776.05/776.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.05/776.34 c 776s| 20000 | 2150 | 1120k| 55.8 | 44M| 66 | 90 |1564 |2451 |1564 |1544 | 39k| 686 |5987 |-9.289067e+00 |-6.000000e+00 | 35.41%
905.61/905.91 c 906s| 30000 | 2036 | 1367k| 45.4 | 47M| 71 | - |1564 |2432 |1564 |1647 | 44k|1017 |6851 |-8.691289e+00 |-6.000000e+00 | 30.97%
1046.76/1047.14 c 1047s| 40000 | 1586 | 1602k| 39.9 | 43M| 71 | - |1564 |2323 |1564 |1629 | 48k|1273 |8759 |-8.345012e+00 |-6.000000e+00 | 28.10%
1148.42/1148.83 c 1149s| 50000 | 420 | 1782k| 35.5 | 22M| 71 | - |1564 |2284 |1564 |1614 | 51k|1466 |9359 |-7.761944e+00 |-6.000000e+00 | 22.70%
1155.92/1156.33 c
1155.92/1156.33 c SCIP Status : problem is solved [optimal solution found]
1155.92/1156.33 c Solving Time (sec) : 1156.31
1155.92/1156.33 c Solving Nodes : 50598
1155.92/1156.33 c Primal Bound : -6.00000000000000e+00 (13 solutions)
1155.92/1156.33 c Dual Bound : -6.00000000000000e+00
1155.92/1156.33 c Gap : 0.00 %
1155.92/1156.33 s OPTIMUM FOUND
1155.92/1156.33 v -x57 x96 -x92 -x81 -x75 -x95 -x69 -x67 -x93 -x90 x89 -x94 -x86 -x64 -x72 -x51 -x98 x88 -x70 -x63 -x60 -x58 -x55 -x54 -x52 x91 -x62
1155.92/1156.33 v -x59 -x85 -x78 -x97 -x68 -x53 -x84 -x80 -x56 -x65 -x87 -x79 -x99 -x82 -x74 x100 x71 -x83 -x77 -x73 -x61 -x66 -x76 -x50 -x49
1155.92/1156.33 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 x25 -x24 -x23
1155.92/1156.33 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
1155.92/1156.33 c SCIP Status : problem is solved [optimal solution found]
1155.92/1156.33 c Solving Time : 1156.31
1155.92/1156.33 c Original Problem :
1155.92/1156.33 c Problem name : HOME/instance-2703288-1278578297.opb
1155.92/1156.33 c Variables : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1155.92/1156.33 c Constraints : 1615 initial, 1615 maximal
1155.92/1156.33 c Presolved Problem :
1155.92/1156.33 c Problem name : t_HOME/instance-2703288-1278578297.opb
1155.92/1156.33 c Variables : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1155.92/1156.33 c Constraints : 1615 initial, 2472 maximal
1155.92/1156.33 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1155.92/1156.33 c trivial : 0.00 0 0 0 0 0 0 0 0
1155.92/1156.33 c dualfix : 0.00 0 0 0 0 0 0 0 0
1155.92/1156.33 c boundshift : 0.00 0 0 0 0 0 0 0 0
1155.92/1156.33 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1155.92/1156.33 c implics : 0.00 0 0 0 0 0 0 0 0
1155.92/1156.33 c probing : 0.03 0 0 0 0 0 0 0 0
1155.92/1156.33 c setppc : 0.00 0 0 0 0 0 0 0 0
1155.92/1156.33 c and : 0.12 0 0 0 0 0 0 0 0
1155.92/1156.33 c linear : 0.01 0 0 0 0 0 0 0 0
1155.92/1156.33 c logicor : 0.00 0 0 0 0 0 0 0 0
1155.92/1156.33 c root node : - 60 - - 60 - - - -
1155.92/1156.33 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1155.92/1156.33 c integral : 0 0 0 26967 0 44 3229 0 0 50606
1155.92/1156.33 c setppc : 150 7 149374 5 0 547 258373 0 0 0
1155.92/1156.33 c and : 1464 39197 148827 5 0 41 3786071 53842 0 0
1155.92/1156.33 c linear : 1+ 8 148773 1 0 88 2354 0 0 0
1155.92/1156.33 c logicor : 0+ 7 42623 0 0 5 8409 0 0 0
1155.92/1156.33 c countsols : 0 0 0 1 0 0 0 0 0 0
1155.92/1156.33 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1155.92/1156.33 c integral : 279.68 0.00 0.00 279.68 0.00
1155.92/1156.33 c setppc : 2.96 0.00 2.96 0.00 0.00
1155.92/1156.33 c and : 38.29 12.92 25.37 0.00 0.00
1155.92/1156.33 c linear : 2.22 0.01 2.21 0.00 0.00
1155.92/1156.33 c logicor : 1.32 0.00 1.32 0.00 0.00
1155.92/1156.33 c countsols : 0.00 0.00 0.00 0.00 0.00
1155.92/1156.33 c Propagators : Time Calls Cutoffs DomReds
1155.92/1156.33 c vbounds : 0.08 2 0 0
1155.92/1156.33 c rootredcost : 0.13 1 0 0
1155.92/1156.33 c pseudoobj : 0.99 150158 326 1013
1155.92/1156.33 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1155.92/1156.34 c propagation : 0.08 1006 928 2101 34.1 6 40.3 -
1155.92/1156.34 c infeasible LP : 0.00 4 4 8 35.4 0 0.0 0
1155.92/1156.34 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1155.92/1156.34 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1155.92/1156.34 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1155.92/1156.34 c applied globally : - - - 1518 29.9 - - -
1155.92/1156.34 c applied locally : - - - 0 0.0 - - -
1155.92/1156.34 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1155.92/1156.34 c cut pool : 0.00 6 - - 2 - (maximal pool size: 225)
1155.92/1156.34 c redcost : 3.15 41657 0 112639 0 0
1155.92/1156.34 c impliedbounds : 0.00 7 0 0 12 0
1155.92/1156.34 c intobj : 0.00 0 0 0 0 0
1155.92/1156.34 c cgmip : 0.00 0 0 0 0 0
1155.92/1156.34 c gomory : 1.51 7 0 0 2 0
1155.92/1156.34 c strongcg : 1.33 7 0 0 350 0
1155.92/1156.34 c cmir : 0.20 7 0 0 0 0
1155.92/1156.34 c flowcover : 0.22 7 0 0 0 0
1155.92/1156.34 c clique : 0.15 7 0 0 42 0
1155.92/1156.34 c zerohalf : 0.00 0 0 0 0 0
1155.92/1156.34 c mcf : 0.04 4 0 0 15 0
1155.92/1156.34 c rapidlearning : 1.10 1 0 0 0 526
1155.92/1156.34 c Pricers : Time Calls Vars
1155.92/1156.34 c problem variables: 0.00 0 0
1155.92/1156.34 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1155.92/1156.34 c relpscost : 279.59 26962 44 3229 0 0 50606
1155.92/1156.34 c pscost : 0.00 0 0 0 0 0 0
1155.92/1156.34 c inference : 0.00 0 0 0 0 0 0
1155.92/1156.34 c mostinf : 0.00 0 0 0 0 0 0
1155.92/1156.34 c leastinf : 0.00 0 0 0 0 0 0
1155.92/1156.34 c fullstrong : 0.00 0 0 0 0 0 0
1155.92/1156.34 c allfullstrong : 0.00 0 0 0 0 0 0
1155.92/1156.34 c random : 0.00 0 0 0 0 0 0
1155.92/1156.34 c Primal Heuristics : Time Calls Found
1155.92/1156.34 c LP solutions : 0.00 - 1
1155.92/1156.34 c pseudo solutions : 0.00 - 0
1155.92/1156.34 c feaspump : 0.00 0 0
1155.92/1156.34 c oneopt : 0.06 3 0
1155.92/1156.34 c crossover : 0.47 7 0
1155.92/1156.34 c guideddiving : 6.09 35 0
1155.92/1156.34 c objpscostdiving : 5.22 18 0
1155.92/1156.34 c rootsoldiving : 1.85 18 0
1155.92/1156.34 c coefdiving : 5.30 36 0
1155.92/1156.34 c pscostdiving : 3.53 36 0
1155.92/1156.34 c fracdiving : 4.48 36 0
1155.92/1156.34 c linesearchdiving : 3.81 36 0
1155.92/1156.34 c veclendiving : 3.86 36 0
1155.92/1156.34 c trivial : 0.00 2 3
1155.92/1156.34 c simplerounding : 0.05 0 0
1155.92/1156.34 c zirounding : 0.29 1000 0
1155.92/1156.34 c rounding : 1.78 2796 0
1155.92/1156.34 c shifting : 3.16 2889 7
1155.92/1156.34 c intshifting : 0.00 0 0
1155.92/1156.34 c twoopt : 0.00 0 0
1155.92/1156.34 c fixandinfer : 0.00 0 0
1155.92/1156.34 c intdiving : 0.00 0 0
1155.92/1156.34 c actconsdiving : 0.00 0 0
1155.92/1156.34 c octane : 0.00 0 0
1155.92/1156.34 c rens : 14.82 1 1
1155.92/1156.34 c rins : 0.00 0 0
1155.92/1156.34 c localbranching : 0.00 0 0
1155.92/1156.34 c mutation : 0.00 0 0
1155.92/1156.34 c dins : 0.00 0 0
1155.92/1156.34 c undercover : 0.18 1 0
1155.92/1156.34 c nlp : 0.03 0 0
1155.92/1156.34 c trysol : 0.04 0 0
1155.92/1156.34 c LP : Time Calls Iterations Iter/call Iter/sec
1155.92/1156.34 c primal LP : 5.73 0 0 0.00 0.00
1155.92/1156.34 c dual LP : 657.20 63335 1734050 27.38 2638.55
1155.92/1156.34 c lex dual LP : 0.00 0 0 0.00 -
1155.92/1156.34 c barrier LP : 0.00 0 0 0.00 -
1155.92/1156.34 c diving/probing LP: 25.41 7453 60477 8.11 2380.12
1155.92/1156.34 c strong branching : 277.37 9371 653296 69.71 2355.35
1155.92/1156.34 c (at root node) : - 37 37000 1000.00 -
1155.92/1156.34 c conflict analysis: 0.00 0 0 0.00 -
1155.92/1156.34 c B&B Tree :
1155.92/1156.34 c number of runs : 1
1155.92/1156.34 c nodes : 50598
1155.92/1156.34 c nodes (total) : 50598
1155.92/1156.34 c nodes left : 0
1155.92/1156.34 c max depth : 71
1155.92/1156.34 c max depth (total): 71
1155.92/1156.34 c backtracks : 6193 (12.2%)
1155.92/1156.34 c delayed cutoffs : 6
1155.92/1156.34 c repropagations : 7064 (14518 domain reductions, 0 cutoffs)
1155.92/1156.34 c avg switch length: 7.01
1155.92/1156.34 c switching time : 50.46
1155.92/1156.34 c Solution :
1155.92/1156.34 c Solutions found : 13 (5 improvements)
1155.92/1156.34 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1155.92/1156.34 c Primal Bound : -6.00000000000000e+00 (in run 1, after 9 nodes, 79.49 seconds, depth 7, found by <relaxation>)
1155.92/1156.34 c Dual Bound : -6.00000000000000e+00
1155.92/1156.34 c Gap : 0.00 %
1155.92/1156.34 c Root Dual Bound : -2.50000000000000e+01
1155.92/1156.34 c Root Iterations : 5550
1155.92/1156.38 c Time complete: 1156.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703288-1278578297/watcher-2703288-1278578297 -o /tmp/evaluation-result-2703288-1278578297/solver-2703288-1278578297 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703288-1278578297.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.08 1.02 0.94 3/106 30494
/proc/meminfo: memFree=1827296/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=7904 CPUtime=0
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 1067 0 0 0 0 0 0 0 18 0 1 0 26037133 8093696 979 1992294400 4194304 8395647 140737188314352 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30494/statm: 1976 986 365 1026 0 946 0
[startup+0.0507321 s]
/proc/loadavg: 1.08 1.02 0.94 3/106 30494
/proc/meminfo: memFree=1827296/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=17696 CPUtime=0.04
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 3806 0 0 0 4 0 0 0 20 0 1 0 26037133 18120704 3364 1992294400 4194304 8395647 140737188314352 18446744073709551615 4247616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 4424 3364 461 1026 0 3394 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17696
[startup+0.100738 s]
/proc/loadavg: 1.08 1.02 0.94 3/106 30494
/proc/meminfo: memFree=1827296/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=18752 CPUtime=0.09
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 4062 0 0 0 9 0 0 0 20 0 1 0 26037133 19202048 3620 1992294400 4194304 8395647 140737188314352 18446744073709551615 18446744073699065947 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 4688 3620 461 1026 0 3658 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18752
[startup+0.30076 s]
/proc/loadavg: 1.08 1.02 0.94 3/106 30494
/proc/meminfo: memFree=1827296/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=26840 CPUtime=0.29
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 6271 0 0 0 28 1 0 0 20 0 1 0 26037133 27484160 5762 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 6710 5762 569 1026 0 5680 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26840
[startup+0.700804 s]
/proc/loadavg: 1.08 1.02 0.94 3/106 30494
/proc/meminfo: memFree=1827296/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=44828 CPUtime=0.69
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 10486 0 0 0 66 3 0 0 21 0 1 0 26037133 45903872 9975 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 11207 9975 583 1026 0 10177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44828
[startup+1.50089 s]
/proc/loadavg: 1.08 1.02 0.94 2/107 30495
/proc/meminfo: memFree=1785624/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=47568 CPUtime=1.49
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 11585 0 0 0 130 19 0 0 23 0 1 0 26037133 48709632 11052 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 11892 11052 647 1026 0 10862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47568
[startup+3.10107 s]
/proc/loadavg: 1.07 1.02 0.94 2/107 30495
/proc/meminfo: memFree=1785252/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=51260 CPUtime=3.09
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 12678 0 0 0 282 27 0 0 25 0 1 0 26037133 52490240 12079 1992294400 4194304 8395647 140737188314352 18446744073709551615 5865052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 12815 12079 640 1026 0 11785 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51260
[startup+6.30142 s]
/proc/loadavg: 1.07 1.02 0.94 2/107 30495
/proc/meminfo: memFree=1780788/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=51260 CPUtime=6.29
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 12678 0 0 0 601 28 0 0 25 0 1 0 26037133 52490240 12079 1992294400 4194304 8395647 140737188314352 18446744073709551615 6198224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 12815 12079 640 1026 0 11785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51260
[startup+12.7011 s]
/proc/loadavg: 1.06 1.02 0.94 2/107 30495
/proc/meminfo: memFree=1768760/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=63596 CPUtime=12.69
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 15751 0 0 0 1235 34 0 0 25 0 1 0 26037133 65122304 15090 1992294400 4194304 8395647 140737188314352 18446744073709551615 6586913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 15899 15090 655 1026 0 14869 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63596
[startup+25.5005 s]
/proc/loadavg: 1.05 1.01 0.94 2/107 30495
/proc/meminfo: memFree=1779052/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=52452 CPUtime=25.48
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 15882 0 0 0 2497 51 0 0 25 0 1 0 26037133 53710848 12390 1992294400 4194304 8395647 140737188314352 18446744073709551615 6697367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 13113 12390 652 1026 0 12083 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52452
[startup+51.1003 s]
/proc/loadavg: 1.10 1.03 0.94 2/107 30497
/proc/meminfo: memFree=1779052/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=52452 CPUtime=51.07
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 15882 0 0 0 5046 61 0 0 25 0 1 0 26037133 53710848 12390 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 13113 12390 652 1026 0 12083 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52452
[startup+102.308 s]
/proc/loadavg: 1.10 1.04 0.95 2/107 30497
/proc/meminfo: memFree=1779052/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=52452 CPUtime=102.25
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 15882 0 0 0 10130 95 0 0 25 0 1 0 26037133 53710848 12390 1992294400 4194304 8395647 140737188314352 18446744073709551615 6755526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 13113 12390 652 1026 0 12083 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 52452
[startup+162.301 s]
/proc/loadavg: 1.10 1.04 0.95 2/107 30499
/proc/meminfo: memFree=1779052/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=52452 CPUtime=162.23
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 15882 0 0 0 16079 144 0 0 25 0 1 0 26037133 53710848 12390 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 13113 12390 652 1026 0 12083 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 52452
[startup+222.301 s]
/proc/loadavg: 1.08 1.05 0.96 2/107 30501
/proc/meminfo: memFree=1779052/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=52452 CPUtime=222.21
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 15886 0 0 0 22033 188 0 0 25 0 1 0 26037133 53710848 12394 1992294400 4194304 8395647 140737188314352 18446744073709551615 6698317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 13113 12394 654 1026 0 12083 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 52452
[startup+282.301 s]
/proc/loadavg: 1.08 1.05 0.96 2/107 30503
/proc/meminfo: memFree=1779052/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=52736 CPUtime=282.2
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 15935 0 0 0 27985 235 0 0 25 0 1 0 26037133 54001664 12443 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 13184 12443 654 1026 0 12154 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 52736
[startup+342.3 s]
/proc/loadavg: 1.07 1.06 0.97 2/107 30503
/proc/meminfo: memFree=1778556/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=52844 CPUtime=342.18
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 16657 0 0 0 33933 285 0 0 25 0 1 0 26037133 54112256 12495 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 13211 12495 654 1026 0 12181 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 52844
[startup+402.301 s]
/proc/loadavg: 1.07 1.06 0.97 2/107 30505
/proc/meminfo: memFree=1779920/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=51756 CPUtime=402.16
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 18816 0 0 0 39877 339 0 0 25 0 1 0 26037133 52998144 12136 1992294400 4194304 8395647 140737188314352 18446744073709551615 6697045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 12939 12136 654 1026 0 11909 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 51756
[startup+462.3 s]
/proc/loadavg: 1.06 1.06 0.98 2/107 30507
/proc/meminfo: memFree=1774712/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=57576 CPUtime=462.14
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 20289 0 0 0 45820 394 0 0 25 0 1 0 26037133 58957824 13609 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 14394 13609 654 1026 0 13364 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 57576
[startup+522.301 s]
/proc/loadavg: 1.13 1.08 0.99 2/107 30509
/proc/meminfo: memFree=1768884/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=63276 CPUtime=522.13
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 24308 0 0 0 51764 449 0 0 25 0 1 0 26037133 64794624 15029 1992294400 4194304 8395647 140737188314352 18446744073709551615 4694347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 15819 15029 654 1026 0 14789 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 63276
[startup+582.301 s]
/proc/loadavg: 1.16 1.09 1.00 2/107 30511
/proc/meminfo: memFree=1762312/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=69696 CPUtime=582.11
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 25940 0 0 0 57705 506 0 0 25 0 1 0 26037133 71368704 16661 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 17424 16661 654 1026 0 16394 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 69696
[startup+642.301 s]
/proc/loadavg: 1.08 1.08 1.00 2/107 30511
/proc/meminfo: memFree=1752764/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=78680 CPUtime=642.1
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 31049 0 0 0 63648 562 0 0 25 0 1 0 26037133 80568320 18923 1992294400 4194304 8395647 140737188314352 18446744073709551615 6723058 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 19670 18923 654 1026 0 18640 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 78680
[startup+702.301 s]
/proc/loadavg: 1.03 1.07 1.00 2/107 30513
/proc/meminfo: memFree=1745696/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=86176 CPUtime=702.07
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 32898 0 0 0 69590 617 0 0 25 0 1 0 26037133 88244224 20770 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 21544 20770 654 1026 0 20514 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 86176
[startup+762.308 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 30515
/proc/meminfo: memFree=1739868/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=92044 CPUtime=762.06
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 34323 0 0 0 75532 674 0 0 25 0 1 0 26037133 94253056 22188 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 23011 22188 654 1026 0 21981 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 92044
[startup+822.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 30517
/proc/meminfo: memFree=1735776/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=95980 CPUtime=822.03
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 35352 0 0 0 81475 728 0 0 25 0 1 0 26037133 98283520 23217 1992294400 4194304 8395647 140737188314352 18446744073709551615 6731432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 23995 23217 654 1026 0 22965 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 95980
[startup+882.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 30519
/proc/meminfo: memFree=1730444/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=101400 CPUtime=882.01
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 39199 0 0 0 87419 782 0 0 25 0 1 0 26037133 103833600 24576 1992294400 4194304 8395647 140737188314352 18446744073709551615 6697419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 25350 24576 654 1026 0 24320 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 101400
[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30519
/proc/meminfo: memFree=1727468/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=104184 CPUtime=942
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 39911 0 0 0 93363 837 0 0 25 0 1 0 26037133 106684416 25288 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 26046 25288 654 1026 0 25016 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 104184
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30521
/proc/meminfo: memFree=1724616/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=106944 CPUtime=1001.97
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 40595 0 0 0 99308 889 0 0 25 0 1 0 26037133 109510656 25972 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 26736 25972 654 1026 0 25706 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 106944
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30523
/proc/meminfo: memFree=1723128/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=108320 CPUtime=1061.96
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 40958 0 0 0 105250 946 0 0 25 0 1 0 26037133 110919680 26335 1992294400 4194304 8395647 140737188314352 18446744073709551615 6723962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 27080 26335 654 1026 0 26050 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 108320
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1721640/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=109696 CPUtime=1121.93
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 41297 0 0 0 111193 1000 0 0 25 0 1 0 26037133 112328704 26674 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 27424 26674 654 1026 0 26394 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 109696
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1721392/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=110012 CPUtime=1125.94
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 41356 0 0 0 111590 1004 0 0 25 0 1 0 26037133 112652288 26733 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 27503 26733 654 1026 0 26473 0
Current children cumulated CPU time (s) 1125.94
Current children cumulated vsize (KiB) 110012
[startup+1139.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1721392/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=110012 CPUtime=1138.73
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 41368 0 0 0 112857 1016 0 0 25 0 1 0 26037133 112652288 26745 1992294400 4194304 8395647 140737188314352 18446744073709551615 6652301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 27503 26745 654 1026 0 26473 0
Current children cumulated CPU time (s) 1138.73
Current children cumulated vsize (KiB) 110012
[startup+1145.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1721268/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=110012 CPUtime=1145.13
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 41388 0 0 0 113492 1021 0 0 25 0 1 0 26037133 112652288 26765 1992294400 4194304 8395647 140737188314352 18446744073709551615 4715284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 27503 26765 654 1026 0 26473 0
Current children cumulated CPU time (s) 1145.13
Current children cumulated vsize (KiB) 110012
[startup+1151.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1721268/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=110012 CPUtime=1151.53
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 41388 0 0 0 114127 1026 0 0 25 0 1 0 26037133 112652288 26765 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 27503 26765 654 1026 0 26473 0
Current children cumulated CPU time (s) 1151.53
Current children cumulated vsize (KiB) 110012
[startup+1153.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1721268/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=110012 CPUtime=1153.13
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 41389 0 0 0 114286 1027 0 0 25 0 1 0 26037133 112652288 26766 1992294400 4194304 8395647 140737188314352 18446744073709551615 6585848 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 27503 26766 654 1026 0 26473 0
Current children cumulated CPU time (s) 1153.13
Current children cumulated vsize (KiB) 110012
[startup+1155.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1721268/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=110012 CPUtime=1154.72
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 41389 0 0 0 114444 1028 0 0 25 0 1 0 26037133 112652288 26766 1992294400 4194304 8395647 140737188314352 18446744073709551615 6673141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 27503 26766 654 1026 0 26473 0
Current children cumulated CPU time (s) 1154.72
Current children cumulated vsize (KiB) 110012
[startup+1155.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1721268/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=110012 CPUtime=1155.53
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 41389 0 0 0 114524 1029 0 0 25 0 1 0 26037133 112652288 26766 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 27503 26766 654 1026 0 26473 0
Current children cumulated CPU time (s) 1155.53
Current children cumulated vsize (KiB) 110012
[startup+1156.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1721268/2059040 swapFree=4139756/4192956
[pid=30494] ppid=30492 vsize=110012 CPUtime=1155.92
/proc/30494/stat : 30494 (pbscip.linux.x8) R 30492 30494 30215 0 -1 4202496 41389 0 0 0 114563 1029 0 0 25 0 1 0 26037133 112652288 26766 1992294400 4194304 8395647 140737188314352 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30494/statm: 27503 26766 654 1026 0 26473 0
Current children cumulated CPU time (s) 1155.92
Current children cumulated vsize (KiB) 110012
Child status: 0
Real time (s): 1156.38
CPU time (s): 1156.02
CPU user time (s): 1145.71
CPU system time (s): 10.3094
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 110012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1145.71
system time used= 10.3094
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41393
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= 2
involuntary context switches= 2280
runsolver used 2.11468 second user time and 5.2592 second system time
The end