0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3489847-1307796068.opb>
1.19/1.25 c original problem has 167056 variables (167056 bin, 0 int, 0 impl, 0 cont) and 169576 constraints
1.19/1.25 c problem read
1.19/1.25 c presolving settings loaded
1.99/2.04 c presolving:
3.99/4.04 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 169576 upgd conss, 387060 impls, 1965 clqs
1797.24/1797.29 c (1797.3s) probing: 245/167056 (0.1%) - 4 fixings, 0 aggregations, 15938660 implications, 0 bound changes
1797.24/1797.29 c (1797.3s) probing aborted: solving stopped
1797.35/1797.36 c presolving (2 rounds):
1797.35/1797.36 c 4 deleted vars, 1 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 233 changed coefficients
1797.35/1797.36 c 32432574 implications, 59114 cliques
1797.35/1797.36 c presolved problem has 167052 variables (167052 bin, 0 int, 0 impl, 0 cont) and 169577 constraints
1797.35/1797.36 c 555 constraints of type <knapsack>
1797.35/1797.36 c 169022 constraints of type <setppc>
1797.35/1797.36 c transformed objective value is always integral (scale: 1)
1797.35/1797.36 c Presolving Time: 1795.65
1797.35/1797.36 c - non default parameters ----------------------------------------------------------------------
1797.35/1797.36 c # SCIP version 2.0.1.5
1797.35/1797.36 c
1797.35/1797.36 c # frequency for displaying node information lines
1797.35/1797.36 c # [type: int, range: [-1,2147483647], default: 100]
1797.35/1797.36 c display/freq = 10000
1797.35/1797.36 c
1797.35/1797.36 c # maximal time in seconds to run
1797.35/1797.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.35/1797.36 c limits/time = 1797
1797.35/1797.36 c
1797.35/1797.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.35/1797.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.35/1797.36 c limits/memory = 13950
1797.35/1797.36 c
1797.35/1797.36 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.35/1797.36 c # [type: int, range: [1,2], default: 1]
1797.35/1797.36 c timing/clocktype = 2
1797.35/1797.36 c
1797.35/1797.36 c # belongs reading time to solving time?
1797.35/1797.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.35/1797.36 c timing/reading = TRUE
1797.35/1797.36 c
1797.35/1797.36 c # should presolving try to simplify inequalities
1797.35/1797.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.35/1797.36 c constraints/linear/simplifyinequalities = TRUE
1797.35/1797.36 c
1797.35/1797.36 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.35/1797.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.35/1797.36 c constraints/indicator/addCouplingCons = TRUE
1797.35/1797.36 c
1797.35/1797.36 c # should presolving try to simplify knapsacks
1797.35/1797.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.35/1797.36 c constraints/knapsack/simplifyinequalities = TRUE
1797.35/1797.36 c
1797.35/1797.36 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.35/1797.36 c # [type: int, range: [-1,2147483647], default: -1]
1797.35/1797.36 c separating/rapidlearning/freq = 0
1797.35/1797.36 c
1797.35/1797.36 c -----------------------------------------------------------------------------------------------
1797.35/1797.36 c start solving
1797.45/1797.43 c
1797.45/1797.43 c
1797.45/1797.43 c SCIP Status : solving was interrupted [time limit reached]
1797.45/1797.43 c Solving Time (sec) : 1797.43
1797.45/1797.43 c Solving Nodes : 0
1797.45/1797.43 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.45/1797.43 c Dual Bound : -1.00000000000000e+20
1797.45/1797.43 c Gap : infinite
1797.45/1797.43 s UNKNOWN
1797.45/1797.43 c SCIP Status : solving was interrupted [time limit reached]
1797.45/1797.43 c Total Time : 1797.43
1797.45/1797.43 c solving : 1797.43
1797.45/1797.43 c presolving : 1795.65 (included in solving)
1797.45/1797.43 c reading : 1.25 (included in solving)
1797.45/1797.43 c Original Problem :
1797.45/1797.43 c Problem name : HOME/instance-3489847-1307796068.opb
1797.45/1797.43 c Variables : 167056 (167056 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.45/1797.43 c Constraints : 169576 initial, 169576 maximal
1797.45/1797.43 c Presolved Problem :
1797.45/1797.43 c Problem name : t_HOME/instance-3489847-1307796068.opb
1797.45/1797.43 c Variables : 167052 (167052 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.45/1797.43 c Constraints : 169577 initial, 169577 maximal
1797.45/1797.43 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.45/1797.43 c trivial : 0.02 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c dualfix : 0.01 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c implics : 0.01 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c probing : 1789.47 4 0 0 0 0 0 0 0 0
1797.45/1797.43 c knapsack : 3.00 0 0 0 0 0 1 2 2 233
1797.45/1797.43 c setppc : 0.35 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c linear : 1.73 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c root node : - 0 - - 0 - - - - -
1797.45/1797.43 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.45/1797.43 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c knapsack : 555 0 22310 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c setppc : 169022 0 22310 0 0 0 0 2 0 0 0 0
1797.45/1797.43 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.45/1797.43 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.45/1797.43 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.45/1797.43 c knapsack : 14.56 0.00 14.56 0.00 0.00 0.00 0.00
1797.45/1797.43 c setppc : 71.31 0.00 71.31 0.00 0.00 0.00 0.00
1797.45/1797.43 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.45/1797.43 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.45/1797.43 c vbounds : 0 0 0 0
1797.45/1797.43 c rootredcost : 0 0 0 0
1797.45/1797.43 c pseudoobj : 0 0 0 0
1797.45/1797.43 c Propagator Timings : TotalTime Propagate Resprop
1797.45/1797.43 c vbounds : 0.01 0.01 0.00
1797.45/1797.43 c rootredcost : 0.00 0.00 0.00
1797.45/1797.43 c pseudoobj : 0.00 0.00 0.00
1797.45/1797.43 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.45/1797.43 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.45/1797.43 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.45/1797.43 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.45/1797.43 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.45/1797.43 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.45/1797.43 c applied globally : - - - 0 0.0 - - -
1797.45/1797.43 c applied locally : - - - 0 0.0 - - -
1797.45/1797.43 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.45/1797.43 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.45/1797.43 c redcost : 0.00 0 0 0 0 0
1797.45/1797.43 c impliedbounds : 0.00 0 0 0 0 0
1797.45/1797.43 c intobj : 0.00 0 0 0 0 0
1797.45/1797.43 c gomory : 0.00 0 0 0 0 0
1797.45/1797.43 c cgmip : 0.00 0 0 0 0 0
1797.45/1797.43 c closecuts : 0.00 0 0 0 0 0
1797.45/1797.43 c strongcg : 0.00 0 0 0 0 0
1797.45/1797.43 c cmir : 0.00 0 0 0 0 0
1797.45/1797.43 c flowcover : 0.00 0 0 0 0 0
1797.45/1797.43 c clique : 0.00 0 0 0 0 0
1797.45/1797.43 c zerohalf : 0.00 0 0 0 0 0
1797.45/1797.43 c mcf : 0.00 0 0 0 0 0
1797.45/1797.43 c oddcycle : 0.00 0 0 0 0 0
1797.45/1797.43 c rapidlearning : 0.00 0 0 0 0 0
1797.45/1797.43 c Pricers : Time Calls Vars
1797.45/1797.43 c problem variables: 0.00 0 0
1797.45/1797.43 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.45/1797.43 c pscost : 0.00 0 0 0 0 0 0
1797.45/1797.43 c inference : 0.00 0 0 0 0 0 0
1797.45/1797.43 c mostinf : 0.00 0 0 0 0 0 0
1797.45/1797.43 c leastinf : 0.00 0 0 0 0 0 0
1797.45/1797.43 c fullstrong : 0.00 0 0 0 0 0 0
1797.45/1797.43 c allfullstrong : 0.00 0 0 0 0 0 0
1797.45/1797.43 c random : 0.00 0 0 0 0 0 0
1797.45/1797.43 c relpscost : 0.00 0 0 0 0 0 0
1797.45/1797.43 c Primal Heuristics : Time Calls Found
1797.45/1797.43 c LP solutions : 0.00 - 0
1797.45/1797.43 c pseudo solutions : 0.00 - 0
1797.45/1797.43 c trivial : 0.17 1 0
1797.45/1797.43 c shiftandpropagate: 0.00 0 0
1797.45/1797.43 c simplerounding : 0.00 0 0
1797.45/1797.43 c zirounding : 0.00 0 0
1797.45/1797.43 c rounding : 0.00 0 0
1797.45/1797.43 c shifting : 0.00 0 0
1797.45/1797.43 c intshifting : 0.00 0 0
1797.45/1797.43 c oneopt : 0.00 0 0
1797.45/1797.43 c twoopt : 0.00 0 0
1797.45/1797.43 c fixandinfer : 0.00 0 0
1797.45/1797.43 c feaspump : 0.00 0 0
1797.45/1797.43 c clique : 0.00 0 0
1797.45/1797.43 c coefdiving : 0.00 0 0
1797.45/1797.43 c pscostdiving : 0.00 0 0
1797.45/1797.43 c fracdiving : 0.00 0 0
1797.45/1797.43 c veclendiving : 0.00 0 0
1797.45/1797.43 c intdiving : 0.00 0 0
1797.45/1797.43 c actconsdiving : 0.00 0 0
1797.45/1797.43 c objpscostdiving : 0.00 0 0
1797.45/1797.43 c rootsoldiving : 0.00 0 0
1797.45/1797.43 c linesearchdiving : 0.00 0 0
1797.45/1797.43 c guideddiving : 0.00 0 0
1797.45/1797.43 c octane : 0.00 0 0
1797.45/1797.43 c rens : 0.00 0 0
1797.45/1797.43 c rins : 0.00 0 0
1797.45/1797.43 c localbranching : 0.00 0 0
1797.45/1797.43 c mutation : 0.00 0 0
1797.45/1797.43 c crossover : 0.00 0 0
1797.45/1797.43 c dins : 0.00 0 0
1797.45/1797.43 c vbounds : 0.00 0 0
1797.45/1797.43 c undercover : 0.00 0 0
1797.45/1797.43 c subnlp : 0.00 0 0
1797.45/1797.43 c trysol : 0.00 0 0
1797.45/1797.43 c LP : Time Calls Iterations Iter/call Iter/sec
1797.45/1797.43 c primal LP : 0.00 0 0 0.00 -
1797.45/1797.43 c dual LP : 0.00 0 0 0.00 -
1797.45/1797.43 c lex dual LP : 0.00 0 0 0.00 -
1797.45/1797.43 c barrier LP : 0.00 0 0 0.00 -
1797.45/1797.43 c diving/probing LP: 0.00 0 0 0.00 -
1797.45/1797.43 c strong branching : 0.00 0 0 0.00 -
1797.45/1797.43 c (at root node) : - 0 0 0.00 -
1797.45/1797.43 c conflict analysis: 0.00 0 0 0.00 -
1797.45/1797.43 c B&B Tree :
1797.45/1797.43 c number of runs : 1
1797.45/1797.43 c nodes : 0
1797.45/1797.43 c nodes (total) : 0
1797.45/1797.43 c nodes left : 1
1797.45/1797.43 c max depth : -1
1797.45/1797.43 c max depth (total): -1
1797.45/1797.43 c backtracks : 0 (0.0%)
1797.45/1797.43 c delayed cutoffs : 0
1797.45/1797.43 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.45/1797.43 c avg switch length: 0.00
1797.45/1797.43 c switching time : 0.00
1797.45/1797.43 c Solution :
1797.45/1797.43 c Solutions found : 0 (0 improvements)
1797.45/1797.43 c Primal Bound : -
1797.45/1797.43 c Dual Bound : -
1797.45/1797.43 c Gap : infinite
1797.45/1797.43 c Root Dual Bound : -
1797.45/1797.43 c Root Iterations : 0
1798.24/1798.24 c Time complete: 1798.29.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3489847-1307796068/watcher-3489847-1307796068 -o /tmp/evaluation-result-3489847-1307796068/solver-3489847-1307796068 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489847-1307796068.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.71 1.82 1.92 2/177 23898
/proc/meminfo: memFree=30481248/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=12876 CPUtime=0 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 2209 0 0 0 0 0 0 0 25 0 1 0 891207303 13185024 2163 33554432000 4194304 9016284 140733649999824 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23898/statm: 3219 2165 353 1178 0 2037 0
[startup+0.0943829 s]
/proc/loadavg: 1.71 1.82 1.92 2/177 23898
/proc/meminfo: memFree=30481248/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=70068 CPUtime=0.08 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 16461 0 0 0 7 1 0 0 25 0 1 0 891207303 71749632 16415 33554432000 4194304 9016284 140733649999824 18446744073709551615 7842240 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23898/statm: 17517 16415 360 1178 0 16335 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 70068
[startup+0.100379 s]
/proc/loadavg: 1.71 1.82 1.92 2/177 23898
/proc/meminfo: memFree=30481248/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=74356 CPUtime=0.09 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 17543 0 0 0 8 1 0 0 25 0 1 0 891207303 76140544 17497 33554432000 4194304 9016284 140733649999824 18446744073709551615 6151876 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23898/statm: 18589 17497 360 1178 0 17407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 74356
[startup+0.300356 s]
/proc/loadavg: 1.71 1.82 1.92 2/177 23898
/proc/meminfo: memFree=30481248/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=138940 CPUtime=0.29 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 33688 0 0 0 26 3 0 0 25 0 1 0 891207303 142274560 33638 33554432000 4194304 9016284 140733649999824 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23898/statm: 34735 33638 360 1178 0 33553 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 138940
[startup+0.700271 s]
/proc/loadavg: 1.71 1.82 1.92 2/177 23898
/proc/meminfo: memFree=30481248/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=167608 CPUtime=0.69 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 40830 0 0 0 66 3 0 0 25 0 1 0 891207303 171630592 40780 33554432000 4194304 9016284 140733649999824 18446744073709551615 4992855 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23898/statm: 41902 40780 360 1178 0 40720 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 167608
[startup+1.50114 s]
/proc/loadavg: 1.73 1.82 1.92 3/178 23899
/proc/meminfo: memFree=30298612/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=401204 CPUtime=1.49 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 98891 0 0 0 139 10 0 0 25 0 1 0 891207303 410832896 98798 33554432000 4194304 9016284 140733649999824 18446744073709551615 5209022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 100301 98798 406 1178 0 99119 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 401204
[startup+3.10084 s]
/proc/loadavg: 1.73 1.82 1.92 3/178 23900
/proc/meminfo: memFree=29973112/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=561788 CPUtime=3.09 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 142608 0 0 0 294 15 0 0 25 0 1 0 891207303 575270912 138575 33554432000 4194304 9016284 140733649999824 18446744073709551615 4203148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 140447 138575 480 1178 0 139265 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 561788
[startup+6.30025 s]
/proc/loadavg: 1.75 1.82 1.92 3/178 23900
/proc/meminfo: memFree=29772636/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=816328 CPUtime=6.29 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 214235 0 0 0 607 22 0 0 25 0 1 0 891207303 835919872 199747 33554432000 4194304 9016284 140733649999824 18446744073709551615 6481932 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 204082 199747 590 1178 0 202900 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 816328
[startup+12.7011 s]
/proc/loadavg: 1.77 1.83 1.92 3/178 23900
/proc/meminfo: memFree=29508280/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=992272 CPUtime=12.69 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 257922 0 0 0 1243 26 0 0 25 0 1 0 891207303 1016086528 243376 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 248068 243376 568 1178 0 246886 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 992272
[startup+25.5008 s]
/proc/loadavg: 1.80 1.83 1.92 3/178 23900
/proc/meminfo: memFree=29503728/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=997080 CPUtime=25.5 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 258942 0 0 0 2523 27 0 0 25 0 1 0 891207303 1021009920 244396 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 249270 244396 568 1178 0 248088 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 997080
[startup+51.1011 s]
/proc/loadavg: 1.88 1.85 1.92 3/178 23901
/proc/meminfo: memFree=29490308/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1009248 CPUtime=51.1 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 261904 0 0 0 5083 27 0 0 25 0 1 0 891207303 1033469952 247358 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 252312 247358 568 1178 0 251130 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1009248
[startup+102.307 s]
/proc/loadavg: 1.95 1.87 1.92 3/178 23902
/proc/meminfo: memFree=29434584/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1069868 CPUtime=102.3 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 275531 0 0 0 10202 28 0 0 25 0 1 0 891207303 1095544832 260949 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 267467 260949 535 1178 0 266285 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1069868
[startup+162.301 s]
/proc/loadavg: 1.98 1.89 1.92 3/178 23904
/proc/meminfo: memFree=29411228/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1094352 CPUtime=162.29 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 281331 0 0 0 16200 29 0 0 25 0 1 0 891207303 1120616448 266749 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 273588 266749 535 1178 0 272406 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1094352
[startup+222.301 s]
/proc/loadavg: 1.99 1.91 1.92 3/178 23905
/proc/meminfo: memFree=29372008/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1110968 CPUtime=222.3 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 285161 0 0 0 22200 30 0 0 25 0 1 0 891207303 1137631232 270579 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 277742 270579 535 1178 0 276560 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1110968
[startup+282.301 s]
/proc/loadavg: 1.99 1.92 1.92 3/178 23907
/proc/meminfo: memFree=29364532/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1142556 CPUtime=282.3 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 292727 0 0 0 28199 31 0 0 25 0 1 0 891207303 1169977344 278145 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 285639 278145 535 1178 0 284457 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1142556
[startup+342.301 s]
/proc/loadavg: 1.99 1.93 1.92 3/178 23909
/proc/meminfo: memFree=29220772/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1159996 CPUtime=342.3 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 296746 0 0 0 34199 31 0 0 25 0 1 0 891207303 1187835904 282164 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 289999 282164 535 1178 0 288817 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1159996
[startup+402.301 s]
/proc/loadavg: 1.99 1.94 1.92 3/178 23910
/proc/meminfo: memFree=29158720/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1184032 CPUtime=402.31 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 302411 0 0 0 40199 32 0 0 25 0 1 0 891207303 1212448768 287829 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 296008 287829 535 1178 0 294826 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1184032
[startup+462.301 s]
/proc/loadavg: 1.99 1.95 1.92 3/178 23912
/proc/meminfo: memFree=29126688/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1216388 CPUtime=462.31 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 310384 0 0 0 46198 33 0 0 25 0 1 0 891207303 1245581312 295593 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 304097 295593 535 1178 0 302915 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1216388
[startup+522.301 s]
/proc/loadavg: 1.99 1.95 1.92 3/178 23913
/proc/meminfo: memFree=29120944/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1222480 CPUtime=522.31 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 311759 0 0 0 52198 33 0 0 25 0 1 0 891207303 1251819520 296968 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 305620 296968 535 1178 0 304438 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1222480
[startup+582.301 s]
/proc/loadavg: 1.99 1.96 1.92 3/178 23915
/proc/meminfo: memFree=29099076/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1244624 CPUtime=582.31 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 317271 0 0 0 58198 33 0 0 25 0 1 0 891207303 1274494976 302480 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 311156 302480 535 1178 0 309974 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1244624
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28901660/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1447180 CPUtime=1122.32 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 368379 0 0 0 112193 39 0 0 25 0 1 0 891207303 1481912320 352961 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 361795 352961 535 1178 0 360613 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1447180
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 23931
/proc/meminfo: memFree=28848924/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1474844 CPUtime=1182.32 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 375424 0 0 0 118192 40 0 0 25 0 1 0 891207303 1510240256 359866 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 368711 359866 535 1178 0 367529 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1474844
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 23942
/proc/meminfo: memFree=28805944/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1516048 CPUtime=1242.33 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 385965 0 0 0 124191 42 0 0 25 0 1 0 891207303 1552433152 370347 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 379012 370347 535 1178 0 377830 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1516048
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23943
/proc/meminfo: memFree=28720108/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1600404 CPUtime=1302.34 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 407133 0 0 0 130190 44 0 0 25 0 1 0 891207303 1638813696 391515 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 400101 391515 535 1178 0 398919 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1600404
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23945
/proc/meminfo: memFree=28619004/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1700332 CPUtime=1362.33 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 432411 0 0 0 136186 47 0 0 25 0 1 0 891207303 1741139968 416735 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 425083 416735 535 1178 0 423901 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1700332
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23949
/proc/meminfo: memFree=28599900/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1719568 CPUtime=1422.34 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 437225 0 0 0 142187 47 0 0 25 0 1 0 891207303 1760837632 421549 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 429892 421549 535 1178 0 428710 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1719568
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 23951
/proc/meminfo: memFree=28527324/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1793344 CPUtime=1482.33 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 455354 0 0 0 148184 49 0 0 25 0 1 0 891207303 1836384256 439678 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 448336 439678 535 1178 0 447154 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1793344
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 23953
/proc/meminfo: memFree=28484996/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1836064 CPUtime=1542.34 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 465885 0 0 0 154183 51 0 0 25 0 1 0 891207303 1880129536 450209 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 459016 450209 535 1178 0 457834 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1836064
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23954
/proc/meminfo: memFree=28445168/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1877924 CPUtime=1602.34 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 476109 0 0 0 160181 53 0 0 25 0 1 0 891207303 1922994176 460433 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 469481 460433 535 1178 0 468299 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1877924
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23956
/proc/meminfo: memFree=28393780/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1948140 CPUtime=1662.35 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 493951 0 0 0 166180 55 0 0 25 0 1 0 891207303 1994895360 478169 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 487035 478169 535 1178 0 485853 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1948140
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23957
/proc/meminfo: memFree=28370932/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1972632 CPUtime=1722.34 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 499843 0 0 0 172179 55 0 0 25 0 1 0 891207303 2019975168 484061 33554432000 4194304 9016284 140733649999824 18446744073709551615 4887822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 493158 484061 535 1178 0 491976 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1972632
[startup+1782.3 s]
/proc/loadavg: 1.56 1.89 1.91 2/172 23984
/proc/meminfo: memFree=29958436/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=2010828 CPUtime=1782.35 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 509106 0 0 0 178179 56 0 0 25 0 1 0 891207303 2059087872 493324 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 502707 493324 535 1178 0 501525 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2010828
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.47 1.86 1.90 2/172 23984
/proc/meminfo: memFree=29954460/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=2014600 CPUtime=1791.95 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 510102 0 0 0 179139 56 0 0 25 0 1 0 891207303 2062950400 494320 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 503650 494320 535 1178 0 502468 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 2014600
[startup+1795.1 s]
/proc/loadavg: 1.43 1.84 1.89 2/172 23984
/proc/meminfo: memFree=29952352/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=2016648 CPUtime=1795.15 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 510614 0 0 0 179459 56 0 0 25 0 1 0 891207303 2065047552 494832 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 504162 494832 535 1178 0 502980 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 2016648
[startup+1796.7 s]
/proc/loadavg: 1.43 1.84 1.89 2/172 23984
/proc/meminfo: memFree=29950244/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=2019200 CPUtime=1796.74 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 511149 0 0 0 179618 56 0 0 25 0 1 0 891207303 2067660800 495367 33554432000 4194304 9016284 140733649999824 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23898/statm: 504800 495367 535 1178 0 503618 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 2019200
[startup+1797.5 s]
/proc/loadavg: 1.43 1.84 1.89 2/172 23984
/proc/meminfo: memFree=29943796/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=2039408 CPUtime=1797.55 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 518978 0 0 0 179698 57 0 0 18 0 1 0 891207303 2088353792 500463 33554432000 4194304 9016284 140733649999824 18446744073709551615 4687741 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23898/statm: 509852 500463 567 1178 0 508670 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 2039408
[startup+1797.9 s]
/proc/loadavg: 1.43 1.84 1.89 2/172 23984
/proc/meminfo: memFree=29943796/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1959268 CPUtime=1797.95 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 518978 0 0 0 179738 57 0 0 18 0 1 0 891207303 2006290432 480477 33554432000 4194304 9016284 140733649999824 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23898/statm: 489817 480477 567 1178 0 488635 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1959268
[startup+1798.1 s]
/proc/loadavg: 1.43 1.84 1.89 2/172 23984
/proc/meminfo: memFree=29943796/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1855024 CPUtime=1798.14 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 518980 0 0 0 179757 57 0 0 18 0 1 0 891207303 1899544576 454605 33554432000 4194304 9016284 140733649999824 18446744073709551615 6817792 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23898/statm: 463756 454605 569 1178 0 462574 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (KiB) 1855024
[startup+1798.2 s]
/proc/loadavg: 1.43 1.84 1.89 2/172 23984
/proc/meminfo: memFree=29943796/32951124 swapFree=67052968/67111528
[pid=23898] ppid=23896 vsize=1441264 CPUtime=1798.24 cores=1,3,5,7
/proc/23898/stat : 23898 (scip-2.0.1.4b_2) R 23896 23898 22776 0 -1 4202496 518985 0 0 0 179765 59 0 0 18 0 1 0 891207303 1475854336 336245 33554432000 4194304 9016284 140733649999824 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23898/statm: 360316 335749 574 1178 0 359134 0
Current children cumulated CPU time (s) 1798.24
Current children cumulated vsize (KiB) 1441264
Child status: 0
Real time (s): 1798.25
CPU time (s): 1798.3
CPU user time (s): 1797.66
CPU system time (s): 0.640902
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2043788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.66
system time used= 0.640902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518990
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= 5
involuntary context switches= 6119
runsolver used 2.22166 second user time and 6.19406 second system time
The end