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-3489729-1307792033.opb>
1.29/1.33 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234174 constraints
1.29/1.33 c problem read
1.29/1.33 c presolving settings loaded
1.79/1.80 c presolving:
9.39/9.47 c (round 1) 4989 del vars, 15107 del conss, 0 add conss, 3397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15995960 impls, 0 clqs
13.89/13.93 c (round 2) 13023 del vars, 41242 del conss, 0 add conss, 11114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034190 impls, 0 clqs
15.30/15.32 c (round 3) 15798 del vars, 53921 del conss, 0 add conss, 12723 chg bounds, 12 chg sides, 23 chg coeffs, 0 upgd conss, 16049347 impls, 1 clqs
15.89/15.94 c (round 4) 16871 del vars, 58273 del conss, 0 add conss, 13376 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16055855 impls, 1 clqs
16.19/16.21 c (round 5) 17354 del vars, 60336 del conss, 0 add conss, 13625 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16059677 impls, 1 clqs
16.29/16.39 c (round 6) 17571 del vars, 61247 del conss, 0 add conss, 13756 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16061618 impls, 1 clqs
16.40/16.50 c (round 7) 17663 del vars, 61671 del conss, 0 add conss, 13804 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16062405 impls, 1 clqs
16.50/16.58 c (round 8) 17715 del vars, 61894 del conss, 0 add conss, 13830 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063007 impls, 1 clqs
16.59/16.66 c (round 9) 17745 del vars, 62029 del conss, 0 add conss, 13848 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063265 impls, 1 clqs
16.69/16.72 c (round 10) 17759 del vars, 62105 del conss, 0 add conss, 13855 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063543 impls, 1 clqs
16.69/16.78 c (round 11) 17769 del vars, 62151 del conss, 0 add conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063564 impls, 1 clqs
17.39/17.45 c (round 12) 17769 del vars, 62159 del conss, 0 add conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 172015 upgd conss, 16063564 impls, 1 clqs
18.39/18.43 c (round 13) 17769 del vars, 62170 del conss, 35 add conss, 13862 chg bounds, 65 chg sides, 266 chg coeffs, 172015 upgd conss, 16064800 impls, 799 clqs
18.79/18.86 c (round 14) 17769 del vars, 62175 del conss, 46 add conss, 13862 chg bounds, 89 chg sides, 351 chg coeffs, 172015 upgd conss, 16064800 impls, 857 clqs
789.81/789.84 c (789.8s) probing: 1000/55073 (1.8%) - 19 fixings, 0 aggregations, 11484602 implications, 0 bound changes
1331.12/1331.13 c (1331.1s) probing: 2000/55073 (3.6%) - 19 fixings, 0 aggregations, 17569872 implications, 0 bound changes
1415.62/1415.67 c (1415.7s) probing: 2161/55073 (3.9%) - 19 fixings, 0 aggregations, 18477249 implications, 0 bound changes
1415.62/1415.67 c (1415.7s) probing aborted: 2000/2000 successive useless probings
1415.62/1415.67 c (round 15) 17788 del vars, 62178 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 371 chg coeffs, 172015 upgd conss, 78972094 impls, 860 clqs
1416.62/1416.63 c (round 16) 17789 del vars, 63416 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 430 chg coeffs, 172015 upgd conss, 78976546 impls, 860 clqs
1597.92/1597.94 c (round 17) 17839 del vars, 63417 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 82139904 impls, 872 clqs
1599.22/1599.29 c (round 18) 17849 del vars, 63613 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 82140082 impls, 872 clqs
1797.03/1797.05 c (1797.0s) probing: 2587/55073 (4.7%) - 86 fixings, 30 aggregations, 21467415 implications, 0 bound changes
1797.03/1797.05 c (1797.0s) probing aborted: solving stopped
1797.03/1797.05 c (round 19) 17896 del vars, 63622 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 87421034 impls, 872 clqs
1797.03/1797.05 c presolving (19 rounds):
1797.03/1797.05 c 17896 deleted vars, 63622 deleted constraints, 52 added constraints, 13862 tightened bounds, 0 added holes, 95 changed sides, 431 changed coefficients
1797.03/1797.05 c 87421034 implications, 872 cliques
1797.03/1797.05 c presolving was interrupted.
1797.03/1797.05 c Presolving Time: 1795.38
1797.03/1797.05 c - non default parameters ----------------------------------------------------------------------
1797.03/1797.05 c # SCIP version 2.0.1.5
1797.03/1797.05 c
1797.03/1797.05 c # frequency for displaying node information lines
1797.03/1797.05 c # [type: int, range: [-1,2147483647], default: 100]
1797.03/1797.05 c display/freq = 10000
1797.03/1797.05 c
1797.03/1797.05 c # maximal time in seconds to run
1797.03/1797.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.05 c limits/time = 1797
1797.03/1797.05 c
1797.03/1797.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.03/1797.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.05 c limits/memory = 13950
1797.03/1797.05 c
1797.03/1797.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.03/1797.05 c # [type: int, range: [1,2], default: 1]
1797.03/1797.05 c timing/clocktype = 2
1797.03/1797.05 c
1797.03/1797.05 c # belongs reading time to solving time?
1797.03/1797.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.05 c timing/reading = TRUE
1797.03/1797.05 c
1797.03/1797.05 c # should presolving try to simplify inequalities
1797.03/1797.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.05 c constraints/linear/simplifyinequalities = TRUE
1797.03/1797.05 c
1797.03/1797.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.03/1797.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.05 c constraints/indicator/addCouplingCons = TRUE
1797.03/1797.05 c
1797.03/1797.05 c # should presolving try to simplify knapsacks
1797.03/1797.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.05 c constraints/knapsack/simplifyinequalities = TRUE
1797.03/1797.05 c
1797.03/1797.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.03/1797.05 c # [type: int, range: [-1,2147483647], default: -1]
1797.03/1797.05 c separating/rapidlearning/freq = 0
1797.03/1797.05 c
1797.03/1797.05 c -----------------------------------------------------------------------------------------------
1797.03/1797.05 c start solving
1797.03/1797.08 c presolving:
1797.03/1797.08 c presolving (19 rounds):
1797.03/1797.08 c 17896 deleted vars, 63622 deleted constraints, 52 added constraints, 13862 tightened bounds, 0 added holes, 95 changed sides, 431 changed coefficients
1797.03/1797.08 c 87421034 implications, 872 cliques
1797.03/1797.08 c presolving was interrupted.
1797.03/1797.08 c Presolving Time: 1795.41
1797.03/1797.08 c
1797.03/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.08 c Solving Time (sec) : 1797.08
1797.03/1797.08 c Solving Nodes : 0
1797.03/1797.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.08 s UNKNOWN
1797.03/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.08 c Total Time : 1797.08
1797.03/1797.08 c solving : 1797.08
1797.03/1797.08 c presolving : 1795.41 (included in solving)
1797.03/1797.08 c reading : 1.33 (included in solving)
1797.03/1797.08 c Original Problem :
1797.03/1797.08 c Problem name : HOME/instance-3489729-1307792033.opb
1797.03/1797.08 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.08 c Constraints : 234174 initial, 234174 maximal
1797.03/1797.08 c Presolved Problem :
1797.03/1797.08 c Problem name : t_HOME/instance-3489729-1307792033.opb
1797.03/1797.08 c Variables : 54946 (54946 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.08 c Constraints : 170604 initial, 170604 maximal
1797.03/1797.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.08 c trivial : 0.06 1263 0 0 0 0 0 0 0 0
1797.03/1797.08 c dualfix : 0.09 120 0 0 0 0 0 0 0 0
1797.03/1797.08 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.08 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.08 c implics : 2.07 0 10 0 0 0 0 0 0 0
1797.03/1797.08 c probing : 1775.10 86 30 0 0 0 0 0 0 0
1797.03/1797.08 c knapsack : 2.02 0 0 0 0 0 1 52 77 402
1797.03/1797.08 c setppc : 0.61 1 0 0 0 0 1444 0 0 0
1797.03/1797.08 c linear : 14.95 12599 3787 0 13862 0 62159 0 18 29
1797.03/1797.08 c logicor : 0.14 0 0 0 0 0 18 0 0 0
1797.03/1797.08 c root node : - 0 - - 0 - - - - -
1797.03/1797.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.08 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.03/1797.08 c knapsack : 0+ 0 115296 0 0 0 0 21 0 0 0 0
1797.03/1797.08 c setppc : 0+ 0 115275 0 0 0 0 27 0 0 0 0
1797.03/1797.08 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.03/1797.08 c logicor : 0+ 0 104654 0 0 0 0 22 0 0 0 0
1797.03/1797.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.03/1797.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.08 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.08 c knapsack : 8.89 0.00 8.89 0.00 0.00 0.00 0.00
1797.03/1797.08 c setppc : 711.39 0.00 711.39 0.00 0.00 0.00 0.00
1797.03/1797.08 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.08 c logicor : 8.86 0.00 8.86 0.00 0.00 0.00 0.00
1797.03/1797.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.08 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.08 c vbounds : 0 0 0 0
1797.03/1797.08 c rootredcost : 0 0 0 0
1797.03/1797.08 c pseudoobj : 0 0 0 0
1797.03/1797.08 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.08 c vbounds : 0.05 0.05 0.00
1797.03/1797.08 c rootredcost : 0.03 0.03 0.00
1797.03/1797.08 c pseudoobj : 0.02 0.02 0.00
1797.03/1797.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.08 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.08 c applied globally : - - - 0 0.0 - - -
1797.03/1797.08 c applied locally : - - - 0 0.0 - - -
1797.63/1797.66 c Time complete: 1797.7.
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-3489729-1307792033/watcher-3489729-1307792033 -o /tmp/evaluation-result-3489729-1307792033/solver-3489729-1307792033 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489729-1307792033.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: 2.00 1.99 1.91 2/172 11234
/proc/meminfo: memFree=31656156/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=12692 CPUtime=0 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 2167 0 0 0 0 0 0 0 25 0 1 0 890802964 12996608 2122 33554432000 4194304 9016284 140733205709424 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11234/statm: 3218 2132 353 1178 0 2036 0
[startup+0.0617821 s]
/proc/loadavg: 2.00 1.99 1.91 2/172 11234
/proc/meminfo: memFree=31656156/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=25352 CPUtime=0.05 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 5309 0 0 0 5 0 0 0 25 0 1 0 890802964 25960448 5264 33554432000 4194304 9016284 140733205709424 18446744073709551615 4447091 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11234/statm: 6338 5264 360 1178 0 5156 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25352
[startup+0.100682 s]
/proc/loadavg: 2.00 1.99 1.91 2/172 11234
/proc/meminfo: memFree=31656156/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=32388 CPUtime=0.09 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 7097 0 0 0 9 0 0 0 25 0 1 0 890802964 33165312 7052 33554432000 4194304 9016284 140733205709424 18446744073709551615 7750594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11234/statm: 8097 7052 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32388
[startup+0.300647 s]
/proc/loadavg: 2.00 1.99 1.91 2/172 11234
/proc/meminfo: memFree=31656156/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=59136 CPUtime=0.29 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 13783 0 0 0 28 1 0 0 25 0 1 0 890802964 60555264 13738 33554432000 4194304 9016284 140733205709424 18446744073709551615 7749778 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11234/statm: 14784 13738 360 1178 0 13602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59136
[startup+0.700578 s]
/proc/loadavg: 2.00 1.99 1.91 2/172 11234
/proc/meminfo: memFree=31656156/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=89836 CPUtime=0.69 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 21446 0 0 0 67 2 0 0 25 0 1 0 890802964 91992064 21401 33554432000 4194304 9016284 140733205709424 18446744073709551615 6177927 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11234/statm: 22459 21401 360 1178 0 21277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89836
[startup+1.50044 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11244
/proc/meminfo: memFree=31433060/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=281276 CPUtime=1.49 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 69175 0 0 0 142 7 0 0 25 0 1 0 890802964 288026624 69111 33554432000 4194304 9016284 140733205709424 18446744073709551615 5207960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11234/statm: 70319 69118 406 1178 0 69137 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 281276
[startup+3.10016 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11244
/proc/meminfo: memFree=30869604/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=508144 CPUtime=3.09 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 124411 0 0 0 296 13 0 0 25 0 1 0 890802964 520339456 124347 33554432000 4194304 9016284 140733205709424 18446744073709551615 7875415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11234/statm: 127036 124347 485 1178 0 125854 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 508144
[startup+6.30065 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11244
/proc/meminfo: memFree=30342100/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=727328 CPUtime=6.29 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 178082 0 0 0 609 20 0 0 25 0 1 0 890802964 744783872 178018 33554432000 4194304 9016284 140733205709424 18446744073709551615 4919365 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11234/statm: 181832 178018 485 1178 0 180650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 727328
[startup+12.7005 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11244
/proc/meminfo: memFree=29948544/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=861872 CPUtime=12.69 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 210549 0 0 0 1246 23 0 0 25 0 1 0 890802964 882556928 210228 33554432000 4194304 9016284 140733205709424 18446744073709551615 6481206 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11234/statm: 215468 210228 496 1178 0 214286 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 861872
[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11244
/proc/meminfo: memFree=29769892/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=976296 CPUtime=25.49 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 250886 0 0 0 2522 27 0 0 25 0 1 0 890802964 999727104 237790 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11234/statm: 244074 237790 625 1178 0 242892 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 976296
[startup+51.1008 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11245
/proc/meminfo: memFree=29693076/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=1021084 CPUtime=51.09 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 261384 0 0 0 5081 28 0 0 25 0 1 0 890802964 1045590016 248288 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11234/statm: 255271 248288 625 1178 0 254089 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1021084
[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11246
/proc/meminfo: memFree=29552204/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=1082884 CPUtime=102.29 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 276776 0 0 0 10199 30 0 0 25 0 1 0 890802964 1108873216 263680 33554432000 4194304 9016284 140733205709424 18446744073709551615 7875365 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11234/statm: 270721 263680 625 1178 0 269539 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1082884
[startup+162.3 s]
/proc/loadavg: 2.05 2.00 1.92 3/178 11248
/proc/meminfo: memFree=29278120/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=1222160 CPUtime=162.29 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 310843 0 0 0 16195 34 0 0 25 0 1 0 890802964 1251491840 297747 33554432000 4194304 9016284 140733205709424 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11234/statm: 305540 297747 625 1178 0 304358 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1222160
[startup+222.301 s]
/proc/loadavg: 2.02 2.00 1.92 3/178 11250
/proc/meminfo: memFree=29006016/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=1291704 CPUtime=222.29 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 328509 0 0 0 22193 36 0 0 25 0 1 0 890802964 1322704896 315413 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11234/statm: 322926 315413 625 1178 0 321744 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1291704
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11251
/proc/meminfo: memFree=28699940/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=1417360 CPUtime=282.29 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 359802 0 0 0 28189 40 0 0 25 0 1 0 890802964 1451376640 346706 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11234/statm: 354340 346706 625 1178 0 353158 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1417360
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11253
/proc/meminfo: memFree=28496784/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=1525924 CPUtime=342.3 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 386360 0 0 0 34187 43 0 0 25 0 1 0 890802964 1562546176 373264 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11234/statm: 381481 373264 625 1178 0 380299 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1525924
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11254
/proc/meminfo: memFree=28215376/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=1684364 CPUtime=402.3 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 425491 0 0 0 40182 48 0 0 25 0 1 0 890802964 1724788736 412395 33554432000 4194304 9016284 140733205709424 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 421091 412395 625 1178 0 419909 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1684364
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 11256
/proc/meminfo: memFree=28021752/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=1787400 CPUtime=462.3 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 451392 0 0 0 46179 51 0 0 25 0 1 0 890802964 1830297600 438296 33554432000 4194304 9016284 140733205709424 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 446850 438296 625 1178 0 445668 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1787400
[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 11258
/proc/meminfo: memFree=27772208/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=1936012 CPUtime=522.3 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 488253 0 0 0 52174 56 0 0 25 0 1 0 890802964 1982476288 475157 33554432000 4194304 9016284 140733205709424 18446744073709551615 4318269 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 484003 475157 625 1178 0 482821 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1936012
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11259
/proc/meminfo: memFree=27618144/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2011824 CPUtime=582.3 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 506753 0 0 0 58172 58 0 0 25 0 1 0 890802964 2060107776 493657 33554432000 4194304 9016284 140733205709424 18446744073709551615 6469459 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 502956 493657 625 1178 0 501774 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2011824
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26049940/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2700896 CPUtime=1122.31 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 677365 0 0 0 112150 81 0 0 25 0 1 0 890802964 2765717504 664269 33554432000 4194304 9016284 140733205709424 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 675224 664269 630 1178 0 674042 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2700896
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11275
/proc/meminfo: memFree=25960600/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2744888 CPUtime=1182.32 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 688931 0 0 0 118149 83 0 0 25 0 1 0 890802964 2810765312 675835 33554432000 4194304 9016284 140733205709424 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 686222 675835 630 1178 0 685040 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2744888
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11277
/proc/meminfo: memFree=25809256/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2793208 CPUtime=1242.31 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 700113 0 0 0 124146 85 0 0 25 0 1 0 890802964 2860244992 687017 33554432000 4194304 9016284 140733205709424 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 698302 687017 630 1178 0 697120 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2793208
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 11278
/proc/meminfo: memFree=25691408/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2842748 CPUtime=1302.32 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 712803 0 0 0 130145 87 0 0 25 0 1 0 890802964 2910973952 699707 33554432000 4194304 9016284 140733205709424 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 710687 699707 630 1178 0 709505 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2842748
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 11280
/proc/meminfo: memFree=25589544/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2887028 CPUtime=1362.32 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 723774 0 0 0 136143 89 0 0 25 0 1 0 890802964 2956316672 710678 33554432000 4194304 9016284 140733205709424 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 721757 710678 630 1178 0 720575 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2887028
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11282
/proc/meminfo: memFree=25485828/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2929288 CPUtime=1422.32 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 734714 0 0 0 142141 91 0 0 25 0 1 0 890802964 2999590912 721618 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 732322 721618 630 1178 0 731140 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 2929288
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11283
/proc/meminfo: memFree=25399584/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2949948 CPUtime=1482.32 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 741073 0 0 0 148140 92 0 0 25 0 1 0 890802964 3020746752 727977 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 737487 727977 630 1178 0 736305 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2949948
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 11285
/proc/meminfo: memFree=25290788/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2989104 CPUtime=1542.32 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 751186 0 0 0 154138 94 0 0 25 0 1 0 890802964 3060842496 738090 33554432000 4194304 9016284 140733205709424 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 747276 738090 630 1178 0 746094 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2989104
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 11286
/proc/meminfo: memFree=25197728/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=3025548 CPUtime=1602.32 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 760149 0 0 0 160138 94 0 0 25 0 1 0 890802964 3098161152 747053 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480172 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 756387 747053 630 1178 0 755205 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3025548
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 11297
/proc/meminfo: memFree=25098632/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=3056816 CPUtime=1662.32 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 767244 0 0 0 166137 95 0 0 25 0 1 0 890802964 3130179584 754148 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 764204 754148 630 1178 0 763022 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3056816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11299
/proc/meminfo: memFree=24984128/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=3099704 CPUtime=1722.33 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 777960 0 0 0 172137 96 0 0 25 0 1 0 890802964 3174096896 764864 33554432000 4194304 9016284 140733205709424 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 774926 764864 630 1178 0 773744 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3099704
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11300
/proc/meminfo: memFree=24887604/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=3143592 CPUtime=1782.33 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 788514 0 0 0 178136 97 0 0 25 0 1 0 890802964 3219038208 775418 33554432000 4194304 9016284 140733205709424 18446744073709551615 4460344 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 785898 775418 630 1178 0 784716 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3143592
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11300
/proc/meminfo: memFree=24881280/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=3145584 CPUtime=1785.53 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 789070 0 0 0 178456 97 0 0 25 0 1 0 890802964 3221078016 775974 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 786396 775974 630 1178 0 785214 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 3145584
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11300
/proc/meminfo: memFree=24863412/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=3151636 CPUtime=1791.93 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 790601 0 0 0 179096 97 0 0 25 0 1 0 890802964 3227275264 777505 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 787909 777505 630 1178 0 786727 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 3151636
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11301
/proc/meminfo: memFree=24857088/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=3152616 CPUtime=1795.14 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 791074 0 0 0 179416 98 0 0 25 0 1 0 890802964 3228278784 777978 33554432000 4194304 9016284 140733205709424 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 788154 777978 630 1178 0 786972 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 3152616
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11301
/proc/meminfo: memFree=24854360/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=3155600 CPUtime=1796.73 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 791571 0 0 0 179575 98 0 0 25 0 1 0 890802964 3231334400 778475 33554432000 4194304 9016284 140733205709424 18446744073709551615 6476010 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11234/statm: 788900 778475 630 1178 0 787718 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 3155600
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11301
/proc/meminfo: memFree=24854360/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=3154872 CPUtime=1797.13 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 792470 0 0 0 179615 98 0 0 25 0 1 0 890802964 3230588928 778513 33554432000 4194304 9016284 140733205709424 18446744073709551615 4321103 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11234/statm: 788718 778513 639 1178 0 787536 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 3154872
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11301
/proc/meminfo: memFree=24853864/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2765724 CPUtime=1797.53 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 792474 0 0 0 179654 99 0 0 25 0 1 0 890802964 2832101376 681676 33554432000 4194304 9016284 140733205709424 18446744073709551615 6812695 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11234/statm: 691431 681676 643 1178 0 690249 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 2765724
[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11301
/proc/meminfo: memFree=24853864/32950928 swapFree=67079488/67111528
[pid=11234] ppid=11232 vsize=2085488 CPUtime=1797.63 cores=1,3,5,7
/proc/11234/stat : 11234 (scip-2.0.1.4b_2) R 11232 11234 7911 0 -1 4202496 792483 0 0 0 179660 103 0 0 25 0 1 0 890802964 2135539712 452338 33554432000 4194304 9016284 140733205709424 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11234/statm: 521372 452338 652 1178 0 520190 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 2085488
Child status: 0
Real time (s): 1797.67
CPU time (s): 1797.71
CPU user time (s): 1796.6
CPU system time (s): 1.10183
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3155600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.6
system time used= 1.10183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 792488
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= 1127
runsolver used 2.71259 second user time and 6.44802 second system time
The end