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-3453469-1307118425.opb>
1.49/1.57 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234174 constraints
1.49/1.57 c problem read
1.49/1.57 c presolving settings loaded
2.39/2.40 c presolving:
8.39/8.49 c (round 1) 4989 del vars, 15107 del conss, 0 add conss, 3397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15995960 impls, 0 clqs
11.19/11.25 c (round 2) 13023 del vars, 41242 del conss, 0 add conss, 11114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034190 impls, 0 clqs
12.00/12.02 c (round 3) 15798 del vars, 53921 del conss, 0 add conss, 12723 chg bounds, 12 chg sides, 23 chg coeffs, 0 upgd conss, 16049347 impls, 1 clqs
12.29/12.35 c (round 4) 16871 del vars, 58273 del conss, 0 add conss, 13376 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16055855 impls, 1 clqs
12.49/12.51 c (round 5) 17354 del vars, 60336 del conss, 0 add conss, 13625 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16059677 impls, 1 clqs
12.59/12.63 c (round 6) 17571 del vars, 61247 del conss, 0 add conss, 13756 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16061618 impls, 1 clqs
12.69/12.71 c (round 7) 17663 del vars, 61671 del conss, 0 add conss, 13804 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16062405 impls, 1 clqs
12.69/12.78 c (round 8) 17715 del vars, 61894 del conss, 0 add conss, 13830 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063007 impls, 1 clqs
12.79/12.85 c (round 9) 17745 del vars, 62029 del conss, 0 add conss, 13848 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063265 impls, 1 clqs
12.89/12.91 c (round 10) 17759 del vars, 62105 del conss, 0 add conss, 13855 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063543 impls, 1 clqs
12.89/12.96 c (round 11) 17769 del vars, 62151 del conss, 0 add conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063564 impls, 1 clqs
13.59/13.67 c (round 12) 17769 del vars, 62159 del conss, 0 add conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 172015 upgd conss, 16063564 impls, 1 clqs
14.60/14.69 c (round 13) 17769 del vars, 62170 del conss, 35 add conss, 13862 chg bounds, 65 chg sides, 266 chg coeffs, 172015 upgd conss, 16064800 impls, 799 clqs
15.10/15.15 c (round 14) 17769 del vars, 62175 del conss, 46 add conss, 13862 chg bounds, 89 chg sides, 351 chg coeffs, 172015 upgd conss, 16064800 impls, 857 clqs
585.31/585.40 c (585.4s) probing: 1000/55073 (1.8%) - 19 fixings, 0 aggregations, 11484602 implications, 0 bound changes
1054.82/1054.97 c (1055.0s) probing: 2000/55073 (3.6%) - 19 fixings, 0 aggregations, 17569872 implications, 0 bound changes
1130.50/1130.69 c (1130.7s) probing: 2161/55073 (3.9%) - 19 fixings, 0 aggregations, 18477249 implications, 0 bound changes
1130.50/1130.69 c (1130.7s) probing aborted: 2000/2000 successive useless probings
1130.50/1130.69 c (round 15) 17788 del vars, 62178 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 371 chg coeffs, 172015 upgd conss, 78972094 impls, 860 clqs
1131.40/1131.50 c (round 16) 17789 del vars, 63416 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 430 chg coeffs, 172015 upgd conss, 78976546 impls, 860 clqs
1248.31/1248.47 c (round 17) 17839 del vars, 63417 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 82139904 impls, 872 clqs
1249.52/1249.67 c (round 18) 17849 del vars, 63613 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 82140082 impls, 872 clqs
1429.91/1430.07 c (round 19) 17911 del vars, 63622 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 91485208 impls, 872 clqs
1430.69/1430.87 c (round 20) 17915 del vars, 63836 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 91487456 impls, 872 clqs
1554.10/1554.26 c (1554.3s) probing: 3000/55073 (5.4%) - 121 fixings, 41 aggregations, 24770429 implications, 0 bound changes
1799.99/1800.13 c (1800.1s) probing: 3558/55073 (6.5%) - 129 fixings, 44 aggregations, 31390998 implications, 0 bound changes
1799.99/1800.13 c (1800.1s) probing aborted: solving stopped
1799.99/1800.13 c (round 21) 17957 del vars, 63840 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 114991132 impls, 872 clqs
1799.99/1800.13 c presolving (21 rounds):
1799.99/1800.13 c 17957 deleted vars, 63840 deleted constraints, 52 added constraints, 13862 tightened bounds, 0 added holes, 95 changed sides, 431 changed coefficients
1799.99/1800.13 c 114991132 implications, 872 cliques
1799.99/1800.13 c presolving was interrupted.
1799.99/1800.13 c Presolving Time: 1798.33
1799.99/1800.13 c - non default parameters ----------------------------------------------------------------------
1799.99/1800.13 c # SCIP version 2.0.1.4
1799.99/1800.13 c
1799.99/1800.13 c # frequency for displaying node information lines
1799.99/1800.13 c # [type: int, range: [-1,2147483647], default: 100]
1799.99/1800.13 c display/freq = 10000
1799.99/1800.13 c
1799.99/1800.13 c # maximal time in seconds to run
1799.99/1800.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.99/1800.13 c limits/time = 1800
1799.99/1800.13 c
1799.99/1800.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1799.99/1800.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.99/1800.13 c limits/memory = 13950
1799.99/1800.13 c
1799.99/1800.13 c # default clock type (1: CPU user seconds, 2: wall clock time)
1799.99/1800.13 c # [type: int, range: [1,2], default: 1]
1799.99/1800.13 c timing/clocktype = 2
1799.99/1800.13 c
1799.99/1800.13 c # belongs reading time to solving time?
1799.99/1800.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.13 c timing/reading = TRUE
1799.99/1800.13 c
1799.99/1800.13 c # should presolving try to simplify inequalities
1799.99/1800.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.13 c constraints/linear/simplifyinequalities = TRUE
1799.99/1800.13 c
1799.99/1800.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1799.99/1800.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.13 c constraints/indicator/addCouplingCons = TRUE
1799.99/1800.13 c
1799.99/1800.13 c # should presolving try to simplify knapsacks
1799.99/1800.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.13 c constraints/knapsack/simplifyinequalities = TRUE
1799.99/1800.13 c
1799.99/1800.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1799.99/1800.13 c # [type: int, range: [-1,2147483647], default: -1]
1799.99/1800.13 c separating/rapidlearning/freq = 0
1799.99/1800.13 c
1799.99/1800.13 c -----------------------------------------------------------------------------------------------
1799.99/1800.13 c start solving
1799.99/1800.16 c presolving:
1799.99/1800.16 c presolving (21 rounds):
1799.99/1800.16 c 17957 deleted vars, 63840 deleted constraints, 52 added constraints, 13862 tightened bounds, 0 added holes, 95 changed sides, 431 changed coefficients
1799.99/1800.16 c 114991132 implications, 872 cliques
1799.99/1800.16 c presolving was interrupted.
1799.99/1800.16 c Presolving Time: 1798.37
1799.99/1800.16 c
1799.99/1800.16 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.16 c Solving Time (sec) : 1800.17
1799.99/1800.16 c Solving Nodes : 0
1799.99/1800.16 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.99/1800.16 s UNKNOWN
1799.99/1800.16 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.16 c Total Time : 1800.17
1799.99/1800.16 c solving : 1800.17
1799.99/1800.17 c presolving : 1798.37 (included in solving)
1799.99/1800.17 c reading : 1.57 (included in solving)
1799.99/1800.17 c Original Problem :
1799.99/1800.17 c Problem name : HOME/instance-3453469-1307118425.opb
1799.99/1800.17 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.17 c Constraints : 234174 initial, 234174 maximal
1799.99/1800.17 c Presolved Problem :
1799.99/1800.17 c Problem name : t_HOME/instance-3453469-1307118425.opb
1799.99/1800.17 c Variables : 54885 (54885 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.17 c Constraints : 170386 initial, 170386 maximal
1799.99/1800.17 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.99/1800.17 c trivial : 0.07 1263 0 0 0 0 0 0 0 0
1799.99/1800.17 c dualfix : 0.10 120 0 0 0 0 0 0 0 0
1799.99/1800.17 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.17 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.17 c implics : 2.13 0 14 0 0 0 0 0 0 0
1799.99/1800.17 c probing : 1781.00 129 44 0 0 0 0 0 0 0
1799.99/1800.17 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.17 c knapsack : 2.77 0 0 0 0 0 1 52 77 402
1799.99/1800.17 c setppc : 0.67 1 0 0 0 0 1651 0 0 0
1799.99/1800.17 c linear : 10.57 12599 3787 0 13862 0 62159 0 18 29
1799.99/1800.17 c logicor : 0.19 0 0 0 0 0 29 0 0 0
1799.99/1800.17 c root node : - 0 - - 0 - - - - -
1799.99/1800.17 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.99/1800.17 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1799.99/1800.17 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1799.99/1800.17 c knapsack : 0+ 0 149438 0 0 0 0 27 0 0 0 0
1799.99/1800.17 c setppc : 0+ 0 149411 0 0 0 0 35 0 0 0 0
1799.99/1800.17 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1799.99/1800.17 c logicor : 0+ 0 136577 0 0 0 0 33 0 0 0 0
1799.99/1800.17 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1799.99/1800.17 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.99/1800.17 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.99/1800.17 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.99/1800.17 c knapsack : 12.04 0.00 12.04 0.00 0.00 0.00 0.00
1799.99/1800.17 c setppc : 852.07 0.00 852.07 0.00 0.00 0.00 0.00
1799.99/1800.17 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.99/1800.17 c logicor : 14.19 0.00 14.19 0.00 0.00 0.00 0.00
1799.99/1800.17 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.99/1800.17 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.99/1800.17 c vbounds : 0 0 0 0
1799.99/1800.17 c rootredcost : 0 0 0 0
1799.99/1800.17 c pseudoobj : 0 0 0 0
1799.99/1800.17 c Propagator Timings : TotalTime Propagate Resprop
1799.99/1800.17 c vbounds : 0.06 0.06 0.00
1799.99/1800.17 c rootredcost : 0.02 0.02 0.00
1799.99/1800.17 c pseudoobj : 0.04 0.04 0.00
1799.99/1800.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.99/1800.17 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.99/1800.17 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.17 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.99/1800.17 c applied globally : - - - 0 0.0 - - -
1799.99/1800.17 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-3453469-1307118425/watcher-3453469-1307118425 -o /tmp/evaluation-result-3453469-1307118425/solver-3453469-1307118425 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453469-1307118425.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.02 1.99 2/535 11397
/proc/meminfo: memFree=24291104/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=11572 CPUtime=0 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 1880 0 0 0 0 0 0 0 25 0 1 0 804258797 11849728 1833 33554432000 4194304 9128323 140735586893504 18446744073709551615 4338640 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 2893 1837 400 1205 0 1684 0
[startup+0.0847449 s]
/proc/loadavg: 1.93 2.02 1.99 2/535 11397
/proc/meminfo: memFree=24291104/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=25320 CPUtime=0.08 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 5313 0 0 0 8 0 0 0 25 0 1 0 804258797 25927680 5264 33554432000 4194304 9128323 140735586893504 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 6330 5264 400 1205 0 5121 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25320
[startup+0.100735 s]
/proc/loadavg: 1.93 2.02 1.99 2/535 11397
/proc/meminfo: memFree=24291104/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=27368 CPUtime=0.09 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 5859 0 0 0 9 0 0 0 25 0 1 0 804258797 28024832 5810 33554432000 4194304 9128323 140735586893504 18446744073709551615 8011616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 6842 5810 400 1205 0 5633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27368
[startup+0.300704 s]
/proc/loadavg: 1.93 2.02 1.99 2/535 11397
/proc/meminfo: memFree=24291104/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 11588 0 0 0 29 0 0 0 25 0 1 0 804258797 51421184 11507 33554432000 4194304 9128323 140735586893504 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 12554 11507 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700629 s]
/proc/loadavg: 1.93 2.02 1.99 2/535 11397
/proc/meminfo: memFree=24291104/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=68576 CPUtime=0.69 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 16163 0 0 0 68 1 0 0 25 0 1 0 804258797 70221824 16074 33554432000 4194304 9128323 140735586893504 18446744073709551615 6165260 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 17144 16074 400 1205 0 15935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68576
[startup+1.5005 s]
/proc/loadavg: 1.93 2.02 1.99 3/536 11398
/proc/meminfo: memFree=24203676/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=130200 CPUtime=1.49 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 31611 0 0 0 146 3 0 0 25 0 1 0 804258797 133324800 31507 33554432000 4194304 9128323 140735586893504 18446744073709551615 6191598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 32550 31507 400 1205 0 31341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130200
[startup+3.10021 s]
/proc/loadavg: 1.93 2.02 1.99 3/536 11398
/proc/meminfo: memFree=23939804/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=476256 CPUtime=3.09 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 126112 0 0 0 296 13 0 0 25 0 1 0 804258797 487686144 115754 33554432000 4194304 9128323 140735586893504 18446744073709551615 4352201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 119064 115754 501 1205 0 117855 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 476256
[startup+6.30063 s]
/proc/loadavg: 1.94 2.02 1.99 3/536 11398
/proc/meminfo: memFree=23597748/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=769636 CPUtime=6.29 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 198015 0 0 0 607 22 0 0 25 0 1 0 804258797 788107264 187657 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 192409 187657 510 1205 0 191200 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 769636
[startup+12.7005 s]
/proc/loadavg: 1.94 2.02 1.99 3/536 11398
/proc/meminfo: memFree=23412796/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=875480 CPUtime=12.69 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 224509 0 0 0 1244 25 0 0 25 0 1 0 804258797 896491520 213009 33554432000 4194304 9128323 140735586893504 18446744073709551615 5968137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 218870 213009 523 1205 0 217661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 875480
[startup+25.5012 s]
/proc/loadavg: 1.95 2.02 1.99 3/536 11399
/proc/meminfo: memFree=23261312/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1006124 CPUtime=25.49 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 269688 0 0 0 2520 29 0 0 25 0 1 0 804258797 1030270976 244389 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 251531 244389 658 1205 0 250322 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1006124
[startup+51.1006 s]
/proc/loadavg: 1.97 2.02 1.99 3/536 11399
/proc/meminfo: memFree=23152856/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1060024 CPUtime=51.09 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 282412 0 0 0 5079 30 0 0 25 0 1 0 804258797 1085464576 257080 33554432000 4194304 9128323 140735586893504 18446744073709551615 5131520 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 265006 257080 658 1205 0 263797 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1060024
[startup+102.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 11401
/proc/meminfo: memFree=22777232/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1210208 CPUtime=102.31 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 319428 0 0 0 10196 35 0 0 25 0 1 0 804258797 1239252992 294096 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 302552 294096 658 1205 0 301343 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1210208
[startup+162.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/536 11402
/proc/meminfo: memFree=22446984/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1323656 CPUtime=162.29 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 348013 0 0 0 16191 38 0 0 25 0 1 0 804258797 1355423744 322483 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 330914 322483 658 1205 0 329705 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1323656
[startup+222.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 11404
/proc/meminfo: memFree=22048160/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1517104 CPUtime=222.29 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 396638 0 0 0 22185 44 0 0 25 0 1 0 804258797 1553514496 370745 33554432000 4194304 9128323 140735586893504 18446744073709551615 4785234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 379276 370745 658 1205 0 378067 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1517104
[startup+282.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/536 11405
/proc/meminfo: memFree=21710464/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1717556 CPUtime=282.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 445936 0 0 0 28172 49 0 0 25 0 1 0 804258797 1758777344 420010 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 429389 420010 658 1205 0 428180 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1717556
[startup+342.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 11407
/proc/meminfo: memFree=21360008/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1888740 CPUtime=342.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 488908 0 0 0 34167 54 0 0 25 0 1 0 804258797 1934069760 462982 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 472185 462982 658 1205 0 470976 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1888740
[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 11409
/proc/meminfo: memFree=21148672/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2001176 CPUtime=402.22 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 516376 0 0 0 40163 59 0 0 25 0 1 0 804258797 2049204224 490450 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 500294 490450 658 1205 0 499085 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2001176
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 11410
/proc/meminfo: memFree=20867036/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2093220 CPUtime=462.22 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 539321 0 0 0 46160 62 0 0 25 0 1 0 804258797 2143457280 513395 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 523305 513395 658 1205 0 522096 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2093220
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11412
/proc/meminfo: memFree=20682720/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2219588 CPUtime=522.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 570908 0 0 0 52154 67 0 0 25 0 1 0 804258797 2272858112 544982 33554432000 4194304 9128323 140735586893504 18446744073709551615 5132790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 554897 544982 658 1205 0 553688 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2219588
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11413
/proc/meminfo: memFree=20425388/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2358656 CPUtime=582.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 606277 0 0 0 58149 72 0 0 25 0 1 0 804258797 2415263744 580087 33554432000 4194304 9128323 140735586893504 18446744073709551615 5489961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 589664 580087 658 1205 0 588455 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 2358656
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 11421
/proc/meminfo: memFree=19669344/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2714492 CPUtime=882.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 693665 0 0 0 88136 85 0 0 25 0 1 0 804258797 2779639808 667475 33554432000 4194304 9128323 140735586893504 18446744073709551615 4221266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 678623 667475 662 1205 0 677414 0
Current children cumulated CPU time (s) 882.21
Current children cumulated vsize (KiB) 2714492
[startup+942.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 11423
/proc/meminfo: memFree=19556436/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2767516 CPUtime=942.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 706593 0 0 0 94133 87 0 0 25 0 1 0 804258797 2833936384 680403 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 691879 680403 662 1205 0 690670 0
Current children cumulated CPU time (s) 942.2
Current children cumulated vsize (KiB) 2767516
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 11425
/proc/meminfo: memFree=19425320/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2821016 CPUtime=1002.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 720570 0 0 0 100130 90 0 0 25 0 1 0 804258797 2888720384 694380 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 705254 694380 662 1205 0 704045 0
Current children cumulated CPU time (s) 1002.2
Current children cumulated vsize (KiB) 2821016
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 11426
/proc/meminfo: memFree=19315152/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2877480 CPUtime=1062.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 733366 0 0 0 106129 91 0 0 25 0 1 0 804258797 2946539520 707176 33554432000 4194304 9128323 140735586893504 18446744073709551615 4831502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 719370 707176 662 1205 0 718161 0
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (KiB) 2877480
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11428
/proc/meminfo: memFree=19203604/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2923736 CPUtime=1122.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 745904 0 0 0 112127 93 0 0 25 0 1 0 804258797 2993905664 719714 33554432000 4194304 9128323 140735586893504 18446744073709551615 5489958 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 730934 719714 662 1205 0 729725 0
Current children cumulated CPU time (s) 1122.2
Current children cumulated vsize (KiB) 2923736
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11429
/proc/meminfo: memFree=19080664/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2966072 CPUtime=1182.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 757477 0 0 0 118126 94 0 0 25 0 1 0 804258797 3037257728 731287 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 741518 731287 662 1205 0 740309 0
Current children cumulated CPU time (s) 1182.2
Current children cumulated vsize (KiB) 2966072
[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 11431
/proc/meminfo: memFree=18974820/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3021376 CPUtime=1242.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 771039 0 0 0 124124 96 0 0 25 0 1 0 804258797 3093889024 744849 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 755344 744849 662 1205 0 754135 0
Current children cumulated CPU time (s) 1242.2
Current children cumulated vsize (KiB) 3021376
[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 11433
/proc/meminfo: memFree=18859684/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3071680 CPUtime=1302.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 783486 0 0 0 130123 98 0 0 25 0 1 0 804258797 3145400320 757296 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 767920 757296 662 1205 0 766711 0
Current children cumulated CPU time (s) 1302.21
Current children cumulated vsize (KiB) 3071680
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/536 11434
/proc/meminfo: memFree=18713568/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3146164 CPUtime=1362.19 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 801606 0 0 0 136119 100 0 0 25 0 1 0 804258797 3221671936 775416 33554432000 4194304 9128323 140735586893504 18446744073709551615 6710427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 786541 775416 662 1205 0 785332 0
Current children cumulated CPU time (s) 1362.19
Current children cumulated vsize (KiB) 3146164
[startup+1422.32 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 11436
/proc/meminfo: memFree=18541516/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3259832 CPUtime=1422.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 829537 0 0 0 142118 103 0 0 25 0 1 0 804258797 3338067968 803347 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 814958 803347 662 1205 0 813749 0
Current children cumulated CPU time (s) 1422.21
Current children cumulated vsize (KiB) 3259832
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 11437
/proc/meminfo: memFree=18392924/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3353788 CPUtime=1482.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 853077 0 0 0 148113 107 0 0 25 0 1 0 804258797 3434278912 826887 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 838447 826887 662 1205 0 837238 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 3353788
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 11439
/proc/meminfo: memFree=18226704/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3465032 CPUtime=1542.19 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 881222 0 0 0 154108 111 0 0 25 0 1 0 804258797 3548192768 855032 33554432000 4194304 9128323 140735586893504 18446744073709551615 4793997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 866258 855032 662 1205 0 865049 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 3465032
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 11441
/proc/meminfo: memFree=18067808/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3552936 CPUtime=1602.19 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 903131 0 0 0 160104 115 0 0 25 0 1 0 804258797 3638206464 876941 33554432000 4194304 9128323 140735586893504 18446744073709551615 4794246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 888234 876941 662 1205 0 887025 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 3552936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11442
/proc/meminfo: memFree=17892432/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3687044 CPUtime=1662.19 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 936370 0 0 0 166099 120 0 0 25 0 1 0 804258797 3775533056 910180 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 921761 910180 662 1205 0 920552 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 3687044
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11444
/proc/meminfo: memFree=17721880/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3810164 CPUtime=1722.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 966689 0 0 0 172096 124 0 0 25 0 1 0 804258797 3901607936 940499 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 952541 940499 662 1205 0 951332 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 3810164
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 11445
/proc/meminfo: memFree=17566828/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3910676 CPUtime=1782.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 991716 0 0 0 178093 127 0 0 25 0 1 0 804258797 4004532224 965526 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 977669 965526 662 1205 0 976460 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 3910676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.2 s]
/proc/loadavg: 1.81 1.98 1.99 2/530 11464
/proc/meminfo: memFree=21311140/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3948888 CPUtime=1800.1 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 1001775 0 0 0 179882 128 0 0 25 0 1 0 804258797 4043661312 975089 33554432000 4194304 9128323 140735586893504 18446744073709551615 4338306 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 987222 975089 671 1205 0 986013 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3948888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.32 s]
/proc/loadavg: 1.81 1.98 1.99 2/530 11464
/proc/meminfo: memFree=21311140/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4203524 1001775 0 0 0 179883 138 0 0 25 0 1 0 804258797 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/11397/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.36
CPU time (s): 1800.27
CPU user time (s): 1798.84
CPU system time (s): 1.42978
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 3948888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.42978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1001775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1606
runsolver used 8.86165 second user time and 22.3686 second system time
The end