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-3740515-1338747454.opb>
1.29/1.37 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245266 constraints
1.29/1.37 c problem read
1.29/1.37 c presolving settings loaded
1.78/1.89 c presolving:
9.99/10.02 c (round 1) 6488 del vars, 19166 del conss, 0 add conss, 4979 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16620104 impls, 0 clqs
14.09/14.17 c (round 2) 13185 del vars, 47502 del conss, 0 add conss, 11334 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16656891 impls, 0 clqs
15.49/15.56 c (round 3) 15842 del vars, 59319 del conss, 0 add conss, 12857 chg bounds, 24 chg sides, 14 chg coeffs, 0 upgd conss, 16676061 impls, 0 clqs
16.49/16.55 c (round 4) 17393 del vars, 65123 del conss, 0 add conss, 13951 chg bounds, 32 chg sides, 22 chg coeffs, 0 upgd conss, 16690267 impls, 0 clqs
17.09/17.11 c (round 5) 18456 del vars, 69307 del conss, 0 add conss, 14632 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16700948 impls, 0 clqs
17.49/17.55 c (round 6) 19209 del vars, 72085 del conss, 0 add conss, 15129 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16707572 impls, 0 clqs
17.79/17.89 c (round 7) 19817 del vars, 74441 del conss, 0 add conss, 15533 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16714668 impls, 0 clqs
18.09/18.16 c (round 8) 20279 del vars, 76245 del conss, 0 add conss, 15840 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16719604 impls, 0 clqs
18.29/18.37 c (round 9) 20632 del vars, 77604 del conss, 0 add conss, 16082 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16723033 impls, 0 clqs
18.49/18.53 c (round 10) 20871 del vars, 78585 del conss, 0 add conss, 16242 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16725333 impls, 0 clqs
18.59/18.65 c (round 11) 21027 del vars, 79201 del conss, 0 add conss, 16332 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16728011 impls, 0 clqs
18.69/18.78 c (round 12) 21113 del vars, 79632 del conss, 0 add conss, 16393 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16728770 impls, 0 clqs
18.79/18.85 c (round 13) 21157 del vars, 79852 del conss, 0 add conss, 16412 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16729054 impls, 0 clqs
18.89/18.91 c (round 14) 21177 del vars, 79948 del conss, 0 add conss, 16424 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16729118 impls, 0 clqs
18.89/18.97 c (round 15) 21179 del vars, 79978 del conss, 0 add conss, 16425 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16729128 impls, 0 clqs
19.48/19.59 c (round 16) 21179 del vars, 79981 del conss, 0 add conss, 16425 chg bounds, 34 chg sides, 22 chg coeffs, 165285 upgd conss, 16729128 impls, 0 clqs
19.98/20.10 c (round 17) 21179 del vars, 79983 del conss, 13 add conss, 16425 chg bounds, 48 chg sides, 158 chg coeffs, 165285 upgd conss, 16729618 impls, 4086 clqs
223.15/223.29 c (round 18) 21229 del vars, 79984 del conss, 18 add conss, 16425 chg bounds, 54 chg sides, 196 chg coeffs, 165285 upgd conss, 30460888 impls, 4229 clqs
223.66/223.73 c (round 19) 21231 del vars, 80867 del conss, 18 add conss, 16425 chg bounds, 54 chg sides, 630 chg coeffs, 165285 upgd conss, 30461098 impls, 4229 clqs
782.15/782.31 c (782.3s) probing: 1000/51663 (1.9%) - 43 fixings, 19 aggregations, 12388086 implications, 0 bound changes
1324.94/1325.26 c (1325.3s) probing: 2000/51663 (3.9%) - 53 fixings, 19 aggregations, 20495241 implications, 0 bound changes
1796.86/1797.27 c (1797.3s) probing: 2895/51663 (5.6%) - 59 fixings, 19 aggregations, 27878220 implications, 0 bound changes
1796.86/1797.27 c (1797.3s) probing aborted: solving stopped
1796.86/1797.27 c (round 20) 21259 del vars, 80869 del conss, 18 add conss, 16425 chg bounds, 54 chg sides, 636 chg coeffs, 165285 upgd conss, 106891358 impls, 5366 clqs
1796.86/1797.27 c presolving (20 rounds):
1796.86/1797.27 c 21259 deleted vars, 80869 deleted constraints, 18 added constraints, 16425 tightened bounds, 0 added holes, 54 changed sides, 636 changed coefficients
1796.86/1797.27 c 106891358 implications, 5366 cliques
1796.86/1797.27 c presolving was interrupted.
1796.86/1797.27 c Presolving Time: 1795.54
1796.86/1797.27 c - non default parameters ----------------------------------------------------------------------
1796.86/1797.27 c # SCIP version 2.0.1.5
1796.86/1797.27 c
1796.86/1797.27 c # frequency for displaying node information lines
1796.86/1797.27 c # [type: int, range: [-1,2147483647], default: 100]
1796.86/1797.27 c display/freq = 10000
1796.86/1797.27 c
1796.86/1797.27 c # maximal time in seconds to run
1796.86/1797.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.86/1797.27 c limits/time = 1797
1796.86/1797.27 c
1796.86/1797.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.86/1797.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.86/1797.27 c limits/memory = 13950
1796.86/1797.27 c
1796.86/1797.27 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.86/1797.27 c # [type: int, range: [1,2], default: 1]
1796.86/1797.27 c timing/clocktype = 2
1796.86/1797.27 c
1796.86/1797.27 c # belongs reading time to solving time?
1796.86/1797.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.86/1797.27 c timing/reading = TRUE
1796.86/1797.27 c
1796.86/1797.27 c # should presolving try to simplify inequalities
1796.86/1797.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.86/1797.27 c constraints/linear/simplifyinequalities = TRUE
1796.86/1797.27 c
1796.86/1797.27 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.86/1797.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.86/1797.27 c constraints/indicator/addCouplingCons = TRUE
1796.86/1797.27 c
1796.86/1797.27 c # should presolving try to simplify knapsacks
1796.86/1797.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.86/1797.27 c constraints/knapsack/simplifyinequalities = TRUE
1796.86/1797.27 c
1796.86/1797.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.86/1797.27 c # [type: int, range: [-1,2147483647], default: -1]
1796.86/1797.27 c separating/rapidlearning/freq = 0
1796.86/1797.27 c
1796.86/1797.27 c -----------------------------------------------------------------------------------------------
1796.86/1797.27 c start solving
1796.96/1797.31 c presolving:
1796.96/1797.31 c presolving (20 rounds):
1796.96/1797.31 c 21259 deleted vars, 80869 deleted constraints, 18 added constraints, 16425 tightened bounds, 0 added holes, 54 changed sides, 636 changed coefficients
1796.96/1797.31 c 106891358 implications, 5366 cliques
1796.96/1797.31 c presolving was interrupted.
1796.96/1797.31 c Presolving Time: 1795.58
1796.96/1797.31 c
1796.96/1797.31 c SCIP Status : solving was interrupted [time limit reached]
1796.96/1797.31 c Solving Time (sec) : 1797.30
1796.96/1797.31 c Solving Nodes : 0
1796.96/1797.31 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.96/1797.31 s UNKNOWN
1796.96/1797.31 c SCIP Status : solving was interrupted [time limit reached]
1796.96/1797.31 c Total Time : 1797.30
1796.96/1797.31 c solving : 1797.30
1796.96/1797.31 c presolving : 1795.58 (included in solving)
1796.96/1797.31 c reading : 1.36 (included in solving)
1796.96/1797.31 c Original Problem :
1796.96/1797.31 c Problem name : HOME/instance-3740515-1338747454.opb
1796.96/1797.31 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.96/1797.31 c Constraints : 245266 initial, 245266 maximal
1796.96/1797.31 c Presolved Problem :
1796.96/1797.31 c Problem name : t_HOME/instance-3740515-1338747454.opb
1796.96/1797.31 c Variables : 51583 (51583 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.96/1797.31 c Constraints : 164415 initial, 164415 maximal
1796.96/1797.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.96/1797.31 c trivial : 0.06 1070 0 0 0 0 0 0 0 0
1796.96/1797.31 c dualfix : 0.10 126 0 0 0 0 0 0 0 0
1796.96/1797.31 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.96/1797.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.96/1797.31 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.96/1797.31 c implics : 0.70 0 2 0 0 0 0 0 0 0
1796.96/1797.31 c probing : 1776.12 59 19 0 0 0 0 0 0 0
1796.96/1797.31 c knapsack : 0.92 0 0 0 0 0 1 18 20 614
1796.96/1797.31 c setppc : 0.33 0 0 0 0 0 880 0 0 0
1796.96/1797.31 c linear : 16.85 15355 4628 0 16425 0 79981 0 34 22
1796.96/1797.31 c logicor : 0.08 0 0 0 0 0 7 0 0 0
1796.96/1797.31 c root node : - 0 - - 0 - - - - -
1796.96/1797.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.96/1797.31 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.96/1797.31 c knapsack : 0+ 0 137889 0 0 0 0 10 0 0 0 0
1796.96/1797.31 c setppc : 0+ 0 137879 0 0 0 0 10 0 0 0 0
1796.96/1797.31 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1796.96/1797.31 c logicor : 0+ 0 124841 0 0 0 0 18 0 0 0 0
1796.96/1797.31 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.96/1797.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.96/1797.31 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.96/1797.31 c knapsack : 9.22 0.00 9.22 0.00 0.00 0.00 0.00
1796.96/1797.31 c setppc : 741.21 0.00 741.21 0.00 0.00 0.00 0.00
1796.96/1797.31 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.96/1797.31 c logicor : 9.97 0.00 9.97 0.00 0.00 0.00 0.00
1796.96/1797.31 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.96/1797.31 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.96/1797.31 c vbounds : 0 0 0 0
1796.96/1797.31 c rootredcost : 0 0 0 0
1796.96/1797.31 c pseudoobj : 0 0 0 0
1796.96/1797.31 c Propagator Timings : TotalTime Propagate Resprop
1796.96/1797.31 c vbounds : 0.05 0.05 0.00
1796.96/1797.31 c rootredcost : 0.04 0.04 0.00
1796.96/1797.31 c pseudoobj : 0.02 0.02 0.00
1796.96/1797.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.96/1797.31 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.96/1797.31 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.96/1797.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.96/1797.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.96/1797.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.96/1797.31 c applied globally : - - - 0 0.0 - - -
1796.96/1797.31 c applied locally : - - - 0 0.0 - - -
1797.47/1797.87 c Time complete: 1797.53.
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-3740515-1338747454/watcher-3740515-1338747454 -o /tmp/evaluation-result-3740515-1338747454/solver-3740515-1338747454 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3740515-1338747454.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/174 1846
/proc/meminfo: memFree=25201116/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=9180 CPUtime=0 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 340870860 9400320 1252 33554432000 4194304 9016284 140735004503008 140736191154216 7854962 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 2295 1263 214 1178 0 1113 0
[startup+0.100388 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1846
/proc/meminfo: memFree=25201116/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=31236 CPUtime=0.09 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 6805 0 0 0 8 1 0 0 20 0 1 0 340870860 31985664 6759 33554432000 4194304 9016284 140735004503008 140735004366904 4536486 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 7809 6759 360 1178 0 6627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31236
[startup+0.200325 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1846
/proc/meminfo: memFree=25201116/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=49920 CPUtime=0.19 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 11461 0 0 0 17 2 0 0 20 0 1 0 340870860 51118080 11415 33554432000 4194304 9016284 140735004503008 140735004366904 6184628 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 12480 11415 360 1178 0 11298 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 49920
[startup+0.300324 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1846
/proc/meminfo: memFree=25201116/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=59012 CPUtime=0.29 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 13746 0 0 0 27 2 0 0 20 0 1 0 340870860 60428288 13700 33554432000 4194304 9016284 140735004503008 140735004366904 7870488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 14753 13700 360 1178 0 13571 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59012
[startup+0.700279 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1846
/proc/meminfo: memFree=25201116/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=87732 CPUtime=0.68 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 20923 0 0 0 66 2 0 0 20 0 1 0 340870860 89837568 20877 33554432000 4194304 9016284 140735004503008 140735004366904 6151969 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 21933 20877 360 1178 0 20751 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87732
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=25066924/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=253060 CPUtime=1.48 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 62081 0 0 0 141 7 0 0 20 0 1 0 340870860 259133440 61967 33554432000 4194304 9016284 140735004503008 140735004366904 4318833 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 63265 61967 406 1178 0 62083 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 253060
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=24790404/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=504720 CPUtime=3.09 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 123784 0 0 0 295 14 0 0 20 0 1 0 340870860 516833280 123670 33554432000 4194304 9016284 140735004503008 140735004498360 6480184 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 126180 123670 485 1178 0 124998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 504720
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=24499004/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=719944 CPUtime=6.29 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 177104 0 0 0 607 22 0 0 20 0 1 0 340870860 737222656 176990 33554432000 4194304 9016284 140735004503008 140735004498360 6816922 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 179986 176990 485 1178 0 178804 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 719944
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=24307868/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=876688 CPUtime=12.69 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 214718 0 0 0 1242 27 0 0 20 0 1 0 340870860 897728512 214347 33554432000 4194304 9016284 140735004503008 140735004498680 6481251 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 219172 214347 496 1178 0 217990 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 876688
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=24227992/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=951032 CPUtime=25.48 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 239433 0 0 0 2517 31 0 0 20 0 1 0 340870860 973856768 232200 33554432000 4194304 9016284 140735004503008 140735004497848 6480192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 237758 232200 538 1178 0 236576 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 951032
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=24142012/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=991136 CPUtime=51.08 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 249010 0 0 0 5076 32 0 0 20 0 1 0 340870860 1014923264 241678 33554432000 4194304 9016284 140735004503008 140735004498600 4888123 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 247784 241678 538 1178 0 246602 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 991136
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1850
/proc/meminfo: memFree=24012424/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1060976 CPUtime=102.27 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 266160 0 0 0 10193 34 0 0 20 0 1 0 340870860 1086439424 258828 33554432000 4194304 9016284 140735004503008 140735004498600 6479349 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 265244 258828 538 1178 0 264062 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1060976
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1853
/proc/meminfo: memFree=23813920/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1189096 CPUtime=162.27 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 297577 0 0 0 16188 39 0 0 20 0 1 0 340870860 1217634304 290212 33554432000 4194304 9016284 140735004503008 140735004498600 6480211 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 297274 290212 538 1178 0 296092 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1189096
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1853
/proc/meminfo: memFree=23672472/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1287584 CPUtime=222.25 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 321577 0 0 0 22184 41 0 0 20 0 1 0 340870860 1318486016 314212 33554432000 4194304 9016284 140735004503008 140735004497848 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 321896 314212 538 1178 0 320714 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1287584
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1853
/proc/meminfo: memFree=23550980/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1337956 CPUtime=282.24 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 333825 0 0 0 28181 43 0 0 20 0 1 0 340870860 1370066944 326460 33554432000 4194304 9016284 140735004503008 140735004498600 6480184 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 334489 326460 538 1178 0 333307 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1337956
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 1853
/proc/meminfo: memFree=23397868/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1416588 CPUtime=342.24 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 353363 0 0 0 34177 47 0 0 20 0 1 0 340870860 1450586112 345998 33554432000 4194304 9016284 140735004503008 140735004498600 6480229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 354147 345998 538 1178 0 352965 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1416588
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 1854
/proc/meminfo: memFree=23258272/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1505520 CPUtime=402.22 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 375039 0 0 0 40173 49 0 0 20 0 1 0 340870860 1541652480 367674 33554432000 4194304 9016284 140735004503008 140735004498600 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 376380 367674 538 1178 0 375198 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1505520
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 1854
/proc/meminfo: memFree=23113468/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1588044 CPUtime=462.22 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 395490 0 0 0 46169 53 0 0 20 0 1 0 340870860 1626157056 388125 33554432000 4194304 9016284 140735004503008 140735004498600 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 397011 388125 538 1178 0 395829 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1588044
[startup+522.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/175 1854
/proc/meminfo: memFree=22913112/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1746716 CPUtime=522.21 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 434909 0 0 0 52162 59 0 0 20 0 1 0 340870860 1788637184 427544 33554432000 4194304 9016284 140735004503008 140735004498520 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 436679 427544 538 1178 0 435497 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1746716
[startup+582.306 s]
/proc/loadavg: 2.07 2.05 2.01 3/175 1854
/proc/meminfo: memFree=22709532/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1880348 CPUtime=582.21 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 468299 0 0 0 58156 65 0 0 20 0 1 0 340870860 1925476352 460934 33554432000 4194304 9016284 140735004503008 140735004498392 4875334 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 470087 460934 538 1178 0 468905 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 1880348
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25502852/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=2861000 CPUtime=1122.08 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 711831 0 0 0 112098 110 0 0 20 0 1 0 340870860 2929664000 708191 33554432000 4194304 9016284 140735004503008 140735004498600 6480229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 715250 708191 543 1178 0 714068 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 2861000
[startup+1182.3 s]
/proc/loadavg: 1.00 1.15 1.52 2/169 1883
/proc/meminfo: memFree=25409632/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=2953268 CPUtime=1182.06 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 734993 0 0 0 118091 115 0 0 20 0 1 0 340870860 3024146432 731449 33554432000 4194304 9016284 140735004503008 140735004498520 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 738317 731449 543 1178 0 737135 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2953268
[startup+1242.31 s]
/proc/loadavg: 1.00 1.12 1.49 2/169 1883
/proc/meminfo: memFree=25350388/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3012832 CPUtime=1242.07 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 749644 0 0 0 124088 119 0 0 20 0 1 0 340870860 3085139968 746163 33554432000 4194304 9016284 140735004503008 140735004498392 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 753208 746163 543 1178 0 752026 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 3012832
[startup+1302.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/169 1884
/proc/meminfo: memFree=25284572/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3083332 CPUtime=1302.04 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 766165 0 0 0 130082 122 0 0 20 0 1 0 340870860 3157331968 762810 33554432000 4194304 9016284 140735004503008 140735004498392 4878139 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 770833 762810 543 1178 0 769651 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 3083332
[startup+1362.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/170 1887
/proc/meminfo: memFree=25220732/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3143412 CPUtime=1362.04 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 781802 0 0 0 136078 126 0 0 20 0 1 0 340870860 3218853888 778458 33554432000 4194304 9016284 140735004503008 140735004498600 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 785853 778458 543 1178 0 784671 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 3143412
[startup+1422.3 s]
/proc/loadavg: 1.00 1.06 1.39 2/169 1887
/proc/meminfo: memFree=25164720/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3197712 CPUtime=1422.03 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 795801 0 0 0 142074 129 0 0 20 0 1 0 340870860 3274457088 792552 33554432000 4194304 9016284 140735004503008 140735004498600 6480192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 799428 792552 543 1178 0 798246 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 3197712
[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/169 1887
/proc/meminfo: memFree=25099648/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3263932 CPUtime=1482.02 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 811960 0 0 0 148070 132 0 0 20 0 1 0 340870860 3342266368 808767 33554432000 4194304 9016284 140735004503008 140735004498392 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 815983 808767 543 1178 0 814801 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 3263932
[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/169 1887
/proc/meminfo: memFree=25028500/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3337948 CPUtime=1542.01 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 829965 0 0 0 154065 136 0 0 20 0 1 0 340870860 3418058752 826813 33554432000 4194304 9016284 140735004503008 140735004498520 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 834487 826813 543 1178 0 833305 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 3337948
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/169 1888
/proc/meminfo: memFree=24961328/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3406712 CPUtime=1602 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 846741 0 0 0 160060 140 0 0 20 0 1 0 340870860 3488473088 843656 33554432000 4194304 9016284 140735004503008 140735004498600 6480416 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 851678 843656 543 1178 0 850496 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 3406712
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/169 1888
/proc/meminfo: memFree=24892528/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3474068 CPUtime=1661.98 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 863702 0 0 0 166056 142 0 0 20 0 1 0 340870860 3557445632 860839 33554432000 4194304 9016284 140735004503008 140735004498600 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 868517 860839 543 1178 0 867335 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3474068
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/169 1888
/proc/meminfo: memFree=24801788/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3561512 CPUtime=1721.97 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 885795 0 0 0 172051 146 0 0 20 0 1 0 340870860 3646988288 883052 33554432000 4194304 9016284 140735004503008 140735004498392 6480211 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 890378 883052 543 1178 0 889196 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 3561512
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24749984/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3612592 CPUtime=1781.97 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 898590 0 0 0 178048 149 0 0 20 0 1 0 340870860 3699294208 895935 33554432000 4194304 9016284 140735004503008 140735004498600 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 903148 895935 543 1178 0 901966 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 3612592
Solver just ended. Dumping a history of the last processes samples
[startup+1785.9 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24747132/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3617592 CPUtime=1785.57 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 899420 0 0 0 178407 150 0 0 20 0 1 0 340870860 3704414208 896765 33554432000 4194304 9016284 140735004503008 140735004498600 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 904398 896765 543 1178 0 903216 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 3617592
[startup+1792.31 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24739428/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3625576 CPUtime=1791.97 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 901246 0 0 0 179047 150 0 0 20 0 1 0 340870860 3712589824 898599 33554432000 4194304 9016284 140735004503008 140735004498600 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 906394 898599 543 1178 0 905212 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 3625576
[startup+1795.5 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24733848/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3629608 CPUtime=1795.17 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 902628 0 0 0 179367 150 0 0 20 0 1 0 340870860 3716718592 899981 33554432000 4194304 9016284 140735004503008 140735004498392 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 907402 899981 543 1178 0 906220 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 3629608
[startup+1797.1 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24732856/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3630620 CPUtime=1796.76 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 902967 0 0 0 179526 150 0 0 20 0 1 0 340870860 3717754880 900320 33554432000 4194304 9016284 140735004503008 140735004498600 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 907655 900320 543 1178 0 906473 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 3630620
[startup+1797.5 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24732856/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3615328 CPUtime=1797.17 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 903559 0 0 0 179566 151 0 0 20 0 1 0 340870860 3702095872 896699 33554432000 4194304 9016284 140735004503008 140735004498600 4895581 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 903832 896699 552 1178 0 902650 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 3615328
[startup+1797.7 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=25088860/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3270472 CPUtime=1797.36 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 903563 0 0 0 179583 153 0 0 20 0 1 0 340870860 3348963328 810846 33554432000 4194304 9016284 140735004503008 140735004498600 7933303 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 817618 810846 556 1178 0 816436 0
Current children cumulated CPU time (s) 1797.36
Current children cumulated vsize (KiB) 3270472
[startup+1797.81 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=25088860/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=2784692 CPUtime=1797.47 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 903572 0 0 0 179589 158 0 0 20 0 1 0 340870860 2851524608 208148 33554432000 4194304 9016284 140735004503008 140735004498600 8107690 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 696173 207642 565 1178 0 694991 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 2784692
Child status: 0
Real time (s): 1797.87
CPU time (s): 1797.54
CPU user time (s): 1795.89
CPU system time (s): 1.64975
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 3631840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.89
system time used= 1.64975
maximum resident set size= 3603636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 903577
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= 85
involuntary context switches= 1839
runsolver used 2.95455 second user time and 7.16091 second system time
The end