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-3489754-1307792606.opb>
1.39/1.41 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256287 constraints
1.39/1.41 c problem read
1.39/1.41 c presolving settings loaded
1.79/1.88 c presolving:
10.19/10.28 c (round 1) 7252 del vars, 21092 del conss, 0 add conss, 5743 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17403146 impls, 0 clqs
14.39/14.43 c (round 2) 13463 del vars, 48607 del conss, 0 add conss, 11510 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17438175 impls, 0 clqs
15.69/15.77 c (round 3) 15772 del vars, 59725 del conss, 0 add conss, 12876 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17453355 impls, 0 clqs
16.50/16.56 c (round 4) 16956 del vars, 64689 del conss, 0 add conss, 13673 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17462416 impls, 0 clqs
16.89/16.99 c (round 5) 17695 del vars, 67767 del conss, 0 add conss, 14092 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17468458 impls, 0 clqs
17.19/17.22 c (round 6) 18020 del vars, 69302 del conss, 0 add conss, 14285 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17472288 impls, 0 clqs
17.39/17.42 c (round 7) 18242 del vars, 70160 del conss, 0 add conss, 14421 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17475199 impls, 0 clqs
17.50/17.57 c (round 8) 18411 del vars, 70887 del conss, 0 add conss, 14516 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17476598 impls, 0 clqs
17.60/17.68 c (round 9) 18507 del vars, 71322 del conss, 0 add conss, 14571 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17477654 impls, 0 clqs
17.69/17.78 c (round 10) 18578 del vars, 71629 del conss, 0 add conss, 14617 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17478084 impls, 0 clqs
17.79/17.86 c (round 11) 18615 del vars, 71810 del conss, 0 add conss, 14637 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17478308 impls, 0 clqs
17.89/17.92 c (round 12) 18623 del vars, 71870 del conss, 0 add conss, 14641 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17478358 impls, 0 clqs
17.89/17.98 c (round 13) 18627 del vars, 71891 del conss, 0 add conss, 14643 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17478374 impls, 0 clqs
18.60/18.69 c (round 14) 18627 del vars, 71895 del conss, 0 add conss, 14643 chg bounds, 14 chg sides, 30 chg coeffs, 184392 upgd conss, 17478374 impls, 0 clqs
19.39/19.45 c (round 15) 18627 del vars, 71897 del conss, 7 add conss, 14643 chg bounds, 26 chg sides, 150 chg coeffs, 184392 upgd conss, 17478374 impls, 0 clqs
972.22/972.28 c (972.3s) probing: 1000/54215 (1.8%) - 11 fixings, 1 aggregations, 14937467 implications, 0 bound changes
1731.04/1731.09 c (1731.1s) probing: 2000/54215 (3.7%) - 11 fixings, 1 aggregations, 23682631 implications, 0 bound changes
1797.04/1797.03 c (1797.0s) probing: 2105/54215 (3.9%) - 11 fixings, 1 aggregations, 24562484 implications, 0 bound changes
1797.04/1797.03 c (1797.0s) probing aborted: solving stopped
1797.04/1797.03 c (round 16) 18639 del vars, 71897 del conss, 7 add conss, 14643 chg bounds, 27 chg sides, 158 chg coeffs, 184392 upgd conss, 111120794 impls, 0 clqs
1797.04/1797.03 c presolving (16 rounds):
1797.04/1797.03 c 18639 deleted vars, 71897 deleted constraints, 7 added constraints, 14643 tightened bounds, 0 added holes, 27 changed sides, 158 changed coefficients
1797.04/1797.03 c 111120794 implications, 0 cliques
1797.04/1797.03 c presolving was interrupted.
1797.04/1797.03 c Presolving Time: 1795.28
1797.04/1797.03 c - non default parameters ----------------------------------------------------------------------
1797.04/1797.03 c # SCIP version 2.0.1.5
1797.04/1797.03 c
1797.04/1797.03 c # frequency for displaying node information lines
1797.04/1797.03 c # [type: int, range: [-1,2147483647], default: 100]
1797.04/1797.03 c display/freq = 10000
1797.04/1797.03 c
1797.04/1797.03 c # maximal time in seconds to run
1797.04/1797.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.04/1797.03 c limits/time = 1797
1797.04/1797.03 c
1797.04/1797.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.04/1797.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.04/1797.03 c limits/memory = 13950
1797.04/1797.03 c
1797.04/1797.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.04/1797.03 c # [type: int, range: [1,2], default: 1]
1797.04/1797.03 c timing/clocktype = 2
1797.04/1797.03 c
1797.04/1797.03 c # belongs reading time to solving time?
1797.04/1797.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.03 c timing/reading = TRUE
1797.04/1797.03 c
1797.04/1797.03 c # should presolving try to simplify inequalities
1797.04/1797.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.03 c constraints/linear/simplifyinequalities = TRUE
1797.04/1797.03 c
1797.04/1797.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.04/1797.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.03 c constraints/indicator/addCouplingCons = TRUE
1797.04/1797.03 c
1797.04/1797.03 c # should presolving try to simplify knapsacks
1797.04/1797.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.03 c constraints/knapsack/simplifyinequalities = TRUE
1797.04/1797.03 c
1797.04/1797.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.04/1797.03 c # [type: int, range: [-1,2147483647], default: -1]
1797.04/1797.03 c separating/rapidlearning/freq = 0
1797.04/1797.03 c
1797.04/1797.03 c -----------------------------------------------------------------------------------------------
1797.04/1797.03 c start solving
1797.14/1797.12 c presolving:
1797.14/1797.12 c presolving (16 rounds):
1797.14/1797.12 c 18639 deleted vars, 71897 deleted constraints, 7 added constraints, 14643 tightened bounds, 0 added holes, 27 changed sides, 158 changed coefficients
1797.14/1797.12 c 111120794 implications, 0 cliques
1797.14/1797.12 c presolving was interrupted.
1797.14/1797.12 c Presolving Time: 1795.37
1797.14/1797.12 c
1797.14/1797.12 c SCIP Status : solving was interrupted [time limit reached]
1797.14/1797.12 c Solving Time (sec) : 1797.12
1797.14/1797.12 c Solving Nodes : 0
1797.14/1797.12 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.14/1797.12 s UNKNOWN
1797.14/1797.12 c SCIP Status : solving was interrupted [time limit reached]
1797.14/1797.12 c Total Time : 1797.12
1797.14/1797.12 c solving : 1797.12
1797.14/1797.12 c presolving : 1795.37 (included in solving)
1797.14/1797.12 c reading : 1.41 (included in solving)
1797.14/1797.12 c Original Problem :
1797.14/1797.12 c Problem name : HOME/instance-3489754-1307792606.opb
1797.14/1797.12 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.14/1797.12 c Constraints : 256287 initial, 256287 maximal
1797.14/1797.12 c Presolved Problem :
1797.14/1797.12 c Problem name : t_HOME/instance-3489754-1307792606.opb
1797.14/1797.12 c Variables : 54203 (54203 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.14/1797.12 c Constraints : 184397 initial, 184397 maximal
1797.14/1797.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.14/1797.12 c trivial : 0.05 972 0 0 0 0 0 0 0 0
1797.14/1797.12 c dualfix : 0.08 121 0 0 0 0 0 0 0 0
1797.14/1797.12 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.14/1797.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.14/1797.12 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.14/1797.12 c implics : 0.56 0 0 0 0 0 0 0 0 0
1797.14/1797.12 c probing : 1777.35 11 1 0 0 0 0 0 0 0
1797.14/1797.12 c knapsack : 0.55 0 0 0 0 0 0 7 13 128
1797.14/1797.12 c setppc : 0.30 0 0 0 0 0 2 0 0 0
1797.14/1797.12 c linear : 15.99 13671 3863 0 14643 0 71895 0 14 30
1797.14/1797.12 c logicor : 0.05 0 0 0 0 0 0 0 0 0
1797.14/1797.12 c root node : - 0 - - 0 - - - - -
1797.14/1797.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.14/1797.12 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.14/1797.12 c knapsack : 0+ 0 108852 0 0 0 0 1 0 0 0 0
1797.14/1797.12 c setppc : 0+ 0 108851 0 0 0 0 2 0 0 0 0
1797.14/1797.12 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.14/1797.12 c logicor : 0+ 0 99521 0 0 0 0 3 0 0 0 0
1797.14/1797.12 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.14/1797.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.14/1797.12 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.14/1797.12 c knapsack : 7.51 0.00 7.51 0.00 0.00 0.00 0.00
1797.14/1797.12 c setppc : 707.02 0.00 707.02 0.00 0.00 0.00 0.00
1797.14/1797.12 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.14/1797.12 c logicor : 7.58 0.00 7.58 0.00 0.00 0.00 0.00
1797.14/1797.12 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.14/1797.12 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.14/1797.12 c vbounds : 0 0 0 0
1797.14/1797.12 c rootredcost : 0 0 0 0
1797.14/1797.12 c pseudoobj : 0 0 0 0
1797.14/1797.12 c Propagator Timings : TotalTime Propagate Resprop
1797.14/1797.12 c vbounds : 0.04 0.04 0.00
1797.14/1797.12 c rootredcost : 0.03 0.03 0.00
1797.14/1797.12 c pseudoobj : 0.02 0.02 0.00
1797.14/1797.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.14/1797.12 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.14/1797.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.14/1797.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.14/1797.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.14/1797.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.14/1797.12 c applied globally : - - - 0 0.0 - - -
1797.14/1797.12 c applied locally : - - - 0 0.0 - - -
1797.74/1797.73 c Time complete: 1797.77.
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-3489754-1307792606/watcher-3489754-1307792606 -o /tmp/evaluation-result-3489754-1307792606/solver-3489754-1307792606 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489754-1307792606.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 26880
/proc/meminfo: memFree=29595000/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=12872 CPUtime=0 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 2209 0 0 0 0 0 0 0 25 0 1 0 890858337 13180928 2164 33554432000 4194304 9016284 140733642543088 18446744073709551615 6181780 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26880/statm: 3218 2167 356 1178 0 2036 0
[startup+0.067096 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 26880
/proc/meminfo: memFree=29595000/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=27632 CPUtime=0.06 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 5876 0 0 0 6 0 0 0 25 0 1 0 890858337 28295168 5831 33554432000 4194304 9016284 140733642543088 18446744073709551615 7870478 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26880/statm: 6908 5831 360 1178 0 5726 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27632
[startup+0.101091 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 26880
/proc/meminfo: memFree=29595000/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=32388 CPUtime=0.09 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 7097 0 0 0 9 0 0 0 25 0 1 0 890858337 33165312 7052 33554432000 4194304 9016284 140733642543088 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26880/statm: 8097 7052 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32388
[startup+0.301056 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 26880
/proc/meminfo: memFree=29595000/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=60164 CPUtime=0.29 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 14041 0 0 0 28 1 0 0 25 0 1 0 890858337 61607936 13996 33554432000 4194304 9016284 140733642543088 18446744073709551615 4447104 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26880/statm: 15041 13996 360 1178 0 13859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60164
[startup+0.700995 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 26880
/proc/meminfo: memFree=29595000/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=88824 CPUtime=0.69 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 21207 0 0 0 67 2 0 0 25 0 1 0 890858337 90955776 21162 33554432000 4194304 9016284 140733642543088 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26880/statm: 22206 21162 360 1178 0 21024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88824
[startup+1.50084 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26881
/proc/meminfo: memFree=29479448/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=241828 CPUtime=1.49 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 59344 0 0 0 143 6 0 0 25 0 1 0 890858337 247631872 59185 33554432000 4194304 9016284 140733642543088 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 60457 59191 406 1178 0 59275 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 241828
[startup+3.10055 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26881
/proc/meminfo: memFree=29193736/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=515548 CPUtime=3.09 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 126718 0 0 0 296 13 0 0 25 0 1 0 890858337 527921152 126558 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480237 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 128887 126558 485 1178 0 127705 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 515548
[startup+6.30097 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26881
/proc/meminfo: memFree=28928160/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=726764 CPUtime=6.29 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 179284 0 0 0 611 18 0 0 25 0 1 0 890858337 744206336 179124 33554432000 4194304 9016284 140733642543088 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 181691 179124 485 1178 0 180509 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 726764
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26882
/proc/meminfo: memFree=28686872/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=914668 CPUtime=12.69 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 223659 0 0 0 1245 24 0 0 25 0 1 0 890858337 936620032 223242 33554432000 4194304 9016284 140733642543088 18446744073709551615 6481234 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 228667 223242 496 1178 0 227485 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 914668
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26882
/proc/meminfo: memFree=28563876/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=1027164 CPUtime=25.5 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 266779 0 0 0 2521 29 0 0 25 0 1 0 890858337 1051815936 250903 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 256791 250903 670 1178 0 255609 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1027164
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26883
/proc/meminfo: memFree=28489432/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=1065732 CPUtime=51.1 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 275672 0 0 0 5080 30 0 0 25 0 1 0 890858337 1091309568 259763 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 266433 259763 670 1178 0 265251 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1065732
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26884
/proc/meminfo: memFree=28341708/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=1142896 CPUtime=102.3 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 294524 0 0 0 10198 32 0 0 25 0 1 0 890858337 1170325504 278615 33554432000 4194304 9016284 140733642543088 18446744073709551615 4347590 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 285724 278615 670 1178 0 284542 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1142896
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26886
/proc/meminfo: memFree=28090436/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=1269792 CPUtime=162.3 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 326280 0 0 0 16195 35 0 0 25 0 1 0 890858337 1300267008 310371 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 317448 310371 670 1178 0 316266 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1269792
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26887
/proc/meminfo: memFree=27876372/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=1395528 CPUtime=222.3 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 356468 0 0 0 22191 39 0 0 25 0 1 0 890858337 1429020672 340460 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 348882 340460 670 1178 0 347700 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1395528
[startup+282.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 26889
/proc/meminfo: memFree=27625476/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=1564544 CPUtime=282.3 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 398575 0 0 0 28186 44 0 0 25 0 1 0 890858337 1602093056 382534 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 391136 382534 670 1178 0 389954 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1564544
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 26890
/proc/meminfo: memFree=27453824/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=1653408 CPUtime=342.3 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 420679 0 0 0 34183 47 0 0 25 0 1 0 890858337 1693089792 404638 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 413352 404638 670 1178 0 412170 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1653408
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 26892
/proc/meminfo: memFree=27217312/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=1813580 CPUtime=402.3 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 461022 0 0 0 40178 52 0 0 25 0 1 0 890858337 1857105920 444981 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 453395 444981 670 1178 0 452213 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1813580
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 26894
/proc/meminfo: memFree=26931576/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=1961452 CPUtime=462.31 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 497242 0 0 0 46175 56 0 0 25 0 1 0 890858337 2008526848 481201 33554432000 4194304 9016284 140733642543088 18446744073709551615 4919501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 490363 481201 670 1178 0 489181 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1961452
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 26895
/proc/meminfo: memFree=26668772/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=2169344 CPUtime=522.31 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 549264 0 0 0 52169 62 0 0 25 0 1 0 890858337 2221408256 533223 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 542336 533223 670 1178 0 541154 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2169344
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26897
/proc/meminfo: memFree=26412176/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=2337084 CPUtime=582.31 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 590530 0 0 0 58163 68 0 0 25 0 1 0 890858337 2393174016 574489 33554432000 4194304 9016284 140733642543088 18446744073709551615 6594395 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 584271 574489 670 1178 0 583089 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2337084
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24737484/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3286136 CPUtime=1062.32 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 826094 0 0 0 106127 105 0 0 25 0 1 0 890858337 3365003264 810053 33554432000 4194304 9016284 140733642543088 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 821534 810053 675 1178 0 820352 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3286136
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26920
/proc/meminfo: memFree=24625676/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3381936 CPUtime=1122.32 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 849822 0 0 0 112124 108 0 0 25 0 1 0 890858337 3463102464 833781 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 845484 833781 675 1178 0 844302 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3381936
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26922
/proc/meminfo: memFree=24553948/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3428004 CPUtime=1182.33 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 862282 0 0 0 118123 110 0 0 25 0 1 0 890858337 3510276096 846241 33554432000 4194304 9016284 140733642543088 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 857001 846241 675 1178 0 855819 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3428004
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26923
/proc/meminfo: memFree=24511736/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3469804 CPUtime=1242.33 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 872880 0 0 0 124122 111 0 0 25 0 1 0 890858337 3553079296 856839 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 867451 856839 675 1178 0 866269 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3469804
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26928
/proc/meminfo: memFree=24464712/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3548140 CPUtime=1302.33 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 892123 0 0 0 130119 114 0 0 25 0 1 0 890858337 3633295360 876082 33554432000 4194304 9016284 140733642543088 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 887035 876082 675 1178 0 885853 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3548140
[startup+1362.3 s]
/proc/loadavg: 1.56 1.89 1.96 2/172 26955
/proc/meminfo: memFree=28047364/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3619092 CPUtime=1362.33 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 909264 0 0 0 136116 117 0 0 25 0 1 0 890858337 3705950208 893223 33554432000 4194304 9016284 140733642543088 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 904773 893223 675 1178 0 903591 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3619092
[startup+1422.31 s]
/proc/loadavg: 1.28 1.74 1.90 2/172 26956
/proc/meminfo: memFree=27969448/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3700232 CPUtime=1422.34 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 928707 0 0 0 142115 119 0 0 25 0 1 0 890858337 3789037568 912666 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 925058 912666 675 1178 0 923876 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3700232
[startup+1482.3 s]
/proc/loadavg: 1.10 1.60 1.85 2/172 26958
/proc/meminfo: memFree=27925376/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3743596 CPUtime=1482.33 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 939745 0 0 0 148112 121 0 0 25 0 1 0 890858337 3833442304 923704 33554432000 4194304 9016284 140733642543088 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 935899 923704 675 1178 0 934717 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3743596
[startup+1542.3 s]
/proc/loadavg: 1.04 1.49 1.79 2/172 26959
/proc/meminfo: memFree=27868296/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3801468 CPUtime=1542.33 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 954071 0 0 0 154110 123 0 0 25 0 1 0 890858337 3892703232 938030 33554432000 4194304 9016284 140733642543088 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 950367 938030 675 1178 0 949185 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3801468
[startup+1602.3 s]
/proc/loadavg: 1.01 1.40 1.74 2/172 26961
/proc/meminfo: memFree=27825232/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3845464 CPUtime=1602.33 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 964749 0 0 0 160109 124 0 0 25 0 1 0 890858337 3937755136 948708 33554432000 4194304 9016284 140733642543088 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 961366 948708 675 1178 0 960184 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3845464
[startup+1662.3 s]
/proc/loadavg: 1.00 1.32 1.69 2/172 26963
/proc/meminfo: memFree=27780064/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3885788 CPUtime=1662.34 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 976059 0 0 0 166108 126 0 0 25 0 1 0 890858337 3979046912 960018 33554432000 4194304 9016284 140733642543088 18446744073709551615 5510916 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 971447 960018 675 1178 0 970265 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3885788
[startup+1722.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/172 26964
/proc/meminfo: memFree=27721732/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3947696 CPUtime=1722.34 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 990723 0 0 0 172105 129 0 0 25 0 1 0 890858337 4042440704 974682 33554432000 4194304 9016284 140733642543088 18446744073709551615 5510793 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 986924 974682 675 1178 0 985742 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3947696
[startup+1782.3 s]
/proc/loadavg: 1.00 1.21 1.60 2/172 26966
/proc/meminfo: memFree=27683236/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3984736 CPUtime=1782.34 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 1000245 0 0 0 178104 130 0 0 25 0 1 0 890858337 4080369664 984204 33554432000 4194304 9016284 140733642543088 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 996184 984204 675 1178 0 995002 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3984736
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.21 1.60 2/172 26966
/proc/meminfo: memFree=27681244/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3987764 CPUtime=1785.54 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 1000961 0 0 0 178424 130 0 0 25 0 1 0 890858337 4083470336 984920 33554432000 4194304 9016284 140733642543088 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 996941 984920 675 1178 0 995759 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 3987764
[startup+1791.91 s]
/proc/loadavg: 1.00 1.20 1.59 2/172 26966
/proc/meminfo: memFree=27674296/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3992784 CPUtime=1791.95 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 1002529 0 0 0 179064 131 0 0 25 0 1 0 890858337 4088610816 986488 33554432000 4194304 9016284 140733642543088 18446744073709551615 4982804 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 998196 986488 675 1178 0 997014 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 3992784
[startup+1795.1 s]
/proc/loadavg: 1.00 1.20 1.59 2/172 26966
/proc/meminfo: memFree=27671816/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3995788 CPUtime=1795.15 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 1003123 0 0 0 179384 131 0 0 25 0 1 0 890858337 4091686912 987082 33554432000 4194304 9016284 140733642543088 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 998947 987082 675 1178 0 997765 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3995788
[startup+1796.7 s]
/proc/loadavg: 1.00 1.20 1.59 2/172 26966
/proc/meminfo: memFree=27670948/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3999736 CPUtime=1796.74 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 1003603 0 0 0 179543 131 0 0 25 0 1 0 890858337 4095729664 987562 33554432000 4194304 9016284 140733642543088 18446744073709551615 4887840 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26880/statm: 999934 987562 675 1178 0 998752 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 3999736
[startup+1797.5 s]
/proc/loadavg: 1.00 1.20 1.59 2/172 26966
/proc/meminfo: memFree=27676032/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3729748 CPUtime=1797.54 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 1004537 0 0 0 179622 132 0 0 18 0 1 0 890858337 3819261952 920347 33554432000 4194304 9016284 140733642543088 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26880/statm: 932181 920091 684 1178 0 930999 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 3729748
[startup+1797.7 s]
/proc/loadavg: 1.00 1.20 1.59 2/172 26966
/proc/meminfo: memFree=27676032/32951124 swapFree=67053176/67111528
[pid=26880] ppid=26878 vsize=3150812 CPUtime=1797.74 cores=1,3,5,7
/proc/26880/stat : 26880 (scip-2.0.1.4b_2) R 26878 26880 19126 0 -1 4202496 1004550 0 0 0 179632 142 0 0 18 0 1 0 890858337 3226431488 211129 33554432000 4194304 9016284 140733642543088 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26880/statm: 787703 211129 697 1178 0 786521 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 3150812
Child status: 0
Real time (s): 1797.73
CPU time (s): 1797.78
CPU user time (s): 1796.32
CPU system time (s): 1.45878
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4001968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.32
system time used= 1.45878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1004555
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= 8
involuntary context switches= 1099
runsolver used 2.6506 second user time and 6.50701 second system time
The end