0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3486311-1307793079.opb>
1.29/1.34 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256335 constraints
1.29/1.34 c problem read
1.29/1.34 c presolving settings loaded
2.09/2.19 c presolving:
10.39/10.45 c (round 1) 7294 del vars, 21555 del conss, 0 add conss, 5791 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17285556 impls, 0 clqs
14.49/14.57 c (round 2) 13595 del vars, 48162 del conss, 0 add conss, 11722 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17322574 impls, 0 clqs
15.99/16.00 c (round 3) 16088 del vars, 59765 del conss, 0 add conss, 13283 chg bounds, 59 chg sides, 55 chg coeffs, 0 upgd conss, 17337989 impls, 0 clqs
16.79/16.80 c (round 4) 17370 del vars, 65120 del conss, 0 add conss, 14120 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17347536 impls, 0 clqs
17.29/17.37 c (round 5) 18286 del vars, 68792 del conss, 0 add conss, 14705 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17354836 impls, 0 clqs
17.69/17.70 c (round 6) 18828 del vars, 71103 del conss, 0 add conss, 15013 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17359606 impls, 0 clqs
17.89/17.95 c (round 7) 19155 del vars, 72481 del conss, 0 add conss, 15207 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17363276 impls, 0 clqs
18.09/18.10 c (round 8) 19354 del vars, 73368 del conss, 0 add conss, 15317 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17365239 impls, 0 clqs
18.19/18.21 c (round 9) 19469 del vars, 73883 del conss, 0 add conss, 15373 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17366434 impls, 0 clqs
18.19/18.29 c (round 10) 19508 del vars, 74123 del conss, 0 add conss, 15393 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17366885 impls, 0 clqs
18.29/18.36 c (round 11) 19520 del vars, 74193 del conss, 0 add conss, 15399 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17366997 impls, 0 clqs
18.39/18.42 c (round 12) 19526 del vars, 74229 del conss, 0 add conss, 15402 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17367045 impls, 0 clqs
19.09/19.11 c (round 13) 19526 del vars, 74235 del conss, 0 add conss, 15402 chg bounds, 74 chg sides, 69 chg coeffs, 182100 upgd conss, 17367045 impls, 0 clqs
19.59/19.65 c (round 14) 19526 del vars, 74238 del conss, 35 add conss, 15402 chg bounds, 137 chg sides, 286 chg coeffs, 182100 upgd conss, 17367045 impls, 0 clqs
1036.60/1036.64 c (1036.6s) probing: 1000/53316 (1.9%) - 5 fixings, 1 aggregations, 14733442 implications, 0 bound changes
1799.40/1799.46 c (1799.5s) probing: 1992/53316 (3.7%) - 5 fixings, 1 aggregations, 24493960 implications, 0 bound changes
1799.40/1799.46 c (1799.5s) probing aborted: solving stopped
1799.40/1799.46 c (round 15) 19532 del vars, 74242 del conss, 35 add conss, 15402 chg bounds, 140 chg sides, 300 chg coeffs, 182100 upgd conss, 106535619 impls, 0 clqs
1799.40/1799.46 c presolving (15 rounds):
1799.40/1799.46 c 19532 deleted vars, 74242 deleted constraints, 35 added constraints, 15402 tightened bounds, 0 added holes, 140 changed sides, 300 changed coefficients
1799.40/1799.46 c 106535619 implications, 0 cliques
1799.40/1799.46 c presolving was interrupted.
1799.40/1799.46 c Presolving Time: 1797.88
1799.40/1799.46 c - non default parameters ----------------------------------------------------------------------
1799.40/1799.46 c # SCIP version 2.0.1.4
1799.40/1799.46 c
1799.40/1799.46 c # frequency for displaying node information lines
1799.40/1799.46 c # [type: int, range: [-1,2147483647], default: 100]
1799.40/1799.46 c display/freq = 10000
1799.40/1799.46 c
1799.40/1799.46 c # maximal time in seconds to run
1799.40/1799.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.40/1799.46 c limits/time = 1797
1799.40/1799.46 c
1799.40/1799.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1799.40/1799.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.40/1799.46 c limits/memory = 13950
1799.40/1799.46 c
1799.40/1799.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
1799.40/1799.46 c # [type: int, range: [1,2], default: 1]
1799.40/1799.46 c timing/clocktype = 2
1799.40/1799.46 c
1799.40/1799.46 c # belongs reading time to solving time?
1799.40/1799.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.40/1799.46 c timing/reading = TRUE
1799.40/1799.46 c
1799.40/1799.46 c # should presolving try to simplify inequalities
1799.40/1799.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.40/1799.46 c constraints/linear/simplifyinequalities = TRUE
1799.40/1799.46 c
1799.40/1799.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1799.40/1799.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.40/1799.46 c constraints/indicator/addCouplingCons = TRUE
1799.40/1799.46 c
1799.40/1799.46 c # should presolving try to simplify knapsacks
1799.40/1799.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.40/1799.46 c constraints/knapsack/simplifyinequalities = TRUE
1799.40/1799.46 c
1799.40/1799.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1799.40/1799.46 c # [type: int, range: [-1,2147483647], default: -1]
1799.40/1799.46 c separating/rapidlearning/freq = 0
1799.40/1799.46 c
1799.40/1799.46 c -----------------------------------------------------------------------------------------------
1799.40/1799.46 c start solving
1799.51/1799.55 c presolving:
1799.51/1799.55 c presolving (15 rounds):
1799.51/1799.55 c 19532 deleted vars, 74242 deleted constraints, 35 added constraints, 15402 tightened bounds, 0 added holes, 140 changed sides, 300 changed coefficients
1799.51/1799.55 c 106535619 implications, 0 cliques
1799.51/1799.55 c presolving was interrupted.
1799.51/1799.55 c Presolving Time: 1797.98
1799.51/1799.55 c
1799.51/1799.55 c SCIP Status : solving was interrupted [time limit reached]
1799.51/1799.55 c Solving Time (sec) : 1799.55
1799.51/1799.55 c Solving Nodes : 0
1799.51/1799.55 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.51/1799.55 s UNKNOWN
1799.51/1799.55 c SCIP Status : solving was interrupted [time limit reached]
1799.51/1799.55 c Total Time : 1799.55
1799.51/1799.55 c solving : 1799.55
1799.51/1799.55 c presolving : 1797.98 (included in solving)
1799.51/1799.55 c reading : 1.34 (included in solving)
1799.51/1799.55 c Original Problem :
1799.51/1799.55 c Problem name : HOME/instance-3486311-1307793079.opb
1799.51/1799.55 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.51/1799.55 c Constraints : 256335 initial, 256335 maximal
1799.51/1799.55 c Presolved Problem :
1799.51/1799.55 c Problem name : t_HOME/instance-3486311-1307793079.opb
1799.51/1799.55 c Variables : 53310 (53310 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.51/1799.55 c Constraints : 182128 initial, 182128 maximal
1799.51/1799.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.51/1799.55 c trivial : 0.04 1006 0 0 0 0 0 0 0 0
1799.51/1799.55 c dualfix : 0.08 120 0 0 0 0 0 0 0 0
1799.51/1799.55 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c implics : 0.52 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c probing : 1779.59 5 1 0 0 0 0 0 0 0
1799.51/1799.55 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c knapsack : 0.32 0 0 0 0 0 7 35 66 231
1799.51/1799.55 c setppc : 0.31 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c linear : 16.15 14396 4004 0 15402 0 74235 0 74 69
1799.51/1799.55 c logicor : 0.05 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c root node : - 0 - - 0 - - - - -
1799.51/1799.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.51/1799.55 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c knapsack : 0+ 0 100308 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c setppc : 0+ 0 100308 0 0 0 0 3 0 0 0 0
1799.51/1799.55 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c logicor : 0+ 0 91606 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1799.51/1799.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.51/1799.55 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.51/1799.55 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.51/1799.55 c knapsack : 6.76 0.00 6.76 0.00 0.00 0.00 0.00
1799.51/1799.55 c setppc : 676.32 0.00 676.32 0.00 0.00 0.00 0.00
1799.51/1799.55 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.51/1799.55 c logicor : 9.28 0.00 9.28 0.00 0.00 0.00 0.00
1799.51/1799.55 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.51/1799.55 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.51/1799.55 c vbounds : 0 0 0 0
1799.51/1799.55 c rootredcost : 0 0 0 0
1799.51/1799.55 c pseudoobj : 0 0 0 0
1799.51/1799.55 c Propagator Timings : TotalTime Propagate Resprop
1799.51/1799.55 c vbounds : 0.04 0.04 0.00
1799.51/1799.55 c rootredcost : 0.02 0.02 0.00
1799.51/1799.55 c pseudoobj : 0.02 0.02 0.00
1799.51/1799.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.51/1799.55 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.51/1799.55 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.51/1799.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.51/1799.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.51/1799.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.51/1799.55 c applied globally : - - - 0 0.0 - - -
1799.51/1799.55 c applied locally : - - - 0 0.0 - - -
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3486311-1307793079/watcher-3486311-1307793079 -o /tmp/evaluation-result-3486311-1307793079/solver-3486311-1307793079 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486311-1307793079.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.00 2.00 2/177 16254
/proc/meminfo: memFree=30820012/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=10312 CPUtime=0 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 1572 0 0 0 0 0 0 0 25 0 1 0 890906423 10559488 1526 33554432000 4194304 8979876 140734972922976 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16254/statm: 2578 1526 366 1169 0 1405 0
[startup+0.0522471 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 16254
/proc/meminfo: memFree=30820012/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=19868 CPUtime=0.04 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 3951 0 0 0 4 0 0 0 25 0 1 0 890906423 20344832 3905 33554432000 4194304 8979876 140734972922976 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16254/statm: 4967 3905 366 1169 0 3794 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19868
[startup+0.100254 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 16254
/proc/meminfo: memFree=30820012/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=27540 CPUtime=0.09 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 5902 0 0 0 9 0 0 0 25 0 1 0 890906423 28200960 5856 33554432000 4194304 8979876 140734972922976 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16254/statm: 6885 5856 366 1169 0 5712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27540
[startup+0.300217 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 16254
/proc/meminfo: memFree=30820012/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=52516 CPUtime=0.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 12127 0 0 0 28 1 0 0 25 0 1 0 890906423 53776384 12081 33554432000 4194304 8979876 140734972922976 18446744073709551615 7836107 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16254/statm: 13129 12081 366 1169 0 11956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52516
[startup+0.701151 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 16254
/proc/meminfo: memFree=30820012/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=75404 CPUtime=0.69 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 17824 0 0 0 67 2 0 0 25 0 1 0 890906423 77213696 17778 33554432000 4194304 8979876 140734972922976 18446744073709551615 7807808 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16254/statm: 18851 17778 366 1169 0 17678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75404
[startup+1.50105 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16255
/proc/meminfo: memFree=30662788/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=244476 CPUtime=1.49 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 59886 0 0 0 142 7 0 0 25 0 1 0 890906423 250343424 59765 33554432000 4194304 8979876 140734972922976 18446744073709551615 6782437 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 61119 59772 416 1169 0 59946 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 244476
[startup+3.10078 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16256
/proc/meminfo: memFree=30289548/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=497840 CPUtime=3.09 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 134383 0 0 0 295 14 0 0 25 0 1 0 890906423 509788160 121824 33554432000 4194304 8979876 140734972922976 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 124460 121824 494 1169 0 123287 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 497840
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16256
/proc/meminfo: memFree=29983408/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=719624 CPUtime=6.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 189334 0 0 0 609 20 0 0 25 0 1 0 890906423 736894976 176775 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 179906 176775 494 1169 0 178733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 719624
[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16256
/proc/meminfo: memFree=29744076/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=915884 CPUtime=12.7 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 236358 0 0 0 1245 25 0 0 25 0 1 0 890906423 937865216 223199 33554432000 4194304 8979876 140734972922976 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 228971 223199 504 1169 0 227798 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915884
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16256
/proc/meminfo: memFree=29575060/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=1018344 CPUtime=25.49 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 279430 0 0 0 2520 29 0 0 25 0 1 0 890906423 1042784256 247679 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503502 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 254586 247679 576 1169 0 253413 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1018344
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16257
/proc/meminfo: memFree=29511164/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=1056004 CPUtime=51.1 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 288449 0 0 0 5079 31 0 0 25 0 1 0 890906423 1081348096 256368 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 264001 256368 576 1169 0 262828 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1056004
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16258
/proc/meminfo: memFree=29358180/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=1127244 CPUtime=102.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 305796 0 0 0 10197 32 0 0 25 0 1 0 890906423 1154297856 273682 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 281811 273682 576 1169 0 280638 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1127244
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16260
/proc/meminfo: memFree=29128456/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=1234860 CPUtime=162.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 332672 0 0 0 16194 35 0 0 25 0 1 0 890906423 1264496640 300558 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 308715 300558 576 1169 0 307542 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1234860
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16261
/proc/meminfo: memFree=28928876/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=1316652 CPUtime=222.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 352552 0 0 0 22192 37 0 0 25 0 1 0 890906423 1348251648 320438 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503296 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 329163 320438 576 1169 0 327990 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1316652
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16263
/proc/meminfo: memFree=28770468/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=1413476 CPUtime=282.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 377438 0 0 0 28189 40 0 0 25 0 1 0 890906423 1447399424 344829 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 353369 344829 576 1169 0 352196 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1413476
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16264
/proc/meminfo: memFree=28601024/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=1511156 CPUtime=342.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 401720 0 0 0 34187 43 0 0 25 0 1 0 890906423 1547423744 369045 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 377789 369045 576 1169 0 376616 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1511156
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16266
/proc/meminfo: memFree=28291588/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=1706444 CPUtime=402.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 449992 0 0 0 40181 48 0 0 25 0 1 0 890906423 1747398656 417251 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 426611 417251 576 1169 0 425438 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1706444
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16268
/proc/meminfo: memFree=28006192/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=1891252 CPUtime=462.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 495986 0 0 0 46175 54 0 0 25 0 1 0 890906423 1936642048 463245 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 472813 463245 576 1169 0 471640 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1891252
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16269
/proc/meminfo: memFree=27666128/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=2082428 CPUtime=522.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 543687 0 0 0 52169 61 0 0 25 0 1 0 890906423 2132406272 510946 33554432000 4194304 8979876 140734972922976 18446744073709551615 4919304 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16254/statm: 520607 510946 576 1169 0 519434 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2082428
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16272
/proc/meminfo: memFree=27404520/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=2205172 CPUtime=582.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 574195 0 0 0 58166 64 0 0 25 0 1 0 890906423 2258096128 541454 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/16254/statm: 551293 541454 576 1169 0 550120 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2205172
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16291
/proc/meminfo: memFree=26231888/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=2823904 CPUtime=882.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 727416 0 0 0 88145 85 0 0 25 0 1 0 890906423 2891677696 694675 33554432000 4194304 8979876 140734972922976 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 705976 694675 576 1169 0 704803 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 2823904
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16292
/proc/meminfo: memFree=25993016/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=2922548 CPUtime=942.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 752752 0 0 0 94141 88 0 0 25 0 1 0 890906423 2992689152 720011 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 730637 720011 576 1169 0 729464 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 2922548
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16294
/proc/meminfo: memFree=25781796/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3058680 CPUtime=1002.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 785936 0 0 0 100136 94 0 0 25 0 1 0 890906423 3132088320 753195 33554432000 4194304 8979876 140734972922976 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 764670 753195 576 1169 0 763497 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 3058680
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16296
/proc/meminfo: memFree=25536468/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3207688 CPUtime=1062.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 823043 0 0 0 106130 99 0 0 25 0 1 0 890906423 3284672512 790302 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503516 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 801922 790302 581 1169 0 800749 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 3207688
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 16297
/proc/meminfo: memFree=25349064/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3279804 CPUtime=1122.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 840599 0 0 0 112128 102 0 0 25 0 1 0 890906423 3358519296 807858 33554432000 4194304 8979876 140734972922976 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 819951 807858 581 1169 0 818778 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 3279804
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16299
/proc/meminfo: memFree=25181000/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3374640 CPUtime=1182.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 865023 0 0 0 118124 106 0 0 25 0 1 0 890906423 3455631360 832282 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 843660 832282 581 1169 0 842487 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3374640
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16300
/proc/meminfo: memFree=25022964/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3485664 CPUtime=1242.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 892187 0 0 0 124121 109 0 0 25 0 1 0 890906423 3569319936 859446 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 871416 859446 581 1169 0 870243 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3485664
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16302
/proc/meminfo: memFree=24933752/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3535152 CPUtime=1302.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 904517 0 0 0 130119 111 0 0 25 0 1 0 890906423 3619995648 871776 33554432000 4194304 8979876 140734972922976 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 883788 871776 581 1169 0 882615 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 3535152
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16304
/proc/meminfo: memFree=24840444/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3595752 CPUtime=1362.29 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 920203 0 0 0 136115 114 0 0 25 0 1 0 890906423 3682050048 887462 33554432000 4194304 8979876 140734972922976 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 898938 887462 581 1169 0 897765 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 3595752
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 16305
/proc/meminfo: memFree=24735236/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3656816 CPUtime=1422.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 935302 0 0 0 142114 116 0 0 25 0 1 0 890906423 3744579584 902561 33554432000 4194304 8979876 140734972922976 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 914204 902561 581 1169 0 913031 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 3656816
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16307
/proc/meminfo: memFree=24596932/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3752068 CPUtime=1482.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 958394 0 0 0 148111 119 0 0 25 0 1 0 890906423 3842117632 925653 33554432000 4194304 8979876 140734972922976 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 938017 925653 581 1169 0 936844 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 3752068
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16308
/proc/meminfo: memFree=24480316/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3789960 CPUtime=1542.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 968403 0 0 0 154108 122 0 0 25 0 1 0 890906423 3880919040 935662 33554432000 4194304 8979876 140734972922976 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 947490 935662 581 1169 0 946317 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 3789960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16310
/proc/meminfo: memFree=24338912/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3847184 CPUtime=1602.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 982635 0 0 0 160106 124 0 0 25 0 1 0 890906423 3939516416 949894 33554432000 4194304 8979876 140734972922976 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 961796 949894 581 1169 0 960623 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 3847184
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16312
/proc/meminfo: memFree=24192292/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3918052 CPUtime=1662.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 999774 0 0 0 166103 127 0 0 25 0 1 0 890906423 4012085248 967033 33554432000 4194304 8979876 140734972922976 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 979513 967033 581 1169 0 978340 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 3918052
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 16313
/proc/meminfo: memFree=24092056/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3962256 CPUtime=1722.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 1010934 0 0 0 172101 129 0 0 25 0 1 0 890906423 4057350144 978193 33554432000 4194304 8979876 140734972922976 18446744073709551615 4349783 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 990564 978193 581 1169 0 989391 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 3962256
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16315
/proc/meminfo: memFree=23952260/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=4012200 CPUtime=1782.3 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 1023292 0 0 0 178100 130 0 0 25 0 1 0 890906423 4108492800 990551 33554432000 4194304 8979876 140734972922976 18446744073709551615 4916798 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16254/statm: 1003050 990551 581 1169 0 1001877 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 4012200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16353
/proc/meminfo: memFree=27444872/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=3767164 CPUtime=1800.01 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4202496 1034702 0 0 0 179868 133 0 0 18 0 1 0 890906423 3857575936 930346 33554432000 4194304 8979876 140734972922976 18446744073709551615 4538537 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16254/statm: 941791 930346 596 1169 0 940618 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3767164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16353
/proc/meminfo: memFree=27444872/32951124 swapFree=67054524/67111528
[pid=16254] ppid=16252 vsize=0 CPUtime=1800.11 cores=0,2,4,6
/proc/16254/stat : 16254 (scip-2.0.1.4_2.) R 16252 16254 15205 0 -1 4203524 1034702 0 0 0 179868 143 0 0 18 0 1 0 890906423 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16254/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.17
CPU time (s): 1800.18
CPU user time (s): 1798.69
CPU system time (s): 1.49277
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4054632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.49277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1034702
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= 1839
runsolver used 2.98255 second user time and 5.66914 second system time
The end