0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3450855-1307091541.opb>
0.49/0.50 c original problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 17459 constraints
0.49/0.50 c problem read
0.49/0.50 c presolving settings loaded
0.59/0.63 c presolving:
0.69/0.74 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.79/0.80 c (round 2) 0 del vars, 8568 del conss, 0 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 170 upgd conss, 0 impls, 0 clqs
0.79/0.85 c (round 3) 0 del vars, 8568 del conss, 0 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 323 upgd conss, 1412 impls, 0 clqs
2.49/2.50 c (2.5s) probing: 117/8883 (1.3%) - 0 fixings, 0 aggregations, 4896 implications, 0 bound changes
2.49/2.50 c (2.5s) probing aborted: 100/100 successive totally useless probings
2.49/2.50 c presolving (4 rounds):
2.49/2.50 c 0 deleted vars, 8568 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 306 changed sides, 306 changed coefficients
2.49/2.50 c 17748 implications, 0 cliques
2.49/2.50 c presolved problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 8891 constraints
2.49/2.50 c 323 constraints of type <knapsack>
2.49/2.50 c 8568 constraints of type <linear>
2.49/2.50 c transformed objective value is always integral (scale: 1)
2.49/2.50 c Presolving Time: 1.88
2.49/2.50 c - non default parameters ----------------------------------------------------------------------
2.49/2.50 c # SCIP version 2.0.1.5
2.49/2.50 c
2.49/2.50 c # frequency for displaying node information lines
2.49/2.50 c # [type: int, range: [-1,2147483647], default: 100]
2.49/2.50 c display/freq = 10000
2.49/2.50 c
2.49/2.50 c # maximal time in seconds to run
2.49/2.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.50 c limits/time = 1800
2.49/2.50 c
2.49/2.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.49/2.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.50 c limits/memory = 13950
2.49/2.50 c
2.49/2.50 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.49/2.50 c # [type: int, range: [1,2], default: 1]
2.49/2.50 c timing/clocktype = 2
2.49/2.50 c
2.49/2.50 c # belongs reading time to solving time?
2.49/2.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.50 c timing/reading = TRUE
2.49/2.50 c
2.49/2.50 c # should presolving try to simplify inequalities
2.49/2.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.50 c constraints/linear/simplifyinequalities = TRUE
2.49/2.50 c
2.49/2.50 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.49/2.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.50 c constraints/indicator/addCouplingCons = TRUE
2.49/2.50 c
2.49/2.50 c # should presolving try to simplify knapsacks
2.49/2.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.50 c constraints/knapsack/simplifyinequalities = TRUE
2.49/2.50 c
2.49/2.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.49/2.50 c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.50 c separating/rapidlearning/freq = 0
2.49/2.50 c
2.49/2.50 c -----------------------------------------------------------------------------------------------
2.49/2.50 c start solving
2.49/2.50 c
3.99/4.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.99/4.06 c 4.1s| 1 | 0 | 9868 | - | 84M| 0 |4995 |8883 |8909 |8883 |8891 | 0 | 18 | 0 | 1.700000e+01 | -- | Inf
10.49/10.51 c 10.5s| 1 | 0 | 24854 | - | 85M| 0 |5017 |8883 |9029 |8883 |8957 | 66 | 18 | 0 | 1.700000e+01 | -- | Inf
11.39/11.47 c 11.5s| 1 | 0 | 25257 | - | 86M| 0 |5029 |8883 |9029 |8883 |9027 | 136 | 18 | 0 | 1.700000e+01 | -- | Inf
12.79/12.82 c 12.8s| 1 | 0 | 25645 | - | 86M| 0 |5013 |8883 |9029 |8883 |9104 | 213 | 18 | 0 | 1.700000e+01 | -- | Inf
13.69/13.73 c 13.7s| 1 | 0 | 25951 | - | 87M| 0 |5025 |8883 |9029 |8883 |9169 | 278 | 18 | 0 | 1.700000e+01 | -- | Inf
14.89/14.96 c 15.0s| 1 | 0 | 26580 | - | 87M| 0 |5040 |8883 |9029 |8883 |9241 | 350 | 18 | 0 | 1.700206e+01 | -- | Inf
16.19/16.26 c 16.3s| 1 | 0 | 27013 | - | 88M| 0 |5048 |8883 |9029 |8883 |9318 | 427 | 18 | 0 | 1.700206e+01 | -- | Inf
17.69/17.73 c 17.7s| 1 | 0 | 27626 | - | 88M| 0 |5049 |8883 |9029 |8883 |9396 | 505 | 18 | 0 | 1.700206e+01 | -- | Inf
18.99/19.08 c 19.1s| 1 | 0 | 28155 | - | 89M| 0 |5045 |8883 |9029 |8883 |9472 | 581 | 18 | 0 | 1.716667e+01 | -- | Inf
20.80/20.88 c 20.9s| 1 | 0 | 29216 | - | 89M| 0 |5065 |8883 |9029 |8883 |9549 | 658 | 18 | 0 | 1.716667e+01 | -- | Inf
23.00/23.03 c 23.0s| 1 | 0 | 30000 | - | 90M| 0 |5062 |8883 |9029 |8883 |9629 | 738 | 18 | 0 | 1.716667e+01 | -- | Inf
24.21/24.22 c 24.2s| 1 | 0 | 30860 | - | 90M| 0 |5082 |8883 |9029 |8883 |9674 | 783 | 18 | 0 | 1.716667e+01 | -- | Inf
25.39/25.40 c 25.4s| 1 | 0 | 31723 | - | 90M| 0 |5054 |8883 |9029 |8883 |9717 | 826 | 18 | 0 | 1.716667e+01 | -- | Inf
26.40/26.42 c 26.4s| 1 | 0 | 32469 | - | 90M| 0 |5070 |8883 |9029 |8883 |9747 | 856 | 18 | 0 | 1.716667e+01 | -- | Inf
64.90/64.93 c 64.9s| 1 | 2 | 32469 | - | 90M| 0 |5070 |8883 |9029 |8883 |9747 | 856 | 18 | 61 | 1.716667e+01 | -- | Inf
1799.98/1800.00 c
1799.98/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.00 c Solving Time (sec) : 1800.00
1799.98/1800.00 c Solving Nodes : 2511
1799.98/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.98/1800.00 c Dual Bound : +1.90000000000000e+01
1799.98/1800.00 c Gap : infinite
1799.98/1800.00 s UNKNOWN
1799.98/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.00 c Total Time : 1800.00
1799.98/1800.00 c solving : 1800.00
1799.98/1800.00 c presolving : 1.88 (included in solving)
1799.98/1800.00 c reading : 0.50 (included in solving)
1799.98/1800.00 c Original Problem :
1799.98/1800.00 c Problem name : HOME/instance-3450855-1307091541.opb
1799.98/1800.00 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.00 c Constraints : 17459 initial, 17459 maximal
1799.98/1800.00 c Presolved Problem :
1799.98/1800.00 c Problem name : t_HOME/instance-3450855-1307091541.opb
1799.98/1800.00 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.00 c Constraints : 8891 initial, 13938 maximal
1799.98/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.98/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.00 c probing : 1.64 0 0 0 0 0 0 0 0 0
1799.98/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1799.98/1800.00 c linear : 0.20 0 0 0 0 0 8568 0 306 306
1799.98/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.00 c root node : - 0 - - 0 - - - - -
1799.98/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.98/1800.00 c integral : 0 0 0 2483 0 4 0 1 241 0 0 4798
1799.98/1800.00 c knapsack : 323 13 17621 0 1 3 11439 106 8466 2609 0 0
1799.98/1800.00 c linear : 8568+ 14 17516 0 0 0 1395 74 97986 0 0 0
1799.98/1800.00 c logicor : 0+ 13 7846 0 0 0 1005 6 1210 0 0 0
1799.98/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1799.98/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.98/1800.00 c integral : 518.10 0.00 0.00 518.10 0.00 0.00 0.00
1799.98/1800.00 c knapsack : 2.04 0.05 1.98 0.00 0.00 0.00 0.01
1799.98/1800.00 c linear : 10.48 0.01 10.47 0.00 0.00 0.00 0.00
1799.98/1800.00 c logicor : 0.16 0.00 0.16 0.00 0.00 0.00 0.00
1799.98/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.98/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.98/1800.00 c vbounds : 0 0 0 0
1799.98/1800.00 c rootredcost : 0 0 0 0
1799.98/1800.00 c pseudoobj : 17379 0 0 0
1799.98/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1799.98/1800.00 c vbounds : 0.01 0.01 0.00
1799.98/1800.00 c rootredcost : 0.01 0.01 0.00
1799.98/1800.00 c pseudoobj : 0.02 0.02 0.00
1799.98/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.98/1800.00 c propagation : 0.01 186 184 1080 27.6 12 11.8 -
1799.98/1800.00 c infeasible LP : 3.85 4041 4041 4657 12.1 19 12.5 0
1799.98/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.98/1800.00 c applied globally : - - - 4979 13.0 - - -
1799.98/1800.00 c applied locally : - - - 0 0.0 - - -
1799.98/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.98/1800.00 c cut pool : 0.01 12 - - 10953 - (maximal pool size: 6160)
1799.98/1800.00 c redcost : 0.47 2514 0 20 0 0
1799.98/1800.00 c impliedbounds : 0.01 13 0 0 44 0
1799.98/1800.00 c intobj : 0.00 0 0 0 0 0
1799.98/1800.00 c gomory : 0.99 13 0 0 40 0
1799.98/1800.00 c cgmip : 0.00 0 0 0 0 0
1799.98/1800.00 c closecuts : 0.00 0 0 0 0 0
1799.98/1800.00 c strongcg : 0.93 13 0 0 14 0
1799.98/1800.00 c cmir : 3.60 10 0 0 5000 0
1799.98/1800.00 c flowcover : 3.34 10 0 0 2000 0
1799.98/1800.00 c clique : 0.01 1 0 0 0 0
1799.98/1800.00 c zerohalf : 0.00 0 0 0 0 0
1799.98/1800.00 c mcf : 0.00 1 0 0 0 0
1799.98/1800.00 c oddcycle : 0.00 0 0 0 0 0
1799.98/1800.00 c rapidlearning : 1.36 1 0 0 0 120
1799.98/1800.00 c Pricers : Time Calls Vars
1799.98/1800.00 c problem variables: 0.00 0 0
1799.98/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.98/1800.00 c relpscost : 518.10 2483 1 241 0 0 4798
1799.98/1800.00 c pscost : 0.00 0 0 0 0 0 0
1799.98/1800.00 c inference : 0.00 1 0 0 0 0 2
1799.98/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1799.98/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1799.98/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1799.98/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1799.98/1800.00 c random : 0.00 0 0 0 0 0 0
1799.98/1800.00 c Primal Heuristics : Time Calls Found
1799.98/1800.00 c LP solutions : 0.00 - 0
1799.98/1800.00 c pseudo solutions : 0.00 - 0
1799.98/1800.00 c oneopt : 0.00 0 0
1799.98/1800.00 c crossover : 0.00 0 0
1799.98/1800.00 c guideddiving : 0.00 0 0
1799.98/1800.00 c intshifting : 0.00 0 0
1799.98/1800.00 c coefdiving : 217.14 2 0
1799.98/1800.00 c fracdiving : 88.34 7 0
1799.98/1800.00 c veclendiving : 37.77 10 0
1799.98/1800.00 c objpscostdiving : 52.24 5 0
1799.98/1800.00 c rootsoldiving : 24.45 5 0
1799.98/1800.00 c pscostdiving : 45.15 11 0
1799.98/1800.00 c linesearchdiving : 78.94 17 0
1799.98/1800.00 c feaspump : 39.68 9 0
1799.98/1800.00 c trivial : 0.01 2 0
1799.98/1800.00 c shiftandpropagate: 0.37 1 0
1799.98/1800.00 c simplerounding : 0.00 0 0
1799.98/1800.00 c zirounding : 2.07 1000 0
1799.98/1800.00 c rounding : 2.60 655 0
1799.98/1800.00 c shifting : 10.20 182 0
1799.98/1800.00 c twoopt : 0.00 0 0
1799.98/1800.00 c fixandinfer : 0.00 0 0
1799.98/1800.00 c clique : 0.00 0 0
1799.98/1800.00 c intdiving : 0.00 0 0
1799.98/1800.00 c actconsdiving : 0.00 0 0
1799.98/1800.00 c octane : 0.00 0 0
1799.98/1800.00 c rens : 0.07 0 0
1799.98/1800.00 c rins : 0.00 0 0
1799.98/1800.00 c localbranching : 0.00 0 0
1799.98/1800.00 c mutation : 0.00 0 0
1799.98/1800.00 c dins : 0.00 0 0
1799.98/1800.00 c vbounds : 0.00 0 0
1799.98/1800.00 c undercover : 0.00 0 0
1799.98/1800.00 c subnlp : 0.00 0 0
1799.98/1800.00 c trysol : 0.00 0 0
1799.98/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1799.98/1800.00 c primal LP : 0.06 0 0 0.00 0.00
1799.98/1800.00 c dual LP : 655.47 2569 1793757 698.23 2736.61
1799.98/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1799.98/1800.00 c barrier LP : 0.00 0 0 0.00 -
1799.98/1800.00 c diving/probing LP: 558.46 8244 1351052 163.88 2419.26
1799.98/1800.00 c strong branching : 515.74 1768 1043833 590.40 2023.97
1799.98/1800.00 c (at root node) : - 61 39416 646.16 -
1799.98/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1799.98/1800.00 c B&B Tree :
1799.98/1800.00 c number of runs : 1
1799.98/1800.00 c nodes : 2511
1799.98/1800.00 c nodes (total) : 2511
1799.98/1800.00 c nodes left : 2281
1799.98/1800.00 c max depth : 58
1799.98/1800.00 c max depth (total): 58
1799.98/1800.00 c backtracks : 329 (13.1%)
1799.98/1800.00 c delayed cutoffs : 9
1799.98/1800.00 c repropagations : 1172 (12054 domain reductions, 4 cutoffs)
1799.98/1800.00 c avg switch length: 4.05
1799.98/1800.00 c switching time : 3.05
1799.98/1800.00 c Solution :
1799.98/1800.00 c Solutions found : 0 (0 improvements)
1799.98/1800.00 c Primal Bound : -
1799.98/1800.00 c Dual Bound : +1.90000000000000e+01
1799.98/1800.00 c Gap : infinite
1799.98/1800.00 c Root Dual Bound : +1.71666666666667e+01
1799.98/1800.00 c Root Iterations : 32469
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450855-1307091541/watcher-3450855-1307091541 -o /tmp/evaluation-result-3450855-1307091541/solver-3450855-1307091541 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450855-1307091541.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/415 32536
/proc/meminfo: memFree=25578448/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=13496 CPUtime=0.01 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 2345 0 0 0 1 0 0 0 25 0 1 0 276763523 13819904 2299 33554432000 4194304 9163163 140733558099744 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32536/statm: 3374 2299 395 1214 0 2156 0
[startup+0.074712 s]
/proc/loadavg: 2.00 2.00 2.00 2/415 32536
/proc/meminfo: memFree=25578448/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=17164 CPUtime=0.07 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 3279 0 0 0 7 0 0 0 25 0 1 0 276763523 17575936 3233 33554432000 4194304 9163163 140733558099744 18446744073709551615 6165461 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32536/statm: 4291 3233 395 1214 0 3073 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17164
[startup+0.100707 s]
/proc/loadavg: 2.00 2.00 2.00 2/415 32536
/proc/meminfo: memFree=25578448/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=17876 CPUtime=0.09 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 3462 0 0 0 9 0 0 0 25 0 1 0 276763523 18305024 3416 33554432000 4194304 9163163 140733558099744 18446744073709551615 7936855 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32536/statm: 4469 3416 395 1214 0 3251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17876
[startup+0.300674 s]
/proc/loadavg: 2.00 2.00 2.00 2/415 32536
/proc/meminfo: memFree=25578448/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=28624 CPUtime=0.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 6155 0 0 0 29 0 0 0 25 0 1 0 276763523 29310976 6109 33554432000 4194304 9163163 140733558099744 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32536/statm: 7156 6109 395 1214 0 5938 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28624
[startup+0.700603 s]
/proc/loadavg: 2.00 2.00 2.00 2/415 32536
/proc/meminfo: memFree=25578448/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=157528 CPUtime=0.69 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 40176 0 0 0 66 3 0 0 25 0 1 0 276763523 161308672 36766 33554432000 4194304 9163163 140733558099744 18446744073709551615 5176888 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 39382 36766 492 1214 0 38164 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 157528
[startup+1.50047 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32537
/proc/meminfo: memFree=25428896/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=160600 CPUtime=1.49 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 41518 0 0 0 146 3 0 0 25 0 1 0 276763523 164454400 37719 33554432000 4194304 9163163 140733558099744 18446744073709551615 6556080 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 40150 37719 540 1214 0 38932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 160600
[startup+3.10118 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32537
/proc/meminfo: memFree=25427104/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=232560 CPUtime=3.09 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 58919 0 0 0 304 5 0 0 18 0 1 0 276763523 238141440 53575 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 58140 53575 798 1214 0 56922 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 232560
[startup+6.30062 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32537
/proc/meminfo: memFree=25364236/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=229152 CPUtime=6.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 61475 0 0 0 622 7 0 0 25 0 1 0 276763523 234651648 53599 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 57288 53599 701 1214 0 56070 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 229152
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32537
/proc/meminfo: memFree=25272320/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=12.69 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 84584 0 0 0 1258 11 0 0 25 0 1 0 276763523 326856704 76685 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 76685 968 1214 0 78581 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 319196
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32538
/proc/meminfo: memFree=25269852/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=25.49 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85303 0 0 0 2537 12 0 0 25 0 1 0 276763523 326856704 77163 33554432000 4194304 9163163 140733558099744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77163 921 1214 0 78581 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 319196
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32539
/proc/meminfo: memFree=25268864/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=51.09 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85525 0 0 0 5093 16 0 0 25 0 1 0 276763523 326856704 77194 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77194 735 1214 0 78581 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 319196
[startup+102.316 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32540
/proc/meminfo: memFree=25269104/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=102.3 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85528 0 0 0 10208 22 0 0 25 0 1 0 276763523 326856704 77194 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77194 732 1214 0 78581 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 319196
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32550
/proc/meminfo: memFree=25267036/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=162.28 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85531 0 0 0 16197 31 0 0 25 0 1 0 276763523 326856704 77197 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77197 735 1214 0 78581 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 319196
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32552
/proc/meminfo: memFree=25268140/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=222.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85532 0 0 0 22181 48 0 0 25 0 1 0 276763523 326856704 77198 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77198 736 1214 0 78581 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 319196
[startup+282.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/416 32554
/proc/meminfo: memFree=25267988/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=282.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85532 0 0 0 28162 67 0 0 25 0 1 0 276763523 326856704 77198 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77198 736 1214 0 78581 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 319196
[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/416 32555
/proc/meminfo: memFree=25267972/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=342.28 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85532 0 0 0 34151 77 0 0 25 0 1 0 276763523 326856704 77198 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77198 736 1214 0 78581 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 319196
[startup+402.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/416 32557
/proc/meminfo: memFree=25268192/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=402.28 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85532 0 0 0 40145 83 0 0 25 0 1 0 276763523 326856704 77198 33554432000 4194304 9163163 140733558099744 18446744073709551615 7195920 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77198 736 1214 0 78581 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 319196
[startup+462.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/416 32558
/proc/meminfo: memFree=25209516/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=462.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85534 0 0 0 46133 96 0 0 25 0 1 0 276763523 326856704 77200 33554432000 4194304 9163163 140733558099744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77200 738 1214 0 78581 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 319196
[startup+522.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/416 32560
/proc/meminfo: memFree=25210108/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=522.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85534 0 0 0 52124 105 0 0 25 0 1 0 276763523 326856704 77200 33554432000 4194304 9163163 140733558099744 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77200 738 1214 0 78581 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 319196
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/416 32562
/proc/meminfo: memFree=25209968/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=582.28 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85534 0 0 0 58112 116 0 0 25 0 1 0 276763523 326856704 77200 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77200 738 1214 0 78581 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 319196
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.13 1.53 1.80 2/410 32591
/proc/meminfo: memFree=25721096/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=882.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 88067 162 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 319196
[startup+942.3 s]
/proc/loadavg: 1.05 1.43 1.75 2/410 32592
/proc/meminfo: memFree=25721332/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=942.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 94057 172 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 319196
[startup+1002.3 s]
/proc/loadavg: 1.02 1.35 1.70 2/410 32594
/proc/meminfo: memFree=25721068/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1002.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 100048 181 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 319196
[startup+1062.3 s]
/proc/loadavg: 1.00 1.28 1.65 2/410 32595
/proc/meminfo: memFree=25721168/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1062.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 106038 191 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 319196
[startup+1122.3 s]
/proc/loadavg: 1.00 1.23 1.61 2/410 32597
/proc/meminfo: memFree=25721152/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1122.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 112025 204 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 319196
[startup+1182.3 s]
/proc/loadavg: 1.00 1.19 1.57 2/410 32599
/proc/meminfo: memFree=25721132/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1182.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 118013 216 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 319196
[startup+1242.3 s]
/proc/loadavg: 1.00 1.15 1.53 2/410 32600
/proc/meminfo: memFree=25720380/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1242.28 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 123996 232 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 319196
[startup+1302.3 s]
/proc/loadavg: 1.00 1.12 1.49 2/410 32602
/proc/meminfo: memFree=25720240/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1302.31 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 129985 246 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 319196
[startup+1362.3 s]
/proc/loadavg: 1.00 1.10 1.46 2/410 32603
/proc/meminfo: memFree=25721212/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1362.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 135966 263 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 319196
[startup+1422.32 s]
/proc/loadavg: 1.14 1.12 1.44 2/410 32605
/proc/meminfo: memFree=25721072/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1422.31 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 141950 281 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 319196
[startup+1482.3 s]
/proc/loadavg: 1.05 1.10 1.41 2/410 32607
/proc/meminfo: memFree=25721052/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1482.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 147930 299 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 319196
[startup+1542.3 s]
/proc/loadavg: 1.02 1.08 1.38 2/410 32608
/proc/meminfo: memFree=25720908/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1542.3 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 153909 321 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7296002 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 319196
[startup+1602.3 s]
/proc/loadavg: 1.00 1.06 1.36 2/410 32610
/proc/meminfo: memFree=25721140/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1602.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 159887 342 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 319196
[startup+1662.3 s]
/proc/loadavg: 1.00 1.05 1.33 2/410 32611
/proc/meminfo: memFree=25721000/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1662.28 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 165867 361 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 319196
[startup+1722.3 s]
/proc/loadavg: 1.00 1.04 1.31 2/410 32613
/proc/meminfo: memFree=25720976/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1722.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 171847 382 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 319196
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.29 2/410 32615
/proc/meminfo: memFree=25720092/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=319196 CPUtime=1782.29 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85554 0 0 0 177828 401 0 0 25 0 1 0 276763523 326856704 77217 33554432000 4194304 9163163 140733558099744 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/32536/statm: 79799 77217 735 1214 0 78581 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 319196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.00 1.02 1.28 2/410 32615
/proc/meminfo: memFree=25725292/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=311040 CPUtime=1800.1 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85558 0 0 0 179605 405 0 0 18 0 1 0 276763523 318504960 75182 33554432000 4194304 9163163 140733558099744 18446744073709551615 5134709 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32536/statm: 77760 75182 739 1214 0 76542 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 311040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 1.00 1.02 1.28 2/410 32615
/proc/meminfo: memFree=25725292/32950928 swapFree=52006644/67111528
[pid=32536] ppid=32534 vsize=311040 CPUtime=1800.1 cores=0,2,4,6
/proc/32536/stat : 32536 (scip-2.0.1.4b.l) R 32534 32536 28764 0 -1 4202496 85558 0 0 0 179605 405 0 0 18 0 1 0 276763523 318504960 75182 33554432000 4194304 9163163 140733558099744 18446744073709551615 5134709 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32536/statm: 77760 75182 739 1214 0 76542 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 311040
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.12
CPU user time (s): 1796.05
CPU system time (s): 4.07038
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 319196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.05
system time used= 4.07038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85558
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= 3028
runsolver used 7.61384 second user time and 16.9504 second system time
The end