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-3489728-1307792682.opb>
1.29/1.34 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234117 constraints
1.29/1.34 c problem read
1.29/1.34 c presolving settings loaded
1.79/1.81 c presolving:
9.29/9.38 c (round 1) 4949 del vars, 15599 del conss, 0 add conss, 3347 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15956964 impls, 0 clqs
13.59/13.64 c (round 2) 12972 del vars, 42247 del conss, 0 add conss, 11065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15992680 impls, 0 clqs
14.79/14.80 c (round 3) 15544 del vars, 54759 del conss, 0 add conss, 12379 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16008880 impls, 0 clqs
15.59/15.62 c (round 4) 16886 del vars, 59455 del conss, 0 add conss, 13197 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16021621 impls, 0 clqs
15.99/16.07 c (round 5) 17633 del vars, 62445 del conss, 0 add conss, 13659 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16027365 impls, 0 clqs
16.29/16.33 c (round 6) 18024 del vars, 64052 del conss, 0 add conss, 13872 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16030484 impls, 0 clqs
16.39/16.46 c (round 7) 18174 del vars, 64759 del conss, 0 add conss, 13960 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16031741 impls, 0 clqs
16.50/16.56 c (round 8) 18259 del vars, 65090 del conss, 0 add conss, 14013 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16032667 impls, 0 clqs
16.60/16.66 c (round 9) 18331 del vars, 65343 del conss, 0 add conss, 14057 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16033987 impls, 0 clqs
16.69/16.75 c (round 10) 18401 del vars, 65622 del conss, 0 add conss, 14104 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16034925 impls, 0 clqs
16.79/16.82 c (round 11) 18433 del vars, 65773 del conss, 0 add conss, 14129 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035126 impls, 0 clqs
16.79/16.89 c (round 12) 18453 del vars, 65870 del conss, 0 add conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035228 impls, 0 clqs
16.89/16.94 c (round 13) 18453 del vars, 65890 del conss, 0 add conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035228 impls, 0 clqs
17.60/17.61 c (round 14) 18453 del vars, 65890 del conss, 0 add conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 168227 upgd conss, 16035228 impls, 0 clqs
18.59/18.62 c (round 15) 18453 del vars, 65902 del conss, 29 add conss, 14139 chg bounds, 57 chg sides, 228 chg coeffs, 168227 upgd conss, 16035282 impls, 276 clqs
18.99/19.04 c (round 16) 18453 del vars, 65910 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 257 chg coeffs, 168227 upgd conss, 16035282 impls, 294 clqs
635.21/635.21 c (635.2s) probing: 1000/54389 (1.8%) - 14 fixings, 5 aggregations, 10414966 implications, 0 bound changes
1121.63/1121.61 c (1121.6s) probing: 2000/54389 (3.7%) - 14 fixings, 5 aggregations, 15794994 implications, 0 bound changes
1217.12/1217.18 c (1217.2s) probing: 2218/54389 (4.1%) - 14 fixings, 5 aggregations, 16808033 implications, 0 bound changes
1217.12/1217.18 c (1217.2s) probing aborted: 2000/2000 successive useless probings
1217.12/1217.18 c (round 17) 18472 del vars, 65910 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 261 chg coeffs, 168227 upgd conss, 75244330 impls, 285 clqs
1217.83/1217.80 c (round 18) 18473 del vars, 66563 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 335 chg coeffs, 168227 upgd conss, 75244332 impls, 285 clqs
1491.44/1491.49 c (round 19) 18523 del vars, 66564 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 337 chg coeffs, 168227 upgd conss, 81828020 impls, 290 clqs
1492.64/1492.63 c (round 20) 18535 del vars, 66766 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 337 chg coeffs, 168227 upgd conss, 81828148 impls, 290 clqs
1712.54/1712.58 c (1712.6s) probing: 3000/54389 (5.5%) - 63 fixings, 24 aggregations, 21946801 implications, 0 bound changes
1797.14/1797.19 c (1797.2s) probing: 3262/54389 (6.0%) - 63 fixings, 24 aggregations, 23074444 implications, 0 bound changes
1797.14/1797.19 c (1797.2s) probing aborted: solving stopped
1797.14/1797.19 c (round 21) 18553 del vars, 66774 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 337 chg coeffs, 168227 upgd conss, 93193374 impls, 290 clqs
1797.14/1797.19 c presolving (21 rounds):
1797.14/1797.19 c 18553 deleted vars, 66774 deleted constraints, 37 added constraints, 14139 tightened bounds, 0 added holes, 65 changed sides, 337 changed coefficients
1797.14/1797.19 c 93193374 implications, 290 cliques
1797.14/1797.19 c presolving was interrupted.
1797.14/1797.19 c Presolving Time: 1795.51
1797.14/1797.19 c - non default parameters ----------------------------------------------------------------------
1797.14/1797.19 c # SCIP version 2.0.1.5
1797.14/1797.19 c
1797.14/1797.19 c # frequency for displaying node information lines
1797.14/1797.19 c # [type: int, range: [-1,2147483647], default: 100]
1797.14/1797.19 c display/freq = 10000
1797.14/1797.19 c
1797.14/1797.19 c # maximal time in seconds to run
1797.14/1797.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.14/1797.19 c limits/time = 1797
1797.14/1797.19 c
1797.14/1797.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.14/1797.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.14/1797.19 c limits/memory = 13950
1797.14/1797.19 c
1797.14/1797.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.14/1797.19 c # [type: int, range: [1,2], default: 1]
1797.14/1797.19 c timing/clocktype = 2
1797.14/1797.19 c
1797.14/1797.19 c # belongs reading time to solving time?
1797.14/1797.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.19 c timing/reading = TRUE
1797.14/1797.19 c
1797.14/1797.19 c # should presolving try to simplify inequalities
1797.14/1797.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.19 c constraints/linear/simplifyinequalities = TRUE
1797.14/1797.19 c
1797.14/1797.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.14/1797.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.19 c constraints/indicator/addCouplingCons = TRUE
1797.14/1797.19 c
1797.14/1797.19 c # should presolving try to simplify knapsacks
1797.14/1797.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.19 c constraints/knapsack/simplifyinequalities = TRUE
1797.14/1797.19 c
1797.14/1797.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.14/1797.19 c # [type: int, range: [-1,2147483647], default: -1]
1797.14/1797.19 c separating/rapidlearning/freq = 0
1797.14/1797.19 c
1797.14/1797.19 c -----------------------------------------------------------------------------------------------
1797.14/1797.19 c start solving
1797.24/1797.23 c presolving:
1797.24/1797.23 c presolving (21 rounds):
1797.24/1797.23 c 18553 deleted vars, 66774 deleted constraints, 37 added constraints, 14139 tightened bounds, 0 added holes, 65 changed sides, 337 changed coefficients
1797.24/1797.23 c 93193374 implications, 290 cliques
1797.24/1797.23 c presolving was interrupted.
1797.24/1797.23 c Presolving Time: 1795.55
1797.24/1797.23 c
1797.24/1797.23 c SCIP Status : solving was interrupted [time limit reached]
1797.24/1797.23 c Solving Time (sec) : 1797.23
1797.24/1797.23 c Solving Nodes : 0
1797.24/1797.23 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.24/1797.23 s UNKNOWN
1797.24/1797.23 c SCIP Status : solving was interrupted [time limit reached]
1797.24/1797.23 c Total Time : 1797.23
1797.24/1797.23 c solving : 1797.23
1797.24/1797.23 c presolving : 1795.55 (included in solving)
1797.24/1797.23 c reading : 1.34 (included in solving)
1797.24/1797.23 c Original Problem :
1797.24/1797.23 c Problem name : HOME/instance-3489728-1307792682.opb
1797.24/1797.23 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.24/1797.23 c Constraints : 234117 initial, 234117 maximal
1797.24/1797.23 c Presolved Problem :
1797.24/1797.23 c Problem name : t_HOME/instance-3489728-1307792682.opb
1797.24/1797.23 c Variables : 54289 (54289 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.24/1797.23 c Constraints : 167380 initial, 167380 maximal
1797.24/1797.23 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.24/1797.23 c trivial : 0.06 1309 0 0 0 0 0 0 0 0
1797.24/1797.23 c dualfix : 0.10 121 0 0 0 0 0 0 0 0
1797.24/1797.23 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.24/1797.23 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.24/1797.23 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.24/1797.23 c implics : 1.36 0 9 0 0 0 0 0 0 0
1797.24/1797.23 c probing : 1775.73 63 24 0 0 0 0 0 0 0
1797.24/1797.23 c knapsack : 2.05 0 0 0 0 0 0 37 53 317
1797.24/1797.23 c setppc : 0.70 4 0 0 0 0 867 0 0 0
1797.24/1797.23 c linear : 15.01 12830 4193 0 14139 0 65890 0 12 20
1797.24/1797.23 c logicor : 0.17 0 0 0 0 0 17 0 0 0
1797.24/1797.23 c root node : - 0 - - 0 - - - - -
1797.24/1797.23 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.24/1797.23 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.24/1797.23 c knapsack : 0+ 0 128365 0 0 0 0 25 0 0 0 0
1797.24/1797.23 c setppc : 0+ 0 128340 0 0 0 0 12 0 0 0 0
1797.24/1797.23 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.24/1797.23 c logicor : 0+ 0 116442 0 0 0 0 5 0 0 0 0
1797.24/1797.23 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.24/1797.23 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.24/1797.23 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.24/1797.23 c knapsack : 10.26 0.00 10.26 0.00 0.00 0.00 0.00
1797.24/1797.23 c setppc : 722.26 0.00 722.26 0.00 0.00 0.00 0.00
1797.24/1797.23 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.24/1797.23 c logicor : 9.98 0.00 9.98 0.00 0.00 0.00 0.00
1797.24/1797.23 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.24/1797.23 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.24/1797.23 c vbounds : 0 0 0 0
1797.24/1797.23 c rootredcost : 0 0 0 0
1797.24/1797.23 c pseudoobj : 0 0 0 0
1797.24/1797.23 c Propagator Timings : TotalTime Propagate Resprop
1797.24/1797.23 c vbounds : 0.05 0.05 0.00
1797.24/1797.23 c rootredcost : 0.03 0.03 0.00
1797.24/1797.23 c pseudoobj : 0.02 0.02 0.00
1797.24/1797.23 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.24/1797.23 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.24/1797.23 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.24/1797.23 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.24/1797.23 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.24/1797.23 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.24/1797.23 c applied globally : - - - 0 0.0 - - -
1797.24/1797.23 c applied locally : - - - 0 0.0 - - -
1797.85/1797.80 c Time complete: 1797.85.
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-3489728-1307792682/watcher-3489728-1307792682 -o /tmp/evaluation-result-3489728-1307792682/solver-3489728-1307792682 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489728-1307792682.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.08 1.40 2/178 23344
/proc/meminfo: memFree=31672808/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=12872 CPUtime=0 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 2183 0 0 0 0 0 0 0 21 0 1 0 890866441 13180928 2138 33554432000 4194304 9016284 140734200491840 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23344/statm: 3218 2142 353 1178 0 2036 0
[startup+0.104302 s]
/proc/loadavg: 1.02 1.08 1.40 2/178 23344
/proc/meminfo: memFree=31672808/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=32388 CPUtime=0.1 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 7098 0 0 0 9 1 0 0 22 0 1 0 890866441 33165312 7053 33554432000 4194304 9016284 140734200491840 18446744073709551615 4536486 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23344/statm: 8097 7053 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32388
[startup+0.200297 s]
/proc/loadavg: 1.02 1.08 1.40 2/178 23344
/proc/meminfo: memFree=31672808/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=50044 CPUtime=0.18 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 11499 0 0 0 17 1 0 0 22 0 1 0 890866441 51245056 11454 33554432000 4194304 9016284 140734200491840 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23344/statm: 12511 11454 360 1178 0 11329 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 50044
[startup+0.300279 s]
/proc/loadavg: 1.02 1.08 1.40 2/178 23344
/proc/meminfo: memFree=31672808/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=59136 CPUtime=0.29 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 13782 0 0 0 27 2 0 0 22 0 1 0 890866441 60555264 13737 33554432000 4194304 9016284 140734200491840 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23344/statm: 14784 13737 360 1178 0 13602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59136
[startup+0.700207 s]
/proc/loadavg: 1.02 1.08 1.40 2/178 23344
/proc/meminfo: memFree=31672808/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=88808 CPUtime=0.69 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 21187 0 0 0 66 3 0 0 24 0 1 0 890866441 90939392 21142 33554432000 4194304 9016284 140734200491840 18446744073709551615 7870478 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23344/statm: 22202 21142 360 1178 0 21020 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88808
[startup+1.50106 s]
/proc/loadavg: 1.02 1.08 1.40 3/179 23345
/proc/meminfo: memFree=31428588/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=275556 CPUtime=1.49 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 67606 0 0 0 142 7 0 0 25 0 1 0 890866441 282169344 67485 33554432000 4194304 9016284 140734200491840 18446744073709551615 4445508 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 68889 67485 406 1178 0 67707 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 275556
[startup+3.10077 s]
/proc/loadavg: 1.02 1.08 1.40 3/179 23345
/proc/meminfo: memFree=30869720/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=506784 CPUtime=3.09 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 124124 0 0 0 295 14 0 0 25 0 1 0 890866441 518946816 124003 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 126696 124003 485 1178 0 125514 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 506784
[startup+6.30019 s]
/proc/loadavg: 1.10 1.10 1.40 3/179 23345
/proc/meminfo: memFree=30356676/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=725068 CPUtime=6.29 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 177439 0 0 0 608 21 0 0 25 0 1 0 890866441 742469632 177318 33554432000 4194304 9016284 140734200491840 18446744073709551615 4875347 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 181267 177318 485 1178 0 180085 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725068
[startup+12.701 s]
/proc/loadavg: 1.17 1.11 1.40 3/179 23345
/proc/meminfo: memFree=29989288/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=860964 CPUtime=12.69 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 210191 0 0 0 1245 24 0 0 25 0 1 0 890866441 881627136 209813 33554432000 4194304 9016284 140734200491840 18446744073709551615 6481237 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 215241 209813 496 1178 0 214059 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 860964
[startup+25.5007 s]
/proc/loadavg: 1.35 1.16 1.41 3/179 23345
/proc/meminfo: memFree=29864776/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=949304 CPUtime=25.49 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 244133 0 0 0 2521 28 0 0 25 0 1 0 890866441 972087296 231528 33554432000 4194304 9016284 140734200491840 18446744073709551615 4888130 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 237326 231528 626 1178 0 236144 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 949304
[startup+51.101 s]
/proc/loadavg: 1.57 1.22 1.43 3/179 23346
/proc/meminfo: memFree=29797572/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=983352 CPUtime=51.09 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 252084 0 0 0 5080 29 0 0 25 0 1 0 890866441 1006952448 239479 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480220 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 245838 239479 626 1178 0 244656 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 983352
[startup+102.301 s]
/proc/loadavg: 1.81 1.34 1.46 3/179 23348
/proc/meminfo: memFree=29655580/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=1058060 CPUtime=102.29 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 270516 0 0 0 10198 31 0 0 25 0 1 0 890866441 1083453440 257911 33554432000 4194304 9016284 140734200491840 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 264515 257911 626 1178 0 263333 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1058060
[startup+162.301 s]
/proc/loadavg: 1.98 1.47 1.49 3/179 23349
/proc/meminfo: memFree=29392560/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=1196248 CPUtime=162.29 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 304444 0 0 0 16195 34 0 0 25 0 1 0 890866441 1224957952 291839 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 299062 291839 626 1178 0 297880 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1196248
[startup+222.307 s]
/proc/loadavg: 1.99 1.57 1.52 3/179 23351
/proc/meminfo: memFree=29059344/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=1386680 CPUtime=222.3 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 351514 0 0 0 22191 39 0 0 25 0 1 0 890866441 1419960320 338909 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 346670 338909 626 1178 0 345488 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1386680
[startup+282.301 s]
/proc/loadavg: 2.04 1.66 1.55 3/179 23352
/proc/meminfo: memFree=28825836/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=1480872 CPUtime=282.3 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 374851 0 0 0 28189 41 0 0 25 0 1 0 890866441 1516412928 362246 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 370218 362246 626 1178 0 369036 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1480872
[startup+342.301 s]
/proc/loadavg: 2.01 1.72 1.58 3/179 23354
/proc/meminfo: memFree=28562424/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=1624980 CPUtime=342.3 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 411047 0 0 0 34184 46 0 0 25 0 1 0 890866441 1663979520 398442 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480364 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 406245 398442 626 1178 0 405063 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1624980
[startup+402.301 s]
/proc/loadavg: 2.00 1.77 1.60 3/179 23356
/proc/meminfo: memFree=28292824/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=1721844 CPUtime=402.3 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 434813 0 0 0 40181 49 0 0 25 0 1 0 890866441 1763168256 422208 33554432000 4194304 9016284 140734200491840 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 430461 422208 626 1178 0 429279 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1721844
[startup+462.301 s]
/proc/loadavg: 2.00 1.81 1.62 3/179 23357
/proc/meminfo: memFree=28106668/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=1815432 CPUtime=462.31 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 457951 0 0 0 46178 53 0 0 25 0 1 0 890866441 1859002368 445346 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 453858 445346 626 1178 0 452676 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1815432
[startup+522.3 s]
/proc/loadavg: 2.04 1.85 1.65 3/179 23359
/proc/meminfo: memFree=27860496/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=1913964 CPUtime=522.3 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 482676 0 0 0 52175 55 0 0 25 0 1 0 890866441 1959899136 470071 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 478491 470071 626 1178 0 477309 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1913964
[startup+582.3 s]
/proc/loadavg: 2.08 1.89 1.67 3/179 23360
/proc/meminfo: memFree=27675700/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=1980476 CPUtime=582.31 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 499128 0 0 0 58174 57 0 0 25 0 1 0 890866441 2028007424 486523 33554432000 4194304 9016284 140734200491840 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 495119 486523 626 1178 0 493937 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1980476
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26242772/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2588748 CPUtime=1062.32 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 649450 0 0 0 106153 79 0 0 25 0 1 0 890866441 2650877952 636845 33554432000 4194304 9016284 140734200491840 18446744073709551615 5155071 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 647187 636845 631 1178 0 646005 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2588748
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 1.82 3/179 23384
/proc/meminfo: memFree=26126060/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2628896 CPUtime=1122.33 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 659508 0 0 0 112152 81 0 0 25 0 1 0 890866441 2691989504 646903 33554432000 4194304 9016284 140734200491840 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 657224 646903 631 1178 0 656042 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2628896
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 1.83 3/179 23387
/proc/meminfo: memFree=26024964/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2662876 CPUtime=1182.33 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 668790 0 0 0 118151 82 0 0 25 0 1 0 890866441 2726785024 656185 33554432000 4194304 9016284 140734200491840 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 665719 656185 631 1178 0 664537 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2662876
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.84 3/179 23390
/proc/meminfo: memFree=25914836/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2704540 CPUtime=1242.33 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 679356 0 0 0 124149 84 0 0 25 0 1 0 890866441 2769448960 666751 33554432000 4194304 9016284 140734200491840 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 676135 666751 631 1178 0 674953 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2704540
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 1.85 3/179 23392
/proc/meminfo: memFree=25795648/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2746744 CPUtime=1302.33 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 689649 0 0 0 130148 85 0 0 25 0 1 0 890866441 2812665856 677044 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 686686 677044 631 1178 0 685504 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2746744
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.86 3/179 23393
/proc/meminfo: memFree=25695924/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2771868 CPUtime=1362.33 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 696124 0 0 0 136147 86 0 0 25 0 1 0 890866441 2838392832 683519 33554432000 4194304 9016284 140734200491840 18446744073709551615 6469459 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 692967 683519 631 1178 0 691785 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2771868
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.86 3/179 23395
/proc/meminfo: memFree=25583052/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2809680 CPUtime=1422.34 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 705346 0 0 0 142146 88 0 0 25 0 1 0 890866441 2877112320 692741 33554432000 4194304 9016284 140734200491840 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 702420 692741 631 1178 0 701238 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2809680
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/179 23396
/proc/meminfo: memFree=25441540/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2907320 CPUtime=1482.33 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 729563 0 0 0 148142 91 0 0 25 0 1 0 890866441 2977095680 716958 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 726830 716958 631 1178 0 725648 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2907320
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.87 3/179 23398
/proc/meminfo: memFree=25253768/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2957908 CPUtime=1542.34 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 742215 0 0 0 154141 93 0 0 25 0 1 0 890866441 3028897792 729610 33554432000 4194304 9016284 140734200491840 18446744073709551615 6481251 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 739477 729610 631 1178 0 738295 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2957908
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 23400
/proc/meminfo: memFree=25032268/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2996476 CPUtime=1602.34 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 751454 0 0 0 160140 94 0 0 25 0 1 0 890866441 3068391424 738849 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 749119 738849 631 1178 0 747937 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2996476
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/179 23401
/proc/meminfo: memFree=24930444/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=3075232 CPUtime=1662.34 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 771065 0 0 0 166137 97 0 0 25 0 1 0 890866441 3149037568 758460 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 768808 758460 631 1178 0 767626 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3075232
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/179 23403
/proc/meminfo: memFree=24827220/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=3168936 CPUtime=1722.34 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 794455 0 0 0 172135 99 0 0 25 0 1 0 890866441 3244990464 781850 33554432000 4194304 9016284 140734200491840 18446744073709551615 5155071 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 792234 781850 631 1178 0 791052 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3168936
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23404
/proc/meminfo: memFree=24761964/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=3222392 CPUtime=1782.34 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 809071 0 0 0 178133 101 0 0 25 0 1 0 890866441 3299729408 796466 33554432000 4194304 9016284 140734200491840 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 805598 796466 631 1178 0 804416 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3222392
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23404
/proc/meminfo: memFree=24761708/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=3222392 CPUtime=1785.64 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 809141 0 0 0 178463 101 0 0 25 0 1 0 890866441 3299729408 796536 33554432000 4194304 9016284 140734200491840 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 805598 796536 631 1178 0 804416 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 3222392
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24761580/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=3222392 CPUtime=1792.05 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 809175 0 0 0 179104 101 0 0 25 0 1 0 890866441 3299729408 796570 33554432000 4194304 9016284 140734200491840 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 805598 796570 631 1178 0 804416 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 3222392
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24757736/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=3225280 CPUtime=1795.25 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 809645 0 0 0 179424 101 0 0 25 0 1 0 890866441 3302686720 797040 33554432000 4194304 9016284 140734200491840 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 806320 797040 631 1178 0 805138 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 3225280
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24757612/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=3226300 CPUtime=1796.84 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 809879 0 0 0 179583 101 0 0 25 0 1 0 890866441 3303731200 797274 33554432000 4194304 9016284 140734200491840 18446744073709551615 6476010 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23344/statm: 806575 797274 631 1178 0 805393 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 3226300
[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24784892/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=2984276 CPUtime=1797.64 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 810568 0 0 0 179662 102 0 0 18 0 1 0 890866441 3055898624 737183 33554432000 4194304 9016284 140734200491840 18446744073709551615 6468367 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23344/statm: 746069 737183 640 1178 0 744887 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 2984276
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24784892/32951124 swapFree=67063556/67111528
[pid=23344] ppid=23342 vsize=276116 CPUtime=1797.85 cores=1,3,5,7
/proc/23344/stat : 23344 (scip-2.0.1.4b_2) R 23342 23344 20281 0 -1 4202496 810581 0 0 0 179671 114 0 0 18 0 1 0 890866441 282742784 37567 33554432000 4194304 9016284 140734200491840 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23344/statm: 69029 37286 653 1178 0 67847 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 276116
Child status: 0
Real time (s): 1797.81
CPU time (s): 1797.86
CPU user time (s): 1796.71
CPU system time (s): 1.14682
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3227328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.71
system time used= 1.14682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 810586
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= 4
involuntary context switches= 1889
runsolver used 2.82157 second user time and 6.90695 second system time
The end