0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3453528-1307121759.opb>
1.11/1.15 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184430 constraints
1.11/1.15 c problem read
1.11/1.15 c presolving settings loaded
1.69/1.75 c presolving:
6.29/6.38 c (round 1) 4640 del vars, 13620 del conss, 0 add conss, 3483 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12489302 impls, 0 clqs
7.79/7.81 c (round 2) 9454 del vars, 32229 del conss, 0 add conss, 8073 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12514821 impls, 0 clqs
8.19/8.20 c (round 3) 11314 del vars, 40495 del conss, 0 add conss, 9141 chg bounds, 55 chg sides, 42 chg coeffs, 0 upgd conss, 12526338 impls, 0 clqs
8.29/8.38 c (round 4) 12016 del vars, 43530 del conss, 0 add conss, 9532 chg bounds, 78 chg sides, 68 chg coeffs, 0 upgd conss, 12531324 impls, 0 clqs
8.49/8.51 c (round 5) 12341 del vars, 44865 del conss, 0 add conss, 9748 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12533282 impls, 0 clqs
8.59/8.60 c (round 6) 12582 del vars, 45812 del conss, 0 add conss, 9880 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12535326 impls, 0 clqs
8.59/8.66 c (round 7) 12674 del vars, 46276 del conss, 0 add conss, 9929 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12535906 impls, 0 clqs
8.70/8.72 c (round 8) 12740 del vars, 46517 del conss, 0 add conss, 9973 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536346 impls, 0 clqs
8.70/8.77 c (round 9) 12772 del vars, 46673 del conss, 0 add conss, 9992 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536476 impls, 0 clqs
8.81/8.82 c (round 10) 12788 del vars, 46757 del conss, 0 add conss, 10005 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536532 impls, 0 clqs
8.81/8.86 c (round 11) 12802 del vars, 46810 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536602 impls, 0 clqs
8.89/8.91 c (round 12) 12802 del vars, 46824 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536602 impls, 0 clqs
9.39/9.42 c (round 13) 12802 del vars, 46824 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 137606 upgd conss, 12536602 impls, 0 clqs
9.69/9.72 c (round 14) 12802 del vars, 46829 del conss, 69 add conss, 10012 chg bounds, 197 chg sides, 587 chg coeffs, 137606 upgd conss, 12537312 impls, 2485 clqs
9.91/9.93 c (round 15) 12802 del vars, 46847 del conss, 75 add conss, 10012 chg bounds, 203 chg sides, 605 chg coeffs, 137606 upgd conss, 12537382 impls, 2664 clqs
463.80/463.83 c (463.8s) probing: 1000/41980 (2.4%) - 17 fixings, 1 aggregations, 10232458 implications, 0 bound changes
843.52/843.51 c (843.5s) probing: 2000/41980 (4.8%) - 17 fixings, 1 aggregations, 16800512 implications, 0 bound changes
901.52/901.58 c (901.6s) probing: 2151/41980 (5.1%) - 17 fixings, 1 aggregations, 17692592 implications, 0 bound changes
901.52/901.58 c (901.6s) probing aborted: 2000/2000 successive useless probings
901.52/901.59 c (round 16) 12820 del vars, 46847 del conss, 75 add conss, 10012 chg bounds, 203 chg sides, 606 chg coeffs, 137606 upgd conss, 73882256 impls, 2664 clqs
902.04/902.08 c (round 17) 12820 del vars, 47692 del conss, 75 add conss, 10012 chg bounds, 204 chg sides, 811 chg coeffs, 137606 upgd conss, 73882256 impls, 2664 clqs
902.32/902.38 c (round 18) 12820 del vars, 47692 del conss, 94 add conss, 10012 chg bounds, 223 chg sides, 875 chg coeffs, 137606 upgd conss, 73882256 impls, 2923 clqs
991.52/991.55 c (round 19) 12870 del vars, 47692 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 881 chg coeffs, 137606 upgd conss, 76741578 impls, 2923 clqs
992.42/992.42 c (round 20) 12872 del vars, 47870 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 890 chg coeffs, 137606 upgd conss, 76784028 impls, 2923 clqs
1087.43/1087.44 c (round 21) 12924 del vars, 47872 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 890 chg coeffs, 137606 upgd conss, 81160960 impls, 2927 clqs
1088.03/1088.01 c (round 22) 12926 del vars, 48067 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 896 chg coeffs, 137606 upgd conss, 81160966 impls, 2927 clqs
1207.63/1207.66 c (1207.7s) probing: 3000/41980 (7.1%) - 113 fixings, 35 aggregations, 22868744 implications, 0 bound changes
1556.74/1556.73 c (1556.7s) probing: 4000/41980 (9.5%) - 127 fixings, 40 aggregations, 33657102 implications, 0 bound changes
1627.44/1627.47 c (round 23) 12976 del vars, 48069 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 896 chg coeffs, 137606 upgd conss, 117953514 impls, 2930 clqs
1628.84/1628.86 c (round 24) 12990 del vars, 48262 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 901 chg coeffs, 137606 upgd conss, 117964950 impls, 2930 clqs
1629.16/1629.14 c (round 25) 12990 del vars, 48276 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 901 chg coeffs, 137606 upgd conss, 117964950 impls, 2930 clqs
1800.06/1800.08 c (1800.1s) probing: 4668/41980 (11.1%) - 148 fixings, 48 aggregations, 40313995 implications, 0 bound changes
1800.06/1800.08 c (1800.1s) probing aborted: solving stopped
1800.06/1800.08 c (round 26) 13016 del vars, 48276 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 901 chg coeffs, 137606 upgd conss, 129423898 impls, 2930 clqs
1800.06/1800.08 c presolving (26 rounds):
1800.06/1800.08 c 13016 deleted vars, 48276 deleted constraints, 94 added constraints, 10012 tightened bounds, 0 added holes, 224 changed sides, 901 changed coefficients
1800.06/1800.08 c 129423898 implications, 2930 cliques
1800.06/1800.08 c presolving was interrupted.
1800.06/1800.08 c Presolving Time: 1798.76
1800.06/1800.08 c - non default parameters ----------------------------------------------------------------------
1800.06/1800.08 c # SCIP version 2.0.1.4
1800.06/1800.08 c
1800.06/1800.08 c # frequency for displaying node information lines
1800.06/1800.08 c # [type: int, range: [-1,2147483647], default: 100]
1800.06/1800.08 c display/freq = 10000
1800.06/1800.08 c
1800.06/1800.08 c # maximal time in seconds to run
1800.06/1800.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.06/1800.08 c limits/time = 1800
1800.06/1800.08 c
1800.06/1800.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.06/1800.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.06/1800.08 c limits/memory = 13950
1800.06/1800.08 c
1800.06/1800.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.06/1800.08 c # [type: int, range: [1,2], default: 1]
1800.06/1800.08 c timing/clocktype = 2
1800.06/1800.08 c
1800.06/1800.08 c # belongs reading time to solving time?
1800.06/1800.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.08 c timing/reading = TRUE
1800.06/1800.08 c
1800.06/1800.08 c # should presolving try to simplify inequalities
1800.06/1800.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.08 c constraints/linear/simplifyinequalities = TRUE
1800.06/1800.08 c
1800.06/1800.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.06/1800.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.08 c constraints/indicator/addCouplingCons = TRUE
1800.06/1800.08 c
1800.06/1800.08 c # should presolving try to simplify knapsacks
1800.06/1800.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.08 c constraints/knapsack/simplifyinequalities = TRUE
1800.06/1800.08 c
1800.06/1800.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.06/1800.08 c # [type: int, range: [-1,2147483647], default: -1]
1800.06/1800.08 c separating/rapidlearning/freq = 0
1800.06/1800.08 c
1800.06/1800.08 c -----------------------------------------------------------------------------------------------
1800.06/1800.08 c start solving
1800.06/1800.11 c presolving:
1800.06/1800.11 c presolving (26 rounds):
1800.06/1800.11 c 13016 deleted vars, 48276 deleted constraints, 94 added constraints, 10012 tightened bounds, 0 added holes, 224 changed sides, 901 changed coefficients
1800.06/1800.11 c 129423898 implications, 2930 cliques
1800.06/1800.11 c presolving was interrupted.
1800.06/1800.11 c Presolving Time: 1798.79
1800.06/1800.11 c
1800.06/1800.11 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.11 c Solving Time (sec) : 1800.11
1800.06/1800.11 c Solving Nodes : 0
1800.06/1800.11 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.11 s UNKNOWN
1800.06/1800.11 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.11 c Total Time : 1800.11
1800.06/1800.11 c solving : 1800.11
1800.06/1800.11 c presolving : 1798.79 (included in solving)
1800.06/1800.11 c reading : 1.15 (included in solving)
1800.06/1800.11 c Original Problem :
1800.06/1800.11 c Problem name : HOME/instance-3453528-1307121759.opb
1800.06/1800.11 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.11 c Constraints : 184430 initial, 184430 maximal
1800.06/1800.11 c Presolved Problem :
1800.06/1800.11 c Problem name : t_HOME/instance-3453528-1307121759.opb
1800.06/1800.11 c Variables : 41766 (41766 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.11 c Constraints : 136248 initial, 136248 maximal
1800.06/1800.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.06/1800.11 c trivial : 0.06 836 0 0 0 0 0 0 0 0
1800.06/1800.11 c dualfix : 0.09 92 0 0 0 0 0 0 0 0
1800.06/1800.11 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.11 c implics : 2.89 0 18 0 0 0 0 0 0 0
1800.06/1800.11 c probing : 1784.79 148 48 0 0 0 0 0 0 0
1800.06/1800.11 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.11 c knapsack : 2.23 0 0 0 0 0 23 94 143 830
1800.06/1800.11 c setppc : 0.76 0 0 0 0 0 1391 0 0 0
1800.06/1800.11 c linear : 7.10 9176 2698 0 10012 0 46824 0 81 71
1800.06/1800.11 c logicor : 0.25 0 0 0 0 0 38 0 0 0
1800.06/1800.11 c root node : - 0 - - 0 - - - - -
1800.06/1800.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.06/1800.11 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.06/1800.11 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.06/1800.11 c knapsack : 0+ 0 203041 0 0 0 0 24 0 0 0 0
1800.06/1800.11 c setppc : 0+ 0 203017 0 0 0 0 42 0 0 0 0
1800.06/1800.11 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.06/1800.11 c logicor : 0+ 0 187312 0 0 0 0 34 0 0 0 0
1800.06/1800.11 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.06/1800.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.06/1800.11 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.11 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.11 c knapsack : 9.81 0.00 9.81 0.00 0.00 0.00 0.00
1800.06/1800.11 c setppc : 811.57 0.00 811.57 0.00 0.00 0.00 0.00
1800.06/1800.11 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.11 c logicor : 16.88 0.00 16.88 0.00 0.00 0.00 0.00
1800.06/1800.11 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.11 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.06/1800.11 c vbounds : 0 0 0 0
1800.06/1800.11 c rootredcost : 0 0 0 0
1800.06/1800.11 c pseudoobj : 0 0 0 0
1800.06/1800.11 c Propagator Timings : TotalTime Propagate Resprop
1800.06/1800.11 c vbounds : 0.08 0.08 0.00
1800.06/1800.11 c rootredcost : 0.04 0.04 0.00
1800.06/1800.11 c pseudoobj : 0.04 0.04 0.00
1800.06/1800.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.11 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.11 c applied globally : - - - 0 0.0 - - -
1800.06/1800.11 c applied locally : - - - 0 0.0 - - -
1800.66/1800.61 c Time complete: 1800.66.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453528-1307121759/watcher-3453528-1307121759 -o /tmp/evaluation-result-3453528-1307121759/solver-3453528-1307121759 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453528-1307121759.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: 0.92 1.01 1.29 3/454 18931
/proc/meminfo: memFree=24602512/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=11796 CPUtime=0.01 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 1933 0 0 0 1 0 0 0 20 0 1 0 804591797 12079104 1887 33554432000 4194304 9128323 140735580503984 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18931/statm: 2949 1887 400 1205 0 1740 0
[startup+0.066197 s]
/proc/loadavg: 0.92 1.01 1.29 3/454 18931
/proc/meminfo: memFree=24602512/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=21828 CPUtime=0.06 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 4442 0 0 0 6 0 0 0 20 0 1 0 804591797 22351872 4395 33554432000 4194304 9128323 140735580503984 18446744073709551615 4437287 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18931/statm: 5457 4395 400 1205 0 4248 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21828
[startup+0.10019 s]
/proc/loadavg: 0.92 1.01 1.29 3/454 18931
/proc/meminfo: memFree=24602512/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=27364 CPUtime=0.09 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 5857 0 0 0 9 0 0 0 20 0 1 0 804591797 28020736 5809 33554432000 4194304 9128323 140735580503984 18446744073709551615 6191433 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18931/statm: 6841 5809 400 1205 0 5632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27364
[startup+0.300163 s]
/proc/loadavg: 0.92 1.01 1.29 3/454 18931
/proc/meminfo: memFree=24602512/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=43888 CPUtime=0.29 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 10002 0 0 0 29 0 0 0 20 0 1 0 804591797 44941312 9922 33554432000 4194304 9128323 140735580503984 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18931/statm: 10972 9922 400 1205 0 9763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43888
[startup+0.701077 s]
/proc/loadavg: 0.92 1.01 1.29 3/454 18931
/proc/meminfo: memFree=24602512/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=66400 CPUtime=0.69 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 15611 0 0 0 67 2 0 0 21 0 1 0 804591797 67993600 15523 33554432000 4194304 9128323 140735580503984 18446744073709551615 7867829 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18931/statm: 16649 15548 400 1205 0 15440 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66400
[startup+1.50093 s]
/proc/loadavg: 0.92 1.01 1.29 3/456 18933
/proc/meminfo: memFree=24438072/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=254656 CPUtime=1.49 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 62101 0 0 0 142 7 0 0 23 0 1 0 804591797 260767744 61936 33554432000 4194304 9128323 140735580503984 18446744073709551615 6580881 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 63664 61936 467 1205 0 62455 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 254656
[startup+3.10064 s]
/proc/loadavg: 0.92 1.01 1.29 3/456 18933
/proc/meminfo: memFree=23969992/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=451720 CPUtime=3.09 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 119137 0 0 0 296 13 0 0 25 0 1 0 804591797 462561280 110641 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593113 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 112930 110641 510 1205 0 111721 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 451720
[startup+6.30105 s]
/proc/loadavg: 1.01 1.02 1.29 4/456 18933
/proc/meminfo: memFree=23393244/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=676052 CPUtime=6.29 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 173458 0 0 0 609 20 0 0 25 0 1 0 804591797 692277248 164962 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 169013 164962 519 1205 0 167804 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 676052
[startup+12.7009 s]
/proc/loadavg: 1.09 1.04 1.30 3/456 18934
/proc/meminfo: memFree=23147384/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=765436 CPUtime=12.69 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 207052 0 0 0 1245 24 0 0 25 0 1 0 804591797 783806464 186686 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 191359 186686 603 1205 0 190150 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 765436
[startup+25.5005 s]
/proc/loadavg: 1.29 1.09 1.31 3/456 18934
/proc/meminfo: memFree=23070616/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=803868 CPUtime=25.49 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 215809 0 0 0 2523 26 0 0 25 0 1 0 804591797 823160832 195311 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 200967 195311 603 1205 0 199758 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 803868
[startup+51.1008 s]
/proc/loadavg: 1.53 1.16 1.33 4/456 18935
/proc/meminfo: memFree=22900640/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=894092 CPUtime=51.09 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 237728 0 0 0 5081 28 0 0 25 0 1 0 804591797 915550208 217230 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 223523 217230 603 1205 0 222314 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 894092
[startup+102.317 s]
/proc/loadavg: 1.79 1.29 1.36 4/456 18936
/proc/meminfo: memFree=22563264/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=1032408 CPUtime=102.31 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 271665 0 0 0 10199 32 0 0 25 0 1 0 804591797 1057185792 251167 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 258102 251167 603 1205 0 256893 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1032408
[startup+162.3 s]
/proc/loadavg: 1.92 1.41 1.40 4/456 18941
/proc/meminfo: memFree=22138548/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=1236632 CPUtime=162.3 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 322717 0 0 0 16192 38 0 0 25 0 1 0 804591797 1266311168 301856 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 309158 301856 603 1205 0 307949 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1236632
[startup+222.301 s]
/proc/loadavg: 2.12 1.55 1.44 4/456 18942
/proc/meminfo: memFree=21711856/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=1505924 CPUtime=222.3 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 389719 0 0 0 22184 46 0 0 25 0 1 0 804591797 1542066176 368693 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 376481 368693 603 1205 0 375272 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1505924
[startup+282.301 s]
/proc/loadavg: 2.04 1.63 1.47 4/456 18944
/proc/meminfo: memFree=21371452/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=1652500 CPUtime=282.3 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 426543 0 0 0 28178 52 0 0 25 0 1 0 804591797 1692160000 405517 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 413125 405517 603 1205 0 411916 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1652500
[startup+342.301 s]
/proc/loadavg: 2.01 1.69 1.50 4/456 18945
/proc/meminfo: memFree=20967312/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=1834976 CPUtime=342.31 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 471933 0 0 0 34172 59 0 0 25 0 1 0 804591797 1879015424 450907 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 458744 450907 603 1205 0 457535 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1834976
[startup+402.301 s]
/proc/loadavg: 2.00 1.75 1.53 4/456 18947
/proc/meminfo: memFree=20722508/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=2001672 CPUtime=402.3 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 513364 0 0 0 40166 64 0 0 25 0 1 0 804591797 2049712128 492338 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 500418 492338 603 1205 0 499209 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2001672
[startup+462.301 s]
/proc/loadavg: 2.00 1.79 1.56 4/456 18949
/proc/meminfo: memFree=20545160/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=2100628 CPUtime=462.31 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 537959 0 0 0 46163 68 0 0 25 0 1 0 804591797 2151043072 516933 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 525157 516933 603 1205 0 523948 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2100628
[startup+522.301 s]
/proc/loadavg: 2.00 1.83 1.58 4/456 18950
/proc/meminfo: memFree=20392740/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=2179048 CPUtime=522.3 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 558392 0 0 0 52158 72 0 0 25 0 1 0 804591797 2231345152 537234 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 544762 537234 607 1205 0 543553 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2179048
[startup+582.301 s]
/proc/loadavg: 2.00 1.85 1.60 4/456 18952
/proc/meminfo: memFree=20249860/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=2239820 CPUtime=582.31 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 573990 0 0 0 58155 76 0 0 25 0 1 0 804591797 2293575680 552832 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 559955 552832 607 1205 0 558746 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2239820
[startup+642.301 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 1.28 1.76 1.66 2/450 18979
/proc/meminfo: memFree=21989104/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=2656936 CPUtime=942.32 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 678274 0 0 0 94140 92 0 0 25 0 1 0 804591797 2720702464 657116 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 664234 657116 607 1205 0 663025 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2656936
[startup+1002.3 s]
/proc/loadavg: 1.10 1.62 1.62 2/450 18981
/proc/meminfo: memFree=21949384/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=2698496 CPUtime=1002.32 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 688123 0 0 0 100138 94 0 0 25 0 1 0 804591797 2763259904 666965 33554432000 4194304 9128323 140735580503984 18446744073709551615 5131620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 674624 666965 607 1205 0 673415 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2698496
[startup+1062.3 s]
/proc/loadavg: 1.03 1.50 1.57 2/450 18983
/proc/meminfo: memFree=21891556/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=2761812 CPUtime=1062.33 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 703089 0 0 0 106136 97 0 0 25 0 1 0 804591797 2828095488 681931 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 690453 681931 607 1205 0 689244 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2761812
[startup+1122.3 s]
/proc/loadavg: 1.01 1.41 1.54 2/450 18984
/proc/meminfo: memFree=21805840/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=2844048 CPUtime=1122.33 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 724194 0 0 0 112133 100 0 0 25 0 1 0 804591797 2912305152 703036 33554432000 4194304 9128323 140735580503984 18446744073709551615 6594394 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 711012 703036 607 1205 0 709803 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2844048
[startup+1182.3 s]
/proc/loadavg: 1.00 1.33 1.50 2/450 18986
/proc/meminfo: memFree=21640148/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=3012196 CPUtime=1182.33 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 765330 0 0 0 118128 105 0 0 25 0 1 0 804591797 3084488704 744172 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 753049 744172 607 1205 0 751840 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3012196
[startup+1242.3 s]
/proc/loadavg: 1.00 1.27 1.46 2/450 18987
/proc/meminfo: memFree=21525648/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=3126948 CPUtime=1242.33 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 793778 0 0 0 124124 109 0 0 25 0 1 0 804591797 3201994752 772620 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 781737 772620 607 1205 0 780528 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3126948
[startup+1302.3 s]
/proc/loadavg: 1.06 1.23 1.44 2/450 18989
/proc/meminfo: memFree=21419476/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=3233676 CPUtime=1302.35 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 820359 0 0 0 130122 113 0 0 25 0 1 0 804591797 3311284224 799201 33554432000 4194304 9128323 140735580503984 18446744073709551615 4792752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 808419 799201 607 1205 0 807210 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3233676
[startup+1362.3 s]
/proc/loadavg: 1.07 1.20 1.41 2/450 18991
/proc/meminfo: memFree=21286264/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=3372512 CPUtime=1362.34 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 854035 0 0 0 136115 119 0 0 25 0 1 0 804591797 3453452288 832877 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 843128 832877 607 1205 0 841919 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3372512
[startup+1422.32 s]
/proc/loadavg: 1.02 1.16 1.39 2/450 18992
/proc/meminfo: memFree=21144752/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=3512336 CPUtime=1422.35 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 888999 0 0 0 142110 125 0 0 25 0 1 0 804591797 3596632064 867841 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 878084 867841 607 1205 0 876875 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3512336
[startup+1482.3 s]
/proc/loadavg: 1.01 1.13 1.36 2/450 18994
/proc/meminfo: memFree=21021468/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=3640080 CPUtime=1482.34 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 920172 0 0 0 148104 130 0 0 25 0 1 0 804591797 3727441920 899014 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 910020 899014 607 1205 0 908811 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3640080
[startup+1542.3 s]
/proc/loadavg: 1.00 1.10 1.33 2/450 18995
/proc/meminfo: memFree=20891244/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=3767860 CPUtime=1542.34 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 952143 0 0 0 154100 134 0 0 25 0 1 0 804591797 3858288640 930985 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 941965 930985 607 1205 0 940756 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3767860
[startup+1602.3 s]
/proc/loadavg: 1.00 1.08 1.31 2/450 18997
/proc/meminfo: memFree=20764476/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=3898900 CPUtime=1602.34 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 984196 0 0 0 160095 139 0 0 25 0 1 0 804591797 3992473600 963038 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 974725 963038 607 1205 0 973516 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3898900
[startup+1662.3 s]
/proc/loadavg: 1.00 1.06 1.29 2/450 18999
/proc/meminfo: memFree=20667840/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=3992460 CPUtime=1662.35 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 1007942 0 0 0 166093 142 0 0 25 0 1 0 804591797 4088279040 986784 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 998115 986784 607 1205 0 996906 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3992460
[startup+1722.3 s]
/proc/loadavg: 1.00 1.05 1.27 2/450 19000
/proc/meminfo: memFree=20525596/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=4139784 CPUtime=1722.34 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 1043893 0 0 0 172086 148 0 0 25 0 1 0 804591797 4239138816 1022735 33554432000 4194304 9128323 140735580503984 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 1034946 1022735 607 1205 0 1033737 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 4139784
[startup+1782.3 s]
/proc/loadavg: 1.00 1.04 1.25 2/450 19002
/proc/meminfo: memFree=20386564/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=4276744 CPUtime=1782.35 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 1077921 0 0 0 178083 152 0 0 25 0 1 0 804591797 4379385856 1056763 33554432000 4194304 9128323 140735580503984 18446744073709551615 4232530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 1069186 1056763 607 1205 0 1067977 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 4276744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.04 1.24 2/450 19002
/proc/meminfo: memFree=20351584/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=4312992 CPUtime=1800.06 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 1086684 0 0 0 179852 154 0 0 25 0 1 0 804591797 4416503808 1065526 33554432000 4194304 9128323 140735580503984 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18931/statm: 1078248 1065526 607 1205 0 1077039 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 4312992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 1.00 1.04 1.24 2/450 19002
/proc/meminfo: memFree=20351584/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=4312040 CPUtime=1800.25 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 1087390 0 0 0 179871 154 0 0 25 0 1 0 804591797 4415528960 1065739 33554432000 4194304 9128323 140735580503984 18446744073709551615 6885346 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18931/statm: 1078010 1065739 616 1205 0 1076801 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 4312040
[startup+1800.6 s]
/proc/loadavg: 1.00 1.04 1.24 2/451 19003
/proc/meminfo: memFree=24196568/32951124 swapFree=60476376/67111528
[pid=18931] ppid=18927 vsize=180160 CPUtime=1800.66 cores=1,3,5,7
/proc/18931/stat : 18931 (scip-2.0.1.4.li) R 18927 18931 16547 0 -1 4202496 1087413 0 0 0 179896 170 0 0 25 0 1 0 804591797 184483840 33296 33554432000 4194304 9128323 140735580503984 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18931/statm: 45040 33296 639 1205 0 43831 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 180160
Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.68
CPU user time (s): 1798.97
CPU system time (s): 1.70674
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4314016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.70674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1087415
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= 1373
runsolver used 7.2499 second user time and 19.782 second system time
The end