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-3743359-1338782366.opb>
4.69/4.74 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
4.69/4.74 c problem read
4.69/4.74 c presolving settings loaded
7.08/7.12 c presolving:
10.99/11.04 c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
12.19/12.25 c (round 2) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
117.15/117.21 c (round 3) 676 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12195506 impls, 1977 clqs
117.55/117.69 c (round 4) 676 del vars, 2653 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12199508 impls, 1977 clqs
118.15/118.26 c presolving (5 rounds):
118.15/118.26 c 676 deleted vars, 2653 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
118.15/118.26 c 12199508 implications, 1977 cliques
118.15/118.26 c presolved problem has 400220 variables (400220 bin, 0 int, 0 impl, 0 cont) and 400110 constraints
118.15/118.26 c 1 constraints of type <knapsack>
118.15/118.26 c 26425 constraints of type <setppc>
118.15/118.26 c 373684 constraints of type <logicor>
118.15/118.26 c transformed objective value is always integral (scale: 1)
118.15/118.26 c Presolving Time: 112.07
118.15/118.26 c - non default parameters ----------------------------------------------------------------------
118.15/118.26 c # SCIP version 1.2.1.3
118.15/118.26 c
118.15/118.26 c # frequency for displaying node information lines
118.15/118.26 c # [type: int, range: [-1,2147483647], default: 100]
118.15/118.26 c display/freq = 10000
118.15/118.26 c
118.15/118.26 c # maximal time in seconds to run
118.15/118.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
118.15/118.26 c limits/time = 1785.26
118.15/118.26 c
118.15/118.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
118.15/118.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
118.15/118.26 c limits/memory = 13950
118.15/118.26 c
118.15/118.26 c # default clock type (1: CPU user seconds, 2: wall clock time)
118.15/118.26 c # [type: int, range: [1,2], default: 1]
118.15/118.26 c timing/clocktype = 2
118.15/118.26 c
118.15/118.26 c # should presolving try to simplify inequalities
118.15/118.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
118.15/118.26 c constraints/linear/simplifyinequalities = TRUE
118.15/118.26 c
118.15/118.26 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
118.15/118.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
118.15/118.26 c constraints/indicator/addCouplingCons = TRUE
118.15/118.26 c
118.15/118.26 c # should presolving try to simplify knapsacks
118.15/118.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
118.15/118.26 c constraints/knapsack/simplifyinequalities = TRUE
118.15/118.26 c
118.15/118.26 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
118.15/118.26 c # [type: int, range: [-1,2147483647], default: -1]
118.15/118.26 c separating/rapidlearning/freq = 0
118.15/118.26 c
118.15/118.26 c -----------------------------------------------------------------------------------------------
118.15/118.26 c start solving
118.36/118.42 c
716.87/717.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.87/717.08 c 712s| 1 | 0 | 51146 | - |2038M| 0 | 10k| 400k| 400k| 400k| 400k| 0 | 0 | 0 |-9.622348e+04 | -- | Inf
1790.09/1790.42 c 1786s| 1 | 2 | 79465 | - |2045M| 0 | - | 400k| 400k| 400k| 400k| 0 | 0 | 0 |-9.622348e+04 | -- | Inf
1790.09/1790.42 c
1790.09/1790.42 c SCIP Status : solving was interrupted [time limit reached]
1790.09/1790.42 c Solving Time (sec) : 1785.67
1790.09/1790.42 c Solving Nodes : 1
1790.09/1790.42 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.09/1790.42 c Dual Bound : -9.62234752172210e+04
1790.09/1790.42 c Gap : infinite
1790.09/1790.42 s UNKNOWN
1790.09/1790.42 c SCIP Status : solving was interrupted [time limit reached]
1790.09/1790.42 c Solving Time : 1785.67
1790.09/1790.42 c Original Problem :
1790.09/1790.42 c Problem name : HOME/instance-3743359-1338782366.opb
1790.09/1790.42 c Variables : 400896 (400896 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.09/1790.42 c Constraints : 402763 initial, 402763 maximal
1790.09/1790.42 c Presolved Problem :
1790.09/1790.42 c Problem name : t_HOME/instance-3743359-1338782366.opb
1790.09/1790.42 c Variables : 400220 (400220 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.09/1790.42 c Constraints : 400110 initial, 400110 maximal
1790.09/1790.42 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.09/1790.42 c trivial : 0.14 0 0 0 0 0 0 0 0
1790.09/1790.42 c dualfix : 0.11 0 0 0 0 0 0 0 0
1790.09/1790.42 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.09/1790.42 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.09/1790.42 c implics : 0.07 0 0 0 0 0 0 0 0
1790.09/1790.42 c probing : 104.22 676 0 0 0 0 0 0 0
1790.09/1790.42 c knapsack : 0.08 0 0 0 0 0 0 0 0
1790.09/1790.42 c setppc : 0.32 0 0 0 0 0 0 0 0
1790.09/1790.42 c linear : 3.12 0 0 0 0 0 1977 0 0
1790.09/1790.42 c logicor : 2.07 0 0 0 0 0 676 0 0
1790.09/1790.42 c root node : - 0 - - 0 - - - -
1790.09/1790.42 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.09/1790.42 c integral : 0 0 0 0 0 0 0 0 0 0
1790.09/1790.42 c knapsack : 1 0 19430 0 1 0 0 0 0 0
1790.09/1790.42 c setppc : 26425 0 19430 0 1 9 0 0 0 0
1790.09/1790.42 c logicor : 373684 0 5888 0 1 0 0 0 0 0
1790.09/1790.42 c countsols : 0 0 0 0 1 0 0 0 0 0
1790.09/1790.42 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.09/1790.42 c integral : 0.00 0.00 0.00 0.00 0.00
1790.09/1790.42 c knapsack : 38.19 0.00 38.19 0.00 0.00
1790.09/1790.42 c setppc : 10.13 0.00 10.10 0.00 0.03
1790.09/1790.42 c logicor : 10.04 0.00 9.94 0.00 0.09
1790.09/1790.42 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.09/1790.42 c Propagators : Time Calls Cutoffs DomReds
1790.09/1790.42 c vbounds : 0.02 2 0 0
1790.09/1790.42 c rootredcost : 0.01 0 0 0
1790.09/1790.42 c pseudoobj : 0.02 2 0 0
1790.09/1790.42 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.09/1790.42 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.09/1790.42 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.09/1790.42 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.09/1790.42 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.09/1790.42 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.09/1790.42 c applied globally : - - - 0 0.0 - - -
1790.09/1790.42 c applied locally : - - - 0 0.0 - - -
1790.09/1790.42 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.09/1790.42 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.09/1790.42 c redcost : 0.00 0 0 0 0 0
1790.09/1790.42 c impliedbounds : 0.00 0 0 0 0 0
1790.09/1790.42 c intobj : 0.00 0 0 0 0 0
1790.09/1790.42 c cgmip : 0.00 0 0 0 0 0
1790.09/1790.42 c gomory : 0.00 0 0 0 0 0
1790.09/1790.42 c strongcg : 0.00 0 0 0 0 0
1790.09/1790.42 c cmir : 0.00 0 0 0 0 0
1790.09/1790.42 c flowcover : 0.00 0 0 0 0 0
1790.09/1790.42 c clique : 0.00 0 0 0 0 0
1790.09/1790.42 c zerohalf : 0.00 0 0 0 0 0
1790.09/1790.42 c mcf : 0.00 0 0 0 0 0
1790.09/1790.42 c rapidlearning : 0.00 0 0 0 0 0
1790.09/1790.42 c Pricers : Time Calls Vars
1790.09/1790.42 c problem variables: 0.00 0 0
1790.09/1790.42 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.09/1790.42 c relpscost : 0.00 0 0 0 0 0 0
1790.09/1790.42 c pscost : 0.00 0 0 0 0 0 0
1790.09/1790.42 c inference : 0.10 1 0 0 0 0 2
1790.09/1790.42 c mostinf : 0.00 0 0 0 0 0 0
1790.09/1790.42 c leastinf : 0.00 0 0 0 0 0 0
1790.09/1790.42 c fullstrong : 0.00 0 0 0 0 0 0
1790.09/1790.42 c allfullstrong : 0.00 0 0 0 0 0 0
1790.09/1790.42 c random : 0.00 0 0 0 0 0 0
1790.09/1790.42 c Primal Heuristics : Time Calls Found
1790.09/1790.42 c LP solutions : 0.00 - 0
1790.09/1790.42 c pseudo solutions : 0.00 - 0
1790.09/1790.42 c oneopt : 0.00 0 0
1790.09/1790.42 c trivial : 0.45 2 0
1790.09/1790.42 c simplerounding : 0.02 0 0
1790.09/1790.42 c zirounding : 0.00 0 0
1790.09/1790.42 c rounding : 0.04 1 0
1790.09/1790.42 c shifting : 0.26 1 0
1790.09/1790.42 c intshifting : 0.00 0 0
1790.09/1790.42 c twoopt : 0.00 0 0
1790.09/1790.42 c fixandinfer : 0.00 0 0
1790.09/1790.42 c feaspump : 1072.79 1 0
1790.09/1790.42 c coefdiving : 0.00 0 0
1790.09/1790.42 c pscostdiving : 0.00 0 0
1790.09/1790.42 c fracdiving : 0.00 0 0
1790.09/1790.42 c veclendiving : 0.00 0 0
1790.09/1790.42 c intdiving : 0.00 0 0
1790.09/1790.42 c actconsdiving : 0.00 0 0
1790.09/1790.42 c objpscostdiving : 0.00 0 0
1790.09/1790.42 c rootsoldiving : 0.00 0 0
1790.09/1790.42 c linesearchdiving : 0.00 0 0
1790.09/1790.42 c guideddiving : 0.00 0 0
1790.09/1790.42 c octane : 0.00 0 0
1790.09/1790.42 c rens : 0.00 0 0
1790.09/1790.42 c rins : 0.00 0 0
1790.09/1790.42 c localbranching : 0.00 0 0
1790.09/1790.42 c mutation : 0.00 0 0
1790.09/1790.42 c crossover : 0.00 0 0
1790.09/1790.42 c dins : 0.00 0 0
1790.09/1790.42 c undercover : 0.00 0 0
1790.09/1790.42 c nlp : 0.00 0 0
1790.09/1790.42 c trysol : 0.00 0 0
1790.09/1790.42 c LP : Time Calls Iterations Iter/call Iter/sec
1790.09/1790.42 c primal LP : 0.00 0 0 0.00 -
1790.09/1790.42 c dual LP : 596.77 1 51146 51146.00 85.70
1790.09/1790.42 c lex dual LP : 0.00 0 0 0.00 -
1790.09/1790.42 c barrier LP : 0.00 0 0 0.00 -
1790.09/1790.42 c diving/probing LP: 1071.25 8 28319 3539.88 26.44
1790.09/1790.42 c strong branching : 0.00 0 0 0.00 -
1790.09/1790.42 c (at root node) : - 0 0 0.00 -
1790.09/1790.42 c conflict analysis: 0.00 0 0 0.00 -
1790.09/1790.42 c B&B Tree :
1790.09/1790.42 c number of runs : 1
1790.09/1790.42 c nodes : 1
1790.09/1790.42 c nodes (total) : 1
1790.09/1790.42 c nodes left : 2
1790.09/1790.42 c max depth : 0
1790.09/1790.42 c max depth (total): 0
1790.09/1790.42 c backtracks : 0 (0.0%)
1790.09/1790.42 c delayed cutoffs : 0
1790.09/1790.42 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.09/1790.42 c avg switch length: 1.00
1790.09/1790.42 c switching time : 0.00
1790.09/1790.42 c Solution :
1790.09/1790.42 c Solutions found : 0 (0 improvements)
1790.09/1790.42 c Primal Bound : -
1790.09/1790.42 c Dual Bound : -9.62234752172210e+04
1790.09/1790.42 c Gap : infinite
1790.09/1790.42 c Root Dual Bound : -9.62234752172210e+04
1790.09/1790.42 c Root Iterations : 79465
1793.10/1793.42 c Time complete: 1793.12.
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-3743359-1338782366/watcher-3743359-1338782366 -o /tmp/evaluation-result-3743359-1338782366/solver-3743359-1338782366 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743359-1338782366.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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: 1.00 1.15 1.53 3/175 2273
/proc/meminfo: memFree=28344012/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 1658 0 0 0 0 0 0 0 20 0 1 0 344365264 10211328 1603 33554432000 4194304 8395647 140736143805184 140736972753672 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 2493 1612 374 1026 0 1463 0
[startup+0.105119 s]
/proc/loadavg: 1.00 1.15 1.53 3/175 2273
/proc/meminfo: memFree=28344012/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=29932 CPUtime=0.09 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 6757 0 0 0 8 1 0 0 20 0 1 0 344365264 30650368 6702 33554432000 4194304 8395647 140736143805184 140736143670392 4424487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 7483 6702 393 1026 0 6453 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29932
[startup+0.200313 s]
/proc/loadavg: 1.00 1.15 1.53 3/175 2273
/proc/meminfo: memFree=28344012/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=42440 CPUtime=0.19 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 9647 0 0 0 17 2 0 0 20 0 1 0 344365264 43458560 9593 33554432000 4194304 8395647 140736143805184 140736143670392 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 10610 9621 393 1026 0 9580 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42440
[startup+0.300315 s]
/proc/loadavg: 1.00 1.15 1.53 3/175 2273
/proc/meminfo: memFree=28344012/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=53692 CPUtime=0.29 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 12652 0 0 0 27 2 0 0 20 0 1 0 344365264 54980608 12597 33554432000 4194304 8395647 140736143805184 140736143670392 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 13423 12597 393 1026 0 12393 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53692
[startup+0.700274 s]
/proc/loadavg: 1.00 1.15 1.53 3/175 2273
/proc/meminfo: memFree=28344012/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=87488 CPUtime=0.69 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 21078 0 0 0 65 4 0 0 20 0 1 0 344365264 89587712 21023 33554432000 4194304 8395647 140736143805184 140736143670392 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 21872 21023 393 1026 0 20842 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87488
[startup+1.50023 s]
/proc/loadavg: 1.08 1.16 1.54 4/177 2275
/proc/meminfo: memFree=28074984/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=184296 CPUtime=1.49 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 45254 0 0 0 141 8 0 0 20 0 1 0 344365264 188719104 45199 33554432000 4194304 8395647 140736143805184 140736143667688 7370359 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 46074 45199 393 1026 0 45044 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 184296
[startup+3.1003 s]
/proc/loadavg: 1.08 1.16 1.54 4/177 2275
/proc/meminfo: memFree=27739440/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=372584 CPUtime=3.09 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 92178 0 0 0 294 15 0 0 20 0 1 0 344365264 381526016 92123 33554432000 4194304 8395647 140736143805184 140736143670392 4685157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 93146 92123 393 1026 0 92116 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372584
[startup+6.30031 s]
/proc/loadavg: 1.08 1.16 1.54 4/177 2275
/proc/meminfo: memFree=26290192/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=1085112 CPUtime=6.29 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 269067 0 0 0 589 40 0 0 20 0 1 0 344365264 1111154688 270152 33554432000 4194304 8395647 140736143805184 140736143802744 4601776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 271278 270152 431 1026 0 270248 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1085112
[startup+12.7003 s]
/proc/loadavg: 1.22 1.19 1.54 4/177 2275
/proc/meminfo: memFree=25261660/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=1547868 CPUtime=12.69 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 383912 0 0 0 1211 58 0 0 20 0 1 0 344365264 1585016832 384151 33554432000 4194304 8395647 140736143805184 140736143801256 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 386967 384151 487 1026 0 385937 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1547868
[startup+25.5003 s]
/proc/loadavg: 1.34 1.21 1.55 4/177 2275
/proc/meminfo: memFree=25256024/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=1553764 CPUtime=25.49 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 385311 0 0 0 2490 59 0 0 20 0 1 0 344365264 1591054336 385709 33554432000 4194304 8395647 140736143805184 140736143802328 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 388441 385709 501 1026 0 387411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1553764
[startup+51.1003 s]
/proc/loadavg: 1.56 1.28 1.56 4/178 2278
/proc/meminfo: memFree=24992220/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=1663908 CPUtime=51.07 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 412160 0 0 0 5045 62 0 0 20 0 1 0 344365264 1703841792 412535 33554432000 4194304 8395647 140736143805184 140736143801336 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 415977 412535 501 1026 0 414947 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1663908
[startup+102.3 s]
/proc/loadavg: 1.82 1.39 1.58 4/178 2300
/proc/meminfo: memFree=24581784/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=1883104 CPUtime=102.26 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 466095 0 0 0 10157 69 0 0 20 0 1 0 344365264 1928298496 466465 33554432000 4194304 8395647 140736143805184 140736143801256 6080679 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 470776 466465 501 1026 0 469746 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1883104
[startup+162.3 s]
/proc/loadavg: 1.93 1.50 1.60 4/177 2300
/proc/meminfo: memFree=23066956/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2623548 CPUtime=162.25 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 597339 0 0 0 16123 102 0 0 20 0 1 0 344365264 2686513152 634755 33554432000 4194304 8395647 140736143805184 140736143800744 6723853 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 655887 634755 579 1026 0 654857 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 2623548
[startup+222.3 s]
/proc/loadavg: 2.10 1.62 1.63 4/177 2301
/proc/meminfo: memFree=22998000/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2629080 CPUtime=222.24 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 600609 0 0 0 22114 110 0 0 20 0 1 0 344365264 2692177920 636120 33554432000 4194304 8395647 140736143805184 140736143800744 7382157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 657270 636120 579 1026 0 656240 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 2629080
[startup+282.3 s]
/proc/loadavg: 2.03 1.69 1.65 4/177 2301
/proc/meminfo: memFree=22868500/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2651100 CPUtime=282.24 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 606062 0 0 0 28103 121 0 0 20 0 1 0 344365264 2714726400 642472 33554432000 4194304 8395647 140736143805184 140736143800312 6669607 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 662775 642472 579 1026 0 661745 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2651100
[startup+342.3 s]
/proc/loadavg: 2.01 1.74 1.67 4/177 2301
/proc/meminfo: memFree=22900464/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2660488 CPUtime=342.22 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 610340 0 0 0 34093 129 0 0 20 0 1 0 344365264 2724339712 644806 33554432000 4194304 8395647 140736143805184 140736143800312 6700429 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 665122 644806 579 1026 0 664092 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 2660488
[startup+402.3 s]
/proc/loadavg: 2.00 1.79 1.69 4/177 2301
/proc/meminfo: memFree=22818580/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2677784 CPUtime=402.21 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 614988 0 0 0 40084 137 0 0 20 0 1 0 344365264 2742050816 650340 33554432000 4194304 8395647 140736143805184 140736143800312 7382157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 669446 650340 579 1026 0 668416 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2677784
[startup+462.3 s]
/proc/loadavg: 2.00 1.82 1.71 4/177 2301
/proc/meminfo: memFree=22813580/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2682388 CPUtime=462.21 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 618047 0 0 0 46074 147 0 0 20 0 1 0 344365264 2746765312 651542 33554432000 4194304 8395647 140736143805184 140736143800312 6636354 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 670597 651542 579 1026 0 669567 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2682388
[startup+522.3 s]
/proc/loadavg: 2.00 1.85 1.72 4/177 2302
/proc/meminfo: memFree=22812180/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2683060 CPUtime=522.19 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 621103 0 0 0 52066 153 0 0 20 0 1 0 344365264 2747453440 651726 33554432000 4194304 8395647 140736143805184 140736143800648 6669563 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 670765 651726 579 1026 0 669735 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 2683060
[startup+582.307 s]
/proc/loadavg: 2.00 1.88 1.74 4/177 2302
/proc/meminfo: memFree=22816176/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2678268 CPUtime=582.19 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 627748 0 0 0 58055 164 0 0 20 0 1 0 344365264 2742546432 650565 33554432000 4194304 8395647 140736143805184 140736143800312 6700660 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 669567 650565 579 1026 0 668537 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2678268
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22751368/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2738752 CPUtime=1122.11 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 695474 0 0 0 111976 235 0 0 20 0 1 0 344365264 2804482048 665596 33554432000 4194304 8395647 140736143805184 140736143799752 6696735 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 684688 665596 585 1026 0 683658 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2738752
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 2307
/proc/meminfo: memFree=22808404/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2777124 CPUtime=1182.09 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 700616 0 0 0 117967 242 0 0 20 0 1 0 344365264 2843774976 671394 33554432000 4194304 8395647 140736143805184 140736143799752 6741384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 694281 671394 585 1026 0 693251 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2777124
[startup+1242.31 s]
/proc/loadavg: 2.00 1.97 1.84 4/178 2310
/proc/meminfo: memFree=22734760/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2745156 CPUtime=1242.09 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 707154 0 0 0 123960 249 0 0 20 0 1 0 344365264 2811039744 669611 33554432000 4194304 8395647 140736143805184 140736143799832 6636731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 686289 669611 585 1026 0 685259 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2745156
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.85 4/177 2310
/proc/meminfo: memFree=22706480/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2771424 CPUtime=1302.07 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 713632 0 0 0 129952 255 0 0 20 0 1 0 344365264 2837938176 676536 33554432000 4194304 8395647 140736143805184 140736143799752 6669607 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 692856 676536 585 1026 0 691826 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2771424
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.86 4/178 2311
/proc/meminfo: memFree=22732924/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2746868 CPUtime=1362.06 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 719523 0 0 0 135945 261 0 0 20 0 1 0 344365264 2812792832 670016 33554432000 4194304 8395647 140736143805184 140736143799832 6669642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 686717 670016 585 1026 0 685687 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2746868
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.86 4/177 2312
/proc/meminfo: memFree=22795948/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2746868 CPUtime=1422.05 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 725115 0 0 0 141938 267 0 0 20 0 1 0 344365264 2812792832 670018 33554432000 4194304 8395647 140736143805184 140736143799832 6708364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 686717 670018 585 1026 0 685687 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2746868
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.87 4/177 2312
/proc/meminfo: memFree=22749800/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2726952 CPUtime=1482.04 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 731763 0 0 0 147929 275 0 0 20 0 1 0 344365264 2792398848 665718 33554432000 4194304 8395647 140736143805184 140736143800104 6700432 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 681738 665718 585 1026 0 680708 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2726952
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.87 4/177 2312
/proc/meminfo: memFree=22729912/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2747540 CPUtime=1542.03 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 736864 0 0 0 153920 283 0 0 20 0 1 0 344365264 2813480960 670566 33554432000 4194304 8395647 140736143805184 140736143799704 6708010 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 686885 670566 585 1026 0 685855 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2747540
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.88 4/177 2312
/proc/meminfo: memFree=22740548/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2737684 CPUtime=1602.02 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 741535 0 0 0 159912 290 0 0 20 0 1 0 344365264 2803388416 668031 33554432000 4194304 8395647 140736143805184 140736143799704 6667655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 684421 668031 585 1026 0 683391 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2737684
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.89 4/177 2312
/proc/meminfo: memFree=22808444/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2737684 CPUtime=1662.02 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 749518 0 0 0 165904 298 0 0 20 0 1 0 344365264 2803388416 668032 33554432000 4194304 8395647 140736143805184 140736143799704 6708226 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 684421 668032 585 1026 0 683391 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2737684
[startup+1722.3 s]
/proc/loadavg: 2.15 2.00 1.90 4/177 2313
/proc/meminfo: memFree=22707160/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2772976 CPUtime=1722 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 758373 0 0 0 171893 307 0 0 20 0 1 0 344365264 2839527424 675344 33554432000 4194304 8395647 140736143805184 140736143799672 6697635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 693244 675344 585 1026 0 692214 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 2772976
[startup+1782.3 s]
/proc/loadavg: 2.05 2.00 1.91 4/177 2313
/proc/meminfo: memFree=22691912/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2797220 CPUtime=1782 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 768159 0 0 0 177886 314 0 0 20 0 1 0 344365264 2864353280 679035 33554432000 4194304 8395647 140736143805184 140736143799704 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 699305 679035 585 1026 0 698275 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2797220
Solver just ended. Dumping a history of the last processes samples
[startup+1785.9 s]
/proc/loadavg: 2.05 2.00 1.91 4/177 2313
/proc/meminfo: memFree=22681860/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2797220 CPUtime=1785.6 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 768685 0 0 0 178245 315 0 0 20 0 1 0 344365264 2864353280 681605 33554432000 4194304 8395647 140736143805184 140736143799704 6708234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 699305 681605 585 1026 0 698275 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (KiB) 2797220
[startup+1789.1 s]
/proc/loadavg: 2.05 2.00 1.91 4/177 2313
/proc/meminfo: memFree=22681860/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2797220 CPUtime=1788.79 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 768685 0 0 0 178564 315 0 0 20 0 1 0 344365264 2864353280 681605 33554432000 4194304 8395647 140736143805184 140736143799832 6669642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 699305 681605 585 1026 0 698275 0
Current children cumulated CPU time (s) 1788.79
Current children cumulated vsize (KiB) 2797220
[startup+1790.7 s]
/proc/loadavg: 2.05 2.00 1.91 4/177 2313
/proc/meminfo: memFree=22745720/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2701440 CPUtime=1790.39 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 768693 0 0 0 178724 315 0 0 20 0 1 0 344365264 2766274560 664163 33554432000 4194304 8395647 140736143805184 140736143799704 6150528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 675360 664163 593 1026 0 674330 0
Current children cumulated CPU time (s) 1790.39
Current children cumulated vsize (KiB) 2701440
[startup+1792.31 s]
/proc/loadavg: 2.04 2.00 1.91 4/177 2313
/proc/meminfo: memFree=22757420/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2695148 CPUtime=1792 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 768696 0 0 0 178885 315 0 0 20 0 1 0 344365264 2759831552 662595 33554432000 4194304 8395647 140736143805184 140736143804568 4750147 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 673787 662595 596 1026 0 672757 0
Current children cumulated CPU time (s) 1792
Current children cumulated vsize (KiB) 2695148
[startup+1793.1 s]
/proc/loadavg: 2.04 2.00 1.91 4/177 2313
/proc/meminfo: memFree=22757420/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2523172 CPUtime=1792.8 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 768696 0 0 0 178964 316 0 0 20 0 1 0 344365264 2583728128 629121 33554432000 4194304 8395647 140736143805184 140736143804568 6345203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 630793 629121 596 1026 0 629763 0
Current children cumulated CPU time (s) 1792.8
Current children cumulated vsize (KiB) 2523172
[startup+1793.3 s]
/proc/loadavg: 2.04 2.00 1.91 4/177 2313
/proc/meminfo: memFree=23207824/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2255728 CPUtime=1792.99 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 768696 0 0 0 178981 318 0 0 20 0 1 0 344365264 2309865472 562262 33554432000 4194304 8395647 140736143805184 140736143804568 6345904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 563932 562262 596 1026 0 562902 0
Current children cumulated CPU time (s) 1792.99
Current children cumulated vsize (KiB) 2255728
[startup+1793.41 s]
/proc/loadavg: 2.04 2.00 1.91 4/177 2313
/proc/meminfo: memFree=23207824/32873844 swapFree=7372/7372
[pid=2273] ppid=2269 vsize=2130716 CPUtime=1793.1 cores=1,3,5,7
/proc/2273/stat : 2273 (pbscip.linux.x8) R 2269 2273 2230 0 -1 4202496 768696 0 0 0 178990 320 0 0 20 0 1 0 344365264 2181853184 531014 33554432000 4194304 8395647 140736143805184 140736143804568 6345797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2273/statm: 532679 531014 596 1026 0 531649 0
Current children cumulated CPU time (s) 1793.1
Current children cumulated vsize (KiB) 2130716
Child status: 0
Real time (s): 1793.42
CPU time (s): 1793.13
CPU user time (s): 1789.91
CPU system time (s): 3.21351
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 2798932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.91
system time used= 3.21351
maximum resident set size= 2727932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 768704
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= 44
involuntary context switches= 1843
runsolver used 2.85857 second user time and 8.5717 second system time
The end