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-3453536-1307121453.opb>
1.19/1.21 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184232 constraints
1.19/1.21 c problem read
1.19/1.21 c presolving settings loaded
1.79/1.83 c presolving:
6.50/6.60 c (round 1) 3953 del vars, 11228 del conss, 0 add conss, 2791 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12710848 impls, 0 clqs
8.09/8.17 c (round 2) 9190 del vars, 30341 del conss, 0 add conss, 7649 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12740002 impls, 0 clqs
8.49/8.59 c (round 3) 10961 del vars, 38693 del conss, 0 add conss, 8644 chg bounds, 33 chg sides, 13 chg coeffs, 0 upgd conss, 12754570 impls, 0 clqs
8.70/8.79 c (round 4) 11722 del vars, 41847 del conss, 0 add conss, 9100 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12761131 impls, 0 clqs
8.89/8.92 c (round 5) 12145 del vars, 43589 del conss, 0 add conss, 9329 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12764925 impls, 0 clqs
8.99/9.01 c (round 6) 12349 del vars, 44453 del conss, 0 add conss, 9440 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12766594 impls, 0 clqs
8.99/9.08 c (round 7) 12455 del vars, 44938 del conss, 0 add conss, 9495 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767318 impls, 0 clqs
9.09/9.13 c (round 8) 12501 del vars, 45179 del conss, 0 add conss, 9520 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767654 impls, 0 clqs
9.09/9.18 c (round 9) 12517 del vars, 45269 del conss, 0 add conss, 9528 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767810 impls, 0 clqs
9.19/9.22 c (round 10) 12525 del vars, 45311 del conss, 0 add conss, 9534 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767816 impls, 0 clqs
9.69/9.76 c (round 11) 12525 del vars, 45317 del conss, 0 add conss, 9534 chg bounds, 49 chg sides, 29 chg coeffs, 138915 upgd conss, 12767816 impls, 0 clqs
10.29/10.32 c (round 12) 12525 del vars, 45318 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 166 chg coeffs, 138915 upgd conss, 12767816 impls, 0 clqs
457.10/457.15 c (457.1s) probing: 1000/42257 (2.4%) - 7 fixings, 1 aggregations, 9641454 implications, 0 bound changes
843.73/843.78 c (843.8s) probing: 2000/42257 (4.7%) - 7 fixings, 1 aggregations, 15446131 implications, 0 bound changes
889.16/889.20 c (889.2s) probing: 2129/42257 (5.0%) - 7 fixings, 1 aggregations, 16042772 implications, 0 bound changes
889.16/889.20 c (889.2s) probing aborted: 2000/2000 successive useless probings
889.16/889.20 c (round 13) 12533 del vars, 45324 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 167 chg coeffs, 138915 upgd conss, 67200480 impls, 0 clqs
889.56/889.69 c (round 14) 12533 del vars, 45699 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 252 chg coeffs, 138915 upgd conss, 67200480 impls, 0 clqs
1091.97/1092.02 c (round 15) 12583 del vars, 45699 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 252 chg coeffs, 138915 upgd conss, 76930738 impls, 0 clqs
1093.97/1094.08 c (round 16) 12589 del vars, 45875 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 254 chg coeffs, 138915 upgd conss, 77037916 impls, 0 clqs
1195.17/1195.24 c (1195.2s) probing: 3000/42257 (7.1%) - 40 fixings, 20 aggregations, 21448223 implications, 0 bound changes
1554.77/1554.85 c (1554.8s) probing: 4000/42257 (9.5%) - 70 fixings, 26 aggregations, 32121808 implications, 0 bound changes
1688.88/1688.92 c (round 17) 12639 del vars, 45881 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 254 chg coeffs, 138915 upgd conss, 114267774 impls, 0 clqs
1690.28/1690.38 c (round 18) 12657 del vars, 46090 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 255 chg coeffs, 138915 upgd conss, 114268534 impls, 0 clqs
1690.58/1690.71 c (round 19) 12657 del vars, 46108 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 255 chg coeffs, 138915 upgd conss, 114268534 impls, 0 clqs
1799.98/1800.00 c (1800.0s) probing: 4675/42257 (11.1%) - 89 fixings, 33 aggregations, 38631975 implications, 0 bound changes
1799.98/1800.00 c (1800.0s) probing aborted: solving stopped
1799.98/1800.00 c (round 20) 12671 del vars, 46108 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 255 chg coeffs, 138915 upgd conss, 121332406 impls, 0 clqs
1799.98/1800.00 c presolving (20 rounds):
1799.98/1800.00 c 12671 deleted vars, 46108 deleted constraints, 9 added constraints, 9534 tightened bounds, 0 added holes, 71 changed sides, 255 changed coefficients
1799.98/1800.00 c 121332406 implications, 0 cliques
1799.98/1800.00 c presolving was interrupted.
1799.98/1800.00 c Presolving Time: 1798.62
1799.98/1800.00 c - non default parameters ----------------------------------------------------------------------
1799.98/1800.00 c # SCIP version 2.0.1.4
1799.98/1800.00 c
1799.98/1800.00 c # frequency for displaying node information lines
1799.98/1800.00 c # [type: int, range: [-1,2147483647], default: 100]
1799.98/1800.00 c display/freq = 10000
1799.98/1800.00 c
1799.98/1800.00 c # maximal time in seconds to run
1799.98/1800.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.98/1800.00 c limits/time = 1800
1799.98/1800.00 c
1799.98/1800.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1799.98/1800.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.98/1800.00 c limits/memory = 13950
1799.98/1800.00 c
1799.98/1800.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
1799.98/1800.00 c # [type: int, range: [1,2], default: 1]
1799.98/1800.00 c timing/clocktype = 2
1799.98/1800.00 c
1799.98/1800.00 c # belongs reading time to solving time?
1799.98/1800.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.98/1800.00 c timing/reading = TRUE
1799.98/1800.00 c
1799.98/1800.00 c # should presolving try to simplify inequalities
1799.98/1800.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.98/1800.01 c constraints/linear/simplifyinequalities = TRUE
1799.98/1800.01 c
1799.98/1800.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1799.98/1800.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.98/1800.01 c constraints/indicator/addCouplingCons = TRUE
1799.98/1800.01 c
1799.98/1800.01 c # should presolving try to simplify knapsacks
1799.98/1800.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.98/1800.01 c constraints/knapsack/simplifyinequalities = TRUE
1799.98/1800.01 c
1799.98/1800.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1799.98/1800.01 c # [type: int, range: [-1,2147483647], default: -1]
1799.98/1800.01 c separating/rapidlearning/freq = 0
1799.98/1800.01 c
1799.98/1800.01 c -----------------------------------------------------------------------------------------------
1799.98/1800.01 c start solving
1799.98/1800.03 c presolving:
1799.98/1800.03 c presolving (20 rounds):
1799.98/1800.03 c 12671 deleted vars, 46108 deleted constraints, 9 added constraints, 9534 tightened bounds, 0 added holes, 71 changed sides, 255 changed coefficients
1799.98/1800.03 c 121332406 implications, 0 cliques
1799.98/1800.03 c presolving was interrupted.
1799.98/1800.03 c Presolving Time: 1798.65
1799.98/1800.03 c
1799.98/1800.03 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.03 c Solving Time (sec) : 1800.03
1799.98/1800.03 c Solving Nodes : 0
1799.98/1800.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.98/1800.03 s UNKNOWN
1799.98/1800.03 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.03 c Total Time : 1800.03
1799.98/1800.03 c solving : 1800.03
1799.98/1800.03 c presolving : 1798.65 (included in solving)
1799.98/1800.03 c reading : 1.21 (included in solving)
1799.98/1800.03 c Original Problem :
1799.98/1800.03 c Problem name : HOME/instance-3453536-1307121453.opb
1799.98/1800.03 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.03 c Constraints : 184232 initial, 184232 maximal
1799.98/1800.03 c Presolved Problem :
1799.98/1800.03 c Problem name : t_HOME/instance-3453536-1307121453.opb
1799.98/1800.03 c Variables : 42111 (42111 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.03 c Constraints : 138133 initial, 138133 maximal
1799.98/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.98/1800.03 c trivial : 0.05 761 0 0 0 0 0 0 0 0
1799.98/1800.03 c dualfix : 0.07 91 0 0 0 0 0 0 0 0
1799.98/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c implics : 3.62 0 24 0 0 0 0 0 0 0
1799.98/1800.03 c probing : 1784.21 89 33 0 0 0 0 0 0 0
1799.98/1800.03 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c knapsack : 1.95 0 0 0 0 0 7 9 22 226
1799.98/1800.03 c setppc : 0.54 0 0 0 0 0 771 0 0 0
1799.98/1800.03 c linear : 7.43 8773 2900 0 9534 0 45317 0 49 29
1799.98/1800.03 c logicor : 0.16 0 0 0 0 0 13 0 0 0
1799.98/1800.03 c root node : - 0 - - 0 - - - - -
1799.98/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.98/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c knapsack : 0+ 0 207210 0 0 0 0 29 0 0 0 0
1799.98/1800.03 c setppc : 0+ 0 207181 0 0 0 0 11 0 0 0 0
1799.98/1800.03 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c logicor : 0+ 0 189525 0 0 0 0 27 0 0 0 0
1799.98/1800.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.98/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.98/1800.03 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.98/1800.03 c knapsack : 13.41 0.00 13.41 0.00 0.00 0.00 0.00
1799.98/1800.03 c setppc : 882.63 0.00 882.63 0.00 0.00 0.00 0.00
1799.98/1800.03 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.98/1800.03 c logicor : 15.81 0.00 15.81 0.00 0.00 0.00 0.00
1799.98/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.98/1800.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.98/1800.03 c vbounds : 0 0 0 0
1799.98/1800.03 c rootredcost : 0 0 0 0
1799.98/1800.03 c pseudoobj : 0 0 0 0
1799.98/1800.03 c Propagator Timings : TotalTime Propagate Resprop
1799.98/1800.03 c vbounds : 0.08 0.08 0.00
1799.98/1800.03 c rootredcost : 0.04 0.04 0.00
1799.98/1800.03 c pseudoobj : 0.04 0.04 0.00
1799.98/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.98/1800.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.98/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.98/1800.03 c applied globally : - - - 0 0.0 - - -
1799.98/1800.03 c applied locally : - - - 0 0.0 - - -
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-3453536-1307121453/watcher-3453536-1307121453 -o /tmp/evaluation-result-3453536-1307121453/solver-3453536-1307121453 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453536-1307121453.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.13 2.03 1.96 2/446 12685
/proc/meminfo: memFree=31349284/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=11572 CPUtime=0 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 1884 0 0 0 0 0 0 0 25 0 1 0 823744107 11849728 1837 33554432000 4194304 9128323 140734493151168 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12685/statm: 2893 1837 400 1205 0 1684 0
[startup+0.095737 s]
/proc/loadavg: 2.13 2.03 1.96 2/446 12685
/proc/meminfo: memFree=31349284/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=25320 CPUtime=0.09 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 5345 0 0 0 9 0 0 0 25 0 1 0 823744107 25927680 5296 33554432000 4194304 9128323 140734493151168 18446744073709551615 4798544 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12685/statm: 6330 5296 400 1205 0 5121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25320
[startup+0.100674 s]
/proc/loadavg: 2.13 2.03 1.96 2/446 12685
/proc/meminfo: memFree=31349284/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=27368 CPUtime=0.09 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 5859 0 0 0 9 0 0 0 25 0 1 0 823744107 28024832 5810 33554432000 4194304 9128323 140734493151168 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12685/statm: 6842 5810 400 1205 0 5633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27368
[startup+0.30066 s]
/proc/loadavg: 2.13 2.03 1.96 2/446 12685
/proc/meminfo: memFree=31349284/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=43892 CPUtime=0.29 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 10004 0 0 0 28 1 0 0 25 0 1 0 823744107 44945408 9923 33554432000 4194304 9128323 140734493151168 18446744073709551615 8011952 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12685/statm: 10973 9923 400 1205 0 9764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43892
[startup+0.700586 s]
/proc/loadavg: 2.13 2.03 1.96 2/446 12685
/proc/meminfo: memFree=31349284/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=65436 CPUtime=0.69 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 15368 0 0 0 68 1 0 0 25 0 1 0 823744107 67006464 15279 33554432000 4194304 9128323 140734493151168 18446744073709551615 6163915 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12685/statm: 16359 15279 400 1205 0 15150 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65436
[startup+1.5005 s]
/proc/loadavg: 2.13 2.03 1.96 3/447 12686
/proc/meminfo: memFree=31191812/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=239080 CPUtime=1.49 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 58362 0 0 0 142 7 0 0 25 0 1 0 823744107 244817920 58184 33554432000 4194304 9128323 140734493151168 18446744073709551615 6580881 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 59770 58184 467 1205 0 58561 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 239080
[startup+3.10024 s]
/proc/loadavg: 2.12 2.03 1.96 3/447 12686
/proc/meminfo: memFree=30700028/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=452376 CPUtime=3.09 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 119028 0 0 0 295 14 0 0 25 0 1 0 823744107 463233024 110826 33554432000 4194304 9128323 140734493151168 18446744073709551615 6594421 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 113094 110826 510 1205 0 111885 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 452376
[startup+6.3006 s]
/proc/loadavg: 2.12 2.03 1.96 3/447 12686
/proc/meminfo: memFree=30119832/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=689504 CPUtime=6.29 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 176017 0 0 0 608 21 0 0 25 0 1 0 823744107 706052096 167815 33554432000 4194304 9128323 140734493151168 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 172376 167815 519 1205 0 171167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 689504
[startup+12.7005 s]
/proc/loadavg: 2.11 2.03 1.96 3/447 12687
/proc/meminfo: memFree=29896620/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=773472 CPUtime=12.69 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 209457 0 0 0 1244 25 0 0 25 0 1 0 823744107 792035328 188198 33554432000 4194304 9128323 140734493151168 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 193368 188198 566 1205 0 192159 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 773472
[startup+25.5012 s]
/proc/loadavg: 2.09 2.03 1.96 3/447 12687
/proc/meminfo: memFree=29787624/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=828172 CPUtime=25.49 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 222240 0 0 0 2522 27 0 0 25 0 1 0 823744107 848048128 200915 33554432000 4194304 9128323 140734493151168 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 207043 200915 566 1205 0 205834 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 828172
[startup+51.1007 s]
/proc/loadavg: 2.06 2.03 1.96 3/447 12688
/proc/meminfo: memFree=29626288/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=910200 CPUtime=51.1 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 242184 0 0 0 5080 30 0 0 25 0 1 0 823744107 932044800 220859 33554432000 4194304 9128323 140734493151168 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 227550 220859 566 1205 0 226341 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 910200
[startup+102.318 s]
/proc/loadavg: 2.02 2.02 1.96 3/447 12689
/proc/meminfo: memFree=29352248/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=1044844 CPUtime=102.31 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 275684 0 0 0 10199 32 0 0 25 0 1 0 823744107 1069920256 254128 33554432000 4194304 9128323 140734493151168 18446744073709551615 4209369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 261211 254128 566 1205 0 260002 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1044844
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.96 3/447 12691
/proc/meminfo: memFree=28891072/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=1285088 CPUtime=162.29 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 335809 0 0 0 16191 38 0 0 25 0 1 0 823744107 1315930112 313923 33554432000 4194304 9128323 140734493151168 18446744073709551615 6710427 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 321272 313923 566 1205 0 320063 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1285088
[startup+222.301 s]
/proc/loadavg: 2.04 2.03 1.96 3/447 12692
/proc/meminfo: memFree=28452344/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=1509744 CPUtime=222.3 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 391647 0 0 0 22185 45 0 0 25 0 1 0 823744107 1545977856 369728 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 377436 369728 566 1205 0 376227 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1509744
[startup+282.301 s]
/proc/loadavg: 2.13 2.05 1.97 3/447 12694
/proc/meminfo: memFree=28057748/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=1680096 CPUtime=282.29 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 433995 0 0 0 28178 51 0 0 25 0 1 0 823744107 1720418304 412076 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 420024 412076 566 1205 0 418815 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1680096
[startup+342.3 s]
/proc/loadavg: 2.11 2.05 1.98 3/447 12696
/proc/meminfo: memFree=27761124/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=1846936 CPUtime=342.3 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 475641 0 0 0 34173 57 0 0 25 0 1 0 823744107 1891262464 453722 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 461734 453722 566 1205 0 460525 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1846936
[startup+402.301 s]
/proc/loadavg: 2.04 2.04 1.98 3/447 12697
/proc/meminfo: memFree=27492996/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=1942108 CPUtime=402.3 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 498851 0 0 0 40171 59 0 0 25 0 1 0 823744107 1988718592 476932 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 485527 476932 566 1205 0 484318 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1942108
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/447 12699
/proc/meminfo: memFree=27287008/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=2025568 CPUtime=462.3 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 519349 0 0 0 46169 61 0 0 25 0 1 0 823744107 2074181632 497430 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 506392 497430 570 1205 0 505183 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2025568
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 1.98 3/447 12700
/proc/meminfo: memFree=27123644/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=2132528 CPUtime=522.3 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 546124 0 0 0 52165 65 0 0 25 0 1 0 823744107 2183708672 524205 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 533132 524205 570 1205 0 531923 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2132528
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/447 12702
/proc/meminfo: memFree=27012636/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=2175684 CPUtime=582.31 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 557543 0 0 0 58164 67 0 0 25 0 1 0 823744107 2227900416 535624 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12685/statm: 543921 535624 570 1205 0 542712 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2175684
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/447 12710
/proc/meminfo: memFree=26232516/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=2444612 CPUtime=882.26 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 624786 0 0 0 88151 75 0 0 25 0 1 0 823744107 2503282688 602867 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12685/statm: 611153 602867 570 1205 0 609944 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 2444612
[startup+942.301 s]
/proc/loadavg: 2.08 2.06 2.00 3/447 12712
/proc/meminfo: memFree=26137476/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=2523216 CPUtime=942.26 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 644618 0 0 0 94148 78 0 0 25 0 1 0 823744107 2583773184 622633 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 630804 622633 570 1205 0 629595 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 2523216
[startup+1002.3 s]
/proc/loadavg: 1.42 1.88 1.94 2/441 12730
/proc/meminfo: memFree=28842784/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=2576120 CPUtime=1002.26 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 658477 0 0 0 100145 81 0 0 25 0 1 0 823744107 2637946880 636492 33554432000 4194304 9128323 140734493151168 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 644030 636492 570 1205 0 642821 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 2576120
[startup+1062.3 s]
/proc/loadavg: 1.17 1.73 1.88 2/441 12732
/proc/meminfo: memFree=28757704/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=2665404 CPUtime=1062.26 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 679834 0 0 0 106142 84 0 0 25 0 1 0 823744107 2729373696 657849 33554432000 4194304 9128323 140734493151168 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 666351 657849 570 1205 0 665142 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 2665404
[startup+1122.3 s]
/proc/loadavg: 1.06 1.58 1.82 2/441 12733
/proc/meminfo: memFree=28633796/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=2790536 CPUtime=1122.26 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 710717 0 0 0 112138 88 0 0 25 0 1 0 823744107 2857508864 688732 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 697634 688732 570 1205 0 696425 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 2790536
[startup+1182.3 s]
/proc/loadavg: 1.02 1.48 1.77 2/441 12735
/proc/meminfo: memFree=28513980/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=2913248 CPUtime=1182.27 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 740974 0 0 0 118135 92 0 0 25 0 1 0 823744107 2983165952 718931 33554432000 4194304 9128323 140734493151168 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 728312 718931 570 1205 0 727103 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 2913248
[startup+1242.3 s]
/proc/loadavg: 1.01 1.39 1.72 2/441 12737
/proc/meminfo: memFree=28435192/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=2990836 CPUtime=1242.27 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 760470 0 0 0 124132 95 0 0 25 0 1 0 823744107 3062616064 738427 33554432000 4194304 9128323 140734493151168 18446744073709551615 5489920 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 747709 738427 570 1205 0 746500 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 2990836
[startup+1302.3 s]
/proc/loadavg: 1.15 1.34 1.68 2/441 12738
/proc/meminfo: memFree=28301216/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=3123804 CPUtime=1302.28 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 793598 0 0 0 130128 100 0 0 25 0 1 0 823744107 3198775296 771555 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 780951 771555 570 1205 0 779742 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 3123804
[startup+1362.3 s]
/proc/loadavg: 1.13 1.30 1.64 2/441 12740
/proc/meminfo: memFree=28159936/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=3269752 CPUtime=1362.27 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 829201 0 0 0 136122 105 0 0 25 0 1 0 823744107 3348226048 807158 33554432000 4194304 9128323 140734493151168 18446744073709551615 5973216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 817438 807158 570 1205 0 816229 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 3269752
[startup+1422.32 s]
/proc/loadavg: 1.04 1.24 1.60 2/441 12741
/proc/meminfo: memFree=28000176/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=3429076 CPUtime=1422.28 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 868737 0 0 0 142117 111 0 0 25 0 1 0 823744107 3511373824 846694 33554432000 4194304 9128323 140734493151168 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 857269 846694 570 1205 0 856060 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 3429076
[startup+1482.3 s]
/proc/loadavg: 1.02 1.20 1.56 2/441 12743
/proc/meminfo: memFree=27899216/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=3533812 CPUtime=1482.27 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 894365 0 0 0 148113 114 0 0 25 0 1 0 823744107 3618623488 872322 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 883453 872322 570 1205 0 882244 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 3533812
[startup+1542.3 s]
/proc/loadavg: 1.00 1.15 1.52 2/441 12745
/proc/meminfo: memFree=27758196/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=3673104 CPUtime=1542.27 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 929141 0 0 0 154108 119 0 0 25 0 1 0 823744107 3761258496 907098 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 918276 907098 570 1205 0 917067 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 3673104
[startup+1602.3 s]
/proc/loadavg: 1.00 1.13 1.49 2/441 12746
/proc/meminfo: memFree=27641948/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=3790700 CPUtime=1602.28 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 958565 0 0 0 160105 123 0 0 25 0 1 0 823744107 3881676800 936522 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 947675 936522 570 1205 0 946466 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 3790700
[startup+1662.3 s]
/proc/loadavg: 1.00 1.10 1.45 2/441 12748
/proc/meminfo: memFree=27511220/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=3920916 CPUtime=1662.28 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 990798 0 0 0 166101 127 0 0 25 0 1 0 823744107 4015017984 968755 33554432000 4194304 9128323 140734493151168 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 980229 968755 570 1205 0 979020 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 3920916
[startup+1722.3 s]
/proc/loadavg: 1.00 1.08 1.42 2/441 12749
/proc/meminfo: memFree=27424252/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=4009600 CPUtime=1722.28 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 1012853 0 0 0 172098 130 0 0 25 0 1 0 823744107 4105830400 990810 33554432000 4194304 9128323 140734493151168 18446744073709551615 4352163 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 1002400 990810 570 1205 0 1001191 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 4009600
[startup+1782.3 s]
/proc/loadavg: 1.00 1.06 1.39 2/441 12751
/proc/meminfo: memFree=27304792/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=4126932 CPUtime=1782.28 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 1042159 0 0 0 178094 134 0 0 25 0 1 0 823744107 4225978368 1020116 33554432000 4194304 9128323 140734493151168 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12685/statm: 1031733 1020116 570 1205 0 1030524 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 4126932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.00 1.06 1.38 2/441 12751
/proc/meminfo: memFree=27247248/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=4184952 CPUtime=1800.09 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4202496 1056853 0 0 0 179873 136 0 0 25 0 1 0 823744107 4285390848 1034350 33554432000 4194304 9128323 140734493151168 18446744073709551615 6890201 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12685/statm: 1046238 1034350 579 1205 0 1045029 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 4184952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.22 s]
/proc/loadavg: 1.00 1.06 1.38 2/441 12751
/proc/meminfo: memFree=27247248/32950928 swapFree=34365992/67111528
[pid=12685] ppid=12683 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/12685/stat : 12685 (scip-2.0.1.4.li) R 12683 12685 10081 0 -1 4203524 1056853 0 0 0 179873 146 0 0 25 0 1 0 823744107 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12685/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.28
CPU time (s): 1800.26
CPU user time (s): 1798.74
CPU system time (s): 1.52477
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 4184952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.52477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1056853
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= 5
involuntary context switches= 1334
runsolver used 8.11077 second user time and 18.2762 second system time
The end