0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3744119-1338801555.opb>
6.88/6.92 c original problem has 370300 variables (370300 bin, 0 int, 0 impl, 0 cont) and 847958 constraints
6.88/6.92 c problem read
6.88/6.92 c presolving settings loaded
8.98/9.09 c presolving:
12.28/12.37 c (round 1) 11275 del vars, 7354 del conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 0 upgd conss, 1190800 impls, 1 clqs
18.48/18.55 c (round 2) 11275 del vars, 8579 del conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 1190800 impls, 1 clqs
180.51/180.67 c (173.7s) probing: 1000/359025 (0.3%) - 0 fixings, 0 aggregations, 357821 implications, 0 bound changes
312.97/313.18 c (306.3s) probing: 2000/359025 (0.6%) - 0 fixings, 0 aggregations, 414549 implications, 0 bound changes
313.17/313.32 c (306.4s) probing: 2001/359025 (0.6%) - 0 fixings, 0 aggregations, 414586 implications, 0 bound changes
313.17/313.32 c (306.4s) probing aborted: 2000/2000 successive useless probings
313.17/313.34 c presolving (3 rounds):
313.17/313.34 c 11275 deleted vars, 8579 deleted constraints, 200 tightened bounds, 0 added holes, 1225 changed sides, 84525 changed coefficients
313.17/313.34 c 68723684 implications, 1 cliques
313.17/313.34 c presolved problem has 359025 variables (359025 bin, 0 int, 0 impl, 0 cont) and 839379 constraints
313.17/313.34 c 241475 constraints of type <knapsack>
313.17/313.34 c 356526 constraints of type <setppc>
313.17/313.34 c 3 constraints of type <linear>
313.17/313.34 c 241375 constraints of type <logicor>
313.17/313.34 c transformed objective value is always integral (scale: 1)
313.17/313.34 c Presolving Time: 304.94
313.17/313.34 c - non default parameters ----------------------------------------------------------------------
313.17/313.34 c # SCIP version 1.2.1.3
313.17/313.34 c
313.17/313.34 c # frequency for displaying node information lines
313.17/313.34 c # [type: int, range: [-1,2147483647], default: 100]
313.17/313.34 c display/freq = 10000
313.17/313.34 c
313.17/313.34 c # maximal time in seconds to run
313.17/313.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
313.17/313.34 c limits/time = 1783.08
313.17/313.34 c
313.17/313.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
313.17/313.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
313.17/313.34 c limits/memory = 13950
313.17/313.34 c
313.17/313.34 c # default clock type (1: CPU user seconds, 2: wall clock time)
313.17/313.34 c # [type: int, range: [1,2], default: 1]
313.17/313.34 c timing/clocktype = 2
313.17/313.34 c
313.17/313.34 c # should presolving try to simplify inequalities
313.17/313.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
313.17/313.34 c constraints/linear/simplifyinequalities = TRUE
313.17/313.34 c
313.17/313.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
313.17/313.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
313.17/313.34 c constraints/indicator/addCouplingCons = TRUE
313.17/313.34 c
313.17/313.34 c # should presolving try to simplify knapsacks
313.17/313.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
313.17/313.34 c constraints/knapsack/simplifyinequalities = TRUE
313.17/313.34 c
313.17/313.34 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
313.17/313.34 c # [type: int, range: [-1,2147483647], default: -1]
313.17/313.34 c separating/rapidlearning/freq = 0
313.17/313.34 c
313.17/313.34 c -----------------------------------------------------------------------------------------------
313.17/313.34 c start solving
313.28/313.44 c
446.75/446.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.75/446.99 c 440s| 1 | 0 | 7539 | - |3906M| 0 | 983 | 359k| 839k| 359k| 839k| 0 | 0 | 0 | 5.309356e+05 | -- | Inf
1789.75/1790.12 c 1783s| 1 | 0 | 19179 | - |3933M| 0 | - | 359k| 839k| 359k| 839k| 44 | 0 | 0 | 5.309356e+05 | -- | Inf
1790.04/1790.46 c 1784s| 1 | 2 | 19179 | - |3933M| 0 | - | 359k| 839k| 359k| 839k| 44 | 0 | 0 | 5.309356e+05 | -- | Inf
1790.04/1790.46 c
1790.04/1790.46 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.46 c Solving Time (sec) : 1783.54
1790.04/1790.46 c Solving Nodes : 1
1790.04/1790.46 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.04/1790.46 c Dual Bound : +5.30935578062999e+05
1790.04/1790.46 c Gap : infinite
1790.04/1790.46 s UNKNOWN
1790.04/1790.46 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.46 c Solving Time : 1783.54
1790.04/1790.46 c Original Problem :
1790.04/1790.46 c Problem name : HOME/instance-3744119-1338801555.opb
1790.04/1790.46 c Variables : 370300 (370300 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.04/1790.46 c Constraints : 847958 initial, 847958 maximal
1790.04/1790.46 c Presolved Problem :
1790.04/1790.46 c Problem name : t_HOME/instance-3744119-1338801555.opb
1790.04/1790.46 c Variables : 359025 (359025 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.04/1790.46 c Constraints : 839379 initial, 839379 maximal
1790.04/1790.46 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.46 c trivial : 0.05 0 0 0 0 0 0 0 0
1790.04/1790.46 c dualfix : 0.05 7400 0 0 0 0 0 0 0
1790.04/1790.46 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.46 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.46 c implics : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.46 c probing : 244.32 0 0 0 0 0 0 0 0
1790.04/1790.46 c knapsack : 49.41 0 0 0 0 0 0 0 78400
1790.04/1790.46 c setppc : 0.72 0 0 0 0 0 0 0 0
1790.04/1790.46 c linear : 8.32 200 3675 0 200 0 8579 1225 6125
1790.04/1790.46 c logicor : 0.57 0 0 0 0 0 0 0 0
1790.04/1790.46 c root node : - 0 - - 0 - - - -
1790.04/1790.46 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.46 c integral : 0 0 0 0 0 0 0 0 0 0
1790.04/1790.46 c knapsack : 241475 1 6050 0 1 0 0 35 0 0
1790.04/1790.46 c setppc : 356526 1 6050 0 1 0 0 0 0 0
1790.04/1790.46 c linear : 3 1 6050 0 0 0 0 0 0 0
1790.04/1790.46 c logicor : 241375 1 4051 0 1 0 0 0 0 0
1790.04/1790.46 c countsols : 0 0 0 0 1 0 0 0 0 0
1790.04/1790.46 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.46 c integral : 0.00 0.00 0.00 0.00 0.00
1790.04/1790.46 c knapsack : 80.85 0.40 80.45 0.00 0.00
1790.04/1790.46 c setppc : 98.55 0.04 98.37 0.00 0.14
1790.04/1790.46 c linear : 18.78 17.89 0.90 0.00 0.00
1790.04/1790.46 c logicor : 1.23 0.03 1.10 0.00 0.10
1790.04/1790.46 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.04/1790.46 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.46 c vbounds : 0.01 2 0 0
1790.04/1790.46 c rootredcost : 0.00 0 0 0
1790.04/1790.46 c pseudoobj : 0.02 2 0 0
1790.04/1790.46 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.46 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.46 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.46 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.46 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.46 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.46 c applied globally : - - - 0 0.0 - - -
1790.04/1790.46 c applied locally : - - - 0 0.0 - - -
1790.04/1790.46 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.46 c cut pool : 0.00 0 - - 0 - (maximal pool size: 376)
1790.04/1790.46 c redcost : 0.02 1 0 0 0 0
1790.04/1790.46 c impliedbounds : 0.04 1 0 0 52 0
1790.04/1790.46 c intobj : 0.00 0 0 0 0 0
1790.04/1790.46 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.46 c gomory : 149.78 1 0 0 500 0
1790.04/1790.46 c strongcg : 18.46 1 0 0 500 0
1790.04/1790.46 c cmir : 107.70 1 0 0 0 0
1790.04/1790.46 c flowcover : 349.78 1 0 0 17 0
1790.04/1790.46 c clique : 0.00 0 0 0 0 0
1790.04/1790.46 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.46 c mcf : 0.00 0 0 0 0 0
1790.04/1790.46 c rapidlearning : 0.00 0 0 0 0 0
1790.04/1790.46 c Pricers : Time Calls Vars
1790.04/1790.46 c problem variables: 0.00 0 0
1790.04/1790.46 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.46 c relpscost : 0.00 0 0 0 0 0 0
1790.04/1790.46 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.46 c inference : 0.09 1 0 0 0 0 2
1790.04/1790.46 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.46 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.46 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.46 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.46 c random : 0.00 0 0 0 0 0 0
1790.04/1790.46 c Primal Heuristics : Time Calls Found
1790.04/1790.46 c LP solutions : 0.00 - 0
1790.04/1790.46 c pseudo solutions : 0.00 - 0
1790.04/1790.46 c oneopt : 0.00 0 0
1790.04/1790.46 c trivial : 0.43 2 0
1790.04/1790.46 c simplerounding : 0.01 0 0
1790.04/1790.46 c zirounding : 0.00 0 0
1790.04/1790.46 c rounding : 0.04 1 0
1790.04/1790.46 c shifting : 0.10 1 0
1790.04/1790.46 c intshifting : 0.00 0 0
1790.04/1790.46 c twoopt : 0.00 0 0
1790.04/1790.46 c fixandinfer : 0.00 0 0
1790.04/1790.46 c feaspump : 698.75 1 0
1790.04/1790.46 c coefdiving : 0.00 0 0
1790.04/1790.46 c pscostdiving : 0.00 0 0
1790.04/1790.46 c fracdiving : 0.00 0 0
1790.04/1790.46 c veclendiving : 0.00 0 0
1790.04/1790.46 c intdiving : 0.00 0 0
1790.04/1790.46 c actconsdiving : 0.00 0 0
1790.04/1790.46 c objpscostdiving : 0.00 0 0
1790.04/1790.46 c rootsoldiving : 0.00 0 0
1790.04/1790.46 c linesearchdiving : 0.00 0 0
1790.04/1790.46 c guideddiving : 0.00 0 0
1790.04/1790.46 c octane : 0.00 0 0
1790.04/1790.46 c rens : 0.00 0 0
1790.04/1790.46 c rins : 0.00 0 0
1790.04/1790.46 c localbranching : 0.00 0 0
1790.04/1790.46 c mutation : 0.00 0 0
1790.04/1790.46 c crossover : 0.00 0 0
1790.04/1790.46 c dins : 0.00 0 0
1790.04/1790.46 c undercover : 0.00 0 0
1790.04/1790.46 c nlp : 0.00 0 0
1790.04/1790.46 c trysol : 0.00 0 0
1790.04/1790.46 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.46 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.46 c dual LP : 131.30 1 7539 7539.00 57.42
1790.04/1790.46 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.46 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.46 c diving/probing LP: 698.14 3 11640 3880.00 16.67
1790.04/1790.46 c strong branching : 0.00 0 0 0.00 -
1790.04/1790.46 c (at root node) : - 0 0 0.00 -
1790.04/1790.46 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.46 c B&B Tree :
1790.04/1790.46 c number of runs : 1
1790.04/1790.46 c nodes : 1
1790.04/1790.46 c nodes (total) : 1
1790.04/1790.46 c nodes left : 2
1790.04/1790.46 c max depth : 0
1790.04/1790.46 c max depth (total): 0
1790.04/1790.46 c backtracks : 0 (0.0%)
1790.04/1790.46 c delayed cutoffs : 0
1790.04/1790.46 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.04/1790.46 c avg switch length: 1.00
1790.04/1790.46 c switching time : 0.00
1790.04/1790.46 c Solution :
1790.04/1790.46 c Solutions found : 0 (0 improvements)
1790.04/1790.46 c Primal Bound : -
1790.04/1790.46 c Dual Bound : +5.30935578062999e+05
1790.04/1790.46 c Gap : infinite
1790.04/1790.46 c Root Dual Bound : +5.30935578062999e+05
1790.04/1790.46 c Root Iterations : 19179
1795.15/1795.54 c Time complete: 1795.19.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744119-1338801555/watcher-3744119-1338801555 -o /tmp/evaluation-result-3744119-1338801555/solver-3744119-1338801555 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744119-1338801555.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.01 2.00 3/176 14717
/proc/meminfo: memFree=27281136/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/14717/stat : 14717 (runsolver) D 14715 14717 13572 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 346222608 12095488 50 33554432000 4194304 5436572 140737103548544 140737103544840 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/14717/statm: 2953 50 31 304 0 2645 0
[startup+0.066451 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 14717
/proc/meminfo: memFree=27281136/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=32756 CPUtime=0.05 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 7374 0 0 0 4 1 0 0 20 0 1 0 346222608 33542144 7316 33554432000 4194304 8395647 140734159860496 140737103544728 6347101 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 8189 7348 387 1026 0 7159 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 32756
[startup+0.100337 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 14717
/proc/meminfo: memFree=27281136/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=46312 CPUtime=0.08 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 10755 0 0 0 7 1 0 0 20 0 1 0 346222608 47423488 10696 33554432000 4194304 8395647 140734159860496 140737103544728 5759075 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 11578 10696 387 1026 0 10548 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46312
[startup+0.300289 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 14717
/proc/meminfo: memFree=27281136/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=108120 CPUtime=0.29 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 25502 0 0 0 25 4 0 0 20 0 1 0 346222608 110714880 25443 33554432000 4194304 8395647 140734159860496 140737103544728 7430272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 27030 25443 394 1026 0 26000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108120
[startup+0.700274 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 14717
/proc/meminfo: memFree=27281136/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=152864 CPUtime=0.68 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 36720 0 0 0 63 5 0 0 20 0 1 0 346222608 156532736 36661 33554432000 4194304 8395647 140734159860496 140734159725704 7382041 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 38216 36661 394 1026 0 37186 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 152864
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14718
/proc/meminfo: memFree=27089408/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=247904 CPUtime=1.48 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 60379 0 0 0 139 9 0 0 20 0 1 0 346222608 253853696 60320 33554432000 4194304 8395647 140734159860496 140734159725704 7430272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 61976 60320 394 1026 0 60946 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 247904
[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14718
/proc/meminfo: memFree=27005700/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=325276 CPUtime=3.08 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 79749 0 0 0 296 12 0 0 20 0 1 0 346222608 333082624 79690 33554432000 4194304 8395647 140734159860496 140734159725704 7430272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 81319 79690 394 1026 0 80289 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 325276
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14718
/proc/meminfo: memFree=26798868/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=553340 CPUtime=6.28 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 136751 0 0 0 607 21 0 0 20 0 1 0 346222608 566620160 136692 33554432000 4194304 8395647 140734159860496 140734159725704 7430272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 138335 136692 394 1026 0 137305 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 553340
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14718
/proc/meminfo: memFree=25671824/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=1652332 CPUtime=12.68 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 405818 0 0 0 1212 56 0 0 20 0 1 0 346222608 1691987968 407960 33554432000 4194304 8395647 140734159860496 140734159857112 18446744073699066235 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 413083 407960 475 1026 0 412053 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1652332
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14718
/proc/meminfo: memFree=24924332/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=2391396 CPUtime=25.48 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 586975 0 0 0 2468 80 0 0 20 0 1 0 346222608 2448789504 589688 33554432000 4194304 8395647 140734159860496 140734159854728 4918181 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 597849 589688 495 1026 0 596819 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2391396
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14759
/proc/meminfo: memFree=23521468/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=3547968 CPUtime=51.07 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 876133 0 0 0 4986 121 0 0 20 0 1 0 346222608 3633119232 878928 33554432000 4194304 8395647 140734159860496 140734159855960 6068889 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 886992 878928 495 1026 0 885962 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3547968
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14759
/proc/meminfo: memFree=22780936/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=4030340 CPUtime=102.25 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 991447 0 0 0 10088 137 0 0 20 0 1 0 346222608 4127068160 1000292 33554432000 4194304 8395647 140734159860496 140734159856680 5210343 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1007585 1000292 507 1026 0 1006555 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 4030340
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14759
/proc/meminfo: memFree=22644560/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=4061032 CPUtime=162.22 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 999112 0 0 0 16084 138 0 0 20 0 1 0 346222608 4158496768 1007948 33554432000 4194304 8395647 140734159860496 140734159856568 4911233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1015258 1007948 507 1026 0 1014228 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 4061032
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14759
/proc/meminfo: memFree=22573444/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=4075352 CPUtime=222.19 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1002811 0 0 0 22080 139 0 0 20 0 1 0 346222608 4173160448 1011623 33554432000 4194304 8395647 140734159860496 140734159856680 5210338 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1018838 1011623 513 1026 0 1017808 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 4075352
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14760
/proc/meminfo: memFree=22482144/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=4159300 CPUtime=282.18 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1023804 0 0 0 28076 142 0 0 20 0 1 0 346222608 4259123200 1032610 33554432000 4194304 8395647 140734159860496 140734159856360 4910721 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1039825 1032610 513 1026 0 1038795 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 4159300
[startup+342.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 14760
/proc/meminfo: memFree=21417144/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5311008 CPUtime=342.17 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1172788 0 0 0 34041 176 0 0 20 0 1 0 346222608 5438472192 1295073 33554432000 4194304 8395647 140734159860496 140734159855960 6697720 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1327752 1295073 583 1026 0 1326722 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 5311008
[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 14760
/proc/meminfo: memFree=21362628/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5352728 CPUtime=402.16 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1177364 0 0 0 40026 190 0 0 20 0 1 0 346222608 5481193472 1306173 33554432000 4194304 8395647 140734159860496 140734159855624 6723586 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1338182 1306173 583 1026 0 1337152 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 5352728
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14760
/proc/meminfo: memFree=21287196/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5450472 CPUtime=462.15 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1184159 0 0 0 46006 209 0 0 20 0 1 0 346222608 5581283328 1327363 33554432000 4194304 8395647 140734159860496 140734159855016 6697246 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1362618 1327363 589 1026 0 1361588 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 5450472
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14760
/proc/meminfo: memFree=21281092/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5428308 CPUtime=522.14 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1186394 0 0 0 52001 213 0 0 20 0 1 0 346222608 5558587392 1322343 33554432000 4194304 8395647 140734159860496 140734159855144 6709513 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1357077 1322343 589 1026 0 1356047 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 5428308
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14761
/proc/meminfo: memFree=21284780/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5419176 CPUtime=582.13 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1190453 0 0 0 57991 222 0 0 20 0 1 0 346222608 5549236224 1318408 33554432000 4194304 8395647 140734159860496 140734159855320 6752536 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1354794 1318408 589 1026 0 1353764 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 5419176
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21201184/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5499084 CPUtime=1062.06 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1205674 0 0 0 105936 270 0 0 20 0 1 0 346222608 5631062016 1335502 33554432000 4194304 8395647 140734159860496 140734159855016 6669622 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1374771 1335502 589 1026 0 1373741 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 5499084
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14765
/proc/meminfo: memFree=21200600/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5500564 CPUtime=1122.05 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1206876 0 0 0 111927 278 0 0 20 0 1 0 346222608 5632577536 1335161 33554432000 4194304 8395647 140734159860496 140734159855064 6708218 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1375141 1335161 589 1026 0 1374111 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 5500564
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14765
/proc/meminfo: memFree=21293712/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5362036 CPUtime=1182.04 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1208524 0 0 0 117923 281 0 0 20 0 1 0 346222608 5490724864 1311268 33554432000 4194304 8395647 140734159860496 140734159855688 6440490 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1340509 1311268 603 1026 0 1339479 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 5362036
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14766
/proc/meminfo: memFree=21285988/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5362036 CPUtime=1242.03 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1208524 0 0 0 123919 284 0 0 20 0 1 0 346222608 5490724864 1311268 33554432000 4194304 8395647 140734159860496 140734159855736 6197311 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1340509 1311268 603 1026 0 1339479 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 5362036
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14769
/proc/meminfo: memFree=21277700/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5362036 CPUtime=1302.02 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1208524 0 0 0 129917 285 0 0 20 0 1 0 346222608 5490724864 1311268 33554432000 4194304 8395647 140734159860496 140734159855736 6197315 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1340509 1311268 603 1026 0 1339479 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 5362036
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14769
/proc/meminfo: memFree=21182504/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5362036 CPUtime=1362.02 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1208782 0 0 0 135915 287 0 0 20 0 1 0 346222608 5490724864 1311526 33554432000 4194304 8395647 140734159860496 140734159855784 5827844 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1340509 1311526 606 1026 0 1339479 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 5362036
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14769
/proc/meminfo: memFree=21178312/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5381012 CPUtime=1422.01 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1208862 0 0 0 141914 287 0 0 20 0 1 0 346222608 5510156288 1312628 33554432000 4194304 8395647 140734159860496 140734159854904 7382127 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1345253 1312628 606 1026 0 1344223 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 5381012
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14769
/proc/meminfo: memFree=21173748/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5388296 CPUtime=1482 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1209325 0 0 0 147913 287 0 0 20 0 1 0 346222608 5517615104 1313741 33554432000 4194304 8395647 140734159860496 140734159856024 5849658 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1347074 1313741 608 1026 0 1346044 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 5388296
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14771
/proc/meminfo: memFree=21173768/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5388296 CPUtime=1541.99 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1209325 0 0 0 153912 287 0 0 20 0 1 0 346222608 5517615104 1313741 33554432000 4194304 8395647 140734159860496 140734159856024 5849675 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1347074 1313741 608 1026 0 1346044 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 5388296
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14771
/proc/meminfo: memFree=21173928/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5388296 CPUtime=1601.98 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1209325 0 0 0 159911 287 0 0 20 0 1 0 346222608 5517615104 1313741 33554432000 4194304 8395647 140734159860496 140734159856024 5849694 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1347074 1313741 608 1026 0 1346044 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 5388296
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14771
/proc/meminfo: memFree=21159936/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5405520 CPUtime=1661.96 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1211766 0 0 0 165909 287 0 0 20 0 1 0 346222608 5535252480 1317205 33554432000 4194304 8395647 140734159860496 140734159854392 5852502 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1351380 1317205 611 1026 0 1350350 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 5405520
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14771
/proc/meminfo: memFree=21159096/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5405520 CPUtime=1721.95 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1212034 0 0 0 171908 287 0 0 20 0 1 0 346222608 5535252480 1317473 33554432000 4194304 8395647 140734159860496 140734159854392 5852534 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1351380 1317473 611 1026 0 1350350 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 5405520
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14771
/proc/meminfo: memFree=21158504/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5405520 CPUtime=1781.94 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1212139 0 0 0 177907 287 0 0 20 0 1 0 346222608 5535252480 1317578 33554432000 4194304 8395647 140734159860496 140734159854392 7382116 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1351380 1317578 611 1026 0 1350350 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 5405520
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14771
/proc/meminfo: memFree=21158504/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5405520 CPUtime=1785.14 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1212139 0 0 0 178227 287 0 0 20 0 1 0 346222608 5535252480 1317578 33554432000 4194304 8395647 140734159860496 140734159854392 5852534 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1351380 1317578 611 1026 0 1350350 0
Current children cumulated CPU time (s) 1785.14
Current children cumulated vsize (KiB) 5405520
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14771
/proc/meminfo: memFree=21106736/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5453488 CPUtime=1791.56 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1214896 0 0 0 178866 290 0 0 20 0 1 0 346222608 5584371712 1330320 33554432000 4194304 8395647 140734159860496 140734159859832 4720720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1363372 1330320 621 1026 0 1362342 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 5453488
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14771
/proc/meminfo: memFree=21106744/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5453488 CPUtime=1793.15 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1214896 0 0 0 179025 290 0 0 20 0 1 0 346222608 5584371712 1330320 33554432000 4194304 8395647 140734159860496 140734159859832 6063840 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1363372 1330320 621 1026 0 1362342 0
Current children cumulated CPU time (s) 1793.15
Current children cumulated vsize (KiB) 5453488
[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14771
/proc/meminfo: memFree=21106744/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5453488 CPUtime=1793.95 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1214896 0 0 0 179105 290 0 0 20 0 1 0 346222608 5584371712 1330320 33554432000 4194304 8395647 140734159860496 140734159859832 4720765 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1363372 1330320 621 1026 0 1362342 0
Current children cumulated CPU time (s) 1793.95
Current children cumulated vsize (KiB) 5453488
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14771
/proc/meminfo: memFree=21297512/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=5193228 CPUtime=1794.75 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1214896 0 0 0 179185 290 0 0 20 0 1 0 346222608 5317865472 1282716 33554432000 4194304 8395647 140734159860496 140734159859880 4745676 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 1298307 1282716 621 1026 0 1297277 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 5193228
[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14771
/proc/meminfo: memFree=21297512/32873844 swapFree=7128/7128
[pid=14717] ppid=14715 vsize=3909276 CPUtime=1795.15 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 13572 0 -1 4202496 1214896 0 0 0 179217 298 0 0 20 0 1 0 346222608 4003098624 861508 33554432000 4194304 8395647 140734159860496 140734159859880 7602442 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14717/statm: 977319 861508 621 1026 0 976289 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3909276
Child status: 0
Real time (s): 1795.54
CPU time (s): 1795.2
CPU user time (s): 1792.17
CPU system time (s): 3.02754
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 5605404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.17
system time used= 3.02754
maximum resident set size= 5383836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1214903
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= 70
involuntary context switches= 2034
runsolver used 2.84157 second user time and 7.73582 second system time
The end