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-3489741-1307792964.opb>
1.19/1.27 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234464 constraints
1.19/1.27 c problem read
1.19/1.27 c presolving settings loaded
1.69/1.70 c presolving:
9.20/9.30 c (round 1) 4472 del vars, 13310 del conss, 0 add conss, 3093 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16053708 impls, 0 clqs
12.99/13.09 c (round 2) 10509 del vars, 35638 del conss, 0 add conss, 8780 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16079537 impls, 0 clqs
14.30/14.32 c (round 3) 12671 del vars, 45320 del conss, 0 add conss, 10059 chg bounds, 66 chg sides, 31 chg coeffs, 0 upgd conss, 16093246 impls, 0 clqs
14.99/15.02 c (round 4) 13691 del vars, 49363 del conss, 0 add conss, 10748 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16099378 impls, 0 clqs
15.30/15.39 c (round 5) 14222 del vars, 51574 del conss, 0 add conss, 11082 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16101685 impls, 0 clqs
15.49/15.56 c (round 6) 14511 del vars, 52717 del conss, 0 add conss, 11210 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16104408 impls, 0 clqs
15.69/15.71 c (round 7) 14651 del vars, 53342 del conss, 0 add conss, 11308 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16105466 impls, 0 clqs
15.79/15.82 c (round 8) 14735 del vars, 53702 del conss, 0 add conss, 11366 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106000 impls, 0 clqs
15.89/15.91 c (round 9) 14793 del vars, 53934 del conss, 0 add conss, 11407 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106400 impls, 0 clqs
15.89/16.00 c (round 10) 14841 del vars, 54118 del conss, 0 add conss, 11437 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106862 impls, 0 clqs
15.99/16.07 c (round 11) 14877 del vars, 54273 del conss, 0 add conss, 11459 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107256 impls, 0 clqs
16.09/16.14 c (round 12) 14897 del vars, 54367 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107340 impls, 0 clqs
16.09/16.19 c (round 13) 14897 del vars, 54391 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107340 impls, 0 clqs
16.80/16.85 c (round 14) 14897 del vars, 54391 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 180073 upgd conss, 16107340 impls, 0 clqs
17.19/17.24 c (round 15) 14897 del vars, 54391 del conss, 17 add conss, 11470 chg bounds, 100 chg sides, 203 chg coeffs, 180073 upgd conss, 16110238 impls, 3651 clqs
17.39/17.49 c (round 16) 14897 del vars, 54395 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 238 chg coeffs, 180073 upgd conss, 16110586 impls, 3943 clqs
798.90/798.96 c (799.0s) probing: 1000/57945 (1.7%) - 11 fixings, 1 aggregations, 10839532 implications, 0 bound changes
1327.81/1327.87 c (1327.9s) probing: 2000/57945 (3.5%) - 11 fixings, 1 aggregations, 16733604 implications, 0 bound changes
1408.52/1408.54 c (1408.5s) probing: 2153/57945 (3.7%) - 11 fixings, 1 aggregations, 17512170 implications, 0 bound changes
1408.52/1408.54 c (1408.5s) probing aborted: 2000/2000 successive useless probings
1408.52/1408.55 c (round 17) 14909 del vars, 54395 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 238 chg coeffs, 180073 upgd conss, 78662386 impls, 3943 clqs
1409.02/1409.02 c (round 18) 14909 del vars, 55138 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 451 chg coeffs, 180073 upgd conss, 78662386 impls, 3943 clqs
1797.01/1797.04 c (1797.0s) probing: 2596/57945 (4.5%) - 18 fixings, 7 aggregations, 20673134 implications, 0 bound changes
1797.01/1797.04 c (1797.0s) probing aborted: solving stopped
1797.01/1797.04 c (round 19) 14922 del vars, 55138 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 452 chg coeffs, 180073 upgd conss, 88286048 impls, 4518 clqs
1797.01/1797.04 c presolving (19 rounds):
1797.01/1797.04 c 14922 deleted vars, 55138 deleted constraints, 23 added constraints, 11470 tightened bounds, 0 added holes, 110 changed sides, 452 changed coefficients
1797.01/1797.04 c 88286048 implications, 4518 cliques
1797.01/1797.04 c presolving was interrupted.
1797.01/1797.04 c Presolving Time: 1795.47
1797.01/1797.04 c - non default parameters ----------------------------------------------------------------------
1797.01/1797.04 c # SCIP version 2.0.1.5
1797.01/1797.04 c
1797.01/1797.04 c # frequency for displaying node information lines
1797.01/1797.04 c # [type: int, range: [-1,2147483647], default: 100]
1797.01/1797.04 c display/freq = 10000
1797.01/1797.04 c
1797.01/1797.04 c # maximal time in seconds to run
1797.01/1797.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.01/1797.04 c limits/time = 1797
1797.01/1797.04 c
1797.01/1797.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.01/1797.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.01/1797.04 c limits/memory = 13950
1797.01/1797.04 c
1797.01/1797.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.01/1797.04 c # [type: int, range: [1,2], default: 1]
1797.01/1797.04 c timing/clocktype = 2
1797.01/1797.04 c
1797.01/1797.04 c # belongs reading time to solving time?
1797.01/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.01/1797.04 c timing/reading = TRUE
1797.01/1797.04 c
1797.01/1797.04 c # should presolving try to simplify inequalities
1797.01/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.01/1797.04 c constraints/linear/simplifyinequalities = TRUE
1797.01/1797.04 c
1797.01/1797.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.01/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.01/1797.04 c constraints/indicator/addCouplingCons = TRUE
1797.01/1797.04 c
1797.01/1797.04 c # should presolving try to simplify knapsacks
1797.01/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.01/1797.04 c constraints/knapsack/simplifyinequalities = TRUE
1797.01/1797.04 c
1797.01/1797.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.01/1797.04 c # [type: int, range: [-1,2147483647], default: -1]
1797.01/1797.04 c separating/rapidlearning/freq = 0
1797.01/1797.04 c
1797.01/1797.04 c -----------------------------------------------------------------------------------------------
1797.01/1797.04 c start solving
1797.01/1797.07 c presolving:
1797.01/1797.07 c presolving (19 rounds):
1797.01/1797.07 c 14922 deleted vars, 55138 deleted constraints, 23 added constraints, 11470 tightened bounds, 0 added holes, 110 changed sides, 452 changed coefficients
1797.01/1797.07 c 88286048 implications, 4518 cliques
1797.01/1797.07 c presolving was interrupted.
1797.01/1797.07 c Presolving Time: 1795.50
1797.01/1797.07 c
1797.01/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.07 c Solving Time (sec) : 1797.07
1797.01/1797.07 c Solving Nodes : 0
1797.01/1797.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.01/1797.07 s UNKNOWN
1797.01/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.07 c Total Time : 1797.07
1797.01/1797.07 c solving : 1797.07
1797.01/1797.07 c presolving : 1795.50 (included in solving)
1797.01/1797.07 c reading : 1.27 (included in solving)
1797.01/1797.07 c Original Problem :
1797.01/1797.07 c Problem name : HOME/instance-3489741-1307792964.opb
1797.01/1797.07 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.07 c Constraints : 234464 initial, 234464 maximal
1797.01/1797.07 c Presolved Problem :
1797.01/1797.07 c Problem name : t_HOME/instance-3489741-1307792964.opb
1797.01/1797.07 c Variables : 57920 (57920 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.07 c Constraints : 179349 initial, 179349 maximal
1797.01/1797.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.01/1797.07 c trivial : 0.06 1016 0 0 0 0 0 0 0 0
1797.01/1797.07 c dualfix : 0.10 120 0 0 0 0 0 0 0 0
1797.01/1797.07 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.07 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.07 c implics : 0.79 0 0 0 0 0 0 0 0 0
1797.01/1797.07 c probing : 1778.55 18 7 0 0 0 0 0 0 0
1797.01/1797.07 c knapsack : 0.63 0 0 0 0 0 4 23 33 405
1797.01/1797.07 c setppc : 0.53 0 0 0 0 0 738 0 0 0
1797.01/1797.07 c linear : 14.36 10454 3307 0 11470 0 54391 0 77 47
1797.01/1797.07 c logicor : 0.13 0 0 0 0 0 5 0 0 0
1797.01/1797.07 c root node : - 0 - - 0 - - - - -
1797.01/1797.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.01/1797.07 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.01/1797.07 c knapsack : 0+ 0 117776 0 0 0 0 6 0 0 0 0
1797.01/1797.07 c setppc : 0+ 0 117770 0 0 0 0 3 0 0 0 0
1797.01/1797.07 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.01/1797.07 c logicor : 0+ 0 108494 0 0 0 0 4 0 0 0 0
1797.01/1797.07 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.01/1797.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.01/1797.07 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.07 c knapsack : 6.46 0.00 6.46 0.00 0.00 0.00 0.00
1797.01/1797.07 c setppc : 747.91 0.00 747.91 0.00 0.00 0.00 0.00
1797.01/1797.07 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.07 c logicor : 8.21 0.00 8.21 0.00 0.00 0.00 0.00
1797.01/1797.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.07 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.01/1797.07 c vbounds : 0 0 0 0
1797.01/1797.07 c rootredcost : 0 0 0 0
1797.01/1797.07 c pseudoobj : 0 0 0 0
1797.01/1797.07 c Propagator Timings : TotalTime Propagate Resprop
1797.01/1797.07 c vbounds : 0.05 0.05 0.00
1797.01/1797.07 c rootredcost : 0.03 0.03 0.00
1797.01/1797.07 c pseudoobj : 0.02 0.02 0.00
1797.01/1797.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.01/1797.07 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.07 c applied globally : - - - 0 0.0 - - -
1797.01/1797.07 c applied locally : - - - 0 0.0 - - -
1797.62/1797.64 c Time complete: 1797.66.
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-3489741-1307792964/watcher-3489741-1307792964 -o /tmp/evaluation-result-3489741-1307792964/solver-3489741-1307792964 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489741-1307792964.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 1.93 2/177 23102
/proc/meminfo: memFree=29977344/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=12692 CPUtime=0 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 2144 0 0 0 0 0 0 0 25 0 1 0 890895165 12996608 2099 33554432000 4194304 9016284 140736277437264 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23102/statm: 3173 2107 353 1178 0 1991 0
[startup+0.094614 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 23102
/proc/meminfo: memFree=29977344/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=31232 CPUtime=0.08 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 6804 0 0 0 8 0 0 0 25 0 1 0 890895165 31981568 6759 33554432000 4194304 9016284 140736277437264 18446744073709551615 4536473 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23102/statm: 7808 6759 360 1178 0 6626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31232
[startup+0.100607 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 23102
/proc/meminfo: memFree=29977344/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=32392 CPUtime=0.09 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 7096 0 0 0 9 0 0 0 25 0 1 0 890895165 33169408 7051 33554432000 4194304 9016284 140736277437264 18446744073709551615 7748790 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23102/statm: 8098 7051 360 1178 0 6916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32392
[startup+0.300578 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 23102
/proc/meminfo: memFree=29977344/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=59140 CPUtime=0.29 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 13783 0 0 0 28 1 0 0 25 0 1 0 890895165 60559360 13738 33554432000 4194304 9016284 140736277437264 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23102/statm: 14785 13738 360 1178 0 13603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59140
[startup+0.700511 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 23102
/proc/meminfo: memFree=29977344/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=89840 CPUtime=0.69 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 21446 0 0 0 67 2 0 0 25 0 1 0 890895165 91996160 21401 33554432000 4194304 9016284 140736277437264 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23102/statm: 22460 21401 360 1178 0 21278 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89840
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23103
/proc/meminfo: memFree=29860684/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=315468 CPUtime=1.49 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 77110 0 0 0 140 9 0 0 25 0 1 0 890895165 323039232 77046 33554432000 4194304 9016284 140736277437264 18446744073709551615 6816840 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 78867 77046 413 1178 0 77685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 315468
[startup+3.10011 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23103
/proc/meminfo: memFree=29576596/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=510612 CPUtime=3.09 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 124973 0 0 0 296 13 0 0 25 0 1 0 890895165 522866688 124909 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 127653 124909 485 1178 0 126471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510612
[startup+6.30057 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23103
/proc/meminfo: memFree=29310364/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=731464 CPUtime=6.29 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 178452 0 0 0 611 18 0 0 25 0 1 0 890895165 749019136 178388 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 182866 178388 485 1178 0 181684 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 731464
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23103
/proc/meminfo: memFree=29120220/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=859496 CPUtime=12.69 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 209857 0 0 0 1247 22 0 0 25 0 1 0 890895165 880123904 209536 33554432000 4194304 9016284 140736277437264 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 214874 209536 496 1178 0 213692 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 859496
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23103
/proc/meminfo: memFree=28901516/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=982532 CPUtime=25.49 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 256279 0 0 0 2523 26 0 0 25 0 1 0 890895165 1006112768 239468 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 245633 239468 630 1178 0 244451 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 982532
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23104
/proc/meminfo: memFree=28798476/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=1014876 CPUtime=51.09 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 263863 0 0 0 5082 27 0 0 25 0 1 0 890895165 1039233024 247052 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 253719 247052 630 1178 0 252537 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1014876
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23105
/proc/meminfo: memFree=28602180/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=1074472 CPUtime=102.3 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 278483 0 0 0 10201 29 0 0 25 0 1 0 890895165 1100259328 261672 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 268618 261672 630 1178 0 267436 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1074472
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23107
/proc/meminfo: memFree=28352664/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=1209944 CPUtime=162.3 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 311967 0 0 0 16196 34 0 0 25 0 1 0 890895165 1238982656 295156 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 302486 295156 630 1178 0 301304 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1209944
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23108
/proc/meminfo: memFree=28185980/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=1288136 CPUtime=222.3 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 331755 0 0 0 22194 36 0 0 25 0 1 0 890895165 1319051264 314944 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 322034 314944 630 1178 0 320852 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1288136
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23110
/proc/meminfo: memFree=27944532/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=1401844 CPUtime=282.29 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 359702 0 0 0 28191 38 0 0 25 0 1 0 890895165 1435488256 342891 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 350461 342891 630 1178 0 349279 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1401844
[startup+342.301 s]
/proc/loadavg: 2.06 2.01 1.93 3/178 23112
/proc/meminfo: memFree=27665892/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=1575212 CPUtime=342.3 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 402893 0 0 0 34187 43 0 0 25 0 1 0 890895165 1613017088 386082 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 393803 386082 630 1178 0 392621 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1575212
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 23113
/proc/meminfo: memFree=27416388/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=1695996 CPUtime=402.29 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 433148 0 0 0 40183 46 0 0 25 0 1 0 890895165 1736699904 416337 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 423999 416337 630 1178 0 422817 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1695996
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23115
/proc/meminfo: memFree=27222428/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=1787572 CPUtime=462.3 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 455882 0 0 0 46181 49 0 0 25 0 1 0 890895165 1830473728 439071 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 446893 439071 630 1178 0 445711 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1787572
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23116
/proc/meminfo: memFree=27017196/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=1869904 CPUtime=522.3 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 476469 0 0 0 52178 52 0 0 25 0 1 0 890895165 1914781696 459658 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 467476 459658 630 1178 0 466294 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1869904
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23118
/proc/meminfo: memFree=26837992/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=1941760 CPUtime=582.3 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 494064 0 0 0 58175 55 0 0 25 0 1 0 890895165 1988362240 477253 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480398 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 485440 477253 630 1178 0 484258 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1941760
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25499892/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=2637148 CPUtime=1122.31 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 666652 0 0 0 112154 77 0 0 25 0 1 0 890895165 2700439552 649841 33554432000 4194304 9016284 140736277437264 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 659287 649841 635 1178 0 658105 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2637148
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 23146
/proc/meminfo: memFree=25395220/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=2680396 CPUtime=1182.31 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 677577 0 0 0 118153 78 0 0 25 0 1 0 890895165 2744725504 660766 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 670099 660766 635 1178 0 668917 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2680396
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23148
/proc/meminfo: memFree=25274660/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=2731924 CPUtime=1242.31 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 690885 0 0 0 124151 80 0 0 25 0 1 0 890895165 2797490176 674074 33554432000 4194304 9016284 140736277437264 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 682981 674074 635 1178 0 681799 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2731924
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23149
/proc/meminfo: memFree=25165016/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=2772728 CPUtime=1302.31 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 700963 0 0 0 130150 81 0 0 25 0 1 0 890895165 2839273472 684152 33554432000 4194304 9016284 140736277437264 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 693182 684152 635 1178 0 692000 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 2772728
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23151
/proc/meminfo: memFree=25050160/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=2816816 CPUtime=1362.32 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 711874 0 0 0 136149 83 0 0 25 0 1 0 890895165 2884419584 695063 33554432000 4194304 9016284 140736277437264 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 704204 695063 635 1178 0 703022 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2816816
[startup+1422.31 s]
/proc/loadavg: 1.61 1.90 1.91 2/172 23177
/proc/meminfo: memFree=28847964/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=2863476 CPUtime=1422.32 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 723711 0 0 0 142148 84 0 0 25 0 1 0 890895165 2932199424 706900 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 715869 706900 635 1178 0 714687 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 2863476
[startup+1482.3 s]
/proc/loadavg: 1.22 1.74 1.85 2/172 23178
/proc/meminfo: memFree=28787928/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=2926380 CPUtime=1482.32 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 738745 0 0 0 148145 87 0 0 25 0 1 0 890895165 2996613120 721934 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 731595 721934 635 1178 0 730413 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2926380
[startup+1542.3 s]
/proc/loadavg: 1.08 1.60 1.80 2/172 23180
/proc/meminfo: memFree=28749720/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=2965872 CPUtime=1542.31 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 748292 0 0 0 154143 88 0 0 25 0 1 0 890895165 3037052928 731481 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 741468 731481 635 1178 0 740286 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 2965872
[startup+1602.3 s]
/proc/loadavg: 1.03 1.49 1.75 2/172 23181
/proc/meminfo: memFree=28710268/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=3008196 CPUtime=1602.32 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 758680 0 0 0 160142 90 0 0 25 0 1 0 890895165 3080392704 741869 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 752049 741869 635 1178 0 750867 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3008196
[startup+1662.3 s]
/proc/loadavg: 1.01 1.40 1.70 2/172 23183
/proc/meminfo: memFree=28665376/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=3049176 CPUtime=1662.32 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 769386 0 0 0 166140 92 0 0 25 0 1 0 890895165 3122356224 752575 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 762294 752575 635 1178 0 761112 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3049176
[startup+1722.3 s]
/proc/loadavg: 1.00 1.32 1.65 2/172 23184
/proc/meminfo: memFree=28554504/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=3162784 CPUtime=1722.32 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 797046 0 0 0 172136 96 0 0 25 0 1 0 890895165 3238690816 780235 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 790696 780235 635 1178 0 789514 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3162784
[startup+1782.3 s]
/proc/loadavg: 1.00 1.26 1.61 2/172 23186
/proc/meminfo: memFree=28502036/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=3214420 CPUtime=1782.32 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 810124 0 0 0 178134 98 0 0 25 0 1 0 890895165 3291566080 793313 33554432000 4194304 9016284 140736277437264 18446744073709551615 5519463 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 803605 793313 635 1178 0 802423 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3214420
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.26 1.60 2/172 23186
/proc/meminfo: memFree=28495460/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=3222600 CPUtime=1785.52 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 811948 0 0 0 178454 98 0 0 25 0 1 0 890895165 3299942400 795137 33554432000 4194304 9016284 140736277437264 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 805650 795137 635 1178 0 804468 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 3222600
[startup+1791.91 s]
/proc/loadavg: 1.00 1.25 1.60 2/172 23186
/proc/meminfo: memFree=28487028/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=3229472 CPUtime=1791.92 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 813885 0 0 0 179094 98 0 0 25 0 1 0 890895165 3306979328 797074 33554432000 4194304 9016284 140736277437264 18446744073709551615 5510916 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 807368 797074 635 1178 0 806186 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 3229472
[startup+1795.1 s]
/proc/loadavg: 1.00 1.25 1.60 2/172 23186
/proc/meminfo: memFree=28485416/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=3230356 CPUtime=1795.12 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 814303 0 0 0 179414 98 0 0 25 0 1 0 890895165 3307884544 797492 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 807589 797492 635 1178 0 806407 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 3230356
[startup+1796.7 s]
/proc/loadavg: 1.00 1.25 1.60 2/172 23186
/proc/meminfo: memFree=28485168/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=3230356 CPUtime=1796.72 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 814432 0 0 0 179574 98 0 0 25 0 1 0 890895165 3307884544 797621 33554432000 4194304 9016284 140736277437264 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23102/statm: 807589 797621 635 1178 0 806407 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 3230356
[startup+1797.1 s]
/proc/loadavg: 1.00 1.25 1.60 2/172 23186
/proc/meminfo: memFree=28485168/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=3226780 CPUtime=1797.12 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 814614 0 0 0 179613 99 0 0 25 0 1 0 890895165 3304222720 796909 33554432000 4194304 9016284 140736277437264 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23102/statm: 806695 796909 644 1178 0 805513 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 3226780
[startup+1797.5 s]
/proc/loadavg: 1.00 1.25 1.60 2/172 23187
/proc/meminfo: memFree=28515548/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=2808812 CPUtime=1797.52 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 814618 0 0 0 179652 100 0 0 25 0 1 0 890895165 2876223488 692866 33554432000 4194304 9016284 140736277437264 18446744073709551615 7854972 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23102/statm: 702203 692866 648 1178 0 701021 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 2808812
[startup+1797.6 s]
/proc/loadavg: 1.00 1.25 1.60 2/172 23187
/proc/meminfo: memFree=28515548/32950928 swapFree=67050648/67111528
[pid=23102] ppid=23100 vsize=2053132 CPUtime=1797.62 cores=1,3,5,7
/proc/23102/stat : 23102 (scip-2.0.1.4b_2) R 23100 23102 19488 0 -1 4202496 814627 0 0 0 179656 106 0 0 25 0 1 0 890895165 2102407168 319163 33554432000 4194304 9016284 140736277437264 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23102/statm: 513283 318651 657 1178 0 512101 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 2053132
Child status: 0
Real time (s): 1797.65
CPU time (s): 1797.68
CPU user time (s): 1796.57
CPU system time (s): 1.10883
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3230356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.57
system time used= 1.10883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 814632
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= 2894
runsolver used 2.66559 second user time and 6.03708 second system time
The end