0.00/0.00 c SCIP version 2.0.1.4 [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-3486286-1307793242.opb>
1.19/1.28 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234117 constraints
1.19/1.28 c problem read
1.19/1.28 c presolving settings loaded
2.09/2.10 c presolving:
9.59/9.60 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.79/13.88 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.99/15.07 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.89/15.90 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
16.29/16.36 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.59/16.62 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.69/16.75 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.79/16.86 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.89/16.96 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.99/17.05 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
17.09/17.12 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
17.09/17.19 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
17.19/17.24 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.90/17.92 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.90/18.96 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
19.30/19.38 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
641.21/641.21 c (641.2s) probing: 1000/54389 (1.8%) - 14 fixings, 5 aggregations, 10414966 implications, 0 bound changes
1132.52/1132.53 c (1132.5s) probing: 2000/54389 (3.7%) - 14 fixings, 5 aggregations, 15794994 implications, 0 bound changes
1229.03/1229.01 c (1229.0s) probing: 2218/54389 (4.1%) - 14 fixings, 5 aggregations, 16808033 implications, 0 bound changes
1229.03/1229.01 c (1229.0s) probing aborted: 2000/2000 successive useless probings
1229.03/1229.01 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
1229.63/1229.63 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
1504.33/1504.39 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
1505.53/1505.52 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
1727.04/1727.01 c (1727.0s) probing: 3000/54389 (5.5%) - 63 fixings, 24 aggregations, 21946801 implications, 0 bound changes
1797.04/1797.01 c (1797.0s) probing: 3218/54389 (5.9%) - 63 fixings, 24 aggregations, 22849633 implications, 0 bound changes
1797.04/1797.01 c (1797.0s) probing aborted: solving stopped
1797.04/1797.01 c (round 21) 18553 del vars, 66774 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 337 chg coeffs, 168227 upgd conss, 92700362 impls, 290 clqs
1797.04/1797.01 c presolving (21 rounds):
1797.04/1797.01 c 18553 deleted vars, 66774 deleted constraints, 37 added constraints, 14139 tightened bounds, 0 added holes, 65 changed sides, 337 changed coefficients
1797.04/1797.01 c 92700362 implications, 290 cliques
1797.04/1797.01 c presolving was interrupted.
1797.04/1797.01 c Presolving Time: 1795.51
1797.04/1797.01 c - non default parameters ----------------------------------------------------------------------
1797.04/1797.01 c # SCIP version 2.0.1.4
1797.04/1797.01 c
1797.04/1797.01 c # frequency for displaying node information lines
1797.04/1797.01 c # [type: int, range: [-1,2147483647], default: 100]
1797.04/1797.01 c display/freq = 10000
1797.04/1797.01 c
1797.04/1797.01 c # maximal time in seconds to run
1797.04/1797.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.04/1797.01 c limits/time = 1797
1797.04/1797.01 c
1797.04/1797.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.04/1797.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.04/1797.01 c limits/memory = 13950
1797.04/1797.01 c
1797.04/1797.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.04/1797.01 c # [type: int, range: [1,2], default: 1]
1797.04/1797.01 c timing/clocktype = 2
1797.04/1797.01 c
1797.04/1797.01 c # belongs reading time to solving time?
1797.04/1797.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.01 c timing/reading = TRUE
1797.04/1797.01 c
1797.04/1797.01 c # should presolving try to simplify inequalities
1797.04/1797.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.01 c constraints/linear/simplifyinequalities = TRUE
1797.04/1797.01 c
1797.04/1797.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.04/1797.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.01 c constraints/indicator/addCouplingCons = TRUE
1797.04/1797.01 c
1797.04/1797.01 c # should presolving try to simplify knapsacks
1797.04/1797.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.01 c constraints/knapsack/simplifyinequalities = TRUE
1797.04/1797.01 c
1797.04/1797.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.04/1797.01 c # [type: int, range: [-1,2147483647], default: -1]
1797.04/1797.01 c separating/rapidlearning/freq = 0
1797.04/1797.01 c
1797.04/1797.01 c -----------------------------------------------------------------------------------------------
1797.04/1797.01 c start solving
1797.04/1797.04 c presolving:
1797.04/1797.04 c presolving (21 rounds):
1797.04/1797.04 c 18553 deleted vars, 66774 deleted constraints, 37 added constraints, 14139 tightened bounds, 0 added holes, 65 changed sides, 337 changed coefficients
1797.04/1797.04 c 92700362 implications, 290 cliques
1797.04/1797.04 c presolving was interrupted.
1797.04/1797.04 c Presolving Time: 1795.54
1797.04/1797.04 c
1797.04/1797.04 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.04 c Solving Time (sec) : 1797.04
1797.04/1797.04 c Solving Nodes : 0
1797.04/1797.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.04 s UNKNOWN
1797.04/1797.04 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.04 c Total Time : 1797.04
1797.04/1797.04 c solving : 1797.04
1797.04/1797.04 c presolving : 1795.54 (included in solving)
1797.04/1797.04 c reading : 1.28 (included in solving)
1797.04/1797.04 c Original Problem :
1797.04/1797.04 c Problem name : HOME/instance-3486286-1307793242.opb
1797.04/1797.04 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.04 c Constraints : 234117 initial, 234117 maximal
1797.04/1797.04 c Presolved Problem :
1797.04/1797.04 c Problem name : t_HOME/instance-3486286-1307793242.opb
1797.04/1797.04 c Variables : 54289 (54289 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.04 c Constraints : 167380 initial, 167380 maximal
1797.04/1797.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.04 c trivial : 0.06 1309 0 0 0 0 0 0 0 0
1797.04/1797.04 c dualfix : 0.10 121 0 0 0 0 0 0 0 0
1797.04/1797.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.04 c implics : 1.36 0 9 0 0 0 0 0 0 0
1797.04/1797.04 c probing : 1775.19 63 24 0 0 0 0 0 0 0
1797.04/1797.04 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.04 c knapsack : 2.08 0 0 0 0 0 0 37 53 317
1797.04/1797.04 c setppc : 0.71 4 0 0 0 0 867 0 0 0
1797.04/1797.04 c linear : 15.03 12830 4193 0 14139 0 65890 0 12 20
1797.04/1797.04 c logicor : 0.17 0 0 0 0 0 17 0 0 0
1797.04/1797.04 c root node : - 0 - - 0 - - - - -
1797.04/1797.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.04 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.04 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.04 c knapsack : 0+ 0 126624 0 0 0 0 25 0 0 0 0
1797.04/1797.04 c setppc : 0+ 0 126599 0 0 0 0 12 0 0 0 0
1797.04/1797.04 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.04 c logicor : 0+ 0 114792 0 0 0 0 5 0 0 0 0
1797.04/1797.04 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.04 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.04 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.04 c knapsack : 10.41 0.00 10.41 0.00 0.00 0.00 0.00
1797.04/1797.04 c setppc : 724.65 0.00 724.65 0.00 0.00 0.00 0.00
1797.04/1797.04 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.04 c logicor : 11.15 0.00 11.15 0.00 0.00 0.00 0.00
1797.04/1797.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.04 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.04 c vbounds : 0 0 0 0
1797.04/1797.04 c rootredcost : 0 0 0 0
1797.04/1797.04 c pseudoobj : 0 0 0 0
1797.04/1797.04 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.04 c vbounds : 0.05 0.05 0.00
1797.04/1797.04 c rootredcost : 0.03 0.03 0.00
1797.04/1797.04 c pseudoobj : 0.03 0.03 0.00
1797.04/1797.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.04 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.04 c applied globally : - - - 0 0.0 - - -
1797.04/1797.04 c applied locally : - - - 0 0.0 - - -
1797.64/1797.61 c Time complete: 1797.65.
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-3486286-1307793242/watcher-3486286-1307793242 -o /tmp/evaluation-result-3486286-1307793242/solver-3486286-1307793242 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486286-1307793242.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 14372
/proc/meminfo: memFree=31338528/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=10316 CPUtime=0 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 1573 0 0 0 0 0 0 0 25 0 1 0 890924675 10563584 1527 33554432000 4194304 8979876 140737092343536 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14372/statm: 2579 1528 366 1169 0 1406 0
[startup+0.048985 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 14372
/proc/meminfo: memFree=31338528/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=19596 CPUtime=0.04 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 3901 0 0 0 4 0 0 0 25 0 1 0 890924675 20066304 3855 33554432000 4194304 8979876 140737092343536 18446744073709551615 4530316 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14372/statm: 4899 3855 366 1169 0 3726 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19596
[startup+0.100984 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 14372
/proc/meminfo: memFree=31338528/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=27544 CPUtime=0.09 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 5904 0 0 0 9 0 0 0 25 0 1 0 890924675 28205056 5858 33554432000 4194304 8979876 140737092343536 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14372/statm: 6886 5858 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.300951 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 14372
/proc/meminfo: memFree=31338528/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=52520 CPUtime=0.29 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 12129 0 0 0 29 0 0 0 25 0 1 0 890924675 53780480 12083 33554432000 4194304 8979876 140737092343536 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14372/statm: 13130 12083 366 1169 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52520
[startup+0.700889 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 14372
/proc/meminfo: memFree=31338528/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=78604 CPUtime=0.69 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 18615 0 0 0 68 1 0 0 25 0 1 0 890924675 80490496 18569 33554432000 4194304 8979876 140737092343536 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14372/statm: 19651 18569 366 1169 0 18478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78604
[startup+1.50072 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14373
/proc/meminfo: memFree=31236740/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=267856 CPUtime=1.49 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 65866 0 0 0 143 6 0 0 25 0 1 0 890924675 274284544 65782 33554432000 4194304 8979876 140737092343536 18446744073709551615 4599015 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 66964 65782 416 1169 0 65791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 267856
[startup+3.10046 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14373
/proc/meminfo: memFree=30964840/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=495972 CPUtime=3.09 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 130983 0 0 0 298 11 0 0 25 0 1 0 890924675 507875328 120742 33554432000 4194304 8979876 140737092343536 18446744073709551615 4875182 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 123993 120742 494 1169 0 122820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 495972
[startup+6.30085 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14373
/proc/meminfo: memFree=30685964/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=725808 CPUtime=6.3 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 187676 0 0 0 613 17 0 0 25 0 1 0 890924675 743227392 177435 33554432000 4194304 8979876 140737092343536 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 181452 177436 494 1169 0 180279 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 725808
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14374
/proc/meminfo: memFree=30489820/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=872236 CPUtime=12.69 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 223356 0 0 0 1249 20 0 0 25 0 1 0 890924675 893169664 212022 33554432000 4194304 8979876 140737092343536 18446744073709551615 6504296 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 218059 212022 504 1169 0 216886 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 872236
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14374
/proc/meminfo: memFree=30408140/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=954736 CPUtime=25.49 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 256933 0 0 0 2525 24 0 0 25 0 1 0 890924675 977649664 232183 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 238684 232183 559 1169 0 237511 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 954736
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14375
/proc/meminfo: memFree=30380352/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=989412 CPUtime=51.09 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 265297 0 0 0 5085 24 0 0 25 0 1 0 890924675 1013157888 240448 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 247353 240448 559 1169 0 246180 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 989412
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14376
/proc/meminfo: memFree=30300868/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=1064120 CPUtime=102.3 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 283518 0 0 0 10204 26 0 0 25 0 1 0 890924675 1089658880 258669 33554432000 4194304 8979876 140737092343536 18446744073709551615 4460293 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 266030 258669 559 1169 0 264857 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1064120
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14378
/proc/meminfo: memFree=30169520/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=1200304 CPUtime=162.29 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 317232 0 0 0 16200 29 0 0 25 0 1 0 890924675 1229111296 292383 33554432000 4194304 8979876 140737092343536 18446744073709551615 4330762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 300076 292383 559 1169 0 298903 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1200304
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14379
/proc/meminfo: memFree=30020452/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=1353340 CPUtime=222.3 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 355959 0 0 0 22197 33 0 0 25 0 1 0 890924675 1385820160 330417 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 338335 330417 559 1169 0 337162 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1353340
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14419
/proc/meminfo: memFree=29384420/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=1480700 CPUtime=282.29 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 387120 0 0 0 28193 36 0 0 25 0 1 0 890924675 1516236800 361479 33554432000 4194304 8979876 140737092343536 18446744073709551615 4887617 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 370175 361479 559 1169 0 369002 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1480700
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14420
/proc/meminfo: memFree=29155624/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=1623804 CPUtime=342.3 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 423118 0 0 0 34190 40 0 0 25 0 1 0 890924675 1662775296 397477 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503520 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 405951 397477 559 1169 0 404778 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1623804
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14422
/proc/meminfo: memFree=28922240/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=1721736 CPUtime=402.31 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 447338 0 0 0 40186 45 0 0 25 0 1 0 890924675 1763057664 421697 33554432000 4194304 8979876 140737092343536 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 430434 421697 559 1169 0 429261 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1721736
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14433
/proc/meminfo: memFree=28731060/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=1802260 CPUtime=462.3 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 467403 0 0 0 46183 47 0 0 25 0 1 0 890924675 1845514240 441762 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 450565 441762 559 1169 0 449392 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1802260
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14434
/proc/meminfo: memFree=28380352/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=1912832 CPUtime=522.31 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 494955 0 0 0 52180 51 0 0 25 0 1 0 890924675 1958739968 469314 33554432000 4194304 8979876 140737092343536 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 478208 469314 559 1169 0 477035 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1912832
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14438
/proc/meminfo: memFree=28159964/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=1978360 CPUtime=582.3 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 511281 0 0 0 58177 53 0 0 25 0 1 0 890924675 2025840640 485640 33554432000 4194304 8979876 140737092343536 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 494590 485640 559 1169 0 493417 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1978360
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26398356/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2622332 CPUtime=1122.33 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 671182 0 0 0 112158 75 0 0 25 0 1 0 890924675 2685267968 645442 33554432000 4194304 8979876 140737092343536 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 655583 645442 564 1169 0 654410 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2622332
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 14455
/proc/meminfo: memFree=26292808/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2660364 CPUtime=1182.33 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 680359 0 0 0 118156 77 0 0 25 0 1 0 890924675 2724212736 654619 33554432000 4194304 8979876 140737092343536 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 665091 654619 564 1169 0 663918 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2660364
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14456
/proc/meminfo: memFree=26173852/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2703120 CPUtime=1242.33 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 691314 0 0 0 124155 78 0 0 25 0 1 0 890924675 2767994880 665574 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 675780 665574 564 1169 0 674607 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2703120
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14458
/proc/meminfo: memFree=26027136/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2744148 CPUtime=1302.34 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 701606 0 0 0 130155 79 0 0 25 0 1 0 890924675 2810007552 675866 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 686037 675866 564 1169 0 684864 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2744148
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14460
/proc/meminfo: memFree=25932756/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2765876 CPUtime=1362.33 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 707231 0 0 0 136154 79 0 0 25 0 1 0 890924675 2832257024 681491 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503502 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 691469 681491 564 1169 0 690296 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2765876
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14461
/proc/meminfo: memFree=25790244/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2800976 CPUtime=1422.34 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 715560 0 0 0 142153 81 0 0 25 0 1 0 890924675 2868199424 689820 33554432000 4194304 8979876 140737092343536 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 700244 689820 564 1169 0 699071 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2800976
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14463
/proc/meminfo: memFree=25620344/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2889716 CPUtime=1482.33 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 738114 0 0 0 148149 84 0 0 25 0 1 0 890924675 2959069184 712374 33554432000 4194304 8979876 140737092343536 18446744073709551615 4899682 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 722429 712374 564 1169 0 721256 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2889716
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14464
/proc/meminfo: memFree=25466664/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2948360 CPUtime=1542.34 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 752424 0 0 0 154148 86 0 0 25 0 1 0 890924675 3019120640 726684 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 737090 726684 564 1169 0 735917 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2948360
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 14466
/proc/meminfo: memFree=25362108/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2980676 CPUtime=1602.34 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 760740 0 0 0 160148 86 0 0 25 0 1 0 890924675 3052212224 735000 33554432000 4194304 8979876 140737092343536 18446744073709551615 4586685 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 745169 735000 564 1169 0 743996 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2980676
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 14468
/proc/meminfo: memFree=25235104/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=3054512 CPUtime=1662.34 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 779062 0 0 0 166146 88 0 0 25 0 1 0 890924675 3127820288 753322 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 763628 753322 564 1169 0 762455 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3054512
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 14469
/proc/meminfo: memFree=25090852/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=3144508 CPUtime=1722.34 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 800564 0 0 0 172143 91 0 0 25 0 1 0 890924675 3219976192 774824 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 786127 774824 564 1169 0 784954 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3144508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14471
/proc/meminfo: memFree=24938664/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=3208868 CPUtime=1782.34 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 817923 0 0 0 178141 93 0 0 25 0 1 0 890924675 3285880832 792183 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 802217 792183 564 1169 0 801044 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3208868
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14471
/proc/meminfo: memFree=24933084/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=3209888 CPUtime=1785.54 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 818308 0 0 0 178461 93 0 0 25 0 1 0 890924675 3286925312 792568 33554432000 4194304 8979876 140737092343536 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 802472 792568 564 1169 0 801299 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 3209888
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14471
/proc/meminfo: memFree=24922416/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=3218816 CPUtime=1791.94 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 820598 0 0 0 179101 93 0 0 25 0 1 0 890924675 3296067584 794858 33554432000 4194304 8979876 140737092343536 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 804704 794858 564 1169 0 803531 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3218816
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14471
/proc/meminfo: memFree=24908280/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=3224888 CPUtime=1795.15 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 822317 0 0 0 179421 94 0 0 25 0 1 0 890924675 3302285312 796577 33554432000 4194304 8979876 140737092343536 18446744073709551615 4878384 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 806222 796577 564 1169 0 805049 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3224888
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14471
/proc/meminfo: memFree=24907032/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=3224888 CPUtime=1796.74 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 822317 0 0 0 179580 94 0 0 25 0 1 0 890924675 3302285312 796577 33554432000 4194304 8979876 140737092343536 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14372/statm: 806222 796577 564 1169 0 805049 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 3224888
[startup+1797.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14471
/proc/meminfo: memFree=24907032/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=3223928 CPUtime=1797.14 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 822834 0 0 0 179620 94 0 0 18 0 1 0 890924675 3301302272 796598 33554432000 4194304 8979876 140737092343536 18446744073709551615 4446658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14372/statm: 805982 796598 575 1169 0 804809 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 3223928
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14471
/proc/meminfo: memFree=24918564/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2851208 CPUtime=1797.54 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 822838 0 0 0 179659 95 0 0 18 0 1 0 890924675 2919636992 703957 33554432000 4194304 8979876 140737092343536 18446744073709551615 4895973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14372/statm: 712802 703957 579 1169 0 711629 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 2851208
[startup+1797.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14471
/proc/meminfo: memFree=24918564/32951124 swapFree=67060628/67111528
[pid=14372] ppid=14370 vsize=2178288 CPUtime=1797.64 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.4_2.) R 14370 14372 13525 0 -1 4202496 822850 0 0 0 179660 104 0 0 18 0 1 0 890924675 2230566912 85687 33554432000 4194304 8979876 140737092343536 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14372/statm: 544572 85687 591 1169 0 543399 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 2178288
Child status: 0
Real time (s): 1797.61
CPU time (s): 1797.67
CPU user time (s): 1796.61
CPU system time (s): 1.05884
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3224888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.61
system time used= 1.05884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 822855
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= 6
involuntary context switches= 1002
runsolver used 2.73258 second user time and 5.48717 second system time
The end