0.00/0.00 c SCIP version 2.0.1.5 [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-3489755-1307792518.opb>
1.39/1.41 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256243 constraints
1.39/1.41 c problem read
1.39/1.41 c presolving settings loaded
1.79/1.89 c presolving:
10.09/10.17 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
14.49/14.57 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
15.79/15.89 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
16.69/16.77 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
17.29/17.38 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
17.69/17.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
17.89/17.98 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
18.09/18.19 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
18.39/18.40 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
18.49/18.54 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
18.59/18.67 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
18.69/18.75 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
18.79/18.85 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
18.89/18.91 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
18.89/18.96 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
19.59/19.61 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
20.19/20.26 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
845.51/845.57 c (845.6s) probing: 1000/49484 (2.0%) - 30 fixings, 12 aggregations, 13490013 implications, 0 bound changes
1434.13/1434.17 c (1434.2s) probing: 2000/49484 (4.0%) - 35 fixings, 12 aggregations, 22032393 implications, 0 bound changes
1592.14/1592.17 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
1596.04/1596.03 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
1797.75/1797.74 c (1797.7s) probing: 2516/49484 (5.1%) - 48 fixings, 16 aggregations, 25509286 implications, 0 bound changes
1797.75/1797.74 c (1797.7s) probing aborted: solving stopped
1797.75/1797.74 c (round 20) 23430 del vars, 91127 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 331 chg coeffs, 165896 upgd conss, 111227769 impls, 575 clqs
1797.75/1797.74 c presolving (20 rounds):
1797.75/1797.74 c 23430 deleted vars, 91127 deleted constraints, 12 added constraints, 18558 tightened bounds, 0 added holes, 44 changed sides, 331 changed coefficients
1797.75/1797.74 c 111227769 implications, 575 cliques
1797.75/1797.74 c presolving was interrupted.
1797.75/1797.74 c Presolving Time: 1795.98
1797.75/1797.74 c - non default parameters ----------------------------------------------------------------------
1797.75/1797.74 c # SCIP version 2.0.1.5
1797.75/1797.74 c
1797.75/1797.74 c # frequency for displaying node information lines
1797.75/1797.74 c # [type: int, range: [-1,2147483647], default: 100]
1797.75/1797.74 c display/freq = 10000
1797.75/1797.74 c
1797.75/1797.74 c # maximal time in seconds to run
1797.75/1797.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.75/1797.74 c limits/time = 1797
1797.75/1797.74 c
1797.75/1797.74 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.75/1797.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.75/1797.74 c limits/memory = 13950
1797.75/1797.74 c
1797.75/1797.74 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.75/1797.74 c # [type: int, range: [1,2], default: 1]
1797.75/1797.74 c timing/clocktype = 2
1797.75/1797.74 c
1797.75/1797.74 c # belongs reading time to solving time?
1797.75/1797.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.75/1797.74 c timing/reading = TRUE
1797.75/1797.74 c
1797.75/1797.74 c # should presolving try to simplify inequalities
1797.75/1797.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.75/1797.74 c constraints/linear/simplifyinequalities = TRUE
1797.75/1797.74 c
1797.75/1797.74 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.75/1797.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.75/1797.74 c constraints/indicator/addCouplingCons = TRUE
1797.75/1797.74 c
1797.75/1797.74 c # should presolving try to simplify knapsacks
1797.75/1797.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.75/1797.74 c constraints/knapsack/simplifyinequalities = TRUE
1797.75/1797.74 c
1797.75/1797.74 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.75/1797.74 c # [type: int, range: [-1,2147483647], default: -1]
1797.75/1797.74 c separating/rapidlearning/freq = 0
1797.75/1797.74 c
1797.75/1797.74 c -----------------------------------------------------------------------------------------------
1797.75/1797.74 c start solving
1797.75/1797.77 c presolving:
1797.75/1797.77 c presolving (20 rounds):
1797.75/1797.77 c 23430 deleted vars, 91127 deleted constraints, 12 added constraints, 18558 tightened bounds, 0 added holes, 44 changed sides, 331 changed coefficients
1797.75/1797.77 c 111227769 implications, 575 cliques
1797.75/1797.77 c presolving was interrupted.
1797.75/1797.77 c Presolving Time: 1796.01
1797.75/1797.77 c
1797.75/1797.77 c SCIP Status : solving was interrupted [time limit reached]
1797.75/1797.77 c Solving Time (sec) : 1797.77
1797.75/1797.77 c Solving Nodes : 0
1797.75/1797.77 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.75/1797.77 s UNKNOWN
1797.75/1797.77 c SCIP Status : solving was interrupted [time limit reached]
1797.75/1797.77 c Total Time : 1797.77
1797.75/1797.77 c solving : 1797.77
1797.75/1797.77 c presolving : 1796.01 (included in solving)
1797.75/1797.77 c reading : 1.41 (included in solving)
1797.75/1797.77 c Original Problem :
1797.75/1797.77 c Problem name : HOME/instance-3489755-1307792518.opb
1797.75/1797.77 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.75/1797.77 c Constraints : 256243 initial, 256243 maximal
1797.75/1797.77 c Presolved Problem :
1797.75/1797.77 c Problem name : t_HOME/instance-3489755-1307792518.opb
1797.75/1797.77 c Variables : 49412 (49412 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.75/1797.77 c Constraints : 165128 initial, 165128 maximal
1797.75/1797.77 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.75/1797.77 c trivial : 0.05 1034 0 0 0 0 0 0 0 0
1797.75/1797.77 c dualfix : 0.09 120 0 0 0 0 0 0 0 0
1797.75/1797.77 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.75/1797.77 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.75/1797.77 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.75/1797.77 c implics : 4.14 0 8 0 0 0 0 0 0 0
1797.75/1797.77 c probing : 1772.73 48 16 0 0 0 0 0 0 0
1797.75/1797.77 c knapsack : 1.31 0 0 0 0 0 0 12 21 314
1797.75/1797.77 c setppc : 0.35 0 0 0 0 0 772 0 0 0
1797.75/1797.77 c linear : 16.85 17524 4680 0 18558 0 90347 0 23 17
1797.75/1797.77 c logicor : 0.11 0 0 0 0 0 8 0 0 0
1797.75/1797.77 c root node : - 0 - - 0 - - - - -
1797.75/1797.77 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.75/1797.77 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.75/1797.77 c knapsack : 0+ 0 114396 0 0 0 0 21 0 0 0 0
1797.75/1797.77 c setppc : 0+ 0 114375 0 0 0 0 8 0 0 0 0
1797.75/1797.77 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.75/1797.77 c logicor : 0+ 0 103463 0 0 0 0 7 0 0 0 0
1797.75/1797.77 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.75/1797.77 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.75/1797.77 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.75/1797.77 c knapsack : 7.84 0.00 7.84 0.00 0.00 0.00 0.00
1797.75/1797.77 c setppc : 609.41 0.00 609.41 0.00 0.00 0.00 0.00
1797.75/1797.77 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.75/1797.77 c logicor : 10.24 0.00 10.24 0.00 0.00 0.00 0.00
1797.75/1797.77 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.75/1797.77 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.75/1797.77 c vbounds : 0 0 0 0
1797.75/1797.77 c rootredcost : 0 0 0 0
1797.75/1797.77 c pseudoobj : 0 0 0 0
1797.75/1797.77 c Propagator Timings : TotalTime Propagate Resprop
1797.75/1797.77 c vbounds : 0.04 0.04 0.00
1797.75/1797.77 c rootredcost : 0.03 0.03 0.00
1797.75/1797.77 c pseudoobj : 0.02 0.02 0.00
1797.75/1797.77 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.75/1797.77 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.75/1797.77 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.75/1797.77 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.75/1797.77 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.75/1797.77 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.75/1797.77 c applied globally : - - - 0 0.0 - - -
1797.75/1797.77 c applied locally : - - - 0 0.0 - - -
1798.35/1798.35 c Time complete: 1798.4.
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-3489755-1307792518/watcher-3489755-1307792518 -o /tmp/evaluation-result-3489755-1307792518/solver-3489755-1307792518 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489755-1307792518.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.01 1.23 1.61 2/181 11198
/proc/meminfo: memFree=31343540/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=12880 CPUtime=0 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 2180 0 0 0 0 0 0 0 21 0 1 0 890849667 13189120 2135 33554432000 4194304 9016284 140736203131472 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11198/statm: 3220 2139 353 1178 0 2038 0
[startup+0.0970329 s]
/proc/loadavg: 1.01 1.23 1.61 2/181 11198
/proc/meminfo: memFree=31343540/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=32264 CPUtime=0.09 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 7063 0 0 0 8 1 0 0 21 0 1 0 890849667 33038336 7018 33554432000 4194304 9016284 140736203131472 18446744073709551615 4445508 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11198/statm: 8066 7018 360 1178 0 6884 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32264
[startup+0.101031 s]
/proc/loadavg: 1.01 1.23 1.61 2/181 11198
/proc/meminfo: memFree=31343540/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=32396 CPUtime=0.09 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 7098 0 0 0 8 1 0 0 21 0 1 0 890849667 33173504 7053 33554432000 4194304 9016284 140736203131472 18446744073709551615 4760878 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11198/statm: 8099 7053 360 1178 0 6917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32396
[startup+0.300996 s]
/proc/loadavg: 1.01 1.23 1.61 2/181 11198
/proc/meminfo: memFree=31343540/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=59144 CPUtime=0.29 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 13784 0 0 0 28 1 0 0 22 0 1 0 890849667 60563456 13739 33554432000 4194304 9016284 140736203131472 18446744073709551615 4447114 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11198/statm: 14786 13739 360 1178 0 13604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59144
[startup+0.700937 s]
/proc/loadavg: 1.01 1.23 1.61 2/181 11198
/proc/meminfo: memFree=31343540/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=88700 CPUtime=0.69 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 21173 0 0 0 67 2 0 0 24 0 1 0 890849667 90828800 21128 33554432000 4194304 9016284 140736203131472 18446744073709551615 7987616 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11198/statm: 22175 21128 360 1178 0 20993 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88700
[startup+1.50078 s]
/proc/loadavg: 1.01 1.23 1.61 3/182 11199
/proc/meminfo: memFree=31133628/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=238860 CPUtime=1.49 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 58574 0 0 0 144 5 0 0 25 0 1 0 890849667 244592640 58483 33554432000 4194304 9016284 140736203131472 18446744073709551615 4328173 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 59924 58496 406 1178 0 58742 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 238860
[startup+3.10049 s]
/proc/loadavg: 1.01 1.23 1.61 3/182 11200
/proc/meminfo: memFree=30575996/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=516720 CPUtime=3.09 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 126881 0 0 0 296 13 0 0 25 0 1 0 890849667 529121280 126790 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 129180 126790 485 1178 0 127998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 516720
[startup+6.30091 s]
/proc/loadavg: 1.09 1.25 1.61 3/182 11200
/proc/meminfo: memFree=30059968/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=722440 CPUtime=6.29 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 178091 0 0 0 612 17 0 0 25 0 1 0 890849667 739778560 178000 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480271 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 180610 178000 485 1178 0 179428 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 722440
[startup+12.7007 s]
/proc/loadavg: 1.16 1.26 1.61 3/182 11200
/proc/meminfo: memFree=29593528/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=898264 CPUtime=12.69 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 219853 0 0 0 1247 22 0 0 25 0 1 0 890849667 919822336 219505 33554432000 4194304 9016284 140736203131472 18446744073709551615 6469166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 224566 219505 496 1178 0 223384 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 898264
[startup+25.5004 s]
/proc/loadavg: 1.35 1.29 1.62 3/182 11200
/proc/meminfo: memFree=29441904/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=964244 CPUtime=25.49 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 250784 0 0 0 2523 26 0 0 25 0 1 0 890849667 987385856 235765 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 241061 235765 542 1178 0 239879 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 964244
[startup+51.1008 s]
/proc/loadavg: 1.57 1.35 1.62 3/182 11201
/proc/meminfo: memFree=29359648/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=1005168 CPUtime=51.09 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 260909 0 0 0 5082 27 0 0 25 0 1 0 890849667 1029292032 245857 33554432000 4194304 9016284 140736203131472 18446744073709551615 4844124 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 251292 245857 542 1178 0 250110 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1005168
[startup+102.306 s]
/proc/loadavg: 1.81 1.45 1.64 3/182 11202
/proc/meminfo: memFree=29215792/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=1079208 CPUtime=102.3 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 279194 0 0 0 10201 29 0 0 25 0 1 0 890849667 1105108992 264142 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480224 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 269802 264142 542 1178 0 268620 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1079208
[startup+162.301 s]
/proc/loadavg: 1.93 1.55 1.66 3/182 11204
/proc/meminfo: memFree=28986844/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=1210464 CPUtime=162.29 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 311282 0 0 0 16197 32 0 0 25 0 1 0 890849667 1239515136 296230 33554432000 4194304 9016284 140736203131472 18446744073709551615 4318845 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 302616 296230 542 1178 0 301434 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1210464
[startup+222.301 s]
/proc/loadavg: 1.97 1.63 1.68 3/182 11205
/proc/meminfo: memFree=28809740/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=1310492 CPUtime=222.3 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 335581 0 0 0 22195 35 0 0 25 0 1 0 890849667 1341943808 320529 33554432000 4194304 9016284 140736203131472 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 327623 320529 542 1178 0 326441 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1310492
[startup+282.301 s]
/proc/loadavg: 1.99 1.69 1.70 3/182 11207
/proc/meminfo: memFree=28549684/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=1496364 CPUtime=282.3 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 381657 0 0 0 28189 41 0 0 25 0 1 0 890849667 1532276736 366605 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 374091 366605 542 1178 0 372909 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1496364
[startup+342.301 s]
/proc/loadavg: 2.05 1.76 1.72 3/182 11209
/proc/meminfo: memFree=28266944/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=1703272 CPUtime=342.3 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 433422 0 0 0 34182 48 0 0 25 0 1 0 890849667 1744150528 418370 33554432000 4194304 9016284 140736203131472 18446744073709551615 4330033 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 425818 418370 542 1178 0 424636 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1703272
[startup+402.301 s]
/proc/loadavg: 2.02 1.80 1.73 3/182 11210
/proc/meminfo: memFree=27950972/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=1860936 CPUtime=402.31 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 472444 0 0 0 40178 53 0 0 25 0 1 0 890849667 1905598464 457392 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 465234 457392 542 1178 0 464052 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1860936
[startup+462.301 s]
/proc/loadavg: 2.00 1.83 1.75 3/182 11212
/proc/meminfo: memFree=27651360/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=2015788 CPUtime=462.31 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 511383 0 0 0 46173 58 0 0 25 0 1 0 890849667 2064166912 496331 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 503947 496331 542 1178 0 502765 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2015788
[startup+522.301 s]
/proc/loadavg: 2.00 1.86 1.76 3/182 11213
/proc/meminfo: memFree=27311456/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=2167996 CPUtime=522.3 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 548752 0 0 0 52168 62 0 0 25 0 1 0 890849667 2220027904 533700 33554432000 4194304 9016284 140736203131472 18446744073709551615 5510764 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 541999 533700 542 1178 0 540817 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2167996
[startup+582.301 s]
/proc/loadavg: 2.00 1.88 1.77 3/182 11215
/proc/meminfo: memFree=27067764/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=2261092 CPUtime=582.3 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 571279 0 0 0 58164 66 0 0 25 0 1 0 890849667 2315358208 556227 33554432000 4194304 9016284 140736203131472 18446744073709551615 4460416 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 565273 556227 542 1178 0 564091 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2261092
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25300984/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3038044 CPUtime=1062.33 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 764459 0 0 0 106137 96 0 0 25 0 1 0 890849667 3110957056 749151 33554432000 4194304 9016284 140736203131472 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 759511 749151 547 1178 0 758329 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3038044
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.87 3/182 11229
/proc/meminfo: memFree=25105652/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3107136 CPUtime=1122.32 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 782298 0 0 0 112134 98 0 0 25 0 1 0 890849667 3181707264 766990 33554432000 4194304 9016284 140736203131472 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 776784 766990 547 1178 0 775602 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3107136
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 1.88 3/182 11240
/proc/meminfo: memFree=24959184/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3189484 CPUtime=1182.32 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 802883 0 0 0 118131 101 0 0 25 0 1 0 890849667 3266031616 787575 33554432000 4194304 9016284 140736203131472 18446744073709551615 7875258 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 797371 787575 547 1178 0 796189 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3189484
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 1.89 3/182 11242
/proc/meminfo: memFree=24736696/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3311352 CPUtime=1242.33 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 832654 0 0 0 124128 105 0 0 25 0 1 0 890849667 3390824448 817346 33554432000 4194304 9016284 140736203131472 18446744073709551615 5510733 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 827838 817346 547 1178 0 826656 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3311352
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.90 3/182 11243
/proc/meminfo: memFree=24571252/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3371572 CPUtime=1302.33 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 847607 0 0 0 130125 108 0 0 25 0 1 0 890849667 3452489728 832299 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480172 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 842893 832299 547 1178 0 841711 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3371572
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.90 3/182 11248
/proc/meminfo: memFree=24411004/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3475908 CPUtime=1362.33 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 873678 0 0 0 136121 112 0 0 25 0 1 0 890849667 3559329792 858370 33554432000 4194304 9016284 140736203131472 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 868977 858370 547 1178 0 867795 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3475908
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.91 3/182 11249
/proc/meminfo: memFree=24278628/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3550556 CPUtime=1422.34 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 892349 0 0 0 142120 114 0 0 25 0 1 0 890849667 3635769344 877041 33554432000 4194304 9016284 140736203131472 18446744073709551615 5154313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 887639 877041 547 1178 0 886457 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3550556
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/182 11251
/proc/meminfo: memFree=24169596/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3601956 CPUtime=1482.33 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 904816 0 0 0 148117 116 0 0 25 0 1 0 890849667 3688402944 889508 33554432000 4194304 9016284 140736203131472 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 900489 889508 547 1178 0 899307 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3601956
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11253
/proc/meminfo: memFree=24021884/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3653280 CPUtime=1542.34 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 918077 0 0 0 154116 118 0 0 25 0 1 0 890849667 3740958720 902769 33554432000 4194304 9016284 140736203131472 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 913320 902769 547 1178 0 912138 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3653280
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11254
/proc/meminfo: memFree=23893512/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3738384 CPUtime=1602.34 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 939226 0 0 0 160113 121 0 0 25 0 1 0 890849667 3828105216 923918 33554432000 4194304 9016284 140736203131472 18446744073709551615 4887822 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 934596 923918 547 1178 0 933414 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3738384
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11256
/proc/meminfo: memFree=23802104/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3773484 CPUtime=1662.34 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 948416 0 0 0 166112 122 0 0 25 0 1 0 890849667 3864047616 933108 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480237 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 943371 933108 547 1178 0 942189 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3773484
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 11257
/proc/meminfo: memFree=23698796/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3811248 CPUtime=1722.34 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 957220 0 0 0 172110 124 0 0 25 0 1 0 890849667 3902717952 941912 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 952812 941912 547 1178 0 951630 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3811248
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/182 11259
/proc/meminfo: memFree=23615184/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3848164 CPUtime=1782.34 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 966626 0 0 0 178109 125 0 0 25 0 1 0 890849667 3940519936 951318 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 962041 951318 547 1178 0 960859 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3848164
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 1.91 3/182 11259
/proc/meminfo: memFree=23602652/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3853120 CPUtime=1791.95 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 967820 0 0 0 179069 126 0 0 25 0 1 0 890849667 3945594880 952512 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 963280 952512 547 1178 0 962098 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 3853120
[startup+1795.1 s]
/proc/loadavg: 2.06 2.01 1.91 3/182 11259
/proc/meminfo: memFree=23597192/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3855020 CPUtime=1795.15 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 968232 0 0 0 179389 126 0 0 25 0 1 0 890849667 3947540480 952924 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 963755 952924 547 1178 0 962573 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3855020
[startup+1796.7 s]
/proc/loadavg: 2.06 2.01 1.91 3/182 11259
/proc/meminfo: memFree=23596200/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3856028 CPUtime=1796.75 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 968456 0 0 0 179549 126 0 0 25 0 1 0 890849667 3948572672 953148 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 964007 953148 547 1178 0 962825 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 3856028
[startup+1797.5 s]
/proc/loadavg: 2.05 2.01 1.91 3/182 11259
/proc/meminfo: memFree=23593100/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3856028 CPUtime=1797.55 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 968476 0 0 0 179629 126 0 0 25 0 1 0 890849667 3948572672 953168 33554432000 4194304 9016284 140736203131472 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11198/statm: 964007 953168 547 1178 0 962825 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 3856028
[startup+1797.9 s]
/proc/loadavg: 2.05 2.01 1.91 3/182 11259
/proc/meminfo: memFree=23593100/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=3852356 CPUtime=1797.94 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 969485 0 0 0 179668 126 0 0 25 0 1 0 890849667 3944812544 952326 33554432000 4194304 9016284 140736203131472 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11198/statm: 963056 952326 556 1178 0 961874 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 3852356
[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/182 11259
/proc/meminfo: memFree=23593100/32951124 swapFree=67054536/67111528
[pid=11198] ppid=11196 vsize=2700980 CPUtime=1798.35 cores=1,3,5,7
/proc/11198/stat : 11198 (scip-2.0.1.4b_2) R 11196 11198 8117 0 -1 4202496 969498 0 0 0 179700 135 0 0 25 0 1 0 890849667 2765803520 399688 33554432000 4194304 9016284 140736203131472 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11198/statm: 675245 399176 569 1178 0 674063 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (KiB) 2700980
Child status: 0
Real time (s): 1798.36
CPU time (s): 1798.41
CPU user time (s): 1797
CPU system time (s): 1.41079
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3856184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797
system time used= 1.41078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 969503
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= 3
involuntary context switches= 952
runsolver used 2.89356 second user time and 6.74897 second system time
The end