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-2703333-1278574703.opb>
0.00/0.02 c original problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 765 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.05/0.09 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 5012 impls, 100 clqs
0.09/0.11 c (0.1s) probing: 101/714 (14.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (2 rounds):
0.09/0.11 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 5012 implications, 100 cliques
0.09/0.11 c presolved problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 765 constraints
0.09/0.11 c 150 constraints of type <setppc>
0.09/0.11 c 614 constraints of type <and>
0.09/0.11 c 1 constraints of type <linear>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.08
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 1.2.1.3
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1789.99
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 1620
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/indicator/addCouplingCons = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c heuristics/undercover/freq = 0
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/rapidlearning/freq = 0
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c t 0.1s| 1 | 0 | 172 | - |3429k| 0 | 124 | 714 | 765 | 714 |1379 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.09/0.14 o -4
0.09/0.14 c R 0.1s| 1 | 0 | 172 | - |3443k| 0 | 124 | 714 | 765 | 714 |1379 | 0 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.69/0.70 o -8
0.69/0.70 c y 0.7s| 1 | 0 | 172 | - |4544k| 0 | 124 | 714 | 766 | 714 |1379 | 0 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
0.69/0.71 c 0.7s| 1 | 0 | 175 | - |3652k| 0 | 101 | 714 | 841 | 714 |1382 | 3 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
0.79/0.81 c 0.8s| 1 | 0 | 470 | - |3677k| 0 | 195 | 714 | 841 | 714 |1383 | 4 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
0.89/0.93 c 0.9s| 1 | 0 | 701 | - |3739k| 0 | 335 | 714 | 841 | 714 |1385 | 6 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
1.10/1.15 c 1.1s| 1 | 0 | 733 | - |3989k| 0 | 337 | 714 | 841 | 714 |1389 | 10 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
1.29/1.34 c 1.3s| 1 | 0 | 831 | - |4241k| 0 | 354 | 714 | 841 | 714 |1393 | 14 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
1.59/1.69 c 1.7s| 1 | 0 | 1087 | - |4460k| 0 | 365 | 714 | 841 | 714 |1397 | 18 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
12.28/12.35 c 12.3s| 1 | 2 | 1087 | - |4460k| 0 | 365 | 714 | 841 | 714 |1397 | 18 | 1 | 26 |-2.500000e+01 |-8.000000e+00 | 68.00%
21.79/21.80 o -9
21.79/21.80 c R21.8s| 11 | 10 | 4522 | 343.5 |4303k| 10 | 40 | 714 | 841 | 714 | 708 | 355 | 1 | 166 |-2.500000e+01 |-9.000000e+00 | 64.00%
22.08/22.12 o -10
22.08/22.12 c *22.1s| 14 | 10 | 4576 | 268.4 |4319k| 13 | - | 714 | 841 | 714 | 707 | 355 | 1 | 254 |-2.500000e+01 |-1.000000e+01 | 60.00%
49.47/49.51 o -11
49.47/49.51 c *49.5s| 98 | 77 | 24336 | 239.7 |4518k| 16 | - | 714 | 843 | 714 | 704 |1561 | 3 | 602 |-2.441497e+01 |-1.100000e+01 | 54.95%
53.57/53.66 o -12
53.57/53.66 c g53.6s| 147 | 97 | 34551 | 229.2 |4591k| 21 | - | 714 | 847 | 714 | 842 |1943 | 7 | 638 |-2.441497e+01 |-1.200000e+01 | 50.85%
108.86/108.95 o -13
108.86/108.95 c l 109s| 805 | 489 |183515 | 226.9 |5661k| 34 | - | 714 | 861 | 714 | 713 |5642 | 21 |1097 |-2.116820e+01 |-1.300000e+01 | 38.59%
314.51/314.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.51/314.64 c 315s| 10000 | 2744 |827621 | 82.7 | 14M| 52 | 119 | 714 | 993 | 714 | 855 | 21k| 213 |2912 |-1.853767e+01 |-1.300000e+01 | 29.87%
429.78/429.95 c 430s| 20000 | 3561 | 1197k| 59.8 | 18M| 58 | - | 714 |1016 | 714 | 811 | 29k| 322 |4194 |-1.803166e+01 |-1.300000e+01 | 27.90%
535.86/536.06 c 536s| 30000 | 4275 | 1551k| 51.7 | 22M| 58 | 48 | 714 |1052 | 714 | 809 | 38k| 490 |5083 |-1.770462e+01 |-1.300000e+01 | 26.57%
625.65/625.83 c 626s| 40000 | 4837 | 1881k| 47.0 | 25M| 58 | - | 714 |1104 | 0 | 0 | 45k| 657 |5131 |-1.748710e+01 |-1.300000e+01 | 25.66%
720.33/720.59 c 721s| 50000 | 5239 | 2199k| 44.0 | 27M| 58 | - | 714 |1083 | 714 | 812 | 51k| 737 |5958 |-1.734003e+01 |-1.300000e+01 | 25.03%
798.70/798.91 o -14
798.70/798.91 c * 799s| 58436 | 2636 | 2464k| 42.2 | 13M| 58 | - | 714 |1094 | 714 | 796 | 57k| 827 |6580 |-1.722978e+01 |-1.400000e+01 | 18.75%
817.89/818.15 c 818s| 60000 | 2644 | 2529k| 42.1 | 13M| 58 | - | 714 |1083 | 714 | 793 | 58k| 832 |6704 |-1.720407e+01 |-1.400000e+01 | 18.62%
936.97/937.26 c 937s| 70000 | 2630 | 2933k| 41.9 | 15M| 58 | - | 714 |1029 | 714 | 799 | 65k| 845 |7620 |-1.706235e+01 |-1.400000e+01 | 17.95%
1050.34/1050.68 c 1051s| 80000 | 2420 | 3325k| 41.6 | 16M| 58 | 130 | 714 |1014 | 714 | 689 | 72k| 860 |8413 |-1.686932e+01 |-1.400000e+01 | 17.01%
1157.42/1157.72 c 1158s| 90000 | 1902 | 3698k| 41.1 | 15M| 58 | - | 714 | 990 | 714 | 685 | 78k| 870 |9155 |-1.666347e+01 |-1.400000e+01 | 15.98%
1257.39/1257.77 c 1258s|100000 | 896 | 4040k| 40.4 | 12M| 58 | - | 714 | 943 | 714 | 829 | 83k| 878 | 10k|-1.623112e+01 |-1.400000e+01 | 13.75%
1275.89/1276.22 c
1275.89/1276.22 c SCIP Status : problem is solved [optimal solution found]
1275.89/1276.22 c Solving Time (sec) : 1276.20
1275.89/1276.22 c Solving Nodes : 102433
1275.89/1276.22 c Primal Bound : -1.40000000000000e+01 (15 solutions)
1275.89/1276.22 c Dual Bound : -1.40000000000000e+01
1275.89/1276.22 c Gap : 0.00 %
1275.89/1276.22 s OPTIMUM FOUND
1275.89/1276.22 v x85 -x63 -x78 -x89 -x97 x60 -x87 -x72 -x56 -x82 x99 -x94 x93 -x91 -x61 -x57 x81 -x71 -x83 x73 -x98 x90 -x74 -x70 -x66 -x62 -x80
1275.89/1276.22 v -x69 -x68 -x100 -x92 -x53 -x54 -x65 -x55 -x51 x96 x67 -x59 -x58 x95 -x86 -x79 x76 -x88 x64 x77 -x75 x84 -x52 -x50 -x49 x48 -x47
1275.89/1276.22 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
1275.89/1276.22 v x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1275.89/1276.22 c SCIP Status : problem is solved [optimal solution found]
1275.89/1276.22 c Solving Time : 1276.20
1275.89/1276.22 c Original Problem :
1275.89/1276.22 c Problem name : HOME/instance-2703333-1278574703.opb
1275.89/1276.22 c Variables : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
1275.89/1276.22 c Constraints : 765 initial, 765 maximal
1275.89/1276.22 c Presolved Problem :
1275.89/1276.22 c Problem name : t_HOME/instance-2703333-1278574703.opb
1275.89/1276.22 c Variables : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
1275.89/1276.22 c Constraints : 765 initial, 1133 maximal
1275.89/1276.22 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1275.89/1276.22 c trivial : 0.00 0 0 0 0 0 0 0 0
1275.89/1276.22 c dualfix : 0.00 0 0 0 0 0 0 0 0
1275.89/1276.22 c boundshift : 0.00 0 0 0 0 0 0 0 0
1275.89/1276.22 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1275.89/1276.22 c implics : 0.00 0 0 0 0 0 0 0 0
1275.89/1276.22 c probing : 0.02 0 0 0 0 0 0 0 0
1275.89/1276.22 c setppc : 0.00 0 0 0 0 0 0 0 0
1275.89/1276.22 c and : 0.05 0 0 0 0 0 0 0 0
1275.89/1276.22 c linear : 0.01 0 0 0 0 0 0 0 0
1275.89/1276.22 c logicor : 0.00 0 0 0 0 0 0 0 0
1275.89/1276.22 c root node : - 23 - - 23 - - - -
1275.89/1276.22 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1275.89/1276.22 c integral : 0 0 0 53624 0 78 1831 0 0 105526
1275.89/1276.22 c setppc : 150 6 349606 2 0 494 251786 0 0 0
1275.89/1276.22 c and : 614 88376 349112 2 0 134 2658690 83990 0 0
1275.89/1276.22 c linear : 1+ 7 348976 2 0 13 6956 0 0 0
1275.89/1276.22 c logicor : 0+ 6 95133 0 0 4 70592 0 0 0
1275.89/1276.22 c countsols : 0 0 0 3 0 0 0 0 0 0
1275.89/1276.22 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1275.89/1276.22 c integral : 162.96 0.00 0.00 162.96 0.00
1275.89/1276.22 c setppc : 2.77 0.00 2.77 0.00 0.00
1275.89/1276.22 c and : 24.47 13.20 11.27 0.00 0.00
1275.89/1276.22 c linear : 3.38 0.01 3.38 0.00 0.00
1275.89/1276.22 c logicor : 1.61 0.00 1.61 0.00 0.00
1275.89/1276.22 c countsols : 0.00 0.00 0.00 0.00 0.00
1275.89/1276.22 c Propagators : Time Calls Cutoffs DomReds
1275.89/1276.22 c vbounds : 0.18 2 0 0
1275.89/1276.22 c rootredcost : 0.19 7 0 0
1275.89/1276.22 c pseudoobj : 1.89 350914 33 526
1275.89/1276.22 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1275.89/1276.22 c propagation : 0.02 677 669 1014 15.4 6 35.0 -
1275.89/1276.22 c infeasible LP : 0.01 33 33 49 23.7 0 0.0 0
1275.89/1276.22 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1275.89/1276.22 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1275.89/1276.22 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1275.89/1276.22 c applied globally : - - - 883 12.4 - - -
1275.89/1276.22 c applied locally : - - - 0 0.0 - - -
1275.89/1276.22 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1275.89/1276.22 c cut pool : 0.00 5 - - 61 - (maximal pool size: 178)
1275.89/1276.22 c redcost : 4.53 95133 0 386876 0 0
1275.89/1276.22 c impliedbounds : 0.00 6 0 0 0 0
1275.89/1276.22 c intobj : 0.00 0 0 0 0 0
1275.89/1276.22 c cgmip : 0.00 0 0 0 0 0
1275.89/1276.22 c gomory : 0.34 6 0 0 119 0
1275.89/1276.22 c strongcg : 0.33 6 0 0 817 0
1275.89/1276.22 c cmir : 0.07 6 0 0 0 0
1275.89/1276.22 c flowcover : 0.07 6 0 0 0 0
1275.89/1276.22 c clique : 0.02 6 0 0 23 0
1275.89/1276.22 c zerohalf : 0.00 0 0 0 0 0
1275.89/1276.22 c mcf : 0.00 1 0 0 0 0
1275.89/1276.22 c rapidlearning : 0.38 1 0 0 0 75
1275.89/1276.22 c Pricers : Time Calls Vars
1275.89/1276.22 c problem variables: 0.00 0 0
1275.89/1276.22 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1275.89/1276.22 c relpscost : 162.83 53621 78 1831 0 0 105526
1275.89/1276.22 c pscost : 0.00 0 0 0 0 0 0
1275.89/1276.22 c inference : 0.00 0 0 0 0 0 0
1275.89/1276.22 c mostinf : 0.00 0 0 0 0 0 0
1275.89/1276.22 c leastinf : 0.00 0 0 0 0 0 0
1275.89/1276.22 c fullstrong : 0.00 0 0 0 0 0 0
1275.89/1276.22 c allfullstrong : 0.00 0 0 0 0 0 0
1275.89/1276.22 c random : 0.00 0 0 0 0 0 0
1275.89/1276.22 c Primal Heuristics : Time Calls Found
1275.89/1276.22 c LP solutions : 0.03 - 3
1275.89/1276.22 c pseudo solutions : 0.00 - 0
1275.89/1276.22 c feaspump : 0.01 0 0
1275.89/1276.22 c oneopt : 0.09 7 0
1275.89/1276.22 c crossover : 0.79 17 1
1275.89/1276.22 c objpscostdiving : 11.92 46 0
1275.89/1276.22 c rootsoldiving : 3.70 54 0
1275.89/1276.22 c linesearchdiving : 8.48 108 1
1275.89/1276.22 c guideddiving : 12.34 108 1
1275.89/1276.22 c pscostdiving : 9.04 108 0
1275.89/1276.22 c coefdiving : 9.78 108 0
1275.89/1276.22 c veclendiving : 8.82 108 0
1275.89/1276.22 c fracdiving : 12.68 108 0
1275.89/1276.22 c trivial : 0.00 2 3
1275.89/1276.22 c simplerounding : 0.09 0 0
1275.89/1276.22 c zirounding : 0.14 1000 0
1275.89/1276.22 c rounding : 7.12 18252 2
1275.89/1276.22 c shifting : 2.15 2394 3
1275.89/1276.22 c intshifting : 0.00 0 0
1275.89/1276.22 c twoopt : 0.00 0 0
1275.89/1276.22 c fixandinfer : 0.00 0 0
1275.89/1276.22 c intdiving : 0.00 0 0
1275.89/1276.22 c actconsdiving : 0.00 0 0
1275.89/1276.22 c octane : 0.00 0 0
1275.89/1276.22 c rens : 0.01 0 0
1275.89/1276.22 c rins : 0.00 0 0
1275.89/1276.22 c localbranching : 0.00 0 0
1275.89/1276.22 c mutation : 0.00 0 0
1275.89/1276.22 c dins : 0.00 0 0
1275.89/1276.22 c undercover : 0.10 1 0
1275.89/1276.22 c nlp : 0.05 0 0
1275.89/1276.22 c trysol : 0.08 0 0
1275.89/1276.22 c LP : Time Calls Iterations Iter/call Iter/sec
1275.89/1276.22 c primal LP : 7.43 0 0 0.00 0.00
1275.89/1276.22 c dual LP : 895.71 130427 3840805 29.45 4287.99
1275.89/1276.22 c lex dual LP : 0.00 0 0 0.00 -
1275.89/1276.22 c barrier LP : 0.00 0 0 0.00 -
1275.89/1276.22 c diving/probing LP: 65.54 27353 266275 9.73 4062.56
1275.89/1276.22 c strong branching : 158.23 10021 676389 67.50 4274.76
1275.89/1276.22 c (at root node) : - 26 23970 921.92 -
1275.89/1276.22 c conflict analysis: 0.00 0 0 0.00 -
1275.89/1276.22 c B&B Tree :
1275.89/1276.22 c number of runs : 1
1275.89/1276.22 c nodes : 102433
1275.89/1276.22 c nodes (total) : 102433
1275.89/1276.22 c nodes left : 0
1275.89/1276.22 c max depth : 58
1275.89/1276.22 c max depth (total): 58
1275.89/1276.22 c backtracks : 15540 (15.2%)
1275.89/1276.22 c delayed cutoffs : 4
1275.89/1276.22 c repropagations : 5910 (6105 domain reductions, 0 cutoffs)
1275.89/1276.22 c avg switch length: 5.57
1275.89/1276.22 c switching time : 28.12
1275.89/1276.22 c Solution :
1275.89/1276.22 c Solutions found : 15 (9 improvements)
1275.89/1276.22 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1275.89/1276.22 c Primal Bound : -1.40000000000000e+01 (in run 1, after 58436 nodes, 798.87 seconds, depth 27, found by <relaxation>)
1275.89/1276.22 c Dual Bound : -1.40000000000000e+01
1275.89/1276.22 c Gap : 0.00 %
1275.89/1276.22 c Root Dual Bound : -2.50000000000000e+01
1275.89/1276.22 c Root Iterations : 1087
1275.89/1276.24 c Time complete: 1275.94.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703333-1278574703/watcher-2703333-1278574703 -o /tmp/evaluation-result-2703333-1278574703/solver-2703333-1278574703 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703333-1278574703.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 0.97 0.88 3/106 29352
/proc/meminfo: memFree=1666340/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=7904 CPUtime=0
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 1057 0 0 0 0 0 0 0 18 0 1 0 25684024 8093696 969 1992294400 4194304 8395647 140735394332176 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29352/statm: 1976 977 365 1026 0 946 0
[startup+0.062541 s]
/proc/loadavg: 1.00 0.97 0.88 3/106 29352
/proc/meminfo: memFree=1666340/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=15860 CPUtime=0.05
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 3338 0 0 0 4 1 0 0 20 0 1 0 25684024 16240640 2896 1992294400 4194304 8395647 140735394332176 18446744073709551615 4819594 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 3965 2896 461 1026 0 2935 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15860
[startup+0.100544 s]
/proc/loadavg: 1.00 0.97 0.88 3/106 29352
/proc/meminfo: memFree=1666340/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=17288 CPUtime=0.09
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 3737 0 0 0 8 1 0 0 20 0 1 0 25684024 17702912 3295 1992294400 4194304 8395647 140735394332176 18446744073709551615 4230916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 4322 3295 497 1026 0 3292 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17288
[startup+0.300561 s]
/proc/loadavg: 1.00 0.97 0.88 3/106 29352
/proc/meminfo: memFree=1666340/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=34912 CPUtime=0.29
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 8303 0 0 0 26 3 0 0 20 0 1 0 25684024 35749888 7823 1992294400 4194304 8395647 140735394332176 18446744073709551615 6129744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 8728 7823 616 1026 0 7698 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34912
[startup+0.700593 s]
/proc/loadavg: 1.00 0.97 0.88 3/106 29352
/proc/meminfo: memFree=1666340/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=34912 CPUtime=0.69
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 8386 0 0 0 57 12 0 0 20 0 1 0 25684024 35749888 7906 1992294400 4194304 8395647 140735394332176 18446744073709551615 4607969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 8728 7906 637 1026 0 7698 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34912
[startup+1.50066 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29353
/proc/meminfo: memFree=1636944/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=34912 CPUtime=1.49
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 8432 0 0 0 136 13 0 0 23 0 1 0 25684024 35749888 7939 1992294400 4194304 8395647 140735394332176 18446744073709551615 6124483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 8728 7939 641 1026 0 7698 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34912
[startup+3.10079 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29354
/proc/meminfo: memFree=1636820/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=34912 CPUtime=3.09
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 8435 0 0 0 295 14 0 0 25 0 1 0 25684024 35749888 7940 1992294400 4194304 8395647 140735394332176 18446744073709551615 6695895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 8728 7940 640 1026 0 7698 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34912
[startup+6.30105 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29354
/proc/meminfo: memFree=1636324/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=34912 CPUtime=6.29
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 8435 0 0 0 613 16 0 0 25 0 1 0 25684024 35749888 7940 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 8728 7940 640 1026 0 7698 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34912
[startup+12.7016 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29354
/proc/meminfo: memFree=1636324/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=34912 CPUtime=12.69
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 8436 0 0 0 1248 21 0 0 25 0 1 0 25684024 35749888 7941 1992294400 4194304 8395647 140735394332176 18446744073709551615 6667516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 8728 7941 641 1026 0 7698 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34912
[startup+25.5006 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29354
/proc/meminfo: memFree=1636324/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=34912 CPUtime=25.49
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 8438 0 0 0 2513 36 0 0 25 0 1 0 25684024 35749888 7943 1992294400 4194304 8395647 140735394332176 18446744073709551615 6697003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 8728 7943 643 1026 0 7698 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34912
[startup+51.1007 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 29355
/proc/meminfo: memFree=1636200/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=34912 CPUtime=51.08
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 8438 0 0 0 5041 67 0 0 25 0 1 0 25684024 35749888 7943 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 8728 7943 643 1026 0 7698 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34912
[startup+102.308 s]
/proc/loadavg: 1.00 0.97 0.89 2/107 29357
/proc/meminfo: memFree=1636076/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=35052 CPUtime=102.26
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 8487 0 0 0 10097 129 0 0 25 0 1 0 25684024 35893248 7991 1992294400 4194304 8395647 140735394332176 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 8763 7991 652 1026 0 7733 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 35052
[startup+162.301 s]
/proc/loadavg: 1.00 0.97 0.89 2/107 29358
/proc/meminfo: memFree=1634960/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=35388 CPUtime=162.24
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 9767 0 0 0 16018 206 0 0 25 0 1 0 25684024 36237312 8105 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 8847 8105 652 1026 0 7817 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 35388
[startup+222.301 s]
/proc/loadavg: 1.00 0.97 0.90 2/107 29359
/proc/meminfo: memFree=1630248/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=41252 CPUtime=222.23
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 11101 0 0 0 21939 284 0 0 25 0 1 0 25684024 42242048 9439 1992294400 4194304 8395647 140735394332176 18446744073709551615 6708229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 10313 9439 652 1026 0 9283 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 41252
[startup+282.3 s]
/proc/loadavg: 1.00 0.97 0.90 2/107 29361
/proc/meminfo: memFree=1628016/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=43320 CPUtime=282.22
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 11691 0 0 0 27857 365 0 0 25 0 1 0 25684024 44359680 10029 1992294400 4194304 8395647 140735394332176 18446744073709551615 7352859 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 10830 10029 652 1026 0 9800 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 43320
[startup+342.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29363
/proc/meminfo: memFree=1626900/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=43408 CPUtime=342.2
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 12212 0 0 0 33767 453 0 0 25 0 1 0 25684024 44449792 10118 1992294400 4194304 8395647 140735394332176 18446744073709551615 6585848 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 10852 10118 652 1026 0 9822 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 43408
[startup+402.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29365
/proc/meminfo: memFree=1625660/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=44860 CPUtime=402.19
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 13708 0 0 0 39680 539 0 0 25 0 1 0 25684024 45936640 10450 1992294400 4194304 8395647 140735394332176 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 11215 10450 652 1026 0 10185 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 44860
[startup+462.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29366
/proc/meminfo: memFree=1625412/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=45704 CPUtime=462.17
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 13918 0 0 0 45593 624 0 0 25 0 1 0 25684024 46800896 10660 1992294400 4194304 8395647 140735394332176 18446744073709551615 6693733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 11426 10660 652 1026 0 10396 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 45704
[startup+522.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29367
/proc/meminfo: memFree=1622312/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=48152 CPUtime=522.17
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 16456 0 0 0 51503 714 0 0 25 0 1 0 25684024 49307648 11266 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 12038 11266 652 1026 0 11008 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 48152
[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29369
/proc/meminfo: memFree=1618716/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=52372 CPUtime=582.15
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 17515 0 0 0 57412 803 0 0 25 0 1 0 25684024 53628928 12325 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 13093 12325 652 1026 0 12063 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 52372
[startup+642.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29371
/proc/meminfo: memFree=1616360/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=54572 CPUtime=642.14
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 18086 0 0 0 63322 892 0 0 25 0 1 0 25684024 55881728 12896 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 13643 12896 652 1026 0 12613 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 54572
[startup+702.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29373
/proc/meminfo: memFree=1614252/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=56788 CPUtime=702.12
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 18622 0 0 0 69234 978 0 0 25 0 1 0 25684024 58150912 13432 1992294400 4194304 8395647 140735394332176 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 14197 13432 652 1026 0 13167 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 56788
[startup+762.308 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29374
/proc/meminfo: memFree=1612516/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=58332 CPUtime=762.12
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 20821 0 0 0 75143 1069 0 0 25 0 1 0 25684024 59731968 13795 1992294400 4194304 8395647 140735394332176 18446744073709551615 6692853 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 14583 13795 652 1026 0 13553 0
Current children cumulated CPU time (s) 762.12
Current children cumulated vsize (KiB) 58332
[startup+822.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29375
/proc/meminfo: memFree=1610036/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60116 CPUtime=822.09
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 26845 0 0 0 81049 1160 0 0 25 0 1 0 25684024 61558784 14304 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15029 14304 652 1026 0 13999 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 60116
[startup+882.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29377
/proc/meminfo: memFree=1610036/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60156 CPUtime=882.08
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 30514 0 0 0 86956 1252 0 0 25 0 1 0 25684024 61599744 14314 1992294400 4194304 8395647 140735394332176 18446744073709551615 6663833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15039 14314 652 1026 0 14009 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 60156
[startup+942.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29379
/proc/meminfo: memFree=1610036/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60156 CPUtime=942.07
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 30514 0 0 0 92868 1339 0 0 25 0 1 0 25684024 61599744 14314 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15039 14314 652 1026 0 14009 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 60156
[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29381
/proc/meminfo: memFree=1609912/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60216 CPUtime=1002.05
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 32383 0 0 0 98777 1428 0 0 25 0 1 0 25684024 61661184 14329 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15054 14329 652 1026 0 14024 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 60216
[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29382
/proc/meminfo: memFree=1609912/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60216 CPUtime=1062.04
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 32383 0 0 0 104685 1519 0 0 25 0 1 0 25684024 61661184 14329 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15054 14329 652 1026 0 14024 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 60216
[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29383
/proc/meminfo: memFree=1609788/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1122.02
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 110592 1610 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 6470530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 60292
[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29385
/proc/meminfo: memFree=1609664/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1182.01
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 116503 1698 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 6585824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 60292
[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29387
/proc/meminfo: memFree=1609540/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1242
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 122412 1788 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 60292
Solver just ended. Dumping a history of the last processes samples
[startup+1254.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29387
/proc/meminfo: memFree=1609540/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1253.99
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 123592 1807 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1253.99
Current children cumulated vsize (KiB) 60292
[startup+1267.1 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29387
/proc/meminfo: memFree=1609540/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1266.79
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 124851 1828 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1266.79
Current children cumulated vsize (KiB) 60292
[startup+1270.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29387
/proc/meminfo: memFree=1609540/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1269.99
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 125167 1832 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1269.99
Current children cumulated vsize (KiB) 60292
[startup+1273.5 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29387
/proc/meminfo: memFree=1609540/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1273.19
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 125482 1837 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 6068909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1273.19
Current children cumulated vsize (KiB) 60292
[startup+1275.1 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29387
/proc/meminfo: memFree=1609540/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1274.79
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 125641 1838 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 6586922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1274.79
Current children cumulated vsize (KiB) 60292
[startup+1275.9 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29387
/proc/meminfo: memFree=1609540/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1275.6
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 125721 1839 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1275.6
Current children cumulated vsize (KiB) 60292
[startup+1276.1 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29387
/proc/meminfo: memFree=1609540/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1275.79
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 125740 1839 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 6741384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1275.79
Current children cumulated vsize (KiB) 60292
[startup+1276.2 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 29387
/proc/meminfo: memFree=1609540/2059040 swapFree=4139412/4192956
[pid=29352] ppid=29350 vsize=60292 CPUtime=1275.89
/proc/29352/stat : 29352 (pbscip.linux.x8) R 29350 29352 29248 0 -1 4202496 34233 0 0 0 125750 1839 0 0 25 0 1 0 25684024 61739008 14348 1992294400 4194304 8395647 140735394332176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29352/statm: 15073 14348 652 1026 0 14043 0
Current children cumulated CPU time (s) 1275.89
Current children cumulated vsize (KiB) 60292
Child status: 0
Real time (s): 1276.25
CPU time (s): 1275.94
CPU user time (s): 1257.54
CPU system time (s): 18.4022
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 68904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1257.54
system time used= 18.4022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34237
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= 7
involuntary context switches= 2365
runsolver used 2.34564 second user time and 5.78912 second system time
The end