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-3450254-1307115398.opb>
0.09/0.12 c original problem has 8424 variables (8424 bin, 0 int, 0 impl, 0 cont) and 9089 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.16 c presolving:
0.09/0.19 c (round 1) 9 del vars, 1 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16830 impls, 97 clqs
0.18/0.21 c (round 2) 9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16830 impls, 97 clqs
0.18/0.24 c (round 3) 9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 16830 impls, 97 clqs
0.69/0.73 c (0.7s) probing: 101/8415 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.73 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.69/0.73 c presolving (4 rounds):
0.69/0.73 c 9 deleted vars, 8416 deleted constraints, 0 added constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.73 c 16830 implications, 2293 cliques
0.69/0.73 c presolved problem has 8415 variables (8415 bin, 0 int, 0 impl, 0 cont) and 673 constraints
0.69/0.73 c 576 constraints of type <knapsack>
0.69/0.73 c 97 constraints of type <setppc>
0.69/0.73 c transformed objective value is always integral (scale: 1)
0.69/0.73 c Presolving Time: 0.58
0.69/0.73 c - non default parameters ----------------------------------------------------------------------
0.69/0.73 c # SCIP version 2.0.1.5
0.69/0.73 c
0.69/0.73 c # frequency for displaying node information lines
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.73 c display/freq = 10000
0.69/0.73 c
0.69/0.73 c # maximal time in seconds to run
0.69/0.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.73 c limits/time = 1800
0.69/0.73 c
0.69/0.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.73 c limits/memory = 13950
0.69/0.73 c
0.69/0.73 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.73 c # [type: int, range: [1,2], default: 1]
0.69/0.73 c timing/clocktype = 2
0.69/0.73 c
0.69/0.73 c # belongs reading time to solving time?
0.69/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.73 c timing/reading = TRUE
0.69/0.73 c
0.69/0.73 c # should presolving try to simplify inequalities
0.69/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.73 c constraints/linear/simplifyinequalities = TRUE
0.69/0.73 c
0.69/0.73 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.69/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.73 c constraints/indicator/addCouplingCons = TRUE
0.69/0.73 c
0.69/0.73 c # should presolving try to simplify knapsacks
0.69/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.73 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.73 c
0.69/0.73 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.73 c separating/rapidlearning/freq = 0
0.69/0.73 c
0.69/0.73 c -----------------------------------------------------------------------------------------------
0.69/0.73 c start solving
0.69/0.73 c
0.89/0.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.94 c 0.9s| 1 | 0 | 1705 | - | 39M| 0 | 99 |8415 | 791 |8415 | 673 | 0 | 118 | 0 | 9.000000e+00 | -- | Inf
2.49/2.59 c 2.6s| 1 | 0 | 4339 | - | 41M| 0 | 161 |8415 |1050 |8415 | 720 | 47 | 118 | 0 | 9.000000e+00 | -- | Inf
3.39/3.46 c 3.5s| 1 | 0 | 5829 | - | 42M| 0 | 199 |8415 |1050 |8415 | 764 | 91 | 118 | 0 | 9.000000e+00 | -- | Inf
4.19/4.25 c 4.2s| 1 | 0 | 6695 | - | 43M| 0 | 248 |8415 |1050 |8415 | 806 | 133 | 118 | 0 | 9.000000e+00 | -- | Inf
5.40/5.47 c 5.5s| 1 | 0 | 8827 | - | 44M| 0 | 256 |8415 |1050 |8415 | 846 | 173 | 118 | 0 | 9.000000e+00 | -- | Inf
6.61/6.67 c 6.7s| 1 | 0 | 10738 | - | 45M| 0 | 253 |8415 |1050 |8415 | 884 | 211 | 118 | 0 | 9.000000e+00 | -- | Inf
7.99/8.00 c 8.0s| 1 | 0 | 12842 | - | 46M| 0 | 307 |8415 |1050 |8415 | 925 | 252 | 118 | 0 | 9.000000e+00 | -- | Inf
11.49/11.59 c 11.6s| 1 | 2 | 12842 | - | 46M| 0 | 307 |8415 |1050 |8415 | 925 | 252 | 118 | 17 | 9.000000e+00 | -- | Inf
608.22/608.28 c 608s| 10000 | 425 | 1124k| 111.2 | 53M| 253 | 80 |8415 |1812 |8415 | 819 | 252 |9470 |5523 | 9.000000e+00 | -- | Inf
1213.62/1213.61 c 1214s| 20000 | 1050 | 2300k| 114.4 | 59M| 253 | - |8415 |2112 |8415 | 819 | 252 | 15k| 10k| 9.000000e+00 | -- | Inf
1753.94/1753.92 c 1754s| 30000 | 1024 | 3255k| 108.1 | 62M| 253 | - |8415 |1584 |8415 | 819 | 252 | 20k| 14k| 9.000000e+00 | -- | Inf
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 30696
1800.04/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.01 c Dual Bound : +9.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 s UNKNOWN
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Total Time : 1800.01
1800.04/1800.01 c solving : 1800.01
1800.04/1800.01 c presolving : 0.58 (included in solving)
1800.04/1800.01 c reading : 0.12 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3450254-1307115398.opb
1800.04/1800.01 c Variables : 8424 (8424 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 9089 initial, 9089 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3450254-1307115398.opb
1800.04/1800.01 c Variables : 8415 (8415 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 673 initial, 3549 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.08 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.39 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.06 9 0 0 9 0 8416 0 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 19770 0 4 0 65 9649 0 0 32332
1800.04/1800.01 c knapsack : 576 6 158956 0 2 3 4504753 210 910449 1203 0 0
1800.04/1800.01 c setppc : 97 6 158746 0 2 2 4146765 27 1216752 0 0 0
1800.04/1800.01 c linear : 0+ 6 72 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c logicor : 0+ 6 40202 0 0 0 145886 1216 21763 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 567.25 0.00 0.00 567.25 0.00 0.00 0.00
1800.04/1800.01 c knapsack : 12.15 0.02 8.70 0.00 0.00 0.00 3.42
1800.04/1800.01 c setppc : 10.66 0.00 1.45 0.00 0.00 0.00 9.20
1800.04/1800.01 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c logicor : 2.53 0.00 2.05 0.00 0.00 0.00 0.48
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 0 0 0 0
1800.04/1800.01 c pseudoobj : 0 0 0 0
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 0.03 0.03 0.00
1800.04/1800.01 c rootredcost : 0.04 0.04 0.00
1800.04/1800.01 c pseudoobj : 0.02 0.02 0.00
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 1.48 1453 1451 19698 212.1 31 160.8 -
1800.04/1800.01 c infeasible LP : 184.52 13393 7085 259806 644.7 69 62.6 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 20411 227.3 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 5 - - 977 - (maximal pool size: 2538)
1800.04/1800.01 c redcost : 2.79 19651 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.06 6 0 0 82 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.06 6 0 0 44 0
1800.04/1800.01 c cmir : 1.83 6 0 0 2951 0
1800.04/1800.01 c flowcover : 0.76 6 0 0 1201 0
1800.04/1800.01 c clique : 0.01 6 0 0 13 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.81 1 0 0 0 259
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 567.22 19770 65 9649 0 0 32332
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 2 0 0 0 0 4
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c oneopt : 0.02 0 0
1800.04/1800.01 c crossover : 0.02 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c veclendiving : 6.99 8 0
1800.04/1800.01 c linesearchdiving : 6.64 8 0
1800.04/1800.01 c feaspump : 1.34 4 0
1800.04/1800.01 c coefdiving : 3.96 9 0
1800.04/1800.01 c pscostdiving : 4.71 9 0
1800.04/1800.01 c fracdiving : 9.10 9 0
1800.04/1800.01 c objpscostdiving : 0.34 5 0
1800.04/1800.01 c rootsoldiving : 2.45 5 0
1800.04/1800.01 c trivial : 0.01 2 0
1800.04/1800.01 c shiftandpropagate: 0.06 1 0
1800.04/1800.01 c simplerounding : 0.01 0 0
1800.04/1800.01 c zirounding : 0.92 0 0
1800.04/1800.01 c rounding : 0.29 1978 0
1800.04/1800.01 c shifting : 2.78 582 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.12 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.01 0 0
1800.04/1800.01 c trysol : 0.01 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 962.25 32892 3220135 97.90 3346.47
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 30.02 2467 112898 45.76 3760.96
1800.04/1800.01 c strong branching : 565.60 15280 1706334 111.67 3016.87
1800.04/1800.01 c (at root node) : - 17 8862 521.29 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 30696
1800.04/1800.01 c nodes (total) : 30696
1800.04/1800.01 c nodes left : 1086
1800.04/1800.01 c max depth : 253
1800.04/1800.01 c max depth (total): 253
1800.04/1800.01 c backtracks : 2304 (7.5%)
1800.04/1800.01 c delayed cutoffs : 555
1800.04/1800.01 c repropagations : 95921 (85715 domain reductions, 109 cutoffs)
1800.04/1800.01 c avg switch length: 8.08
1800.04/1800.01 c switching time : 7.80
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 0 (0 improvements)
1800.04/1800.01 c Primal Bound : -
1800.04/1800.01 c Dual Bound : +9.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +9.00000000000000e+00
1800.04/1800.01 c Root Iterations : 12842
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-3450254-1307115398/watcher-3450254-1307115398 -o /tmp/evaluation-result-3450254-1307115398/solver-3450254-1307115398 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450254-1307115398.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.01 2.04 2.00 3/575 25688
/proc/meminfo: memFree=23494552/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=13888 CPUtime=0 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 2461 0 0 0 0 0 0 0 25 0 1 0 823137554 14221312 2414 33554432000 4194304 9163163 140734351676720 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25688/statm: 3472 2414 395 1214 0 2254 0
[startup+0.051714 s]
/proc/loadavg: 2.01 2.04 2.00 3/575 25688
/proc/meminfo: memFree=23494552/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=20992 CPUtime=0.04 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 4249 0 0 0 4 0 0 0 25 0 1 0 823137554 21495808 4202 33554432000 4194304 9163163 140734351676720 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25688/statm: 5248 4202 395 1214 0 4030 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20992
[startup+0.100723 s]
/proc/loadavg: 2.01 2.04 2.00 3/575 25688
/proc/meminfo: memFree=23494552/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=24372 CPUtime=0.09 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 5082 0 0 0 9 0 0 0 25 0 1 0 823137554 24956928 5035 33554432000 4194304 9163163 140734351676720 18446744073709551615 7962177 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25688/statm: 6093 5035 395 1214 0 4875 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24372
[startup+0.30071 s]
/proc/loadavg: 2.01 2.04 2.00 3/575 25688
/proc/meminfo: memFree=23494552/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=58564 CPUtime=0.29 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 13846 0 0 0 28 1 0 0 25 0 1 0 823137554 59969536 13376 33554432000 4194304 9163163 140734351676720 18446744073709551615 5099259 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 14641 13376 569 1214 0 13423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58564
[startup+0.700629 s]
/proc/loadavg: 2.01 2.04 2.00 3/575 25688
/proc/meminfo: memFree=23494552/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=65836 CPUtime=0.69 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 16135 0 0 0 68 1 0 0 25 0 1 0 823137554 67416064 15276 33554432000 4194304 9163163 140734351676720 18446744073709551615 5944184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 16459 15276 545 1214 0 15241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65836
[startup+1.50045 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 25689
/proc/meminfo: memFree=23414680/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=86516 CPUtime=1.49 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 22763 0 0 0 147 2 0 0 18 0 1 0 823137554 88592384 20467 33554432000 4194304 9163163 140734351676720 18446744073709551615 6603165 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 21629 20467 691 1214 0 20411 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86516
[startup+3.10019 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 25689
/proc/meminfo: memFree=23360740/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=3.09 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37578 0 0 0 305 4 0 0 21 0 1 0 823137554 149250048 35281 33554432000 4194304 9163163 140734351676720 18446744073709551615 7114458 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35281 726 1214 0 35220 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 145752
[startup+6.3006 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 25689
/proc/meminfo: memFree=23352804/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=6.28 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37698 0 0 0 624 4 0 0 25 0 1 0 823137554 149250048 35401 33554432000 4194304 9163163 140734351676720 18446744073709551615 7319028 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35401 726 1214 0 35220 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 145752
[startup+12.7004 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 25690
/proc/meminfo: memFree=23351832/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=12.68 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37784 0 0 0 1262 6 0 0 25 0 1 0 823137554 149250048 35487 33554432000 4194304 9163163 140734351676720 18446744073709551615 7319028 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35487 735 1214 0 35220 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 145752
[startup+25.5011 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 25690
/proc/meminfo: memFree=23351696/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=25.49 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37784 0 0 0 2537 12 0 0 25 0 1 0 823137554 149250048 35487 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35487 735 1214 0 35220 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 145752
[startup+51.1004 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25691
/proc/meminfo: memFree=23350120/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=51.09 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37784 0 0 0 5085 24 0 0 25 0 1 0 823137554 149250048 35487 33554432000 4194304 9163163 140734351676720 18446744073709551615 7312224 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35487 735 1214 0 35220 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 145752
[startup+102.322 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25692
/proc/meminfo: memFree=23348848/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=102.31 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37785 0 0 0 10191 40 0 0 25 0 1 0 823137554 149250048 35488 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35488 736 1214 0 35220 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 145752
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25694
/proc/meminfo: memFree=23343008/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=162.29 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37788 0 0 0 16167 62 0 0 25 0 1 0 823137554 149250048 35491 33554432000 4194304 9163163 140734351676720 18446744073709551615 7300733 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35491 738 1214 0 35220 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 145752
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 25695
/proc/meminfo: memFree=23341136/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=222.3 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37788 0 0 0 22145 85 0 0 25 0 1 0 823137554 149250048 35491 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35491 738 1214 0 35220 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 145752
[startup+282.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/576 25697
/proc/meminfo: memFree=23338132/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=282.3 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37789 0 0 0 28124 106 0 0 25 0 1 0 823137554 149250048 35492 33554432000 4194304 9163163 140734351676720 18446744073709551615 7319008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35492 738 1214 0 35220 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 145752
[startup+342.301 s]
/proc/loadavg: 2.23 2.08 2.02 3/576 25698
/proc/meminfo: memFree=23335384/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=342.3 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37789 0 0 0 34102 128 0 0 25 0 1 0 823137554 149250048 35492 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35492 738 1214 0 35220 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 145752
[startup+402.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/576 25700
/proc/meminfo: memFree=23331148/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=402.3 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37789 0 0 0 40079 151 0 0 25 0 1 0 823137554 149250048 35492 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35492 738 1214 0 35220 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 145752
[startup+462.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/576 25702
/proc/meminfo: memFree=23329640/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=462.3 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37789 0 0 0 46054 176 0 0 25 0 1 0 823137554 149250048 35492 33554432000 4194304 9163163 140734351676720 18446744073709551615 7114974 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35492 738 1214 0 35220 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 145752
[startup+522.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/576 25703
/proc/meminfo: memFree=23328248/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=522.3 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37789 0 0 0 52032 198 0 0 25 0 1 0 823137554 149250048 35492 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35492 738 1214 0 35220 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 145752
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 25705
/proc/meminfo: memFree=23327108/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=145752 CPUtime=582.3 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 37791 0 0 0 58012 218 0 0 25 0 1 0 823137554 149250048 35494 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 36438 35494 738 1214 0 35220 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 145752
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 25711
/proc/meminfo: memFree=23311744/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=149628 CPUtime=822.32 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 38722 0 0 0 81928 304 0 0 25 0 1 0 823137554 153219072 36425 33554432000 4194304 9163163 140734351676720 18446744073709551615 7319024 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 37407 36425 738 1214 0 36189 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 149628
[startup+882.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/576 25713
/proc/meminfo: memFree=23310464/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=150120 CPUtime=882.31 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 38881 0 0 0 87908 323 0 0 25 0 1 0 823137554 153722880 36584 33554432000 4194304 9163163 140734351676720 18446744073709551615 7224136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 37530 36584 738 1214 0 36312 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 150120
[startup+942.301 s]
/proc/loadavg: 2.13 2.06 2.02 3/576 25714
/proc/meminfo: memFree=23309072/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=150120 CPUtime=942.32 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 38881 0 0 0 93889 343 0 0 25 0 1 0 823137554 153722880 36584 33554432000 4194304 9163163 140734351676720 18446744073709551615 7115200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 37530 36584 738 1214 0 36312 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 150120
[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/576 25716
/proc/meminfo: memFree=23306944/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=151312 CPUtime=1002.32 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 39158 0 0 0 99870 362 0 0 25 0 1 0 823137554 154943488 36861 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 37828 36861 738 1214 0 36610 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 151312
[startup+1062.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/576 25718
/proc/meminfo: memFree=23301460/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=153104 CPUtime=1062.33 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 39607 0 0 0 105849 384 0 0 25 0 1 0 823137554 156778496 37310 33554432000 4194304 9163163 140734351676720 18446744073709551615 4912552 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 38276 37310 738 1214 0 37058 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 153104
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 25719
/proc/meminfo: memFree=23296464/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=155212 CPUtime=1122.32 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 40118 0 0 0 111829 403 0 0 25 0 1 0 823137554 158937088 37821 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 38803 37821 738 1214 0 37585 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 155212
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25721
/proc/meminfo: memFree=23292720/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=156604 CPUtime=1182.33 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 40490 0 0 0 117809 424 0 0 25 0 1 0 823137554 160362496 38193 33554432000 4194304 9163163 140734351676720 18446744073709551615 6499616 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 39151 38193 738 1214 0 37933 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 156604
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25722
/proc/meminfo: memFree=23289096/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=158768 CPUtime=1242.33 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 41014 0 0 0 123793 440 0 0 25 0 1 0 823137554 162578432 38717 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 39692 38717 738 1214 0 38474 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 158768
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25724
/proc/meminfo: memFree=23283236/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=160416 CPUtime=1302.34 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 41441 0 0 0 129775 459 0 0 25 0 1 0 823137554 164265984 39144 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 40104 39144 738 1214 0 38886 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 160416
[startup+1362.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/576 25808
/proc/meminfo: memFree=22802712/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=161192 CPUtime=1362.33 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 41634 0 0 0 135754 479 0 0 25 0 1 0 823137554 165060608 39337 33554432000 4194304 9163163 140734351676720 18446744073709551615 7319024 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 40298 39337 738 1214 0 39080 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 161192
[startup+1422.32 s]
/proc/loadavg: 2.20 2.07 2.02 3/576 25809
/proc/meminfo: memFree=22451888/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=162552 CPUtime=1422.36 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 41964 0 0 0 141740 496 0 0 25 0 1 0 823137554 166453248 39667 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 40638 39667 738 1214 0 39420 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 162552
[startup+1482.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/576 25820
/proc/meminfo: memFree=22255660/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=163884 CPUtime=1482.34 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 42311 0 0 0 147719 515 0 0 25 0 1 0 823137554 167817216 40014 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 40971 40014 738 1214 0 39753 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 163884
[startup+1542.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/576 25821
/proc/meminfo: memFree=22098516/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=165016 CPUtime=1542.33 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 42581 0 0 0 153701 532 0 0 25 0 1 0 823137554 168976384 40284 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 41254 40284 738 1214 0 40036 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 165016
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/576 25823
/proc/meminfo: memFree=21978456/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=166104 CPUtime=1602.34 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 42806 0 0 0 159681 553 0 0 25 0 1 0 823137554 170090496 40509 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 41526 40509 738 1214 0 40308 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 166104
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 25827
/proc/meminfo: memFree=21895228/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=166104 CPUtime=1662.34 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 42806 0 0 0 165661 573 0 0 25 0 1 0 823137554 170090496 40509 33554432000 4194304 9163163 140734351676720 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 41526 40509 738 1214 0 40308 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 166104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25829
/proc/meminfo: memFree=21798504/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=166104 CPUtime=1722.34 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 42809 0 0 0 171640 594 0 0 25 0 1 0 823137554 170090496 40512 33554432000 4194304 9163163 140734351676720 18446744073709551615 7115438 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 41526 40512 738 1214 0 40308 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 166104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25831
/proc/meminfo: memFree=21665068/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=168044 CPUtime=1782.34 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 43339 0 0 0 177621 613 0 0 25 0 1 0 823137554 172077056 41042 33554432000 4194304 9163163 140734351676720 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25688/statm: 42011 41042 738 1214 0 40793 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 168044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25831
/proc/meminfo: memFree=21625992/32951124 swapFree=58940260/67111528
[pid=25688] ppid=25686 vsize=168316 CPUtime=1800.06 cores=0,2,4,6
/proc/25688/stat : 25688 (scip-2.0.1.4b.l) R 25686 25688 23203 0 -1 4202496 43404 0 0 0 179387 619 0 0 25 0 1 0 823137554 172355584 41107 33554432000 4194304 9163163 140734351676720 18446744073709551615 4793058 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25688/statm: 42079 41107 741 1214 0 40861 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 168316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1793.88
CPU system time (s): 6.20306
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 168316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 6.20306
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43404
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= 5
involuntary context switches= 3671
runsolver used 11.0403 second user time and 23.3554 second system time
The end