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-3744203-1338803125.opb>
4.58/4.63 c original problem has 250200 variables (250200 bin, 0 int, 0 impl, 0 cont) and 605407 constraints
4.58/4.63 c problem read
4.58/4.63 c presolving settings loaded
5.99/6.01 c presolving:
8.38/8.40 c (round 1) 10000 del vars, 4903 del conss, 150 chg bounds, 1225 chg sides, 3675 chg coeffs, 0 upgd conss, 1188350 impls, 1 clqs
12.89/12.98 c (round 2) 10000 del vars, 6128 del conss, 150 chg bounds, 1225 chg sides, 3675 chg coeffs, 599276 upgd conss, 1188350 impls, 1 clqs
129.45/129.57 c (124.9s) probing: 1000/240200 (0.4%) - 0 fixings, 0 aggregations, 357821 implications, 0 bound changes
241.02/241.10 c (236.5s) probing: 2000/240200 (0.8%) - 0 fixings, 0 aggregations, 414549 implications, 0 bound changes
241.12/241.22 c (236.6s) probing: 2001/240200 (0.8%) - 0 fixings, 0 aggregations, 414586 implications, 0 bound changes
241.12/241.22 c (236.6s) probing aborted: 2000/2000 successive useless probings
241.12/241.23 c presolving (3 rounds):
241.12/241.23 c 10000 deleted vars, 6128 deleted constraints, 150 tightened bounds, 0 added holes, 1225 changed sides, 3675 changed coefficients
241.12/241.23 c 36969234 implications, 1 cliques
241.12/241.23 c presolved problem has 240200 variables (240200 bin, 0 int, 0 impl, 0 cont) and 599279 constraints
241.12/241.23 c 121425 constraints of type <knapsack>
241.12/241.23 c 356526 constraints of type <setppc>
241.12/241.23 c 3 constraints of type <linear>
241.12/241.23 c 121325 constraints of type <logicor>
241.12/241.23 c transformed objective value is always integral (scale: 1)
241.12/241.23 c Presolving Time: 235.63
241.12/241.23 c - non default parameters ----------------------------------------------------------------------
241.12/241.23 c # SCIP version 1.2.1.3
241.12/241.23 c
241.12/241.23 c # frequency for displaying node information lines
241.12/241.23 c # [type: int, range: [-1,2147483647], default: 100]
241.12/241.23 c display/freq = 10000
241.12/241.23 c
241.12/241.23 c # maximal time in seconds to run
241.12/241.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
241.12/241.23 c limits/time = 1785.38
241.12/241.23 c
241.12/241.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
241.12/241.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
241.12/241.23 c limits/memory = 13950
241.12/241.23 c
241.12/241.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
241.12/241.23 c # [type: int, range: [1,2], default: 1]
241.12/241.23 c timing/clocktype = 2
241.12/241.23 c
241.12/241.23 c # should presolving try to simplify inequalities
241.12/241.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
241.12/241.23 c constraints/linear/simplifyinequalities = TRUE
241.12/241.23 c
241.12/241.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
241.12/241.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
241.12/241.23 c constraints/indicator/addCouplingCons = TRUE
241.12/241.23 c
241.12/241.23 c # should presolving try to simplify knapsacks
241.12/241.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
241.12/241.23 c constraints/knapsack/simplifyinequalities = TRUE
241.12/241.23 c
241.12/241.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
241.12/241.23 c # [type: int, range: [-1,2147483647], default: -1]
241.12/241.23 c separating/rapidlearning/freq = 0
241.12/241.23 c
241.12/241.23 c -----------------------------------------------------------------------------------------------
241.12/241.23 c start solving
241.21/241.31 c
311.30/311.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.30/311.42 c 307s| 1 | 0 | 6064 | - |2412M| 0 | 860 | 240k| 599k| 240k| 599k| 0 | 0 | 0 | 5.780430e+05 | -- | Inf
1789.77/1790.12 c 1785s| 1 | 0 | 15196 | - |2446M| 0 | - | 240k| 599k| 240k| 599k| 23 | 0 | 0 | 5.780430e+05 | -- | Inf
1789.97/1790.32 c 1786s| 1 | 2 | 15196 | - |2446M| 0 | - | 240k| 599k| 240k| 599k| 23 | 0 | 0 | 5.780430e+05 | -- | Inf
1789.97/1790.32 c
1789.97/1790.32 c SCIP Status : solving was interrupted [time limit reached]
1789.97/1790.32 c Solving Time (sec) : 1785.69
1789.97/1790.32 c Solving Nodes : 1
1789.97/1790.32 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.97/1790.32 c Dual Bound : +5.78042959768442e+05
1789.97/1790.32 c Gap : infinite
1789.97/1790.32 s UNKNOWN
1789.97/1790.32 c SCIP Status : solving was interrupted [time limit reached]
1789.97/1790.32 c Solving Time : 1785.69
1789.97/1790.32 c Original Problem :
1789.97/1790.32 c Problem name : HOME/instance-3744203-1338803125.opb
1789.97/1790.32 c Variables : 250200 (250200 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.97/1790.32 c Constraints : 605407 initial, 605407 maximal
1789.97/1790.32 c Presolved Problem :
1789.97/1790.32 c Problem name : t_HOME/instance-3744203-1338803125.opb
1789.97/1790.32 c Variables : 240200 (240200 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.97/1790.32 c Constraints : 599279 initial, 599279 maximal
1789.97/1790.32 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.97/1790.32 c trivial : 0.03 0 0 0 0 0 0 0 0
1789.97/1790.32 c dualfix : 0.03 7400 0 0 0 0 0 0 0
1789.97/1790.32 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.97/1790.32 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.97/1790.32 c implics : 0.03 0 0 0 0 0 0 0 0
1789.97/1790.32 c probing : 206.83 0 0 0 0 0 0 0 0
1789.97/1790.32 c knapsack : 20.53 0 0 0 0 0 0 0 0
1789.97/1790.32 c setppc : 0.70 0 0 0 0 0 0 0 0
1789.97/1790.32 c linear : 6.28 150 2450 0 150 0 6128 1225 3675
1789.97/1790.32 c logicor : 0.28 0 0 0 0 0 0 0 0
1789.97/1790.32 c root node : - 0 - - 0 - - - -
1789.97/1790.32 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.97/1790.32 c integral : 0 0 0 0 0 0 0 0 0 0
1789.97/1790.32 c knapsack : 121425 1 6050 0 1 0 0 67 0 0
1789.97/1790.32 c setppc : 356526 1 6050 0 1 0 0 0 0 0
1789.97/1790.32 c linear : 3 1 6050 0 0 0 0 0 0 0
1789.97/1790.32 c logicor : 121325 1 4051 0 1 0 0 0 0 0
1789.97/1790.32 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.97/1790.32 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.97/1790.32 c integral : 0.00 0.00 0.00 0.00 0.00
1789.97/1790.32 c knapsack : 55.66 0.21 55.44 0.00 0.00
1789.97/1790.32 c setppc : 104.63 0.03 104.49 0.00 0.11
1789.97/1790.32 c linear : 19.33 18.42 0.91 0.00 0.00
1789.97/1790.32 c logicor : 0.65 0.01 0.60 0.00 0.04
1789.97/1790.32 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.97/1790.32 c Propagators : Time Calls Cutoffs DomReds
1789.97/1790.32 c vbounds : 0.01 2 0 0
1789.97/1790.32 c rootredcost : 0.00 0 0 0
1789.97/1790.32 c pseudoobj : 0.02 2 0 0
1789.97/1790.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.97/1790.32 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.97/1790.32 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.97/1790.32 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.97/1790.32 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.97/1790.32 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.97/1790.32 c applied globally : - - - 0 0.0 - - -
1789.97/1790.32 c applied locally : - - - 0 0.0 - - -
1789.97/1790.32 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.97/1790.32 c cut pool : 0.00 0 - - 0 - (maximal pool size: 481)
1789.97/1790.32 c redcost : 0.01 1 0 0 0 0
1789.97/1790.32 c impliedbounds : 0.03 1 0 0 10 0
1789.97/1790.32 c intobj : 0.00 0 0 0 0 0
1789.97/1790.32 c cgmip : 0.00 0 0 0 0 0
1789.97/1790.32 c gomory : 948.29 1 0 0 0 0
1789.97/1790.32 c strongcg : 8.69 1 0 0 500 0
1789.97/1790.32 c cmir : 65.82 1 0 0 0 0
1789.97/1790.32 c flowcover : 185.89 1 0 0 46 0
1789.97/1790.32 c clique : 0.00 0 0 0 0 0
1789.97/1790.32 c zerohalf : 0.00 0 0 0 0 0
1789.97/1790.32 c mcf : 0.00 0 0 0 0 0
1789.97/1790.32 c rapidlearning : 0.00 0 0 0 0 0
1789.97/1790.32 c Pricers : Time Calls Vars
1789.97/1790.32 c problem variables: 0.00 0 0
1789.97/1790.32 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.97/1790.32 c relpscost : 0.00 0 0 0 0 0 0
1789.97/1790.32 c pscost : 0.00 0 0 0 0 0 0
1789.97/1790.32 c inference : 0.05 1 0 0 0 0 2
1789.97/1790.32 c mostinf : 0.00 0 0 0 0 0 0
1789.97/1790.32 c leastinf : 0.00 0 0 0 0 0 0
1789.97/1790.32 c fullstrong : 0.00 0 0 0 0 0 0
1789.97/1790.32 c allfullstrong : 0.00 0 0 0 0 0 0
1789.97/1790.32 c random : 0.00 0 0 0 0 0 0
1789.97/1790.32 c Primal Heuristics : Time Calls Found
1789.97/1790.32 c LP solutions : 0.00 - 0
1789.97/1790.32 c pseudo solutions : 0.00 - 0
1789.97/1790.32 c oneopt : 0.00 0 0
1789.97/1790.32 c trivial : 0.24 2 0
1789.97/1790.32 c simplerounding : 0.01 0 0
1789.97/1790.32 c zirounding : 0.00 0 0
1789.97/1790.32 c rounding : 0.02 1 0
1789.97/1790.32 c shifting : 0.06 1 0
1789.97/1790.32 c intshifting : 0.00 0 0
1789.97/1790.32 c twoopt : 0.00 0 0
1789.97/1790.32 c fixandinfer : 0.00 0 0
1789.97/1790.32 c feaspump : 251.09 1 0
1789.97/1790.32 c coefdiving : 0.00 0 0
1789.97/1790.32 c pscostdiving : 0.00 0 0
1789.97/1790.32 c fracdiving : 0.00 0 0
1789.97/1790.32 c veclendiving : 0.00 0 0
1789.97/1790.32 c intdiving : 0.00 0 0
1789.97/1790.32 c actconsdiving : 0.00 0 0
1789.97/1790.32 c objpscostdiving : 0.00 0 0
1789.97/1790.32 c rootsoldiving : 0.00 0 0
1789.97/1790.32 c linesearchdiving : 0.00 0 0
1789.97/1790.32 c guideddiving : 0.00 0 0
1789.97/1790.32 c octane : 0.00 0 0
1789.97/1790.32 c rens : 0.00 0 0
1789.97/1790.32 c rins : 0.00 0 0
1789.97/1790.32 c localbranching : 0.00 0 0
1789.97/1790.32 c mutation : 0.00 0 0
1789.97/1790.32 c crossover : 0.00 0 0
1789.97/1790.32 c dins : 0.00 0 0
1789.97/1790.32 c undercover : 0.00 0 0
1789.97/1790.32 c nlp : 0.00 0 0
1789.97/1790.32 c trysol : 0.00 0 0
1789.97/1790.32 c LP : Time Calls Iterations Iter/call Iter/sec
1789.97/1790.32 c primal LP : 0.00 0 0 0.00 -
1789.97/1790.32 c dual LP : 68.65 1 6064 6064.00 88.33
1789.97/1790.32 c lex dual LP : 0.00 0 0 0.00 -
1789.97/1790.32 c barrier LP : 0.00 0 0 0.00 -
1789.97/1790.32 c diving/probing LP: 250.42 4 9132 2283.00 36.47
1789.97/1790.32 c strong branching : 0.00 0 0 0.00 -
1789.97/1790.32 c (at root node) : - 0 0 0.00 -
1789.97/1790.32 c conflict analysis: 0.00 0 0 0.00 -
1789.97/1790.32 c B&B Tree :
1789.97/1790.32 c number of runs : 1
1789.97/1790.32 c nodes : 1
1789.97/1790.32 c nodes (total) : 1
1789.97/1790.32 c nodes left : 2
1789.97/1790.32 c max depth : 0
1789.97/1790.32 c max depth (total): 0
1789.97/1790.32 c backtracks : 0 (0.0%)
1789.97/1790.32 c delayed cutoffs : 0
1789.97/1790.32 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.97/1790.32 c avg switch length: 1.00
1789.97/1790.32 c switching time : 0.00
1789.97/1790.32 c Solution :
1789.97/1790.32 c Solutions found : 0 (0 improvements)
1789.97/1790.32 c Primal Bound : -
1789.97/1790.32 c Dual Bound : +5.78042959768442e+05
1789.97/1790.32 c Gap : infinite
1789.97/1790.32 c Root Dual Bound : +5.78042959768442e+05
1789.97/1790.32 c Root Iterations : 15196
1793.67/1794.10 c Time complete: 1793.77.
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-3744203-1338803125/watcher-3744203-1338803125 -o /tmp/evaluation-result-3744203-1338803125/solver-3744203-1338803125 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744203-1338803125.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.00 2.00 3/178 29771
/proc/meminfo: memFree=23529860/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/29771/stat : 29771 (runsolver) D 29769 29771 27119 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 346437332 12095488 50 33554432000 4194304 5436572 140737399391872 140737399388168 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/29771/statm: 2953 50 31 304 0 2645 0
[startup+0.0414561 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29771
/proc/meminfo: memFree=23529860/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=22732 CPUtime=0.02 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 4916 0 0 0 2 0 0 0 20 0 1 0 346437332 23277568 4858 33554432000 4194304 8395647 140733574654432 140737399388056 6347101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 5683 4890 387 1026 0 4653 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22732
[startup+0.100301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29771
/proc/meminfo: memFree=23529860/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=46312 CPUtime=0.08 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 10748 0 0 0 7 1 0 0 20 0 1 0 346437332 47423488 10689 33554432000 4194304 8395647 140733574654432 140737399388056 6347101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 11578 10693 387 1026 0 10548 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46312
[startup+0.300246 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29771
/proc/meminfo: memFree=23529860/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=104576 CPUtime=0.29 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 25264 0 0 0 26 3 0 0 20 0 1 0 346437332 107085824 25205 33554432000 4194304 8395647 140733574654432 140737399388056 7275989 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 26144 25205 394 1026 0 25114 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 104576
[startup+0.700244 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29771
/proc/meminfo: memFree=23529860/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=150552 CPUtime=0.68 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 36717 0 0 0 64 4 0 0 20 0 1 0 346437332 154165248 36658 33554432000 4194304 8395647 140733574654432 140733574519640 7382031 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 37638 36658 394 1026 0 36608 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 150552
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29772
/proc/meminfo: memFree=23339008/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=245400 CPUtime=1.49 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 60379 0 0 0 141 8 0 0 20 0 1 0 346437332 251289600 60320 33554432000 4194304 8395647 140733574654432 140733574519640 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 61350 60320 394 1026 0 60320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 245400
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29772
/proc/meminfo: memFree=23255944/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=324000 CPUtime=3.08 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 80064 0 0 0 298 10 0 0 20 0 1 0 346437332 331776000 80005 33554432000 4194304 8395647 140733574654432 140733574519192 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 81000 80005 394 1026 0 79970 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 324000
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29772
/proc/meminfo: memFree=22637432/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=1046500 CPUtime=6.28 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 258567 0 0 0 593 35 0 0 20 0 1 0 346437332 1071616000 258154 33554432000 4194304 8395647 140733574654432 140733574651848 4720809 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 261625 258154 475 1026 0 260595 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1046500
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29811
/proc/meminfo: memFree=27406080/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=1366952 CPUtime=12.69 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 336379 0 0 0 1222 47 0 0 20 0 1 0 346437332 1399758848 336151 33554432000 4194304 8395647 140733574654432 140733574651144 4214209 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 341738 336151 483 1026 0 340708 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1366952
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29811
/proc/meminfo: memFree=25544404/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=2091560 CPUtime=25.48 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 517262 0 0 0 2477 71 0 0 20 0 1 0 346437332 2141757440 516957 33554432000 4194304 8395647 140733574654432 140733574649896 6347101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 522890 516957 496 1026 0 521860 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2091560
[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 29811
/proc/meminfo: memFree=23786756/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=2569124 CPUtime=51.07 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 634808 0 0 0 5019 88 0 0 20 0 1 0 346437332 2630782976 636742 33554432000 4194304 8395647 140733574654432 140733574650296 4910737 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 642281 636742 508 1026 0 641251 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2569124
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29811
/proc/meminfo: memFree=23686112/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=2578332 CPUtime=102.26 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 637127 0 0 0 10137 89 0 0 20 0 1 0 346437332 2640211968 639044 33554432000 4194304 8395647 140733574654432 140733574650504 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 644583 639044 508 1026 0 643553 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2578332
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 29811
/proc/meminfo: memFree=23673616/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=2583452 CPUtime=162.23 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 638453 0 0 0 16134 89 0 0 20 0 1 0 346437332 2645454848 640349 33554432000 4194304 8395647 140733574654432 140733574650216 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 645863 640349 514 1026 0 644833 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 2583452
[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 29811
/proc/meminfo: memFree=23621068/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=2631560 CPUtime=222.22 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 650480 0 0 0 22132 90 0 0 20 0 1 0 346437332 2694717440 652376 33554432000 4194304 8395647 140733574654432 140733574650296 5210417 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 657890 652376 514 1026 0 656860 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 2631560
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/180 29815
/proc/meminfo: memFree=22865596/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3465948 CPUtime=282.21 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 773168 0 0 0 28099 122 0 0 20 0 1 0 346437332 3549130752 843243 33554432000 4194304 8395647 140733574654432 140733574649896 6721235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 866487 843243 584 1026 0 865457 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 3465948
[startup+342.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/180 29815
/proc/meminfo: memFree=22705340/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3533956 CPUtime=342.2 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 778906 0 0 0 34089 131 0 0 20 0 1 0 346437332 3618770944 862448 33554432000 4194304 8395647 140733574654432 140733574648952 6723594 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 883489 862448 590 1026 0 882459 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 3533956
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 29815
/proc/meminfo: memFree=21943668/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3603904 CPUtime=402.19 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 780858 0 0 0 40084 135 0 0 20 0 1 0 346437332 3690397696 870743 33554432000 4194304 8395647 140733574654432 140733574648952 6667655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 900976 870743 590 1026 0 899946 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 3603904
[startup+462.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 29815
/proc/meminfo: memFree=21882700/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3605288 CPUtime=462.19 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 781016 0 0 0 46082 137 0 0 20 0 1 0 346437332 3691814912 872152 33554432000 4194304 8395647 140733574654432 140733574648952 6707999 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 901322 872152 590 1026 0 900292 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 3605288
[startup+522.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 29815
/proc/meminfo: memFree=21795604/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3609068 CPUtime=522.17 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 781884 0 0 0 52078 139 0 0 20 0 1 0 346437332 3695685632 876785 33554432000 4194304 8395647 140733574654432 140733574648952 6502276 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 902267 876785 590 1026 0 901237 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 3609068
[startup+582.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/179 29816
/proc/meminfo: memFree=21823496/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=582.15 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782140 0 0 0 58075 140 0 0 20 0 1 0 346437332 3660509184 865513 33554432000 4194304 8395647 140733574654432 140733574649624 5863243 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 865513 605 1026 0 892649 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 3574716
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21918756/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1122.07 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782143 0 0 0 112039 168 0 0 20 0 1 0 346437332 3660509184 865515 33554432000 4194304 8395647 140733574654432 140733574649624 6197326 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 865515 605 1026 0 892649 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 3574716
[startup+1182.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 29844
/proc/meminfo: memFree=21910784/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1182.07 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782143 0 0 0 118036 171 0 0 20 0 1 0 346437332 3660509184 865515 33554432000 4194304 8395647 140733574654432 140733574649624 6440490 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 865515 605 1026 0 892649 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 3574716
[startup+1242.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 29844
/proc/meminfo: memFree=21910256/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1242.06 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782143 0 0 0 124032 174 0 0 20 0 1 0 346437332 3660509184 865515 33554432000 4194304 8395647 140733574654432 140733574649672 7385934 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 865515 605 1026 0 892649 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 3574716
[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 29844
/proc/meminfo: memFree=21910108/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1302.06 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782143 0 0 0 130029 177 0 0 20 0 1 0 346437332 3660509184 865575 33554432000 4194304 8395647 140733574654432 140733574649672 7382157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 865575 605 1026 0 892649 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 3574716
[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 29844
/proc/meminfo: memFree=21903004/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1362.04 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782143 0 0 0 136022 182 0 0 20 0 1 0 346437332 3660509184 865915 33554432000 4194304 8395647 140733574654432 140733574649672 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 865915 605 1026 0 892649 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 3574716
[startup+1422.31 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 29844
/proc/meminfo: memFree=21661840/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1422.04 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782144 0 0 0 142019 185 0 0 20 0 1 0 346437332 3660509184 865992 33554432000 4194304 8395647 140733574654432 140733574649624 7385927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 865992 605 1026 0 892649 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 3574716
[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/180 29848
/proc/meminfo: memFree=21661652/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1482.02 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782147 0 0 0 148014 188 0 0 20 0 1 0 346437332 3660509184 865992 33554432000 4194304 8395647 140733574654432 140733574649624 6197330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 865992 605 1026 0 892649 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 3574716
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 29848
/proc/meminfo: memFree=21659080/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1542.01 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782495 0 0 0 154010 191 0 0 20 0 1 0 346437332 3660509184 866684 33554432000 4194304 8395647 140733574654432 140733574649720 5827869 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 866684 608 1026 0 892649 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 3574716
[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 29848
/proc/meminfo: memFree=21657908/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1602 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782502 0 0 0 160009 191 0 0 20 0 1 0 346437332 3660509184 866944 33554432000 4194304 8395647 140733574654432 140733574649720 7382127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 866944 608 1026 0 892649 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 3574716
[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/179 29848
/proc/meminfo: memFree=21657764/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1661.99 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782506 0 0 0 166008 191 0 0 20 0 1 0 346437332 3660509184 866953 33554432000 4194304 8395647 140733574654432 140733574649720 5849682 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 866953 610 1026 0 892649 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 3574716
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/179 29848
/proc/meminfo: memFree=21649592/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1721.98 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782509 0 0 0 172007 191 0 0 20 0 1 0 346437332 3660509184 868992 33554432000 4194304 8395647 140733574654432 140733574649720 5852502 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 868992 613 1026 0 892649 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 3574716
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 29849
/proc/meminfo: memFree=21643900/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1781.97 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782512 0 0 0 178006 191 0 0 20 0 1 0 346437332 3660509184 870349 33554432000 4194304 8395647 140733574654432 140733574649720 7382116 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 870349 613 1026 0 892649 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 3574716
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 29849
/proc/meminfo: memFree=21643900/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1785.17 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782512 0 0 0 178326 191 0 0 20 0 1 0 346437332 3660509184 870349 33554432000 4194304 8395647 140733574654432 140733574649720 7382127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 870349 613 1026 0 892649 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 3574716
[startup+1788.7 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 29849
/proc/meminfo: memFree=21641476/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3574716 CPUtime=1788.37 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 782512 0 0 0 178646 191 0 0 20 0 1 0 346437332 3660509184 870909 33554432000 4194304 8395647 140733574654432 140733574649720 5852534 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 893679 870909 613 1026 0 892649 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (KiB) 3574716
[startup+1791.91 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 29849
/proc/meminfo: memFree=21593940/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3612916 CPUtime=1791.58 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 783542 0 0 0 178966 192 0 0 20 0 1 0 346437332 3699625984 882692 33554432000 4194304 8395647 140733574654432 140733574653768 6063821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 903229 882692 623 1026 0 902199 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 3612916
[startup+1792.7 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 29849
/proc/meminfo: memFree=21593940/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3612916 CPUtime=1792.37 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 783542 0 0 0 179045 192 0 0 20 0 1 0 346437332 3699625984 882692 33554432000 4194304 8395647 140733574654432 140733574653768 6063836 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 903229 882692 623 1026 0 902199 0
Current children cumulated CPU time (s) 1792.37
Current children cumulated vsize (KiB) 3612916
[startup+1793.5 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 29849
/proc/meminfo: memFree=21593940/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3607468 CPUtime=1793.17 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 783542 0 0 0 179125 192 0 0 20 0 1 0 346437332 3694047232 881509 33554432000 4194304 8395647 140733574654432 140733574653768 6066710 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 901867 881509 623 1026 0 900837 0
Current children cumulated CPU time (s) 1793.17
Current children cumulated vsize (KiB) 3607468
[startup+1793.9 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 29849
/proc/meminfo: memFree=21593940/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3369892 CPUtime=1793.57 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 783542 0 0 0 179164 193 0 0 20 0 1 0 346437332 3450769408 839635 33554432000 4194304 8395647 140733574654432 140733574653768 6345887 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 842473 839635 623 1026 0 841443 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (KiB) 3369892
[startup+1794 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 29849
/proc/meminfo: memFree=21893212/32873844 swapFree=7620/7620
[pid=29771] ppid=29769 vsize=3230156 CPUtime=1793.67 cores=0,2,4,6
/proc/29771/stat : 29771 (pbscip.linux.x8) R 29769 29771 27119 0 -1 4202496 783542 0 0 0 179174 193 0 0 20 0 1 0 346437332 3307679744 804701 33554432000 4194304 8395647 140733574654432 140733574653768 7435351 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29771/statm: 807539 804701 623 1026 0 806509 0
Current children cumulated CPU time (s) 1793.67
Current children cumulated vsize (KiB) 3230156
Child status: 0
Real time (s): 1794.11
CPU time (s): 1793.78
CPU user time (s): 1791.82
CPU system time (s): 1.9657
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 3614872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.82
system time used= 1.9657
maximum resident set size= 3532716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 783549
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= 61
involuntary context switches= 1867
runsolver used 3.09153 second user time and 8.22275 second system time
The end