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-3740504-1338747387.opb>
1.29/1.30 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234141 constraints
1.29/1.30 c problem read
1.29/1.30 c presolving settings loaded
1.68/1.77 c presolving:
9.39/9.48 c (round 1) 5047 del vars, 15271 del conss, 0 add conss, 3503 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034200 impls, 0 clqs
13.89/13.92 c (round 2) 12844 del vars, 42362 del conss, 0 add conss, 11000 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16074485 impls, 0 clqs
15.19/15.21 c (round 3) 15687 del vars, 54937 del conss, 0 add conss, 12623 chg bounds, 29 chg sides, 19 chg coeffs, 0 upgd conss, 16091281 impls, 0 clqs
15.99/16.02 c (round 4) 16875 del vars, 59552 del conss, 0 add conss, 13402 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16098910 impls, 0 clqs
16.29/16.39 c (round 5) 17532 del vars, 62185 del conss, 0 add conss, 13759 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16103405 impls, 0 clqs
16.50/16.58 c (round 6) 17834 del vars, 63489 del conss, 0 add conss, 13905 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16105955 impls, 0 clqs
16.69/16.71 c (round 7) 17973 del vars, 64070 del conss, 0 add conss, 13989 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16107417 impls, 0 clqs
16.79/16.82 c (round 8) 18073 del vars, 64485 del conss, 0 add conss, 14049 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108307 impls, 0 clqs
16.79/16.89 c (round 9) 18105 del vars, 64671 del conss, 0 add conss, 14067 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108617 impls, 0 clqs
16.89/16.95 c (round 10) 18123 del vars, 64769 del conss, 0 add conss, 14076 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108753 impls, 0 clqs
16.99/17.00 c (round 11) 18125 del vars, 64792 del conss, 0 add conss, 14077 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108771 impls, 0 clqs
659.88/660.03 c (660.0s) probing: 1000/54715 (1.8%) - 9 fixings, 3 aggregations, 10561754 implications, 0 bound changes
1102.78/1103.04 c (1103.0s) probing: 2000/54715 (3.7%) - 9 fixings, 3 aggregations, 16310210 implications, 0 bound changes
1185.86/1186.19 c (1186.2s) probing: 2208/54715 (4.0%) - 9 fixings, 3 aggregations, 17404775 implications, 0 bound changes
1185.86/1186.19 c (1186.2s) probing aborted: 2000/2000 successive useless probings
1185.86/1186.19 c (round 12) 18139 del vars, 64804 del conss, 0 add conss, 14078 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 78544711 impls, 0 clqs
1186.06/1186.38 c (round 13) 18139 del vars, 65316 del conss, 0 add conss, 14078 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 78544711 impls, 0 clqs
1186.85/1187.12 c (round 14) 18139 del vars, 65316 del conss, 0 add conss, 14078 chg bounds, 53 chg sides, 45 chg coeffs, 168825 upgd conss, 78544711 impls, 0 clqs
1187.76/1188.03 c (round 15) 18139 del vars, 65318 del conss, 11 add conss, 14078 chg bounds, 77 chg sides, 218 chg coeffs, 168825 upgd conss, 78545599 impls, 2778 clqs
1188.25/1188.59 c (round 16) 18139 del vars, 65318 del conss, 19 add conss, 14078 chg bounds, 91 chg sides, 264 chg coeffs, 168825 upgd conss, 78545619 impls, 2872 clqs
1542.70/1543.05 c (round 17) 18189 del vars, 65318 del conss, 19 add conss, 14078 chg bounds, 91 chg sides, 270 chg coeffs, 168825 upgd conss, 88012477 impls, 2872 clqs
1543.20/1543.59 c (round 18) 18191 del vars, 65491 del conss, 19 add conss, 14078 chg bounds, 91 chg sides, 274 chg coeffs, 168825 upgd conss, 88012697 impls, 2872 clqs
1700.47/1700.80 c (1700.8s) probing: 3000/54715 (5.5%) - 41 fixings, 29 aggregations, 22333836 implications, 0 bound changes
1796.84/1797.24 c (1797.2s) probing: 3244/54715 (5.9%) - 41 fixings, 29 aggregations, 24035384 implications, 0 bound changes
1796.84/1797.24 c (1797.2s) probing aborted: solving stopped
1796.84/1797.24 c (round 19) 18199 del vars, 65493 del conss, 19 add conss, 14078 chg bounds, 91 chg sides, 276 chg coeffs, 168825 upgd conss, 97854621 impls, 2872 clqs
1796.84/1797.24 c presolving (19 rounds):
1796.84/1797.24 c 18199 deleted vars, 65493 deleted constraints, 19 added constraints, 14078 tightened bounds, 0 added holes, 91 changed sides, 276 changed coefficients
1796.84/1797.24 c 97854621 implications, 2872 cliques
1796.84/1797.24 c presolving was interrupted.
1796.84/1797.24 c Presolving Time: 1795.60
1796.84/1797.24 c - non default parameters ----------------------------------------------------------------------
1796.84/1797.24 c # SCIP version 2.0.1.5
1796.84/1797.24 c
1796.84/1797.24 c # frequency for displaying node information lines
1796.84/1797.24 c # [type: int, range: [-1,2147483647], default: 100]
1796.84/1797.24 c display/freq = 10000
1796.84/1797.24 c
1796.84/1797.24 c # maximal time in seconds to run
1796.84/1797.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.84/1797.24 c limits/time = 1797
1796.84/1797.24 c
1796.84/1797.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.84/1797.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.84/1797.24 c limits/memory = 13950
1796.84/1797.24 c
1796.84/1797.24 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.84/1797.24 c # [type: int, range: [1,2], default: 1]
1796.84/1797.24 c timing/clocktype = 2
1796.84/1797.24 c
1796.84/1797.24 c # belongs reading time to solving time?
1796.84/1797.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.84/1797.24 c timing/reading = TRUE
1796.84/1797.24 c
1796.84/1797.24 c # should presolving try to simplify inequalities
1796.84/1797.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.84/1797.24 c constraints/linear/simplifyinequalities = TRUE
1796.84/1797.24 c
1796.84/1797.24 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.84/1797.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.84/1797.24 c constraints/indicator/addCouplingCons = TRUE
1796.84/1797.24 c
1796.84/1797.24 c # should presolving try to simplify knapsacks
1796.84/1797.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.84/1797.24 c constraints/knapsack/simplifyinequalities = TRUE
1796.84/1797.24 c
1796.84/1797.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.84/1797.24 c # [type: int, range: [-1,2147483647], default: -1]
1796.84/1797.24 c separating/rapidlearning/freq = 0
1796.84/1797.24 c
1796.84/1797.24 c -----------------------------------------------------------------------------------------------
1796.84/1797.24 c start solving
1796.84/1797.27 c presolving:
1796.84/1797.27 c presolving (19 rounds):
1796.84/1797.27 c 18199 deleted vars, 65493 deleted constraints, 19 added constraints, 14078 tightened bounds, 0 added holes, 91 changed sides, 276 changed coefficients
1796.84/1797.27 c 97854621 implications, 2872 cliques
1796.84/1797.27 c presolving was interrupted.
1796.84/1797.27 c Presolving Time: 1795.63
1796.84/1797.27 c
1796.84/1797.27 c SCIP Status : solving was interrupted [time limit reached]
1796.84/1797.27 c Solving Time (sec) : 1797.27
1796.84/1797.27 c Solving Nodes : 0
1796.84/1797.27 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.84/1797.27 s UNKNOWN
1796.84/1797.27 c SCIP Status : solving was interrupted [time limit reached]
1796.84/1797.27 c Total Time : 1797.27
1796.84/1797.27 c solving : 1797.27
1796.84/1797.27 c presolving : 1795.63 (included in solving)
1796.84/1797.27 c reading : 1.30 (included in solving)
1796.84/1797.27 c Original Problem :
1796.84/1797.27 c Problem name : HOME/instance-3740504-1338747387.opb
1796.84/1797.27 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.84/1797.27 c Constraints : 234141 initial, 234141 maximal
1796.84/1797.27 c Presolved Problem :
1796.84/1797.27 c Problem name : t_HOME/instance-3740504-1338747387.opb
1796.84/1797.27 c Variables : 54643 (54643 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.84/1797.27 c Constraints : 168667 initial, 168667 maximal
1796.84/1797.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.84/1797.27 c trivial : 0.06 1308 0 0 0 0 0 0 0 0
1796.84/1797.27 c dualfix : 0.10 121 0 0 0 0 0 0 0 0
1796.84/1797.27 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.84/1797.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.84/1797.27 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.84/1797.27 c implics : 1.24 0 2 0 0 0 0 0 0 0
1796.84/1797.27 c probing : 1776.72 41 29 0 0 0 0 0 0 0
1796.84/1797.27 c knapsack : 1.30 0 0 0 0 0 2 19 38 231
1796.84/1797.27 c setppc : 0.44 0 0 0 0 0 173 0 0 0
1796.84/1797.27 c linear : 15.25 12770 3928 0 14078 0 65316 0 53 45
1796.84/1797.27 c logicor : 0.13 0 0 0 0 0 2 0 0 0
1796.84/1797.27 c root node : - 0 - - 0 - - - - -
1796.84/1797.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.84/1797.27 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.84/1797.27 c knapsack : 0+ 0 23487 0 0 0 0 10 0 0 0 0
1796.84/1797.27 c setppc : 0+ 0 23477 0 0 0 0 10 0 0 0 0
1796.84/1797.27 c linear : 0+ 0 102102 0 0 0 0 5 0 0 0 0
1796.84/1797.27 c logicor : 0+ 0 22109 0 0 0 0 6 0 0 0 0
1796.84/1797.27 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.84/1797.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.84/1797.27 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.84/1797.27 c knapsack : 1.91 0.00 1.91 0.00 0.00 0.00 0.00
1796.84/1797.27 c setppc : 106.66 0.00 106.66 0.00 0.00 0.00 0.00
1796.84/1797.27 c linear : 510.40 0.00 510.40 0.00 0.00 0.00 0.00
1796.84/1797.27 c logicor : 4.87 0.00 4.87 0.00 0.00 0.00 0.00
1796.84/1797.27 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.84/1797.27 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.84/1797.27 c vbounds : 0 0 0 0
1796.84/1797.27 c rootredcost : 0 0 0 0
1796.84/1797.27 c pseudoobj : 0 0 0 0
1796.84/1797.27 c Propagator Timings : TotalTime Propagate Resprop
1796.84/1797.27 c vbounds : 0.06 0.06 0.00
1796.84/1797.27 c rootredcost : 0.03 0.03 0.00
1796.84/1797.27 c pseudoobj : 0.02 0.02 0.00
1796.84/1797.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.84/1797.27 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.84/1797.27 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.84/1797.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.84/1797.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.84/1797.27 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.84/1797.27 c applied globally : - - - 0 0.0 - - -
1796.84/1797.27 c applied locally : - - - 0 0.0 - - -
1797.34/1797.78 c Time complete: 1797.42.
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-3740504-1338747387/watcher-3740504-1338747387 -o /tmp/evaluation-result-3740504-1338747387/solver-3740504-1338747387 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3740504-1338747387.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.07 2.02 2.00 3/174 4460
/proc/meminfo: memFree=24595528/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 1599 0 0 0 0 0 0 0 20 0 1 0 340864639 11214848 1554 33554432000 4194304 9016284 140736010101248 140733747852376 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 2738 1565 340 1178 0 1556 0
[startup+0.0342931 s]
/proc/loadavg: 2.07 2.02 2.00 3/174 4460
/proc/meminfo: memFree=24595528/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=19324 CPUtime=0.02 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 3810 0 0 0 2 0 0 0 20 0 1 0 340864639 19787776 3765 33554432000 4194304 9016284 140736010101248 140733747852376 7260802 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 4831 3765 360 1178 0 3649 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19324
[startup+0.100353 s]
/proc/loadavg: 2.07 2.02 2.00 3/174 4460
/proc/meminfo: memFree=24595528/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=32268 CPUtime=0.09 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 7063 0 0 0 8 1 0 0 20 0 1 0 340864639 33042432 7018 33554432000 4194304 9016284 140736010101248 140733747852376 6178678 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 8067 7018 360 1178 0 6885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32268
[startup+0.300303 s]
/proc/loadavg: 2.07 2.02 2.00 3/174 4460
/proc/meminfo: memFree=24595528/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=59016 CPUtime=0.28 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 13748 0 0 0 27 1 0 0 20 0 1 0 340864639 60432384 13703 33554432000 4194304 9016284 140736010101248 140733747852376 4327956 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 14754 13703 360 1178 0 13572 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 59016
[startup+0.700306 s]
/proc/loadavg: 2.07 2.02 2.00 3/174 4460
/proc/meminfo: memFree=24595528/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=88688 CPUtime=0.68 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 21153 0 0 0 66 2 0 0 20 0 1 0 340864639 90816512 21108 33554432000 4194304 9016284 140736010101248 140736009965144 7870448 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 22172 21108 360 1178 0 20990 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 88688
[startup+1.50028 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 4461
/proc/meminfo: memFree=24479332/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=286384 CPUtime=1.49 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 70222 0 0 0 139 10 0 0 20 0 1 0 340864639 293257216 70139 33554432000 4194304 9016284 140736010101248 140736009965144 4318833 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 71596 70146 406 1178 0 70414 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 286384
[startup+3.10031 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 4461
/proc/meminfo: memFree=24204020/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=506384 CPUtime=3.09 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 123927 0 0 0 292 17 0 0 20 0 1 0 340864639 518537216 123844 33554432000 4194304 9016284 140736010101248 140736010096600 6480168 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 126596 123844 485 1178 0 125414 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 506384
[startup+6.30031 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 4461
/proc/meminfo: memFree=23938164/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=721780 CPUtime=6.29 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 176914 0 0 0 604 25 0 0 20 0 1 0 340864639 739102720 176831 33554432000 4194304 9016284 140736010101248 140736010096600 5242480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 180445 176831 485 1178 0 179263 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 721780
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 4461
/proc/meminfo: memFree=23753536/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=859524 CPUtime=12.69 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 209889 0 0 0 1239 30 0 0 20 0 1 0 340864639 880152576 209549 33554432000 4194304 9016284 140736010101248 140736010097864 6481237 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 214881 209549 496 1178 0 213699 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 859524
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 4461
/proc/meminfo: memFree=23700136/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=912912 CPUtime=25.49 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 222522 0 0 0 2517 32 0 0 20 0 1 0 340864639 934821888 222568 33554432000 4194304 9016284 140736010101248 140736010096632 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 228228 222568 507 1178 0 227046 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 912912
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4461
/proc/meminfo: memFree=23658936/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=939888 CPUtime=51.08 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 228857 0 0 0 5075 33 0 0 20 0 1 0 340864639 962445312 228903 33554432000 4194304 9016284 140736010101248 140736010096840 6480233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 234972 228903 507 1178 0 233790 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 939888
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 4461
/proc/meminfo: memFree=23555176/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=1009224 CPUtime=102.28 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 245625 0 0 0 10193 35 0 0 20 0 1 0 340864639 1033445376 245671 33554432000 4194304 9016284 140736010101248 140736010096840 5257461 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 252306 245671 507 1178 0 251124 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1009224
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4462
/proc/meminfo: memFree=23389664/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=1126044 CPUtime=162.27 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 274503 0 0 0 16188 39 0 0 20 0 1 0 340864639 1153069056 274549 33554432000 4194304 9016284 140736010101248 140736010096840 6480168 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 281511 274549 507 1178 0 280329 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1126044
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4465
/proc/meminfo: memFree=23200808/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=1242732 CPUtime=222.26 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 303340 0 0 0 22183 43 0 0 20 0 1 0 340864639 1272557568 303386 33554432000 4194304 9016284 140736010101248 140736010096840 5228151 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 310683 303386 507 1178 0 309501 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1242732
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4465
/proc/meminfo: memFree=23000856/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=1364504 CPUtime=282.25 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 333133 0 0 0 28177 48 0 0 20 0 1 0 340864639 1397252096 333179 33554432000 4194304 9016284 140736010101248 140736010096840 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 341126 333179 507 1178 0 339944 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1364504
[startup+342.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/175 4503
/proc/meminfo: memFree=25363060/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=1520232 CPUtime=342.24 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 371770 0 0 0 34170 54 0 0 20 0 1 0 340864639 1556717568 372120 33554432000 4194304 9016284 140736010101248 140736010096856 5227633 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 380058 372120 507 1178 0 378876 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1520232
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 4503
/proc/meminfo: memFree=25129116/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=1643252 CPUtime=402.23 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 401722 0 0 0 40165 58 0 0 20 0 1 0 340864639 1682690048 402488 33554432000 4194304 9016284 140736010101248 140736010096840 5257461 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 410813 402488 507 1178 0 409631 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1643252
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 4504
/proc/meminfo: memFree=24911260/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=1749128 CPUtime=462.21 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 428684 0 0 0 46159 62 0 0 20 0 1 0 340864639 1791107072 430028 33554432000 4194304 9016284 140736010101248 140736010096840 5257461 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 437282 430028 507 1178 0 436100 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1749128
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 4504
/proc/meminfo: memFree=24711540/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=1820944 CPUtime=522.2 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 446342 0 0 0 52155 65 0 0 20 0 1 0 340864639 1864646656 447862 33554432000 4194304 9016284 140736010101248 140736010096840 5257461 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 455236 447862 507 1178 0 454054 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1820944
[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/175 4504
/proc/meminfo: memFree=24440116/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=1937704 CPUtime=582.19 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 475274 0 0 0 58149 70 0 0 20 0 1 0 340864639 1984208896 477791 33554432000 4194304 9016284 140736010101248 140736010096840 5257461 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 484426 477791 507 1178 0 483244 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1937704
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23115788/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=2666096 CPUtime=1062.08 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 655214 0 0 0 106105 103 0 0 20 0 1 0 340864639 2730082304 659279 33554432000 4194304 9016284 140736010101248 140736010096632 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 666524 659279 512 1178 0 665342 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 2666096
[startup+1122.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/175 4509
/proc/meminfo: memFree=23038316/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=2707520 CPUtime=1122.07 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 665515 0 0 0 112102 105 0 0 20 0 1 0 340864639 2772500480 669769 33554432000 4194304 9016284 140736010101248 140736010096856 4875334 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 676880 669769 512 1178 0 675698 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 2707520
[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 4509
/proc/meminfo: memFree=22952536/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=2750696 CPUtime=1182.05 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 676513 0 0 0 118098 107 0 0 20 0 1 0 340864639 2816712704 680921 33554432000 4194304 9016284 140736010101248 140736010096840 5227633 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 687674 680921 512 1178 0 686492 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 2750696
[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 4509
/proc/meminfo: memFree=22833884/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=2823188 CPUtime=1242.05 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 700779 0 0 0 124093 112 0 0 20 0 1 0 340864639 2890944512 699848 33554432000 4194304 9016284 140736010101248 140736010096632 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 705797 699848 543 1178 0 704615 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2823188
[startup+1302.3 s]
/proc/loadavg: 2.10 2.07 2.01 4/175 4509
/proc/meminfo: memFree=22719324/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=2890332 CPUtime=1302.05 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 716552 0 0 0 130090 115 0 0 20 0 1 0 340864639 2959699968 715855 33554432000 4194304 9016284 140736010101248 140736010096840 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 722583 715855 543 1178 0 721401 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2890332
[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 4509
/proc/meminfo: memFree=22642856/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=2934788 CPUtime=1362.03 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 727193 0 0 0 136087 116 0 0 20 0 1 0 340864639 3005222912 726949 33554432000 4194304 9016284 140736010101248 140736010096632 6480197 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 733697 726949 543 1178 0 732515 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2934788
[startup+1422.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 4513
/proc/meminfo: memFree=22570956/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=2973300 CPUtime=1422.02 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 736521 0 0 0 142086 116 0 0 20 0 1 0 340864639 3044659200 736657 33554432000 4194304 9016284 140736010101248 140736010096840 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 743325 736657 543 1178 0 742143 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2973300
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 4513
/proc/meminfo: memFree=22462244/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3046892 CPUtime=1482 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 754320 0 0 0 148080 120 0 0 20 0 1 0 340864639 3120017408 755002 33554432000 4194304 9016284 140736010101248 140736010096840 6480192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 761723 755002 543 1178 0 760541 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 3046892
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 4513
/proc/meminfo: memFree=22165724/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3090344 CPUtime=1542 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 765446 0 0 0 154078 122 0 0 20 0 1 0 340864639 3164512256 766903 33554432000 4194304 9016284 140736010101248 140736010096840 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 772586 766903 543 1178 0 771404 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 3090344
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 4513
/proc/meminfo: memFree=22088924/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3137724 CPUtime=1601.99 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 777118 0 0 0 160075 124 0 0 20 0 1 0 340864639 3213029376 780026 33554432000 4194304 9016284 140736010101248 140736010096632 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 784431 780026 543 1178 0 783249 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 3137724
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 4513
/proc/meminfo: memFree=22034772/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3188932 CPUtime=1661.97 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 789338 0 0 0 166071 126 0 0 20 0 1 0 340864639 3265466368 793109 33554432000 4194304 9016284 140736010101248 140736010096840 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 797233 793109 543 1178 0 796051 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 3188932
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 4515
/proc/meminfo: memFree=21960392/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3268404 CPUtime=1721.96 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 807971 0 0 0 172067 129 0 0 20 0 1 0 340864639 3346845696 812369 33554432000 4194304 9016284 140736010101248 140736010096840 4875328 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 817101 812369 543 1178 0 815919 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 3268404
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4515
/proc/meminfo: memFree=21858864/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3365884 CPUtime=1781.94 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 831876 0 0 0 178062 132 0 0 20 0 1 0 340864639 3446665216 836706 33554432000 4194304 9016284 140736010101248 140736010096840 6480180 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 841471 836706 543 1178 0 840289 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 3365884
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4515
/proc/meminfo: memFree=21850540/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3372896 CPUtime=1785.15 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 833362 0 0 0 178382 133 0 0 20 0 1 0 340864639 3453845504 838906 33554432000 4194304 9016284 140736010101248 140736010096840 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 843224 838906 543 1178 0 842042 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 3372896
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4515
/proc/meminfo: memFree=21835656/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3378964 CPUtime=1791.55 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 835040 0 0 0 179022 133 0 0 20 0 1 0 340864639 3460059136 840584 33554432000 4194304 9016284 140736010101248 140736010096840 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 844741 840584 543 1178 0 843559 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 3378964
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4515
/proc/meminfo: memFree=21832416/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3379912 CPUtime=1794.75 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 835461 0 0 0 179342 133 0 0 20 0 1 0 340864639 3461029888 841345 33554432000 4194304 9016284 140736010101248 140736010096840 4222983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 844978 841345 543 1178 0 843796 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 3379912
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4515
/proc/meminfo: memFree=21832416/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3379912 CPUtime=1796.34 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 835520 0 0 0 179501 133 0 0 20 0 1 0 340864639 3461029888 841404 33554432000 4194304 9016284 140736010101248 140736010096840 4222936 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 844978 841404 543 1178 0 843796 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 3379912
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4515
/proc/meminfo: memFree=21833656/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=3358936 CPUtime=1797.14 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 835861 0 0 0 179581 133 0 0 20 0 1 0 340864639 3439550464 836335 33554432000 4194304 9016284 140736010101248 140736010100648 6817731 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 839734 836335 552 1178 0 838552 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 3358936
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4515
/proc/meminfo: memFree=21833656/32873852 swapFree=6856/6856
[pid=4460] ppid=4458 vsize=2937636 CPUtime=1797.34 cores=0,2,4,6
/proc/4460/stat : 4460 (scip-2.0.1.4b_2) R 4458 4460 643 0 -1 4202496 835865 0 0 0 179598 136 0 0 20 0 1 0 340864639 3008139264 731372 33554432000 4194304 9016284 140736010101248 140736010100648 4329912 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4460/statm: 734409 731372 556 1178 0 733227 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 2937636
Child status: 0
Real time (s): 1797.78
CPU time (s): 1797.44
CPU user time (s): 1796.03
CPU system time (s): 1.40679
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 3379912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.03
system time used= 1.40679
maximum resident set size= 3366968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 835879
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= 80
involuntary context switches= 1839
runsolver used 5.2652 second user time and 20.1759 second system time
The end