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-3453468-1307119692.opb>
1.69/1.73 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234117 constraints
1.69/1.73 c problem read
1.69/1.73 c presolving settings loaded
2.59/2.64 c presolving:
9.19/9.20 c (round 1) 4949 del vars, 15599 del conss, 0 add conss, 3347 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15956964 impls, 0 clqs
12.11/12.19 c (round 2) 12972 del vars, 42247 del conss, 0 add conss, 11065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15992680 impls, 0 clqs
12.89/12.98 c (round 3) 15544 del vars, 54759 del conss, 0 add conss, 12379 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16008880 impls, 0 clqs
13.39/13.49 c (round 4) 16886 del vars, 59455 del conss, 0 add conss, 13197 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16021621 impls, 0 clqs
13.69/13.78 c (round 5) 17633 del vars, 62445 del conss, 0 add conss, 13659 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16027365 impls, 0 clqs
13.89/13.96 c (round 6) 18024 del vars, 64052 del conss, 0 add conss, 13872 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16030484 impls, 0 clqs
13.99/14.06 c (round 7) 18174 del vars, 64759 del conss, 0 add conss, 13960 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16031741 impls, 0 clqs
14.09/14.15 c (round 8) 18259 del vars, 65090 del conss, 0 add conss, 14013 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16032667 impls, 0 clqs
14.20/14.24 c (round 9) 18331 del vars, 65343 del conss, 0 add conss, 14057 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16033987 impls, 0 clqs
14.31/14.32 c (round 10) 18401 del vars, 65622 del conss, 0 add conss, 14104 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16034925 impls, 0 clqs
14.31/14.39 c (round 11) 18433 del vars, 65773 del conss, 0 add conss, 14129 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035126 impls, 0 clqs
14.39/14.45 c (round 12) 18453 del vars, 65870 del conss, 0 add conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035228 impls, 0 clqs
14.49/14.51 c (round 13) 18453 del vars, 65890 del conss, 0 add conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035228 impls, 0 clqs
15.19/15.28 c (round 14) 18453 del vars, 65890 del conss, 0 add conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 168227 upgd conss, 16035228 impls, 0 clqs
16.39/16.42 c (round 15) 18453 del vars, 65902 del conss, 29 add conss, 14139 chg bounds, 57 chg sides, 228 chg coeffs, 168227 upgd conss, 16035282 impls, 276 clqs
16.89/16.91 c (round 16) 18453 del vars, 65910 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 257 chg coeffs, 168227 upgd conss, 16035282 impls, 294 clqs
541.70/541.79 c (541.8s) probing: 1000/54389 (1.8%) - 14 fixings, 5 aggregations, 10414966 implications, 0 bound changes
1021.32/1021.38 c (1021.4s) probing: 2000/54389 (3.7%) - 14 fixings, 5 aggregations, 15794994 implications, 0 bound changes
1120.71/1120.78 c (1120.8s) probing: 2218/54389 (4.1%) - 14 fixings, 5 aggregations, 16808033 implications, 0 bound changes
1120.71/1120.78 c (1120.8s) probing aborted: 2000/2000 successive useless probings
1120.71/1120.78 c (round 17) 18472 del vars, 65910 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 261 chg coeffs, 168227 upgd conss, 75244330 impls, 285 clqs
1121.42/1121.48 c (round 18) 18473 del vars, 66563 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 335 chg coeffs, 168227 upgd conss, 75244332 impls, 285 clqs
1312.82/1312.84 c (round 19) 18523 del vars, 66564 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 337 chg coeffs, 168227 upgd conss, 81828020 impls, 290 clqs
1313.92/1313.96 c (round 20) 18535 del vars, 66766 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 337 chg coeffs, 168227 upgd conss, 81828148 impls, 290 clqs
1484.93/1484.96 c (1485.0s) probing: 3000/54389 (5.5%) - 63 fixings, 24 aggregations, 21946801 implications, 0 bound changes
1800.04/1800.07 c (1800.1s) probing: 3658/54389 (6.7%) - 66 fixings, 24 aggregations, 28825373 implications, 0 bound changes
1800.04/1800.07 c (1800.1s) probing aborted: solving stopped
1800.04/1800.07 c (round 21) 18556 del vars, 66774 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 337 chg coeffs, 168227 upgd conss, 106193956 impls, 290 clqs
1800.04/1800.07 c presolving (21 rounds):
1800.04/1800.07 c 18556 deleted vars, 66774 deleted constraints, 37 added constraints, 14139 tightened bounds, 0 added holes, 65 changed sides, 337 changed coefficients
1800.04/1800.07 c 106193956 implications, 290 cliques
1800.04/1800.07 c presolving was interrupted.
1800.04/1800.07 c Presolving Time: 1798.09
1800.04/1800.07 c - non default parameters ----------------------------------------------------------------------
1800.04/1800.07 c # SCIP version 2.0.1.4
1800.04/1800.07 c
1800.04/1800.07 c # frequency for displaying node information lines
1800.04/1800.07 c # [type: int, range: [-1,2147483647], default: 100]
1800.04/1800.07 c display/freq = 10000
1800.04/1800.07 c
1800.04/1800.07 c # maximal time in seconds to run
1800.04/1800.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.04/1800.07 c limits/time = 1800
1800.04/1800.07 c
1800.04/1800.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.04/1800.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.04/1800.07 c limits/memory = 13950
1800.04/1800.07 c
1800.04/1800.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.04/1800.07 c # [type: int, range: [1,2], default: 1]
1800.04/1800.07 c timing/clocktype = 2
1800.04/1800.07 c
1800.04/1800.07 c # belongs reading time to solving time?
1800.04/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.07 c timing/reading = TRUE
1800.04/1800.07 c
1800.04/1800.07 c # should presolving try to simplify inequalities
1800.04/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.07 c constraints/linear/simplifyinequalities = TRUE
1800.04/1800.07 c
1800.04/1800.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.04/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.07 c constraints/indicator/addCouplingCons = TRUE
1800.04/1800.07 c
1800.04/1800.07 c # should presolving try to simplify knapsacks
1800.04/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.07 c constraints/knapsack/simplifyinequalities = TRUE
1800.04/1800.07 c
1800.04/1800.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.04/1800.07 c # [type: int, range: [-1,2147483647], default: -1]
1800.04/1800.07 c separating/rapidlearning/freq = 0
1800.04/1800.07 c
1800.04/1800.07 c -----------------------------------------------------------------------------------------------
1800.04/1800.07 c start solving
1800.04/1800.11 c presolving:
1800.04/1800.11 c presolving (21 rounds):
1800.04/1800.11 c 18556 deleted vars, 66774 deleted constraints, 37 added constraints, 14139 tightened bounds, 0 added holes, 65 changed sides, 337 changed coefficients
1800.04/1800.11 c 106193956 implications, 290 cliques
1800.04/1800.11 c presolving was interrupted.
1800.04/1800.11 c Presolving Time: 1798.13
1800.04/1800.11 c
1800.04/1800.11 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.11 c Solving Time (sec) : 1800.11
1800.04/1800.11 c Solving Nodes : 0
1800.04/1800.11 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.11 s UNKNOWN
1800.04/1800.11 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.11 c Total Time : 1800.11
1800.04/1800.11 c solving : 1800.11
1800.04/1800.11 c presolving : 1798.13 (included in solving)
1800.04/1800.11 c reading : 1.73 (included in solving)
1800.04/1800.11 c Original Problem :
1800.04/1800.11 c Problem name : HOME/instance-3453468-1307119692.opb
1800.04/1800.11 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.11 c Constraints : 234117 initial, 234117 maximal
1800.04/1800.11 c Presolved Problem :
1800.04/1800.11 c Problem name : t_HOME/instance-3453468-1307119692.opb
1800.04/1800.11 c Variables : 54286 (54286 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.11 c Constraints : 167380 initial, 167380 maximal
1800.04/1800.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.11 c trivial : 0.07 1309 0 0 0 0 0 0 0 0
1800.04/1800.11 c dualfix : 0.11 121 0 0 0 0 0 0 0 0
1800.04/1800.11 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.11 c implics : 1.37 0 9 0 0 0 0 0 0 0
1800.04/1800.11 c probing : 1780.58 66 24 0 0 0 0 0 0 0
1800.04/1800.11 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.11 c knapsack : 2.37 0 0 0 0 0 0 37 53 317
1800.04/1800.11 c setppc : 0.73 4 0 0 0 0 867 0 0 0
1800.04/1800.11 c linear : 11.77 12830 4193 0 14139 0 65890 0 12 20
1800.04/1800.11 c logicor : 0.20 0 0 0 0 0 17 0 0 0
1800.04/1800.11 c root node : - 0 - - 0 - - - - -
1800.04/1800.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.11 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.04/1800.11 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.04/1800.11 c knapsack : 0+ 0 147830 0 0 0 0 27 0 0 0 0
1800.04/1800.11 c setppc : 0+ 0 147803 0 0 0 0 13 0 0 0 0
1800.04/1800.11 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.04/1800.11 c logicor : 0+ 0 134615 0 0 0 0 5 0 0 0 0
1800.04/1800.11 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.04/1800.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.11 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.11 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.11 c knapsack : 13.40 0.00 13.40 0.00 0.00 0.00 0.00
1800.04/1800.11 c setppc : 913.53 0.00 913.53 0.00 0.00 0.00 0.00
1800.04/1800.11 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.11 c logicor : 14.37 0.00 14.37 0.00 0.00 0.00 0.00
1800.04/1800.11 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.11 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.11 c vbounds : 0 0 0 0
1800.04/1800.11 c rootredcost : 0 0 0 0
1800.04/1800.11 c pseudoobj : 0 0 0 0
1800.04/1800.11 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.11 c vbounds : 0.06 0.06 0.00
1800.04/1800.11 c rootredcost : 0.03 0.03 0.00
1800.04/1800.11 c pseudoobj : 0.04 0.04 0.00
1800.04/1800.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.11 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.11 c applied globally : - - - 0 0.0 - - -
1800.04/1800.11 c applied locally : - - - 0 0.0 - - -
1800.75/1800.77 c Time complete: 1800.8.
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-3453468-1307119692/watcher-3453468-1307119692 -o /tmp/evaluation-result-3453468-1307119692/solver-3453468-1307119692 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453468-1307119692.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/501 4490
/proc/meminfo: memFree=30379500/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=6732 CPUtime=0 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 835 0 0 0 0 0 0 0 25 0 1 0 823571859 6893568 789 33554432000 4194304 9128323 140736092269472 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4490/statm: 1683 790 350 1205 0 474 0
[startup+0.0541061 s]
/proc/loadavg: 2.00 2.01 2.00 3/501 4490
/proc/meminfo: memFree=30379500/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=18476 CPUtime=0.04 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 3634 0 0 0 4 0 0 0 25 0 1 0 823571859 18919424 3586 33554432000 4194304 9128323 140736092269472 18446744073709551615 4338640 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4490/statm: 4619 3586 400 1205 0 3410 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18476
[startup+0.101142 s]
/proc/loadavg: 2.00 2.01 2.00 3/501 4490
/proc/meminfo: memFree=30379500/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=25320 CPUtime=0.09 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 5341 0 0 0 9 0 0 0 25 0 1 0 823571859 25927680 5292 33554432000 4194304 9128323 140736092269472 18446744073709551615 6192535 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4490/statm: 6330 5292 400 1205 0 5121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25320
[startup+0.301113 s]
/proc/loadavg: 2.00 2.01 2.00 3/501 4490
/proc/meminfo: memFree=30379500/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=48912 CPUtime=0.29 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 11269 0 0 0 29 0 0 0 25 0 1 0 823571859 50085888 11189 33554432000 4194304 9128323 140736092269472 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4490/statm: 12228 11189 400 1205 0 11019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48912
[startup+0.701035 s]
/proc/loadavg: 2.00 2.01 2.00 3/501 4490
/proc/meminfo: memFree=30379500/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=66068 CPUtime=0.69 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 15557 0 0 0 68 1 0 0 25 0 1 0 823571859 67653632 15469 33554432000 4194304 9128323 140736092269472 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4490/statm: 16517 15469 400 1205 0 15308 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66068
[startup+1.50089 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 4496
/proc/meminfo: memFree=30212324/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=121052 CPUtime=1.49 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 29291 0 0 0 146 3 0 0 25 0 1 0 823571859 123957248 29189 33554432000 4194304 9128323 140736092269472 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4490/statm: 30263 29189 400 1205 0 29054 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121052
[startup+3.10061 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 4496
/proc/meminfo: memFree=29743972/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=441696 CPUtime=3.09 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 117472 0 0 0 297 12 0 0 25 0 1 0 823571859 452296704 107114 33554432000 4194304 9128323 140736092269472 18446744073709551615 6593033 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 110424 107114 501 1205 0 109215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 441696
[startup+6.30104 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 4496
/proc/meminfo: memFree=29045216/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=731328 CPUtime=6.29 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 188842 0 0 0 609 20 0 0 25 0 1 0 823571859 748879872 178484 33554432000 4194304 9128323 140736092269472 18446744073709551615 4831545 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 182832 178484 510 1205 0 181623 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 731328
[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 4497
/proc/meminfo: memFree=28655864/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=873472 CPUtime=12.69 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 223761 0 0 0 1245 24 0 0 25 0 1 0 823571859 894435328 212310 33554432000 4194304 9128323 140736092269472 18446744073709551615 6594401 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 218368 212310 523 1205 0 217159 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 873472
[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 4497
/proc/meminfo: memFree=28492176/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=962116 CPUtime=25.49 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 258934 0 0 0 2522 27 0 0 25 0 1 0 823571859 985206784 234178 33554432000 4194304 9128323 140736092269472 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 240529 234178 687 1205 0 239320 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 962116
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 4498
/proc/meminfo: memFree=28394336/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=1013012 CPUtime=51.09 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 270966 0 0 0 5081 28 0 0 25 0 1 0 823571859 1037324288 246210 33554432000 4194304 9128323 140736092269472 18446744073709551615 6581557 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 253253 246210 687 1205 0 252044 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1013012
[startup+102.319 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 4499
/proc/meminfo: memFree=28093108/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=1152556 CPUtime=102.31 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 305646 0 0 0 10199 32 0 0 25 0 1 0 823571859 1180217344 280890 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 288139 280890 687 1205 0 286930 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1152556
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 4501
/proc/meminfo: memFree=27709668/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=1323228 CPUtime=162.29 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 348428 0 0 0 16193 36 0 0 25 0 1 0 823571859 1354985472 322979 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 330807 322979 687 1205 0 329598 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1323228
[startup+222.301 s]
/proc/loadavg: 2.12 2.03 2.01 3/506 4502
/proc/meminfo: memFree=27305520/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=1524484 CPUtime=222.3 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 398386 0 0 0 22189 41 0 0 25 0 1 0 823571859 1561071616 372838 33554432000 4194304 9128323 140736092269472 18446744073709551615 4794268 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 381121 372838 687 1205 0 379912 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1524484
[startup+282.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/506 4504
/proc/meminfo: memFree=27004656/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=1666600 CPUtime=282.29 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 433792 0 0 0 28183 46 0 0 25 0 1 0 823571859 1706598400 408244 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 416650 408244 687 1205 0 415441 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1666600
[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 4505
/proc/meminfo: memFree=26734912/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=1758232 CPUtime=342.29 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 456634 0 0 0 34179 50 0 0 25 0 1 0 823571859 1800429568 431086 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 439558 431086 687 1205 0 438349 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1758232
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 4507
/proc/meminfo: memFree=26498160/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=1888748 CPUtime=402.3 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 488887 0 0 0 40174 56 0 0 25 0 1 0 823571859 1934077952 463339 33554432000 4194304 9128323 140736092269472 18446744073709551615 5131620 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 472187 463339 687 1205 0 470978 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1888748
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4509
/proc/meminfo: memFree=26142500/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=1957380 CPUtime=462.3 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 505827 0 0 0 46171 59 0 0 25 0 1 0 823571859 2004357120 480279 33554432000 4194304 9128323 140736092269472 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 489345 480279 687 1205 0 488136 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1957380
[startup+522.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/506 4510
/proc/meminfo: memFree=25953616/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=2043856 CPUtime=522.31 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 527387 0 0 0 52169 62 0 0 25 0 1 0 823571859 2092908544 501839 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 510964 501839 687 1205 0 509755 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2043856
[startup+582.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/506 4512
/proc/meminfo: memFree=25727772/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=2150480 CPUtime=582.3 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 554064 0 0 0 58165 65 0 0 25 0 1 0 823571859 2202091520 528516 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 537620 528516 691 1205 0 536411 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2150480
[startup+642.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 4535
/proc/meminfo: memFree=24800116/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=2619568 CPUtime=1002.31 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 669946 0 0 0 100147 84 0 0 25 0 1 0 823571859 2682437632 644299 33554432000 4194304 9128323 140736092269472 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 654892 644299 691 1205 0 653683 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2619568
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4537
/proc/meminfo: memFree=24496176/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=2651680 CPUtime=1062.32 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 678483 0 0 0 106146 86 0 0 25 0 1 0 823571859 2715320320 652836 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 662920 652836 691 1205 0 661711 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2651680
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/506 4538
/proc/meminfo: memFree=24421852/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=2696744 CPUtime=1122.32 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 689545 0 0 0 112145 87 0 0 25 0 1 0 823571859 2761465856 663898 33554432000 4194304 9128323 140736092269472 18446744073709551615 4856934 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 674186 663898 691 1205 0 672977 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2696744
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/506 4540
/proc/meminfo: memFree=24358936/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=2750524 CPUtime=1182.32 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 703433 0 0 0 118144 88 0 0 25 0 1 0 823571859 2816536576 677786 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 687631 677786 691 1205 0 686422 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2750524
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 4541
/proc/meminfo: memFree=24314604/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=2788504 CPUtime=1242.31 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 712919 0 0 0 124142 89 0 0 25 0 1 0 823571859 2855428096 687272 33554432000 4194304 9128323 140736092269472 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 697126 687272 691 1205 0 695917 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2788504
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 4543
/proc/meminfo: memFree=24197160/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=2906016 CPUtime=1302.32 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 741875 0 0 0 130138 94 0 0 25 0 1 0 823571859 2975760384 716228 33554432000 4194304 9128323 140736092269472 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 726504 716228 691 1205 0 725295 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2906016
[startup+1362.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/506 4545
/proc/meminfo: memFree=24136368/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=2964764 CPUtime=1362.32 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 756514 0 0 0 136135 97 0 0 25 0 1 0 823571859 3035918336 730867 33554432000 4194304 9128323 140736092269472 18446744073709551615 5131516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 741191 730867 691 1205 0 739982 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2964764
[startup+1422.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/506 4546
/proc/meminfo: memFree=24063172/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=3038668 CPUtime=1422.34 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 774729 0 0 0 142135 99 0 0 25 0 1 0 823571859 3111596032 749082 33554432000 4194304 9128323 140736092269472 18446744073709551615 6889327 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 759667 749082 691 1205 0 758458 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3038668
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 4548
/proc/meminfo: memFree=23957732/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=3146704 CPUtime=1482.33 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 801290 0 0 0 148131 102 0 0 25 0 1 0 823571859 3222224896 775643 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 786676 775643 691 1205 0 785467 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3146704
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 4549
/proc/meminfo: memFree=23884044/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=3223152 CPUtime=1542.32 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 821613 0 0 0 154127 105 0 0 25 0 1 0 823571859 3300507648 795966 33554432000 4194304 9128323 140736092269472 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 805788 795966 691 1205 0 804579 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3223152
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4551
/proc/meminfo: memFree=23809488/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=3291716 CPUtime=1602.33 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 838600 0 0 0 160125 108 0 0 25 0 1 0 823571859 3370717184 812953 33554432000 4194304 9128323 140736092269472 18446744073709551615 6593113 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 822929 812953 691 1205 0 821720 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3291716
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 4553
/proc/meminfo: memFree=23679640/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=3424584 CPUtime=1662.33 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 870656 0 0 0 166122 111 0 0 25 0 1 0 823571859 3506774016 845009 33554432000 4194304 9128323 140736092269472 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 856146 845009 691 1205 0 854937 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3424584
[startup+1722.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/506 4554
/proc/meminfo: memFree=23575448/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=3528588 CPUtime=1722.33 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 897065 0 0 0 172118 115 0 0 25 0 1 0 823571859 3613274112 871418 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 882147 871418 691 1205 0 880938 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3528588
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/506 4556
/proc/meminfo: memFree=23466652/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=3636224 CPUtime=1782.33 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 923431 0 0 0 178114 119 0 0 25 0 1 0 823571859 3723493376 897784 33554432000 4194304 9128323 140736092269472 18446744073709551615 4855072 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 909056 897784 691 1205 0 907847 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3636224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 4556
/proc/meminfo: memFree=23439736/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=3661440 CPUtime=1800.04 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 930126 0 0 0 179884 120 0 0 25 0 1 0 823571859 3749314560 904479 33554432000 4194304 9128323 140736092269472 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4490/statm: 915360 904479 691 1205 0 914151 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3661440
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: 2.04 2.03 2.00 3/506 4556
/proc/meminfo: memFree=23439736/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=3661964 CPUtime=1800.24 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 930786 0 0 0 179904 120 0 0 18 0 1 0 823571859 3749851136 904643 33554432000 4194304 9128323 140736092269472 18446744073709551615 6581336 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4490/statm: 915491 904643 700 1205 0 914282 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 3661964
[startup+1800.6 s]
/proc/loadavg: 2.04 2.03 2.00 3/508 4558
/proc/meminfo: memFree=23761500/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=3327544 CPUtime=1800.64 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 930794 0 0 0 179943 121 0 0 18 0 1 0 823571859 3407405056 821491 33554432000 4194304 9128323 140736092269472 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4490/statm: 831886 821491 708 1205 0 830677 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 3327544
[startup+1800.72 s]
/proc/loadavg: 2.04 2.03 2.00 3/508 4558
/proc/meminfo: memFree=23761500/32951124 swapFree=51712236/67111528
[pid=4490] ppid=4488 vsize=2179372 CPUtime=1800.75 cores=0,2,4,6
/proc/4490/stat : 4490 (scip-2.0.1.4.li) R 4488 4490 2157 0 -1 4202496 930809 0 0 0 179945 130 0 0 18 0 1 0 823571859 2231676928 318657 33554432000 4194304 9128323 140736092269472 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4490/statm: 544843 318147 723 1205 0 543634 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 2179372
Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.82
CPU user time (s): 1799.46
CPU system time (s): 1.35979
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3661964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 1.35979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930811
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= 1913
runsolver used 9.37557 second user time and 20.1799 second system time
The end