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-3453495-1307119390.opb>
1.59/1.67 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256243 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.49/2.54 c presolving:
9.09/9.11 c (round 1) 8537 del vars, 25743 del conss, 0 add conss, 6817 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17083324 impls, 0 clqs
11.89/11.95 c (round 2) 15615 del vars, 57140 del conss, 0 add conss, 13599 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17123875 impls, 0 clqs
12.69/12.72 c (round 3) 18511 del vars, 70497 del conss, 0 add conss, 15396 chg bounds, 14 chg sides, 7 chg coeffs, 0 upgd conss, 17142469 impls, 0 clqs
13.10/13.20 c (round 4) 20009 del vars, 76639 del conss, 0 add conss, 16489 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17153708 impls, 0 clqs
13.49/13.53 c (round 5) 21177 del vars, 81176 del conss, 0 add conss, 17258 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17164816 impls, 0 clqs
13.69/13.73 c (round 6) 21831 del vars, 84019 del conss, 0 add conss, 17667 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17170802 impls, 0 clqs
13.79/13.88 c (round 7) 22286 del vars, 85855 del conss, 0 add conss, 17935 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17177198 impls, 0 clqs
13.99/14.01 c (round 8) 22632 del vars, 87229 del conss, 0 add conss, 18141 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17181375 impls, 0 clqs
14.09/14.15 c (round 9) 22942 del vars, 88453 del conss, 0 add conss, 18328 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17185483 impls, 0 clqs
14.20/14.25 c (round 10) 23120 del vars, 89247 del conss, 0 add conss, 18424 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17188001 impls, 0 clqs
14.31/14.35 c (round 11) 23217 del vars, 89696 del conss, 0 add conss, 18484 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17189405 impls, 0 clqs
14.39/14.42 c (round 12) 23300 del vars, 90038 del conss, 0 add conss, 18523 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17190535 impls, 0 clqs
14.49/14.51 c (round 13) 23332 del vars, 90199 del conss, 0 add conss, 18547 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17190893 impls, 0 clqs
14.49/14.56 c (round 14) 23358 del vars, 90330 del conss, 0 add conss, 18558 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17190917 impls, 0 clqs
14.59/14.62 c (round 15) 23358 del vars, 90347 del conss, 0 add conss, 18558 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17190917 impls, 0 clqs
15.19/15.30 c (round 16) 23358 del vars, 90347 del conss, 0 add conss, 18558 chg bounds, 23 chg sides, 17 chg coeffs, 165896 upgd conss, 17190917 impls, 0 clqs
15.89/15.97 c (round 17) 23358 del vars, 90347 del conss, 12 add conss, 18558 chg bounds, 43 chg sides, 162 chg coeffs, 165896 upgd conss, 17191397 impls, 514 clqs
624.11/624.18 c (624.2s) probing: 1000/49484 (2.0%) - 30 fixings, 12 aggregations, 13490013 implications, 0 bound changes
1122.83/1122.80 c (1122.8s) probing: 2000/49484 (4.0%) - 35 fixings, 12 aggregations, 22032393 implications, 0 bound changes
1259.93/1259.95 c (round 18) 23408 del vars, 90347 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 171 chg coeffs, 165896 upgd conss, 106911081 impls, 532 clqs
1262.53/1262.52 c (round 19) 23416 del vars, 91119 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 330 chg coeffs, 165896 upgd conss, 106957927 impls, 532 clqs
1626.74/1626.79 c (1626.8s) probing: 3000/49484 (6.1%) - 69 fixings, 30 aggregations, 28468259 implications, 0 bound changes
1631.95/1631.99 c (round 20) 23466 del vars, 91127 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 331 chg coeffs, 165896 upgd conss, 122389263 impls, 575 clqs
1633.35/1633.33 c (round 21) 23474 del vars, 91309 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 332 chg coeffs, 165896 upgd conss, 122459951 impls, 575 clqs
1800.35/1800.31 c (1800.3s) probing: 3441/49484 (7.0%) - 98 fixings, 48 aggregations, 30909949 implications, 0 bound changes
1800.35/1800.31 c (1800.3s) probing aborted: solving stopped
1800.35/1800.31 c (round 22) 23520 del vars, 91317 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 333 chg coeffs, 165896 upgd conss, 129964909 impls, 575 clqs
1800.35/1800.31 c presolving (22 rounds):
1800.35/1800.31 c 23520 deleted vars, 91317 deleted constraints, 12 added constraints, 18558 tightened bounds, 0 added holes, 44 changed sides, 333 changed coefficients
1800.35/1800.31 c 129964909 implications, 575 cliques
1800.35/1800.31 c presolving was interrupted.
1800.35/1800.31 c Presolving Time: 1798.40
1800.35/1800.31 c - non default parameters ----------------------------------------------------------------------
1800.35/1800.31 c # SCIP version 2.0.1.4
1800.35/1800.31 c
1800.35/1800.31 c # frequency for displaying node information lines
1800.35/1800.31 c # [type: int, range: [-1,2147483647], default: 100]
1800.35/1800.31 c display/freq = 10000
1800.35/1800.31 c
1800.35/1800.31 c # maximal time in seconds to run
1800.35/1800.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.35/1800.31 c limits/time = 1800
1800.35/1800.31 c
1800.35/1800.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.35/1800.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.35/1800.31 c limits/memory = 13950
1800.35/1800.31 c
1800.35/1800.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.35/1800.31 c # [type: int, range: [1,2], default: 1]
1800.35/1800.31 c timing/clocktype = 2
1800.35/1800.31 c
1800.35/1800.31 c # belongs reading time to solving time?
1800.35/1800.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.35/1800.31 c timing/reading = TRUE
1800.35/1800.31 c
1800.35/1800.31 c # should presolving try to simplify inequalities
1800.35/1800.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.35/1800.31 c constraints/linear/simplifyinequalities = TRUE
1800.35/1800.31 c
1800.35/1800.31 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.35/1800.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.35/1800.31 c constraints/indicator/addCouplingCons = TRUE
1800.35/1800.31 c
1800.35/1800.31 c # should presolving try to simplify knapsacks
1800.35/1800.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.35/1800.31 c constraints/knapsack/simplifyinequalities = TRUE
1800.35/1800.31 c
1800.35/1800.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.35/1800.31 c # [type: int, range: [-1,2147483647], default: -1]
1800.35/1800.31 c separating/rapidlearning/freq = 0
1800.35/1800.31 c
1800.35/1800.31 c -----------------------------------------------------------------------------------------------
1800.35/1800.31 c start solving
1800.35/1800.34 c presolving:
1800.35/1800.34 c presolving (22 rounds):
1800.35/1800.34 c 23520 deleted vars, 91317 deleted constraints, 12 added constraints, 18558 tightened bounds, 0 added holes, 44 changed sides, 333 changed coefficients
1800.35/1800.34 c 129964909 implications, 575 cliques
1800.35/1800.34 c presolving was interrupted.
1800.35/1800.34 c Presolving Time: 1798.43
1800.35/1800.34 c
1800.35/1800.34 c SCIP Status : solving was interrupted [time limit reached]
1800.35/1800.34 c Solving Time (sec) : 1800.34
1800.35/1800.34 c Solving Nodes : 0
1800.35/1800.34 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.35/1800.34 s UNKNOWN
1800.35/1800.34 c SCIP Status : solving was interrupted [time limit reached]
1800.35/1800.34 c Total Time : 1800.34
1800.35/1800.34 c solving : 1800.34
1800.35/1800.34 c presolving : 1798.43 (included in solving)
1800.35/1800.34 c reading : 1.67 (included in solving)
1800.35/1800.34 c Original Problem :
1800.35/1800.34 c Problem name : HOME/instance-3453495-1307119390.opb
1800.35/1800.34 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.35/1800.34 c Constraints : 256243 initial, 256243 maximal
1800.35/1800.34 c Presolved Problem :
1800.35/1800.34 c Problem name : t_HOME/instance-3453495-1307119390.opb
1800.35/1800.34 c Variables : 49322 (49322 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.35/1800.34 c Constraints : 164938 initial, 164938 maximal
1800.35/1800.34 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.35/1800.34 c trivial : 0.06 1034 0 0 0 0 0 0 0 0
1800.35/1800.34 c dualfix : 0.09 120 0 0 0 0 0 0 0 0
1800.35/1800.34 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.35/1800.34 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.35/1800.34 c implics : 3.84 0 16 0 0 0 0 0 0 0
1800.35/1800.34 c probing : 1778.95 98 48 0 0 0 0 0 0 0
1800.35/1800.34 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1800.35/1800.34 c knapsack : 2.12 0 0 0 0 0 0 12 21 316
1800.35/1800.34 c setppc : 0.44 0 0 0 0 0 958 0 0 0
1800.35/1800.34 c linear : 11.87 17524 4680 0 18558 0 90347 0 23 17
1800.35/1800.34 c logicor : 0.15 0 0 0 0 0 12 0 0 0
1800.35/1800.34 c root node : - 0 - - 0 - - - - -
1800.35/1800.34 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.35/1800.34 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.35/1800.34 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.35/1800.34 c knapsack : 0+ 0 132436 0 0 0 0 32 0 0 0 0
1800.35/1800.34 c setppc : 0+ 0 132404 0 0 0 0 23 0 0 0 0
1800.35/1800.34 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.35/1800.34 c logicor : 0+ 0 120245 0 0 0 0 20 0 0 0 0
1800.35/1800.34 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.35/1800.34 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.35/1800.34 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.35/1800.34 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.35/1800.34 c knapsack : 10.05 0.00 10.05 0.00 0.00 0.00 0.00
1800.35/1800.34 c setppc : 699.30 0.00 699.30 0.00 0.00 0.00 0.00
1800.35/1800.34 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.35/1800.34 c logicor : 17.07 0.00 17.07 0.00 0.00 0.00 0.00
1800.35/1800.34 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.35/1800.34 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.35/1800.34 c vbounds : 0 0 0 0
1800.35/1800.34 c rootredcost : 0 0 0 0
1800.35/1800.34 c pseudoobj : 0 0 0 0
1800.35/1800.34 c Propagator Timings : TotalTime Propagate Resprop
1800.35/1800.34 c vbounds : 0.05 0.05 0.00
1800.35/1800.34 c rootredcost : 0.03 0.03 0.00
1800.35/1800.34 c pseudoobj : 0.03 0.03 0.00
1800.35/1800.34 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.35/1800.34 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.35/1800.34 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.35/1800.34 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.35/1800.34 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.35/1800.34 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.35/1800.34 c applied globally : - - - 0 0.0 - - -
1800.35/1800.34 c applied locally : - - - 0 0.0 - - -
1800.95/1800.96 c Time complete: 1801.02.
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-3453495-1307119390/watcher-3453495-1307119390 -o /tmp/evaluation-result-3453495-1307119390/solver-3453495-1307119390 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453495-1307119390.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.30 1.78 1.91 3/553 5581
/proc/meminfo: memFree=24991464/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=10652 CPUtime=0 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1652 0 0 0 0 0 0 0 20 0 1 0 823536122 10907648 1606 33554432000 4194304 9128323 140733396742640 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5579/statm: 2663 1606 400 1205 0 1454 0
[startup+0.022896 s]
/proc/loadavg: 1.30 1.78 1.91 3/553 5581
/proc/meminfo: memFree=24991464/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=14016 CPUtime=0.01 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 2487 0 0 0 1 0 0 0 20 0 1 0 823536122 14352384 2441 33554432000 4194304 9128323 140733396742640 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5579/statm: 3504 2441 400 1205 0 2295 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14016
[startup+0.1009 s]
/proc/loadavg: 1.30 1.78 1.91 3/553 5581
/proc/meminfo: memFree=24991464/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=27508 CPUtime=0.09 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 5887 0 0 0 9 0 0 0 20 0 1 0 823536122 28168192 5839 33554432000 4194304 9128323 140733396742640 18446744073709551615 4485400 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5579/statm: 6877 5839 400 1205 0 5668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27508
[startup+0.300855 s]
/proc/loadavg: 1.30 1.78 1.91 3/553 5581
/proc/meminfo: memFree=24991464/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=50212 CPUtime=0.29 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 11586 0 0 0 28 1 0 0 21 0 1 0 823536122 51417088 11506 33554432000 4194304 9128323 140733396742640 18446744073709551615 8001216 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5579/statm: 12553 11506 400 1205 0 11344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50212
[startup+0.700779 s]
/proc/loadavg: 1.30 1.78 1.91 3/553 5581
/proc/meminfo: memFree=24991464/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=69408 CPUtime=0.69 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 16371 0 0 0 68 1 0 0 22 0 1 0 823536122 71073792 16283 33554432000 4194304 9128323 140733396742640 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5579/statm: 17352 16283 400 1205 0 16143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69408
[startup+1.50062 s]
/proc/loadavg: 1.30 1.78 1.91 4/555 5583
/proc/meminfo: memFree=24822832/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=127880 CPUtime=1.49 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 30956 0 0 0 145 4 0 0 25 0 1 0 823536122 130949120 30852 33554432000 4194304 9128323 140733396742640 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5579/statm: 31970 30852 400 1205 0 30761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127880
[startup+3.10032 s]
/proc/loadavg: 1.30 1.78 1.91 4/555 5583
/proc/meminfo: memFree=24324972/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=473808 CPUtime=3.09 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 128285 0 0 0 295 14 0 0 25 0 1 0 823536122 485179392 115789 33554432000 4194304 9128323 140733396742640 18446744073709551615 4352197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5579/statm: 118452 115789 501 1205 0 117243 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 473808
[startup+6.3007 s]
/proc/loadavg: 1.44 1.80 1.92 4/555 5583
/proc/meminfo: memFree=23621576/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=757420 CPUtime=6.29 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 198990 0 0 0 607 22 0 0 25 0 1 0 823536122 775598080 186494 33554432000 4194304 9128323 140733396742640 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5579/statm: 189355 186494 510 1205 0 188146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 757420
[startup+12.7005 s]
/proc/loadavg: 1.48 1.80 1.92 4/555 5583
/proc/meminfo: memFree=23240312/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=910904 CPUtime=12.69 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 235429 0 0 0 1243 26 0 0 25 0 1 0 823536122 932765696 222333 33554432000 4194304 9128323 140733396742640 18446744073709551615 5968065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5579/statm: 227726 222333 523 1205 0 226517 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 910904
[startup+25.501 s]
/proc/loadavg: 1.60 1.81 1.92 4/555 5584
/proc/meminfo: memFree=23035840/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=986952 CPUtime=25.49 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 269346 0 0 0 2520 29 0 0 25 0 1 0 823536122 1010638848 241006 33554432000 4194304 9128323 140733396742640 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5579/statm: 246738 241006 580 1205 0 245529 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 986952
[startup+51.1011 s]
/proc/loadavg: 1.73 1.82 1.92 3/555 5584
/proc/meminfo: memFree=22919028/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=1042880 CPUtime=51.08 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 282967 0 0 0 5078 30 0 0 25 0 1 0 823536122 1067909120 254627 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 260720 254627 580 1205 0 259511 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1042880
[startup+102.322 s]
/proc/loadavg: 1.88 1.85 1.92 4/555 5586
/proc/meminfo: memFree=22622084/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=1201788 CPUtime=102.31 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 322105 0 0 0 10196 35 0 0 25 0 1 0 823536122 1230630912 293765 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 300447 293765 580 1205 0 299238 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1201788
[startup+162.301 s]
/proc/loadavg: 1.95 1.87 1.92 4/555 5587
/proc/meminfo: memFree=22348136/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=1354304 CPUtime=162.29 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 360417 0 0 0 16189 40 0 0 25 0 1 0 823536122 1386807296 331483 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 338576 331483 580 1205 0 337367 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1354304
[startup+222.301 s]
/proc/loadavg: 1.98 1.89 1.92 4/555 5589
/proc/meminfo: memFree=21883228/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=1649744 CPUtime=222.3 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 433650 0 0 0 22182 48 0 0 25 0 1 0 823536122 1689337856 404683 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 412436 404683 580 1205 0 411227 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1649744
[startup+282.301 s]
/proc/loadavg: 1.99 1.91 1.92 4/555 5590
/proc/meminfo: memFree=21440536/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=1877172 CPUtime=282.29 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 490090 0 0 0 28175 54 0 0 25 0 1 0 823536122 1922224128 461123 33554432000 4194304 9128323 140733396742640 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 469293 461123 580 1205 0 468084 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1877172
[startup+342.3 s]
/proc/loadavg: 1.99 1.92 1.92 4/555 5592
/proc/meminfo: memFree=21077308/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=2117212 CPUtime=342.3 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 550233 0 0 0 34168 62 0 0 25 0 1 0 823536122 2168025088 521266 33554432000 4194304 9128323 140733396742640 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 529303 521266 580 1205 0 528094 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2117212
[startup+402.301 s]
/proc/loadavg: 2.22 1.98 1.93 4/555 5594
/proc/meminfo: memFree=20824324/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=2240520 CPUtime=402.3 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 580518 0 0 0 40164 66 0 0 25 0 1 0 823536122 2294292480 551551 33554432000 4194304 9128323 140733396742640 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 560130 551551 580 1205 0 558921 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2240520
[startup+462.3 s]
/proc/loadavg: 2.08 1.98 1.93 4/555 5595
/proc/meminfo: memFree=20506372/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=2338832 CPUtime=462.3 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 605171 0 0 0 46161 69 0 0 25 0 1 0 823536122 2394963968 576204 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 584708 576204 580 1205 0 583499 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2338832
[startup+522.301 s]
/proc/loadavg: 2.03 1.98 1.93 4/555 5597
/proc/meminfo: memFree=20298152/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=2496460 CPUtime=522.3 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 643737 0 0 0 52156 74 0 0 25 0 1 0 823536122 2556375040 614770 33554432000 4194304 9128323 140733396742640 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 624115 614770 580 1205 0 622906 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2496460
[startup+582.3 s]
/proc/loadavg: 2.01 1.98 1.93 4/555 5598
/proc/meminfo: memFree=20074172/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=2666972 CPUtime=582.31 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 686233 0 0 0 58150 81 0 0 25 0 1 0 823536122 2730979328 657010 33554432000 4194304 9128323 140733396742640 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 666743 657010 580 1205 0 665534 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2666972
[startup+642.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.10 2.04 1.95 4/555 5610
/proc/meminfo: memFree=18982364/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=3365148 CPUtime=1002.32 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 859768 0 0 0 100126 106 0 0 25 0 1 0 823536122 3445911552 830413 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 841287 830413 584 1205 0 840078 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3365148
[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 1.95 4/555 5611
/proc/meminfo: memFree=18820160/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=3481520 CPUtime=1062.33 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 888851 0 0 0 106122 111 0 0 25 0 1 0 823536122 3565076480 859496 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 870380 859496 584 1205 0 869171 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3481520
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.95 4/555 5622
/proc/meminfo: memFree=18439324/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=3565048 CPUtime=1122.33 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 909474 0 0 0 112119 114 0 0 25 0 1 0 823536122 3650609152 880119 33554432000 4194304 9128323 140733396742640 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 891262 880119 584 1205 0 890053 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3565048
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/555 5623
/proc/meminfo: memFree=18372580/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=3625316 CPUtime=1182.33 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 924347 0 0 0 118117 116 0 0 25 0 1 0 823536122 3712323584 894992 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 906329 894992 584 1205 0 905120 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3625316
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/555 5625
/proc/meminfo: memFree=18280060/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=3692632 CPUtime=1242.33 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 941049 0 0 0 124115 118 0 0 25 0 1 0 823536122 3781255168 911694 33554432000 4194304 9128323 140733396742640 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 923158 911694 584 1205 0 921949 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3692632
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/555 5630
/proc/meminfo: memFree=18187608/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=3779096 CPUtime=1302.35 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 963266 0 0 0 130114 121 0 0 25 0 1 0 823536122 3869794304 933911 33554432000 4194304 9128323 140733396742640 18446744073709551615 4216106 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 944774 933911 584 1205 0 943565 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3779096
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/555 5631
/proc/meminfo: memFree=18127824/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=3838676 CPUtime=1362.34 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 977989 0 0 0 136112 122 0 0 25 0 1 0 823536122 3930804224 948634 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 959669 948634 584 1205 0 958460 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3838676
[startup+1422.32 s]
/proc/loadavg: 2.25 2.06 1.98 4/555 5633
/proc/meminfo: memFree=18086752/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=3878324 CPUtime=1422.36 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 987719 0 0 0 142113 123 0 0 25 0 1 0 823536122 3971403776 958364 33554432000 4194304 9128323 140733396742640 18446744073709551615 6589091 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 969581 958364 584 1205 0 968372 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 3878324
[startup+1482.3 s]
/proc/loadavg: 2.20 2.08 1.99 4/555 5634
/proc/meminfo: memFree=18026328/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=3941916 CPUtime=1482.34 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1003282 0 0 0 148108 126 0 0 25 0 1 0 823536122 4036521984 973927 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 985479 973927 584 1205 0 984270 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3941916
[startup+1542.3 s]
/proc/loadavg: 2.07 2.06 1.99 4/555 5636
/proc/meminfo: memFree=17903020/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=4032932 CPUtime=1542.34 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1026335 0 0 0 154105 129 0 0 25 0 1 0 823536122 4129722368 996980 33554432000 4194304 9128323 140733396742640 18446744073709551615 5488321 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 1008233 996980 584 1205 0 1007024 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 4032932
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 1.99 4/555 5638
/proc/meminfo: memFree=17813212/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=4122296 CPUtime=1602.34 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1048868 0 0 0 160101 133 0 0 25 0 1 0 823536122 4221231104 1019513 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 1030574 1019513 584 1205 0 1029365 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 4122296
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 1.99 4/555 5639
/proc/meminfo: memFree=17725340/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=4211380 CPUtime=1662.35 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1070563 0 0 0 166098 137 0 0 25 0 1 0 823536122 4312453120 1041208 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 1052845 1041208 584 1205 0 1051636 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 4211380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.99 4/555 5641
/proc/meminfo: memFree=17671368/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=4266708 CPUtime=1722.36 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1084409 0 0 0 172097 139 0 0 25 0 1 0 823536122 4369108992 1055054 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 1066677 1055054 584 1205 0 1065468 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 4266708
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.99 4/555 5642
/proc/meminfo: memFree=17563456/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=4371056 CPUtime=1782.35 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1110334 0 0 0 178093 142 0 0 25 0 1 0 823536122 4475961344 1080979 33554432000 4194304 9128323 140733396742640 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 1092764 1080979 584 1205 0 1091555 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 4371056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.99 4/555 5643
/proc/meminfo: memFree=17547436/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=4387336 CPUtime=1800.06 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1114719 0 0 0 179863 143 0 0 25 0 1 0 823536122 4492632064 1085364 33554432000 4194304 9128323 140733396742640 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5579/statm: 1096834 1085364 584 1205 0 1095625 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 4387336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.02 1.99 4/557 5645
/proc/meminfo: memFree=17560564/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=4369576 CPUtime=1800.66 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1115061 0 0 0 179923 143 0 0 25 0 1 0 823536122 4474445824 1081057 33554432000 4194304 9128323 140733396742640 18446744073709551615 6885312 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5579/statm: 1092394 1081057 594 1205 0 1091185 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 4369576
[startup+1800.8 s]
/proc/loadavg: 2.00 2.02 1.99 4/557 5645
/proc/meminfo: memFree=17560564/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=3967040 CPUtime=1800.85 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1115068 0 0 0 179940 145 0 0 25 0 1 0 823536122 4062248960 980835 33554432000 4194304 9128323 140733396742640 18446744073709551615 4790992 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5579/statm: 991760 980835 601 1205 0 990551 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 3967040
[startup+1800.9 s]
/proc/loadavg: 2.00 2.02 1.99 4/557 5645
/proc/meminfo: memFree=17560564/32950928 swapFree=67056580/67111528
[pid=5579] ppid=5576 vsize=2931080 CPUtime=1800.95 cores=1,3,5,7
/proc/5579/stat : 5579 (scip-2.0.1.4.li) R 5576 5579 3492 0 -1 4202496 1115083 0 0 0 179941 154 0 0 25 0 1 0 823536122 3001425920 431529 33554432000 4194304 9128323 140733396742640 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5579/statm: 732770 431529 616 1205 0 731561 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 2931080
Child status: 0
Real time (s): 1800.97
CPU time (s): 1801.04
CPU user time (s): 1799.42
CPU system time (s): 1.61675
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 4387336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 1.61675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1115085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 19687
runsolver used 9.2106 second user time and 25.3152 second system time
The end