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-3744023-1338799495.opb>
7.09/7.13 c original problem has 370300 variables (370300 bin, 0 int, 0 impl, 0 cont) and 847958 constraints
7.09/7.13 c problem read
7.09/7.14 c presolving settings loaded
9.89/9.94 c presolving:
13.48/13.55 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
21.69/21.74 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
256.75/256.87 c (249.7s) probing: 1000/359025 (0.3%) - 0 fixings, 0 aggregations, 357821 implications, 0 bound changes
453.51/453.62 c (446.5s) probing: 2000/359025 (0.6%) - 0 fixings, 0 aggregations, 414549 implications, 0 bound changes
453.71/453.82 c (446.7s) probing: 2001/359025 (0.6%) - 0 fixings, 0 aggregations, 414586 implications, 0 bound changes
453.71/453.82 c (446.7s) probing aborted: 2000/2000 successive useless probings
453.71/453.84 c presolving (3 rounds):
453.71/453.84 c 11275 deleted vars, 8579 deleted constraints, 200 tightened bounds, 0 added holes, 1225 changed sides, 84525 changed coefficients
453.71/453.84 c 68723684 implications, 1 cliques
453.71/453.84 c presolved problem has 359025 variables (359025 bin, 0 int, 0 impl, 0 cont) and 839379 constraints
453.71/453.84 c 241475 constraints of type <knapsack>
453.71/453.84 c 356526 constraints of type <setppc>
453.71/453.84 c 3 constraints of type <linear>
453.71/453.84 c 241375 constraints of type <logicor>
453.71/453.84 c transformed objective value is always integral (scale: 1)
453.71/453.84 c Presolving Time: 444.89
453.71/453.84 c - non default parameters ----------------------------------------------------------------------
453.71/453.84 c # SCIP version 1.2.1.3
453.71/453.84 c
453.71/453.84 c # frequency for displaying node information lines
453.71/453.84 c # [type: int, range: [-1,2147483647], default: 100]
453.71/453.84 c display/freq = 10000
453.71/453.84 c
453.71/453.84 c # maximal time in seconds to run
453.71/453.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
453.71/453.84 c limits/time = 1782.87
453.71/453.84 c
453.71/453.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
453.71/453.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
453.71/453.84 c limits/memory = 13950
453.71/453.84 c
453.71/453.84 c # default clock type (1: CPU user seconds, 2: wall clock time)
453.71/453.84 c # [type: int, range: [1,2], default: 1]
453.71/453.84 c timing/clocktype = 2
453.71/453.84 c
453.71/453.84 c # should presolving try to simplify inequalities
453.71/453.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
453.71/453.84 c constraints/linear/simplifyinequalities = TRUE
453.71/453.84 c
453.71/453.84 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
453.71/453.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
453.71/453.84 c constraints/indicator/addCouplingCons = TRUE
453.71/453.84 c
453.71/453.84 c # should presolving try to simplify knapsacks
453.71/453.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
453.71/453.84 c constraints/knapsack/simplifyinequalities = TRUE
453.71/453.84 c
453.71/453.84 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
453.71/453.84 c # [type: int, range: [-1,2147483647], default: -1]
453.71/453.84 c separating/rapidlearning/freq = 0
453.71/453.84 c
453.71/453.84 c -----------------------------------------------------------------------------------------------
453.71/453.84 c start solving
453.81/453.97 c
584.58/584.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.58/584.79 c 578s| 1 | 0 | 5370 | - |3906M| 0 | 649 | 359k| 839k| 359k| 839k| 0 | 0 | 0 | 4.657579e+05 | -- | Inf
1789.79/1790.11 c 1783s| 1 | 0 | 18808 | - |3932M| 0 | - | 359k| 839k| 359k| 839k| 19 | 0 | 0 | 4.657579e+05 | -- | Inf
1790.09/1790.45 c 1783s| 1 | 2 | 18808 | - |3932M| 0 | - | 359k| 839k| 359k| 839k| 19 | 0 | 0 | 4.657579e+05 | -- | Inf
1790.09/1790.45 c
1790.09/1790.45 c SCIP Status : solving was interrupted [time limit reached]
1790.09/1790.45 c Solving Time (sec) : 1783.31
1790.09/1790.45 c Solving Nodes : 1
1790.09/1790.45 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.09/1790.45 c Dual Bound : +4.65757931694950e+05
1790.09/1790.45 c Gap : infinite
1790.09/1790.45 s UNKNOWN
1790.09/1790.45 c SCIP Status : solving was interrupted [time limit reached]
1790.09/1790.45 c Solving Time : 1783.31
1790.09/1790.45 c Original Problem :
1790.09/1790.45 c Problem name : HOME/instance-3744023-1338799495.opb
1790.09/1790.45 c Variables : 370300 (370300 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.09/1790.45 c Constraints : 847958 initial, 847958 maximal
1790.09/1790.45 c Presolved Problem :
1790.09/1790.45 c Problem name : t_HOME/instance-3744023-1338799495.opb
1790.09/1790.45 c Variables : 359025 (359025 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.09/1790.45 c Constraints : 839379 initial, 839379 maximal
1790.09/1790.45 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.09/1790.45 c trivial : 0.08 0 0 0 0 0 0 0 0
1790.09/1790.45 c dualfix : 0.07 7400 0 0 0 0 0 0 0
1790.09/1790.45 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.09/1790.45 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.09/1790.45 c implics : 0.06 0 0 0 0 0 0 0 0
1790.09/1790.45 c probing : 368.47 0 0 0 0 0 0 0 0
1790.09/1790.45 c knapsack : 62.41 0 0 0 0 0 0 0 78400
1790.09/1790.45 c setppc : 0.80 0 0 0 0 0 0 0 0
1790.09/1790.45 c linear : 10.27 200 3675 0 200 0 8579 1225 6125
1790.09/1790.45 c logicor : 0.66 0 0 0 0 0 0 0 0
1790.09/1790.45 c root node : - 0 - - 0 - - - -
1790.09/1790.45 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.09/1790.45 c integral : 0 0 0 0 0 0 0 0 0 0
1790.09/1790.45 c knapsack : 241475 1 6050 0 1 0 0 38 0 0
1790.09/1790.45 c setppc : 356526 1 6050 0 1 0 0 0 0 0
1790.09/1790.45 c linear : 3 1 6050 0 0 0 0 0 0 0
1790.09/1790.45 c logicor : 241375 1 4051 0 1 0 0 0 0 0
1790.09/1790.45 c countsols : 0 0 0 0 1 0 0 0 0 0
1790.09/1790.45 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.09/1790.45 c integral : 0.00 0.00 0.00 0.00 0.00
1790.09/1790.45 c knapsack : 122.83 0.41 122.41 0.00 0.01
1790.09/1790.45 c setppc : 147.60 0.03 147.45 0.00 0.12
1790.09/1790.45 c linear : 17.45 16.20 1.25 0.00 0.00
1790.09/1790.45 c logicor : 1.91 0.02 1.80 0.00 0.09
1790.09/1790.45 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.09/1790.45 c Propagators : Time Calls Cutoffs DomReds
1790.09/1790.45 c vbounds : 0.01 2 0 0
1790.09/1790.45 c rootredcost : 0.00 0 0 0
1790.09/1790.45 c pseudoobj : 0.03 2 0 0
1790.09/1790.45 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.09/1790.45 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.09/1790.45 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.09/1790.45 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.09/1790.45 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.09/1790.45 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.09/1790.45 c applied globally : - - - 0 0.0 - - -
1790.09/1790.45 c applied locally : - - - 0 0.0 - - -
1790.09/1790.45 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.09/1790.45 c cut pool : 0.00 0 - - 0 - (maximal pool size: 473)
1790.09/1790.45 c redcost : 0.03 1 0 0 0 0
1790.09/1790.45 c impliedbounds : 0.05 1 0 0 4 0
1790.09/1790.45 c intobj : 0.00 0 0 0 0 0
1790.09/1790.45 c cgmip : 0.00 0 0 0 0 0
1790.09/1790.45 c gomory : 54.37 1 0 0 500 0
1790.09/1790.45 c strongcg : 9.19 1 0 0 500 0
1790.09/1790.45 c cmir : 175.49 1 0 0 0 0
1790.09/1790.45 c flowcover : 213.34 1 0 0 18 0
1790.09/1790.45 c clique : 0.00 0 0 0 0 0
1790.09/1790.45 c zerohalf : 0.00 0 0 0 0 0
1790.09/1790.45 c mcf : 0.00 0 0 0 0 0
1790.09/1790.45 c rapidlearning : 0.00 0 0 0 0 0
1790.09/1790.45 c Pricers : Time Calls Vars
1790.09/1790.45 c problem variables: 0.00 0 0
1790.09/1790.45 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.09/1790.45 c relpscost : 0.00 0 0 0 0 0 0
1790.09/1790.45 c pscost : 0.00 0 0 0 0 0 0
1790.09/1790.45 c inference : 0.10 1 0 0 0 0 2
1790.09/1790.45 c mostinf : 0.00 0 0 0 0 0 0
1790.09/1790.45 c leastinf : 0.00 0 0 0 0 0 0
1790.09/1790.45 c fullstrong : 0.00 0 0 0 0 0 0
1790.09/1790.45 c allfullstrong : 0.00 0 0 0 0 0 0
1790.09/1790.45 c random : 0.00 0 0 0 0 0 0
1790.09/1790.45 c Primal Heuristics : Time Calls Found
1790.09/1790.45 c LP solutions : 0.00 - 0
1790.09/1790.45 c pseudo solutions : 0.00 - 0
1790.09/1790.45 c oneopt : 0.00 0 0
1790.09/1790.45 c trivial : 0.55 2 0
1790.09/1790.45 c simplerounding : 0.02 0 0
1790.09/1790.45 c zirounding : 0.00 0 0
1790.09/1790.45 c rounding : 0.05 1 0
1790.09/1790.45 c shifting : 0.12 1 0
1790.09/1790.45 c intshifting : 0.00 0 0
1790.09/1790.45 c twoopt : 0.00 0 0
1790.09/1790.45 c fixandinfer : 0.00 0 0
1790.09/1790.45 c feaspump : 735.88 1 0
1790.09/1790.45 c coefdiving : 0.00 0 0
1790.09/1790.45 c pscostdiving : 0.00 0 0
1790.09/1790.45 c fracdiving : 0.00 0 0
1790.09/1790.45 c veclendiving : 0.00 0 0
1790.09/1790.45 c intdiving : 0.00 0 0
1790.09/1790.45 c actconsdiving : 0.00 0 0
1790.09/1790.45 c objpscostdiving : 0.00 0 0
1790.09/1790.45 c rootsoldiving : 0.00 0 0
1790.09/1790.45 c linesearchdiving : 0.00 0 0
1790.09/1790.45 c guideddiving : 0.00 0 0
1790.09/1790.45 c octane : 0.00 0 0
1790.09/1790.45 c rens : 0.00 0 0
1790.09/1790.45 c rins : 0.00 0 0
1790.09/1790.45 c localbranching : 0.00 0 0
1790.09/1790.45 c mutation : 0.00 0 0
1790.09/1790.45 c crossover : 0.00 0 0
1790.09/1790.45 c dins : 0.00 0 0
1790.09/1790.45 c undercover : 0.00 0 0
1790.09/1790.45 c nlp : 0.00 0 0
1790.09/1790.45 c trysol : 0.00 0 0
1790.09/1790.45 c LP : Time Calls Iterations Iter/call Iter/sec
1790.09/1790.45 c primal LP : 0.00 0 0 0.00 -
1790.09/1790.45 c dual LP : 127.95 1 5370 5370.00 41.97
1790.09/1790.45 c lex dual LP : 0.00 0 0 0.00 -
1790.09/1790.45 c barrier LP : 0.00 0 0 0.00 -
1790.09/1790.45 c diving/probing LP: 734.84 4 13438 3359.50 18.29
1790.09/1790.45 c strong branching : 0.00 0 0 0.00 -
1790.09/1790.45 c (at root node) : - 0 0 0.00 -
1790.09/1790.45 c conflict analysis: 0.00 0 0 0.00 -
1790.09/1790.45 c B&B Tree :
1790.09/1790.45 c number of runs : 1
1790.09/1790.45 c nodes : 1
1790.09/1790.45 c nodes (total) : 1
1790.09/1790.45 c nodes left : 2
1790.09/1790.45 c max depth : 0
1790.09/1790.45 c max depth (total): 0
1790.09/1790.45 c backtracks : 0 (0.0%)
1790.09/1790.45 c delayed cutoffs : 0
1790.09/1790.45 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.09/1790.45 c avg switch length: 1.00
1790.09/1790.45 c switching time : 0.00
1790.09/1790.45 c Solution :
1790.09/1790.45 c Solutions found : 0 (0 improvements)
1790.09/1790.45 c Primal Bound : -
1790.09/1790.45 c Dual Bound : +4.65757931694950e+05
1790.09/1790.45 c Gap : infinite
1790.09/1790.45 c Root Dual Bound : +4.65757931694950e+05
1790.09/1790.45 c Root Iterations : 18808
1795.49/1795.80 c Time complete: 1795.5.
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-3744023-1338799495/watcher-3744023-1338799495 -o /tmp/evaluation-result-3744023-1338799495/solver-3744023-1338799495 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744023-1338799495.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: 2.08 2.04 2.01 3/177 14563
/proc/meminfo: memFree=26224532/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1246 0 0 0 0 0 0 0 20 0 1 0 346016613 8105984 1192 33554432000 4194304 8395647 140733461263280 140734980533304 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1979 1193 370 1026 0 949 0
[startup+0.021892 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 14563
/proc/meminfo: memFree=26224532/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=15148 CPUtime=0.01 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 3037 0 0 0 1 0 0 0 20 0 1 0 346016613 15511552 2982 33554432000 4194304 8395647 140733461263280 140733461125784 5758032 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 3787 2982 387 1026 0 2757 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15148
[startup+0.10032 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 14563
/proc/meminfo: memFree=26224532/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=46316 CPUtime=0.09 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 10762 0 0 0 8 1 0 0 20 0 1 0 346016613 47427584 10702 33554432000 4194304 8395647 140733461263280 140733461125784 5759075 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 11579 10702 387 1026 0 10549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46316
[startup+0.300322 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 14563
/proc/meminfo: memFree=26224532/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=108124 CPUtime=0.29 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 25488 0 0 0 26 3 0 0 20 0 1 0 346016613 110718976 25428 33554432000 4194304 8395647 140733461263280 140733461125784 4685157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 27031 25428 394 1026 0 26001 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108124
[startup+0.700309 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 14563
/proc/meminfo: memFree=26224532/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=149792 CPUtime=0.69 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 35912 0 0 0 64 5 0 0 20 0 1 0 346016613 153387008 35852 33554432000 4194304 8395647 140733461263280 140733461128488 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 37448 35852 394 1026 0 36418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 149792
[startup+1.50031 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 14564
/proc/meminfo: memFree=26039144/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=246368 CPUtime=1.49 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 60083 0 0 0 140 9 0 0 20 0 1 0 346016613 252280832 60023 33554432000 4194304 8395647 140733461263280 140733461128488 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 61592 60023 394 1026 0 60562 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 246368
[startup+3.10032 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 14564
/proc/meminfo: memFree=25953088/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=320780 CPUtime=3.09 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 78588 0 0 0 297 12 0 0 20 0 1 0 346016613 328478720 78528 33554432000 4194304 8395647 140733461263280 140733461128152 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 80195 78528 394 1026 0 79165 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 320780
[startup+6.3003 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 14564
/proc/meminfo: memFree=25760028/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=547416 CPUtime=6.29 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 135229 0 0 0 607 22 0 0 20 0 1 0 346016613 560553984 135169 33554432000 4194304 8395647 140733461263280 140733461128488 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 136854 135169 394 1026 0 135824 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 547416
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 14564
/proc/meminfo: memFree=24663604/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=1604172 CPUtime=12.69 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 394261 0 0 0 1209 60 0 0 20 0 1 0 346016613 1642672128 395891 33554432000 4194304 8395647 140733461263280 140733461259896 4999382 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 401043 395891 475 1026 0 400013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1604172
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 14564
/proc/meminfo: memFree=24131936/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=2149752 CPUtime=25.48 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 527872 0 0 0 2468 80 0 0 20 0 1 0 346016613 2201346048 529051 33554432000 4194304 8395647 140733461263280 140733461258568 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 537438 529051 495 1026 0 536408 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2149752
[startup+51.1004 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 14564
/proc/meminfo: memFree=22846752/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=3406824 CPUtime=51.08 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 842153 0 0 0 4981 127 0 0 20 0 1 0 346016613 3488587776 843332 33554432000 4194304 8395647 140733461263280 140733461258744 4247653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 851706 843332 495 1026 0 850676 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3406824
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 14564
/proc/meminfo: memFree=22232724/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=4016016 CPUtime=102.28 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 989201 0 0 0 10078 150 0 0 20 0 1 0 346016613 4112400384 996454 33554432000 4194304 8395647 140733461263280 140733461259144 5604533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1004004 996454 507 1026 0 1002974 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4016016
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 14564
/proc/meminfo: memFree=22200880/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=4040576 CPUtime=162.27 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 995308 0 0 0 16076 151 0 0 20 0 1 0 346016613 4137549824 1002561 33554432000 4194304 8395647 140733461263280 140733461259464 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1010144 1002561 507 1026 0 1009114 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 4040576
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/176 14565
/proc/meminfo: memFree=22183440/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=4058992 CPUtime=222.25 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 999935 0 0 0 22074 151 0 0 20 0 1 0 346016613 4156407808 1007188 33554432000 4194304 8395647 140733461263280 140733461259464 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1014748 1007188 507 1026 0 1013718 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 4058992
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14604
/proc/meminfo: memFree=22294272/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=4074332 CPUtime=282.24 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1003777 0 0 0 28072 152 0 0 20 0 1 0 346016613 4172115968 1011030 33554432000 4194304 8395647 140733461263280 140733461259464 4910737 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1018583 1011030 513 1026 0 1017553 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 4074332
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 14607
/proc/meminfo: memFree=22058496/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=4075356 CPUtime=342.23 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1004069 0 0 0 34070 153 0 0 20 0 1 0 346016613 4173164544 1011398 33554432000 4194304 8395647 140733461263280 140733461259464 5604533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1018839 1011398 513 1026 0 1017809 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 4075356
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14607
/proc/meminfo: memFree=21371984/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=4149068 CPUtime=402.22 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1022502 0 0 0 40066 156 0 0 20 0 1 0 346016613 4248645632 1029826 33554432000 4194304 8395647 140733461263280 140733461259144 4918209 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1037267 1029826 513 1026 0 1036237 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 4149068
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14607
/proc/meminfo: memFree=20315356/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5245608 CPUtime=462.2 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1164003 0 0 0 46032 188 0 0 20 0 1 0 346016613 5371502592 1278174 33554432000 4194304 8395647 140733461263280 140733461258488 6585983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1311402 1278174 579 1026 0 1310372 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 5245608
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14608
/proc/meminfo: memFree=20301816/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5328400 CPUtime=522.19 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1172364 0 0 0 52021 198 0 0 20 0 1 0 346016613 5456281600 1298558 33554432000 4194304 8395647 140733461263280 140733461258840 6585983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1332100 1298558 583 1026 0 1331070 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 5328400
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14608
/proc/meminfo: memFree=20273996/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5355980 CPUtime=582.18 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1176618 0 0 0 58012 206 0 0 20 0 1 0 346016613 5484523520 1305441 33554432000 4194304 8395647 140733461263280 140733461258408 6698214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1338995 1305441 583 1026 0 1337965 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 5355980
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=20000684/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5449752 CPUtime=1122.1 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1191730 0 0 0 111957 253 0 0 20 0 1 0 346016613 5580546048 1324412 33554432000 4194304 8395647 140733461263280 140733461257800 6708257 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1362438 1324412 589 1026 0 1361408 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 5449752
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14636
/proc/meminfo: memFree=19962616/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5488676 CPUtime=1182.09 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1194964 0 0 0 117951 258 0 0 20 0 1 0 346016613 5620404224 1333909 33554432000 4194304 8395647 140733461263280 140733461257800 6708010 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1372169 1333909 589 1026 0 1371139 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 5488676
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14636
/proc/meminfo: memFree=20020272/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5394380 CPUtime=1242.08 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1199820 0 0 0 123945 263 0 0 20 0 1 0 346016613 5523845120 1319770 33554432000 4194304 8395647 140733461263280 140733461257768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1348595 1319770 589 1026 0 1347565 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 5394380
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14636
/proc/meminfo: memFree=19981128/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5453432 CPUtime=1302.08 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1203711 0 0 0 129938 270 0 0 20 0 1 0 346016613 5584314368 1329059 33554432000 4194304 8395647 140733461263280 140733461257768 6697359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1363358 1329059 589 1026 0 1362328 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 5453432
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14636
/proc/meminfo: memFree=20039116/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5373724 CPUtime=1362.06 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1204008 0 0 0 135932 274 0 0 20 0 1 0 346016613 5502693376 1314648 33554432000 4194304 8395647 140733461263280 140733461258472 6440888 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1343431 1314648 603 1026 0 1342401 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 5373724
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14637
/proc/meminfo: memFree=20038896/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5373724 CPUtime=1422.06 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1204011 0 0 0 141930 276 0 0 20 0 1 0 346016613 5502693376 1314651 33554432000 4194304 8395647 140733461263280 140733461258568 5827857 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1343431 1314651 606 1026 0 1342401 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 5373724
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14637
/proc/meminfo: memFree=20031540/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5373724 CPUtime=1482.04 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1204012 0 0 0 147928 276 0 0 20 0 1 0 346016613 5502693376 1314652 33554432000 4194304 8395647 140733461263280 140733461258568 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1343431 1314652 606 1026 0 1342401 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 5373724
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14640
/proc/meminfo: memFree=20031188/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5373724 CPUtime=1542.03 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1204012 0 0 0 153927 276 0 0 20 0 1 0 346016613 5502693376 1314652 33554432000 4194304 8395647 140733461263280 140733461258568 7382116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1343431 1314652 606 1026 0 1342401 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 5373724
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14640
/proc/meminfo: memFree=20011056/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5380584 CPUtime=1602.02 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1204064 0 0 0 159926 276 0 0 20 0 1 0 346016613 5509718016 1315726 33554432000 4194304 8395647 140733461263280 140733461258808 5849682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1345146 1315726 608 1026 0 1344116 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 5380584
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14640
/proc/meminfo: memFree=20011208/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5380584 CPUtime=1662.02 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1204064 0 0 0 165926 276 0 0 20 0 1 0 346016613 5509718016 1315726 33554432000 4194304 8395647 140733461263280 140733461258808 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1345146 1315726 608 1026 0 1344116 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 5380584
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 14640
/proc/meminfo: memFree=20004296/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5380584 CPUtime=1722.01 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1204064 0 0 0 171925 276 0 0 20 0 1 0 346016613 5509718016 1315726 33554432000 4194304 8395647 140733461263280 140733461258808 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1345146 1315726 608 1026 0 1344116 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 5380584
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14641
/proc/meminfo: memFree=20004068/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5380584 CPUtime=1782 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1204064 0 0 0 177924 276 0 0 20 0 1 0 346016613 5509718016 1315726 33554432000 4194304 8395647 140733461263280 140733461258808 5849675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1345146 1315726 608 1026 0 1344116 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 5380584
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14641
/proc/meminfo: memFree=19996252/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5397808 CPUtime=1785.19 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1205191 0 0 0 178243 276 0 0 20 0 1 0 346016613 5527355392 1317875 33554432000 4194304 8395647 140733461263280 140733461257720 6197326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1349452 1317875 611 1026 0 1348422 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 5397808
[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14641
/proc/meminfo: memFree=19953112/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5445776 CPUtime=1791.61 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1207821 0 0 0 178883 278 0 0 20 0 1 0 346016613 5576474624 1328446 33554432000 4194304 8395647 140733461263280 140733461259112 6345229 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1361444 1328446 621 1026 0 1360414 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 5445776
[startup+1793.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14641
/proc/meminfo: memFree=19953360/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5445776 CPUtime=1793.2 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1207821 0 0 0 179042 278 0 0 20 0 1 0 346016613 5576474624 1328446 33554432000 4194304 8395647 140733461263280 140733461262616 6063821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1361444 1328446 621 1026 0 1360414 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 5445776
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14641
/proc/meminfo: memFree=19959932/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=5437928 CPUtime=1794.81 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1207821 0 0 0 179203 278 0 0 20 0 1 0 346016613 5568438272 1326789 33554432000 4194304 8395647 140733461263280 140733461262664 6345235 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1359482 1326789 621 1026 0 1358452 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 5437928
[startup+1795.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14641
/proc/meminfo: memFree=19959932/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=4942656 CPUtime=1795.19 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1207821 0 0 0 179239 280 0 0 20 0 1 0 346016613 5061279744 1221245 33554432000 4194304 8395647 140733461263280 140733461262664 6345203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1235664 1221245 621 1026 0 1234634 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 4942656
[startup+1795.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14641
/proc/meminfo: memFree=19959932/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=4646420 CPUtime=1795.39 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1207821 0 0 0 179257 282 0 0 20 0 1 0 346016613 4757934080 1118998 33554432000 4194304 8395647 140733461263280 140733461262536 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 1161605 1118918 621 1026 0 1160575 0
Current children cumulated CPU time (s) 1795.39
Current children cumulated vsize (KiB) 4646420
[startup+1795.8 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14641
/proc/meminfo: memFree=19959932/32873844 swapFree=7128/7128
[pid=14563] ppid=14561 vsize=3265256 CPUtime=1795.49 cores=1,3,5,7
/proc/14563/stat : 14563 (pbscip.linux.x8) R 14561 14563 13572 0 -1 4202496 1207822 0 0 0 179257 292 0 0 20 0 1 0 346016613 3343622144 18633 33554432000 4194304 8395647 140733461263280 140733461262536 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14563/statm: 816314 18194 622 1026 0 815284 0
Current children cumulated CPU time (s) 1795.49
Current children cumulated vsize (KiB) 3265256
Child status: 0
Real time (s): 1795.8
CPU time (s): 1795.51
CPU user time (s): 1792.58
CPU system time (s): 2.93155
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 5532332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.58
system time used= 2.93155
maximum resident set size= 5374872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1207828
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= 30
involuntary context switches= 1849
runsolver used 2.96755 second user time and 8.32173 second system time
The end