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-2703387-1278563977.opb>
5.99/6.06 c original problem has 99789 variables (99789 bin, 0 int, 0 impl, 0 cont) and 388956 constraints
5.99/6.06 c problem read
5.99/6.06 c presolving settings loaded
7.88/7.98 c presolving:
13.59/13.64 c (round 1) 3085 del vars, 6113 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
13.78/13.84 c (round 2) 3085 del vars, 6191 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
16.50/16.54 c (round 3) 3085 del vars, 6195 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3505402 impls, 0 clqs
112.25/112.37 c (106.3s) probing: 587/96704 (0.6%) - 0 fixings, 2 aggregations, 128235 implications, 0 bound changes
112.25/112.37 c (106.3s) probing aborted: 100/100 successive totally useless probings
112.25/112.39 c presolving (4 rounds):
112.25/112.39 c 3087 deleted vars, 6195 deleted constraints, 5 tightened bounds, 0 added holes, 26 changed sides, 30 changed coefficients
112.25/112.39 c 3759128 implications, 0 cliques
112.25/112.39 c presolved problem has 96702 variables (96702 bin, 0 int, 0 impl, 0 cont) and 382761 constraints
112.25/112.39 c 1 constraints of type <knapsack>
112.25/112.39 c 289186 constraints of type <setppc>
112.25/112.39 c 93574 constraints of type <logicor>
112.25/112.39 c transformed objective value is always integral (scale: 1)
112.25/112.39 c Presolving Time: 105.13
112.25/112.39 c - non default parameters ----------------------------------------------------------------------
112.25/112.39 c # SCIP version 1.2.1.3
112.25/112.39 c
112.25/112.39 c # frequency for displaying node information lines
112.25/112.39 c # [type: int, range: [-1,2147483647], default: 100]
112.25/112.39 c display/freq = 10000
112.25/112.39 c
112.25/112.39 c # maximal time in seconds to run
112.25/112.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
112.25/112.39 c limits/time = 1783.94
112.25/112.39 c
112.25/112.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
112.25/112.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
112.25/112.39 c limits/memory = 1620
112.25/112.39 c
112.25/112.39 c # default clock type (1: CPU user seconds, 2: wall clock time)
112.25/112.39 c # [type: int, range: [1,2], default: 1]
112.25/112.39 c timing/clocktype = 2
112.25/112.39 c
112.25/112.39 c # should presolving try to simplify inequalities
112.25/112.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.25/112.39 c constraints/linear/simplifyinequalities = TRUE
112.25/112.39 c
112.25/112.39 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
112.25/112.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.25/112.39 c constraints/indicator/addCouplingCons = TRUE
112.25/112.39 c
112.25/112.39 c # should presolving try to simplify knapsacks
112.25/112.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.25/112.39 c constraints/knapsack/simplifyinequalities = TRUE
112.25/112.39 c
112.25/112.39 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
112.25/112.39 c # [type: int, range: [-1,2147483647], default: -1]
112.25/112.39 c separating/rapidlearning/freq = 0
112.25/112.39 c
112.25/112.39 c -----------------------------------------------------------------------------------------------
112.25/112.39 c start solving
112.44/112.50 c
1774.42/1774.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.42/1774.97 c 1769s| 1 | 0 | 37725 | - | 715M| 0 | 11k| 96k| 382k| 96k| 382k| 0 | 0 | 0 | 1.050432e+01 | -- | Inf
1790.01/1790.55 c 1784s| 1 | 2 | 37820 | - | 718M| 0 | - | 96k| 382k| 96k| 382k| 0 | 0 | 0 | 1.050432e+01 | -- | Inf
1790.01/1790.55 c
1790.01/1790.55 c SCIP Status : solving was interrupted [time limit reached]
1790.01/1790.55 c Solving Time (sec) : 1784.49
1790.01/1790.55 c Solving Nodes : 1
1790.01/1790.55 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.01/1790.55 c Dual Bound : +1.05043187625502e+01
1790.01/1790.55 c Gap : infinite
1790.01/1790.55 s UNKNOWN
1790.01/1790.55 c SCIP Status : solving was interrupted [time limit reached]
1790.01/1790.55 c Solving Time : 1784.49
1790.01/1790.55 c Original Problem :
1790.01/1790.55 c Problem name : HOME/instance-2703387-1278563977.opb
1790.01/1790.55 c Variables : 99789 (99789 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.01/1790.55 c Constraints : 388956 initial, 388956 maximal
1790.01/1790.55 c Presolved Problem :
1790.01/1790.55 c Problem name : t_HOME/instance-2703387-1278563977.opb
1790.01/1790.55 c Variables : 96702 (96702 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.01/1790.55 c Constraints : 382761 initial, 382761 maximal
1790.01/1790.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.01/1790.55 c trivial : 0.07 0 0 0 0 0 0 0 0
1790.01/1790.55 c dualfix : 0.07 0 0 0 0 0 0 0 0
1790.01/1790.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.01/1790.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.01/1790.55 c implics : 0.32 0 26 0 0 0 0 0 0
1790.01/1790.55 c probing : 93.87 0 2 0 0 0 0 0 0
1790.01/1790.55 c knapsack : 0.99 0 0 0 0 0 0 0 0
1790.01/1790.55 c setppc : 0.75 0 0 0 0 0 0 0 0
1790.01/1790.55 c linear : 7.41 5 3054 0 5 0 6195 26 30
1790.01/1790.55 c logicor : 0.36 0 0 0 0 0 0 0 0
1790.01/1790.55 c root node : - 0 - - 0 - - - -
1790.01/1790.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.01/1790.55 c integral : 0 0 0 0 0 0 0 0 0 0
1790.01/1790.55 c knapsack : 1 0 1505 0 1 0 0 0 0 0
1790.01/1790.55 c setppc : 289186 0 1505 0 1 0 0 0 0 0
1790.01/1790.55 c logicor : 93574 0 1182 0 1 0 0 0 0 0
1790.01/1790.55 c countsols : 0 0 0 0 1 0 0 0 0 0
1790.01/1790.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.01/1790.55 c integral : 0.00 0.00 0.00 0.00 0.00
1790.01/1790.55 c knapsack : 0.18 0.00 0.18 0.00 0.00
1790.01/1790.55 c setppc : 71.07 0.00 70.80 0.00 0.27
1790.01/1790.55 c logicor : 1.74 0.00 1.64 0.00 0.09
1790.01/1790.55 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.01/1790.55 c Propagators : Time Calls Cutoffs DomReds
1790.01/1790.55 c vbounds : 0.00 2 0 0
1790.01/1790.55 c rootredcost : 0.00 0 0 0
1790.01/1790.55 c pseudoobj : 0.01 2 0 0
1790.01/1790.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.01/1790.55 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.01/1790.55 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.01/1790.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.01/1790.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.01/1790.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.01/1790.55 c applied globally : - - - 0 0.0 - - -
1790.01/1790.55 c applied locally : - - - 0 0.0 - - -
1790.01/1790.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.01/1790.55 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.01/1790.55 c redcost : 0.00 0 0 0 0 0
1790.01/1790.55 c impliedbounds : 0.00 0 0 0 0 0
1790.01/1790.55 c intobj : 0.00 0 0 0 0 0
1790.01/1790.55 c cgmip : 0.00 0 0 0 0 0
1790.01/1790.55 c gomory : 0.00 0 0 0 0 0
1790.01/1790.55 c strongcg : 0.00 0 0 0 0 0
1790.01/1790.55 c cmir : 0.00 0 0 0 0 0
1790.01/1790.55 c flowcover : 0.00 0 0 0 0 0
1790.01/1790.55 c clique : 0.00 0 0 0 0 0
1790.01/1790.55 c zerohalf : 0.00 0 0 0 0 0
1790.01/1790.55 c mcf : 0.00 0 0 0 0 0
1790.01/1790.55 c rapidlearning : 0.00 0 0 0 0 0
1790.01/1790.55 c Pricers : Time Calls Vars
1790.01/1790.55 c problem variables: 0.00 0 0
1790.01/1790.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.01/1790.55 c relpscost : 0.00 0 0 0 0 0 0
1790.01/1790.55 c pscost : 0.00 0 0 0 0 0 0
1790.01/1790.55 c inference : 0.06 1 0 0 0 0 2
1790.01/1790.56 c mostinf : 0.00 0 0 0 0 0 0
1790.01/1790.56 c leastinf : 0.00 0 0 0 0 0 0
1790.01/1790.56 c fullstrong : 0.00 0 0 0 0 0 0
1790.01/1790.56 c allfullstrong : 0.00 0 0 0 0 0 0
1790.01/1790.56 c random : 0.00 0 0 0 0 0 0
1790.01/1790.56 c Primal Heuristics : Time Calls Found
1790.01/1790.56 c LP solutions : 0.00 - 0
1790.01/1790.56 c pseudo solutions : 0.00 - 0
1790.01/1790.56 c oneopt : 0.00 0 0
1790.01/1790.56 c trivial : 0.48 2 0
1790.01/1790.56 c simplerounding : 0.02 0 0
1790.01/1790.56 c zirounding : 0.00 0 0
1790.01/1790.56 c rounding : 0.14 1 0
1790.01/1790.56 c shifting : 0.83 1 0
1790.01/1790.56 c intshifting : 0.00 0 0
1790.01/1790.56 c twoopt : 0.00 0 0
1790.01/1790.56 c fixandinfer : 0.00 0 0
1790.01/1790.56 c feaspump : 14.16 1 0
1790.01/1790.56 c coefdiving : 0.00 0 0
1790.01/1790.56 c pscostdiving : 0.00 0 0
1790.01/1790.56 c fracdiving : 0.00 0 0
1790.01/1790.56 c veclendiving : 0.00 0 0
1790.01/1790.56 c intdiving : 0.00 0 0
1790.01/1790.56 c actconsdiving : 0.00 0 0
1790.01/1790.56 c objpscostdiving : 0.00 0 0
1790.01/1790.56 c rootsoldiving : 0.00 0 0
1790.01/1790.56 c linesearchdiving : 0.00 0 0
1790.01/1790.56 c guideddiving : 0.00 0 0
1790.01/1790.56 c octane : 0.00 0 0
1790.01/1790.56 c rens : 0.00 0 0
1790.01/1790.56 c rins : 0.00 0 0
1790.01/1790.56 c localbranching : 0.00 0 0
1790.01/1790.56 c mutation : 0.00 0 0
1790.01/1790.56 c crossover : 0.00 0 0
1790.01/1790.56 c dins : 0.00 0 0
1790.01/1790.56 c undercover : 0.00 0 0
1790.01/1790.56 c nlp : 0.00 0 0
1790.01/1790.56 c trysol : 0.00 0 0
1790.01/1790.56 c LP : Time Calls Iterations Iter/call Iter/sec
1790.01/1790.56 c primal LP : 0.00 0 0 0.00 -
1790.01/1790.56 c dual LP : 1660.31 1 37725 37725.00 22.72
1790.01/1790.56 c lex dual LP : 0.00 0 0 0.00 -
1790.01/1790.56 c barrier LP : 0.00 0 0 0.00 -
1790.01/1790.56 c diving/probing LP: 14.05 1 95 95.00 6.76
1790.01/1790.56 c strong branching : 0.00 0 0 0.00 -
1790.01/1790.56 c (at root node) : - 0 0 0.00 -
1790.01/1790.56 c conflict analysis: 0.00 0 0 0.00 -
1790.01/1790.56 c B&B Tree :
1790.01/1790.56 c number of runs : 1
1790.01/1790.56 c nodes : 1
1790.01/1790.56 c nodes (total) : 1
1790.01/1790.56 c nodes left : 2
1790.01/1790.56 c max depth : 0
1790.01/1790.56 c max depth (total): 0
1790.01/1790.56 c backtracks : 0 (0.0%)
1790.01/1790.56 c delayed cutoffs : 0
1790.01/1790.56 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.01/1790.56 c avg switch length: 1.00
1790.01/1790.56 c switching time : 0.00
1790.01/1790.56 c Solution :
1790.01/1790.56 c Solutions found : 0 (0 improvements)
1790.01/1790.56 c Primal Bound : -
1790.01/1790.56 c Dual Bound : +1.05043187625502e+01
1790.01/1790.56 c Gap : infinite
1790.01/1790.56 c Root Dual Bound : +1.05043187625502e+01
1790.01/1790.56 c Root Iterations : 37820
1792.42/1792.96 c Time complete: 1792.47.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703387-1278563977/watcher-2703387-1278563977 -o /tmp/evaluation-result-2703387-1278563977/solver-2703387-1278563977 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703387-1278563977.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 1.00 1.00 3/106 28165
/proc/meminfo: memFree=1843348/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=7904 CPUtime=0
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 1050 0 0 0 0 0 0 0 21 0 1 0 24610782 8093696 962 1992294400 4194304 8395647 140735158689984 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28165/statm: 1976 969 365 1026 0 946 0
[startup+0.09405 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28165
/proc/meminfo: memFree=1843348/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=18876 CPUtime=0.08
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 3895 0 0 0 7 1 0 0 21 0 1 0 24610782 19329024 3806 1992294400 4194304 8395647 140735158689984 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28165/statm: 4719 3818 393 1026 0 3689 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18876
[startup+0.10105 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28165
/proc/meminfo: memFree=1843348/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=19536 CPUtime=0.09
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 4070 0 0 0 8 1 0 0 21 0 1 0 24610782 20004864 3980 1992294400 4194304 8395647 140735158689984 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28165/statm: 4884 3991 393 1026 0 3854 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19536
[startup+0.30107 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28165
/proc/meminfo: memFree=1843348/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=27312 CPUtime=0.29
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 6123 0 0 0 27 2 0 0 21 0 1 0 24610782 27967488 6033 1992294400 4194304 8395647 140735158689984 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28165/statm: 6828 6033 393 1026 0 5798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27312
[startup+0.701109 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28165
/proc/meminfo: memFree=1843348/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=39692 CPUtime=0.69
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 9211 0 0 0 66 3 0 0 22 0 1 0 24610782 40644608 9121 1992294400 4194304 8395647 140735158689984 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28165/statm: 9923 9121 393 1026 0 8893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39692
[startup+1.50119 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28166
/proc/meminfo: memFree=1798204/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=66584 CPUtime=1.49
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 15902 0 0 0 143 6 0 0 25 0 1 0 24610782 68182016 15812 1992294400 4194304 8395647 140735158689984 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28165/statm: 16646 15812 393 1026 0 15616 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66584
[startup+3.10135 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28166
/proc/meminfo: memFree=1762368/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=120108 CPUtime=3.09
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 29230 0 0 0 297 12 0 0 25 0 1 0 24610782 122990592 29140 1992294400 4194304 8395647 140735158689984 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28165/statm: 30027 29140 393 1026 0 28997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120108
[startup+6.30066 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28166
/proc/meminfo: memFree=1653744/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=307352 CPUtime=6.29
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 76313 0 0 0 599 30 0 0 25 0 1 0 24610782 314728448 75869 1992294400 4194304 8395647 140735158689984 18446744073709551615 4219455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 76838 75869 412 1026 0 75808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 307352
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28166
/proc/meminfo: memFree=1217884/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=658944 CPUtime=12.69
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 161510 0 0 0 1211 58 0 0 25 0 1 0 24610782 674758656 161066 1992294400 4194304 8395647 140735158689984 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 164736 161066 475 1026 0 163706 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 658944
[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28166
/proc/meminfo: memFree=1064248/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=797076 CPUtime=25.48
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 217078 0 0 0 2472 76 0 0 25 0 1 0 24610782 816205824 194877 1992294400 4194304 8395647 140735158689984 18446744073709551615 4218075 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 199269 194877 546 1026 0 198239 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 797076
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28168
/proc/meminfo: memFree=1063132/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=797076 CPUtime=51.06
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 217282 0 0 0 5030 76 0 0 25 0 1 0 24610782 816205824 195081 1992294400 4194304 8395647 140735158689984 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 199269 195081 546 1026 0 198239 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 797076
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28168
/proc/meminfo: memFree=1063132/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=797076 CPUtime=102.25
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 217288 0 0 0 10149 76 0 0 25 0 1 0 24610782 816205824 195087 1992294400 4194304 8395647 140735158689984 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 199269 195087 546 1026 0 198239 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 797076
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28170
/proc/meminfo: memFree=659760/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1291360 CPUtime=162.23
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 327400 0 0 0 16104 119 0 0 25 0 1 0 24610782 1322352640 295863 1992294400 4194304 8395647 140735158689984 18446744073709551615 7382116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 322840 295863 701 1026 0 321810 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1291360
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28172
/proc/meminfo: memFree=630124/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1320772 CPUtime=222.22
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 338123 0 0 0 22096 126 0 0 25 0 1 0 24610782 1352470528 303243 1992294400 4194304 8395647 140735158689984 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 330193 303243 701 1026 0 329163 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1320772
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28174
/proc/meminfo: memFree=604704/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1345168 CPUtime=282.2
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 365070 0 0 0 28084 136 0 0 25 0 1 0 24610782 1377452032 309616 1992294400 4194304 8395647 140735158689984 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 336292 309616 701 1026 0 335262 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1345168
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28176
/proc/meminfo: memFree=601108/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1345900 CPUtime=342.19
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 365934 0 0 0 34079 140 0 0 25 0 1 0 24610782 1378201600 310480 1992294400 4194304 8395647 140735158689984 18446744073709551615 6667650 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 336475 310480 701 1026 0 335445 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1345900
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28176
/proc/meminfo: memFree=591064/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1310396 CPUtime=402.17
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 380165 0 0 0 40070 147 0 0 25 0 1 0 24610782 1341845504 312854 1992294400 4194304 8395647 140735158689984 18446744073709551615 6752539 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 327599 312854 701 1026 0 326569 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1310396
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28178
/proc/meminfo: memFree=567132/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1369684 CPUtime=462.16
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 397734 0 0 0 46058 158 0 0 25 0 1 0 24610782 1402556416 318978 1992294400 4194304 8395647 140735158689984 18446744073709551615 7382152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 342421 318978 701 1026 0 341391 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1369684
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28180
/proc/meminfo: memFree=521500/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=522.14
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 443288 0 0 0 52036 178 0 0 25 0 1 0 24610782 1470398464 330603 1992294400 4194304 8395647 140735158689984 18446744073709551615 6697723 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 330603 709 1026 0 357954 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1435936
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28182
/proc/meminfo: memFree=518904/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=582.12
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 475013 0 0 0 58018 194 0 0 25 0 1 0 24610782 1470398464 330781 1992294400 4194304 8395647 140735158689984 18446744073709551615 6699148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 330781 709 1026 0 357954 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1435936
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28184
/proc/meminfo: memFree=517168/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=642.12
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 492182 0 0 0 64006 206 0 0 25 0 1 0 24610782 1470398464 331577 1992294400 4194304 8395647 140735158689984 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331577 1126 1026 0 357954 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1435936
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=517044/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1062
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 583462 0 0 0 105937 263 0 0 25 0 1 0 24610782 1470398464 331477 1992294400 4194304 8395647 140735158689984 18446744073709551615 6698013 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331477 1126 1026 0 357954 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1435936
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28196
/proc/meminfo: memFree=517664/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1121.99
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 593790 0 0 0 111928 271 0 0 25 0 1 0 24610782 1470398464 331351 1992294400 4194304 8395647 140735158689984 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331351 1126 1026 0 357954 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1435936
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28198
/proc/meminfo: memFree=517540/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1181.97
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 599985 0 0 0 117922 275 0 0 25 0 1 0 24610782 1470398464 331358 1992294400 4194304 8395647 140735158689984 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331358 1126 1026 0 357954 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1435936
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28200
/proc/meminfo: memFree=515680/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1241.96
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 610326 0 0 0 123914 282 0 0 25 0 1 0 24610782 1470398464 331772 1992294400 4194304 8395647 140735158689984 18446744073709551615 6696590 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331772 1126 1026 0 357954 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1435936
[startup+1302.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 28209
/proc/meminfo: memFree=516424/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1301.94
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 617603 0 0 0 129907 287 0 0 25 0 1 0 24610782 1470398464 331443 1992294400 4194304 8395647 140735158689984 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331443 1126 1026 0 357954 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1435936
[startup+1362.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 28211
/proc/meminfo: memFree=516300/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1361.92
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 623051 0 0 0 135901 291 0 0 25 0 1 0 24610782 1470398464 331461 1992294400 4194304 8395647 140735158689984 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331461 1126 1026 0 357954 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1435936
[startup+1422.31 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 28213
/proc/meminfo: memFree=516300/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1421.92
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 630325 0 0 0 141895 297 0 0 25 0 1 0 24610782 1470398464 331465 1992294400 4194304 8395647 140735158689984 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331465 1126 1026 0 357954 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1435936
[startup+1482.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 28215
/proc/meminfo: memFree=516052/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1481.89
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 635788 0 0 0 147888 301 0 0 25 0 1 0 24610782 1470398464 331540 1992294400 4194304 8395647 140735158689984 18446744073709551615 7382132 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331540 1126 1026 0 357954 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1435936
[startup+1542.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 28217
/proc/meminfo: memFree=516176/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1541.87
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 642587 0 0 0 153882 305 0 0 25 0 1 0 24610782 1470398464 331539 1992294400 4194304 8395647 140735158689984 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331539 1104 1026 0 357954 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1435936
[startup+1602.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 28217
/proc/meminfo: memFree=516176/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1601.85
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 648365 0 0 0 159876 309 0 0 25 0 1 0 24610782 1470398464 331536 1992294400 4194304 8395647 140735158689984 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331536 1104 1026 0 357954 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1435936
[startup+1662.3 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 28219
/proc/meminfo: memFree=515928/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1661.84
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 654285 0 0 0 165870 314 0 0 25 0 1 0 24610782 1470398464 331584 1992294400 4194304 8395647 140735158689984 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331584 1102 1026 0 357954 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1435936
[startup+1722.3 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 28221
/proc/meminfo: memFree=515804/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1721.82
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 660423 0 0 0 171864 318 0 0 25 0 1 0 24610782 1470398464 331618 1992294400 4194304 8395647 140735158689984 18446744073709551615 6636391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331618 1102 1026 0 357954 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1435936
[startup+1782.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 28223
/proc/meminfo: memFree=513696/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1781.81
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 669578 0 0 0 177857 324 0 0 25 0 1 0 24610782 1470398464 331806 1992294400 4194304 8395647 140735158689984 18446744073709551615 6708572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331806 787 1026 0 357954 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1435936
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 28223
/proc/meminfo: memFree=513448/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1785.01
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 669630 0 0 0 178177 324 0 0 25 0 1 0 24610782 1470398464 331858 1992294400 4194304 8395647 140735158689984 18446744073709551615 6708229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331858 787 1026 0 357954 0
Current children cumulated CPU time (s) 1785.01
Current children cumulated vsize (KiB) 1435936
[startup+1788.7 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 28223
/proc/meminfo: memFree=513324/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1435936 CPUtime=1788.21
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 669658 0 0 0 178497 324 0 0 25 0 1 0 24610782 1470398464 331886 1992294400 4194304 8395647 140735158689984 18446744073709551615 6708474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 358984 331886 787 1026 0 357954 0
Current children cumulated CPU time (s) 1788.21
Current children cumulated vsize (KiB) 1435936
[startup+1790.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 28223
/proc/meminfo: memFree=513324/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1373064 CPUtime=1789.81
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 669666 0 0 0 178656 325 0 0 25 0 1 0 24610782 1406017536 316208 1992294400 4194304 8395647 140735158689984 18446744073709551615 4749712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28165/statm: 343266 316208 780 1026 0 342236 0
Current children cumulated CPU time (s) 1789.81
Current children cumulated vsize (KiB) 1373064
[startup+1791.91 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 28223
/proc/meminfo: memFree=573216/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1373064 CPUtime=1791.42
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 670387 0 0 0 178817 325 0 0 25 0 1 0 24610782 1406017536 316929 1992294400 4194304 8395647 140735158689984 18446744073709551615 6069344 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28165/statm: 343266 316929 790 1026 0 342236 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 1373064
[startup+1792.7 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 28223
/proc/meminfo: memFree=573216/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=1234604 CPUtime=1792.21
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 670387 0 0 0 178895 326 0 0 25 0 1 0 24610782 1264234496 295559 1992294400 4194304 8395647 140735158689984 18446744073709551615 6345819 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28165/statm: 308651 295559 790 1026 0 307621 0
Current children cumulated CPU time (s) 1792.21
Current children cumulated vsize (KiB) 1234604
[startup+1792.9 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 28223
/proc/meminfo: memFree=1217396/2059040 swapFree=4110772/4192956
[pid=28165] ppid=28163 vsize=567864 CPUtime=1792.42
/proc/28165/stat : 28165 (pbscip.linux.x8) R 28163 28165 28027 0 -1 4202496 670387 0 0 0 178910 332 0 0 25 0 1 0 24610782 581492736 138921 1992294400 4194304 8395647 140735158689984 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28165/statm: 141966 138921 605 1026 0 140936 0
Current children cumulated CPU time (s) 1792.42
Current children cumulated vsize (KiB) 567864
Child status: 0
Real time (s): 1792.96
CPU time (s): 1792.48
CPU user time (s): 1789.1
CPU system time (s): 3.37849
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1435936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.1
system time used= 3.37849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670395
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= 1
involuntary context switches= 6795
runsolver used 3.09053 second user time and 8.34173 second system time
The end