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-3740185-1338739043.opb>
0.59/0.64 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 117921 constraints
0.59/0.64 c problem read
0.59/0.64 c presolving settings loaded
0.78/0.87 c presolving:
4.58/4.60 c (round 1) 1992 del vars, 5313 del conss, 0 add conss, 1367 chg bounds, 6 chg sides, 4 chg coeffs, 0 upgd conss, 8057790 impls, 0 clqs
5.60/5.67 c (round 2) 4546 del vars, 14987 del conss, 0 add conss, 3749 chg bounds, 11 chg sides, 9 chg coeffs, 0 upgd conss, 8069720 impls, 0 clqs
5.99/6.01 c (round 3) 5623 del vars, 19330 del conss, 0 add conss, 4386 chg bounds, 73 chg sides, 54 chg coeffs, 0 upgd conss, 8076925 impls, 0 clqs
6.09/6.18 c (round 4) 6128 del vars, 21345 del conss, 0 add conss, 4731 chg bounds, 111 chg sides, 87 chg coeffs, 0 upgd conss, 8079678 impls, 0 clqs
6.19/6.27 c (round 5) 6346 del vars, 22208 del conss, 0 add conss, 4864 chg bounds, 117 chg sides, 102 chg coeffs, 0 upgd conss, 8080598 impls, 0 clqs
6.29/6.30 c (round 6) 6374 del vars, 22456 del conss, 0 add conss, 4877 chg bounds, 121 chg sides, 107 chg coeffs, 0 upgd conss, 8080720 impls, 0 clqs
6.29/6.33 c (round 7) 6376 del vars, 22486 del conss, 0 add conss, 4879 chg bounds, 121 chg sides, 107 chg coeffs, 0 upgd conss, 8080720 impls, 0 clqs
333.71/333.81 c (333.8s) probing: 1000/30343 (3.3%) - 7 fixings, 1 aggregations, 6358159 implications, 0 bound changes
553.37/553.52 c (553.5s) probing: 2000/30343 (6.6%) - 7 fixings, 1 aggregations, 10673199 implications, 0 bound changes
576.36/576.58 c (576.6s) probing: 2105/30343 (6.9%) - 7 fixings, 1 aggregations, 11112164 implications, 0 bound changes
576.36/576.58 c (576.6s) probing aborted: 2000/2000 successive useless probings
576.36/576.58 c (round 8) 6387 del vars, 22491 del conss, 0 add conss, 4882 chg bounds, 121 chg sides, 107 chg coeffs, 0 upgd conss, 41740550 impls, 0 clqs
576.46/576.69 c (round 9) 6387 del vars, 22747 del conss, 0 add conss, 4882 chg bounds, 121 chg sides, 107 chg coeffs, 0 upgd conss, 41740550 impls, 0 clqs
576.86/577.09 c (round 10) 6387 del vars, 22747 del conss, 0 add conss, 4882 chg bounds, 121 chg sides, 107 chg coeffs, 95174 upgd conss, 41740550 impls, 0 clqs
577.37/577.59 c (round 11) 6387 del vars, 22748 del conss, 19 add conss, 4882 chg bounds, 144 chg sides, 1350 chg coeffs, 95174 upgd conss, 41740718 impls, 975 clqs
577.86/578.03 c (round 12) 6387 del vars, 22748 del conss, 24 add conss, 4882 chg bounds, 149 chg sides, 1387 chg coeffs, 95174 upgd conss, 41740718 impls, 1530 clqs
847.00/847.23 c (847.2s) probing: 3000/30343 (9.9%) - 29 fixings, 15 aggregations, 16509839 implications, 0 bound changes
1154.14/1154.47 c (1154.5s) probing: 4000/30343 (13.2%) - 29 fixings, 15 aggregations, 24172200 implications, 0 bound changes
1258.13/1258.43 c (1258.4s) probing: 4397/30343 (14.5%) - 29 fixings, 15 aggregations, 26824399 implications, 0 bound changes
1258.13/1258.43 c (1258.4s) probing aborted: 2000/2000 successive useless probings
1258.13/1258.43 c (round 13) 6423 del vars, 22748 del conss, 24 add conss, 4882 chg bounds, 150 chg sides, 1394 chg coeffs, 95174 upgd conss, 79996938 impls, 1530 clqs
1258.62/1258.91 c (round 14) 6423 del vars, 22876 del conss, 24 add conss, 4882 chg bounds, 150 chg sides, 1403 chg coeffs, 95174 upgd conss, 79996938 impls, 1530 clqs
1398.57/1398.94 c (1398.9s) probing: 5000/30343 (16.5%) - 38 fixings, 19 aggregations, 29465082 implications, 0 bound changes
1596.44/1596.89 c (1596.9s) probing: 6000/30343 (19.8%) - 38 fixings, 22 aggregations, 33355575 implications, 0 bound changes
1795.30/1795.71 c (1795.7s) probing: 7000/30343 (23.1%) - 38 fixings, 22 aggregations, 36685301 implications, 0 bound changes
1796.60/1797.04 c (1797.0s) probing: 7008/30343 (23.1%) - 38 fixings, 22 aggregations, 36703948 implications, 0 bound changes
1796.60/1797.04 c (1797.0s) probing aborted: solving stopped
1796.60/1797.04 c (round 15) 6439 del vars, 22876 del conss, 24 add conss, 4882 chg bounds, 150 chg sides, 1404 chg coeffs, 95174 upgd conss, 103516374 impls, 1532 clqs
1796.60/1797.04 c presolving (15 rounds):
1796.60/1797.04 c 6439 deleted vars, 22876 deleted constraints, 24 added constraints, 4882 tightened bounds, 0 added holes, 150 changed sides, 1404 changed coefficients
1796.60/1797.04 c 103516374 implications, 1532 cliques
1796.60/1797.04 c presolving was interrupted.
1796.60/1797.04 c Presolving Time: 1796.24
1796.60/1797.04 c - non default parameters ----------------------------------------------------------------------
1796.60/1797.04 c # SCIP version 2.0.1.5
1796.60/1797.04 c
1796.60/1797.04 c # frequency for displaying node information lines
1796.60/1797.04 c # [type: int, range: [-1,2147483647], default: 100]
1796.60/1797.04 c display/freq = 10000
1796.60/1797.04 c
1796.60/1797.04 c # maximal time in seconds to run
1796.60/1797.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.60/1797.04 c limits/time = 1797
1796.60/1797.04 c
1796.60/1797.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.60/1797.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.60/1797.04 c limits/memory = 13950
1796.60/1797.04 c
1796.60/1797.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.60/1797.04 c # [type: int, range: [1,2], default: 1]
1796.60/1797.04 c timing/clocktype = 2
1796.60/1797.04 c
1796.60/1797.04 c # belongs reading time to solving time?
1796.60/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.60/1797.04 c timing/reading = TRUE
1796.60/1797.04 c
1796.60/1797.04 c # should presolving try to simplify inequalities
1796.60/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.60/1797.04 c constraints/linear/simplifyinequalities = TRUE
1796.60/1797.04 c
1796.60/1797.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.60/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.60/1797.04 c constraints/indicator/addCouplingCons = TRUE
1796.60/1797.04 c
1796.60/1797.04 c # should presolving try to simplify knapsacks
1796.60/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.60/1797.04 c constraints/knapsack/simplifyinequalities = TRUE
1796.60/1797.04 c
1796.60/1797.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.60/1797.04 c # [type: int, range: [-1,2147483647], default: -1]
1796.60/1797.04 c separating/rapidlearning/freq = 0
1796.60/1797.04 c
1796.60/1797.04 c -----------------------------------------------------------------------------------------------
1796.60/1797.04 c start solving
1796.60/1797.06 c presolving:
1796.60/1797.06 c presolving (15 rounds):
1796.60/1797.06 c 6439 deleted vars, 22876 deleted constraints, 24 added constraints, 4882 tightened bounds, 0 added holes, 150 changed sides, 1404 changed coefficients
1796.60/1797.06 c 103516374 implications, 1532 cliques
1796.60/1797.06 c presolving was interrupted.
1796.60/1797.06 c Presolving Time: 1796.25
1796.60/1797.06 c
1796.60/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1796.60/1797.06 c Solving Time (sec) : 1797.05
1796.60/1797.06 c Solving Nodes : 0
1796.60/1797.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.60/1797.06 s UNKNOWN
1796.60/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1796.60/1797.06 c Total Time : 1797.05
1796.60/1797.06 c solving : 1797.05
1796.60/1797.06 c presolving : 1796.25 (included in solving)
1796.60/1797.06 c reading : 0.64 (included in solving)
1796.60/1797.06 c Original Problem :
1796.60/1797.06 c Problem name : HOME/instance-3740185-1338739043.opb
1796.60/1797.06 c Variables : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.60/1797.06 c Constraints : 117921 initial, 117921 maximal
1796.60/1797.06 c Presolved Problem :
1796.60/1797.06 c Problem name : t_HOME/instance-3740185-1338739043.opb
1796.60/1797.06 c Variables : 30283 (30283 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.60/1797.06 c Constraints : 95069 initial, 95069 maximal
1796.60/1797.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.60/1797.06 c trivial : 0.02 448 0 0 0 0 0 0 0 0
1796.60/1797.06 c dualfix : 0.04 61 0 0 0 0 0 0 0 0
1796.60/1797.06 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.60/1797.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.60/1797.06 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.60/1797.06 c implics : 0.72 0 0 0 0 0 0 0 0 0
1796.60/1797.06 c probing : 1788.16 38 22 0 0 0 0 0 0 0
1796.60/1797.06 c knapsack : 1.21 0 0 0 0 0 1 24 29 1297
1796.60/1797.06 c setppc : 0.27 0 0 0 0 0 124 0 0 0
1796.60/1797.06 c linear : 5.58 4434 1436 0 4882 0 22747 0 121 107
1796.60/1797.06 c logicor : 0.08 0 0 0 0 0 4 0 0 0
1796.60/1797.06 c root node : - 0 - - 0 - - - - -
1796.60/1797.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.60/1797.06 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.60/1797.06 c knapsack : 0+ 0 197545 0 0 0 0 4 0 0 0 0
1796.60/1797.06 c setppc : 0+ 0 197541 0 0 0 0 8 0 0 0 0
1796.60/1797.06 c linear : 0+ 0 114701 0 0 0 0 4 0 0 0 0
1796.60/1797.06 c logicor : 0+ 0 185255 0 0 0 0 9 0 0 0 0
1796.60/1797.06 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.60/1797.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.60/1797.06 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.60/1797.06 c knapsack : 9.02 0.00 9.02 0.00 0.00 0.00 0.00
1796.60/1797.06 c setppc : 451.03 0.00 451.03 0.00 0.00 0.00 0.00
1796.60/1797.06 c linear : 282.24 0.00 282.24 0.00 0.00 0.00 0.00
1796.60/1797.06 c logicor : 10.21 0.00 10.21 0.00 0.00 0.00 0.00
1796.60/1797.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.60/1797.06 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.60/1797.06 c vbounds : 0 0 0 0
1796.60/1797.06 c rootredcost : 0 0 0 0
1796.60/1797.06 c pseudoobj : 0 0 0 0
1796.60/1797.06 c Propagator Timings : TotalTime Propagate Resprop
1796.60/1797.06 c vbounds : 0.11 0.11 0.00
1796.60/1797.06 c rootredcost : 0.07 0.07 0.00
1796.60/1797.06 c pseudoobj : 0.03 0.03 0.00
1796.60/1797.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.60/1797.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.60/1797.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.60/1797.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.60/1797.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.60/1797.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.60/1797.06 c applied globally : - - - 0 0.0 - - -
1796.60/1797.06 c applied locally : - - - 0 0.0 - - -
1796.91/1797.37 c Time complete: 1796.97.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3740185-1338739043/watcher-3740185-1338739043 -o /tmp/evaluation-result-3740185-1338739043/solver-3740185-1338739043 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3740185-1338739043.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 2.00 2.00 3/176 16883
/proc/meminfo: memFree=27075484/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=9324 CPUtime=0 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 1442 0 0 0 0 0 0 0 20 0 1 0 340030399 9547776 1396 33554432000 4194304 9016284 140736470798512 140734793592888 6287696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16883/statm: 2331 1401 301 1178 0 1149 0
[startup+0.103448 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16883
/proc/meminfo: memFree=27075484/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=32268 CPUtime=0.09 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 7065 0 0 0 8 1 0 0 20 0 1 0 340030399 33042432 7019 33554432000 4194304 9016284 140736470798512 140734793592888 7805977 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16883/statm: 8067 7019 360 1178 0 6885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32268
[startup+0.200227 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16883
/proc/meminfo: memFree=27075484/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=41380 CPUtime=0.19 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 9342 0 0 0 18 1 0 0 20 0 1 0 340030399 42373120 9296 33554432000 4194304 9016284 140736470798512 140734793592888 4447120 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16883/statm: 10345 9296 360 1178 0 9163 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41380
[startup+0.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16883
/proc/meminfo: memFree=27075484/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=48700 CPUtime=0.28 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 11157 0 0 0 27 1 0 0 20 0 1 0 340030399 49868800 11111 33554432000 4194304 9016284 140736470798512 140734793592888 7870473 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16883/statm: 12175 11111 360 1178 0 10993 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48700
[startup+0.700161 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16883
/proc/meminfo: memFree=27075484/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=127684 CPUtime=0.69 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 30801 0 0 0 64 5 0 0 20 0 1 0 340030399 130748416 30751 33554432000 4194304 9016284 140736470798512 140734793592888 4318833 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/16883/statm: 31921 30751 406 1178 0 30739 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 127684
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16884
/proc/meminfo: memFree=26862088/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=266296 CPUtime=1.48 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 64775 0 0 0 138 10 0 0 20 0 1 0 340030399 272687104 64669 33554432000 4194304 9016284 140736470798512 140736470796088 7875373 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/16883/statm: 66574 64669 485 1178 0 65392 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 266296
[startup+3.10015 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16884
/proc/meminfo: memFree=26763756/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=379836 CPUtime=3.09 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 92700 0 0 0 295 14 0 0 20 0 1 0 340030399 388952064 92594 33554432000 4194304 9016284 140736470798512 140736470793864 6480184 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/16883/statm: 94959 92594 485 1178 0 93777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 379836
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16884
/proc/meminfo: memFree=26636864/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=456156 CPUtime=6.29 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 110272 0 0 0 613 16 0 0 20 0 1 0 340030399 467103744 109909 33554432000 4194304 9016284 140736470798512 140736470794184 5961392 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/16883/statm: 114039 109909 496 1178 0 112857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 456156
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16884
/proc/meminfo: memFree=26558032/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=538752 CPUtime=12.68 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 130269 0 0 0 1250 18 0 0 20 0 1 0 340030399 551682048 129781 33554432000 4194304 9016284 140736470798512 140736470793896 6480360 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/16883/statm: 134688 129781 507 1178 0 133506 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 538752
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16884
/proc/meminfo: memFree=26549808/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=556540 CPUtime=25.48 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 134455 0 0 0 2529 19 0 0 20 0 1 0 340030399 569896960 133967 33554432000 4194304 9016284 140736470798512 140736470793896 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 139135 133967 507 1178 0 137953 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 556540
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16884
/proc/meminfo: memFree=26470448/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=629632 CPUtime=51.08 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 152275 0 0 0 5085 23 0 0 20 0 1 0 340030399 644743168 151787 33554432000 4194304 9016284 140736470798512 140736470794104 5252912 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 157408 151787 507 1178 0 156226 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 629632
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16884
/proc/meminfo: memFree=26328772/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=771624 CPUtime=102.28 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 187426 0 0 0 10200 28 0 0 20 0 1 0 340030399 790142976 186936 33554432000 4194304 9016284 140736470798512 140736470793896 5228151 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 192906 186936 507 1178 0 191724 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 771624
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16887
/proc/meminfo: memFree=26175892/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=930536 CPUtime=162.26 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 225771 0 0 0 16192 34 0 0 20 0 1 0 340030399 952868864 225670 33554432000 4194304 9016284 140736470798512 140736470794104 6480229 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 232634 225670 507 1178 0 231452 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 930536
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16909
/proc/meminfo: memFree=26054036/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=1048984 CPUtime=222.25 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 255180 0 0 0 22186 39 0 0 20 0 1 0 340030399 1074159616 255285 33554432000 4194304 9016284 140736470798512 140736470793896 5257461 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 262246 255285 507 1178 0 261064 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1048984
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16910
/proc/meminfo: memFree=25950576/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=1150848 CPUtime=282.23 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 280575 0 0 0 28179 44 0 0 20 0 1 0 340030399 1178468352 281475 33554432000 4194304 9016284 140736470798512 140736470794104 6480233 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 287712 281475 507 1178 0 286530 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1150848
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16910
/proc/meminfo: memFree=25855872/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=1240736 CPUtime=342.22 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 303298 0 0 0 34173 49 0 0 20 0 1 0 340030399 1270513664 304933 33554432000 4194304 9016284 140736470798512 140736470794104 5257461 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 310184 304933 512 1178 0 309002 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1240736
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16910
/proc/meminfo: memFree=25776044/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=1320332 CPUtime=402.2 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 322857 0 0 0 40166 54 0 0 20 0 1 0 340030399 1352019968 325113 33554432000 4194304 9016284 140736470798512 140736470794120 5257461 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 330083 325113 512 1178 0 328901 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1320332
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16910
/proc/meminfo: memFree=25701052/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=1390876 CPUtime=462.18 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 340928 0 0 0 46160 58 0 0 20 0 1 0 340030399 1424257024 343637 33554432000 4194304 9016284 140736470798512 140736470794120 5257461 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 347719 343637 512 1178 0 346537 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1390876
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16910
/proc/meminfo: memFree=25619240/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=1470460 CPUtime=522.18 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 360790 0 0 0 52156 62 0 0 20 0 1 0 340030399 1505751040 363607 33554432000 4194304 9016284 140736470798512 140736470794104 5257454 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 367615 363607 512 1178 0 366433 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1470460
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16911
/proc/meminfo: memFree=25514384/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=1576972 CPUtime=582.16 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 390858 0 0 0 58148 68 0 0 20 0 1 0 340030399 1614819328 389762 33554432000 4194304 9016284 140736470798512 140736470794104 4848231 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 394243 389762 543 1178 0 393061 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1576972
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23937096/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=2640440 CPUtime=1122.04 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 652201 0 0 0 112085 119 0 0 20 0 1 0 340030399 2703810560 654556 33554432000 4194304 9016284 140736470798512 140736470793896 6480184 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 660110 654556 543 1178 0 658928 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 2640440
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16954
/proc/meminfo: memFree=23662340/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=2768484 CPUtime=1182.03 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 683775 0 0 0 118077 126 0 0 20 0 1 0 340030399 2834927616 686560 33554432000 4194304 9016284 140736470798512 140736470794104 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 692121 686560 543 1178 0 690939 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 2768484
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16954
/proc/meminfo: memFree=23408168/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=2871220 CPUtime=1242.02 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 709301 0 0 0 124071 131 0 0 20 0 1 0 340030399 2940129280 712314 33554432000 4194304 9016284 140736470798512 140736470794104 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 717805 712314 543 1178 0 716623 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 2871220
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16954
/proc/meminfo: memFree=23232696/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=2951460 CPUtime=1302.01 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 728256 0 0 0 130066 135 0 0 20 0 1 0 340030399 3022295040 732577 33554432000 4194304 9016284 140736470798512 140736470793912 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 737865 732577 543 1178 0 736683 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 2951460
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16957
/proc/meminfo: memFree=23072112/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3036508 CPUtime=1361.99 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 748986 0 0 0 136059 140 0 0 20 0 1 0 340030399 3109384192 753509 33554432000 4194304 9016284 140736470798512 140736470794104 6480379 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 759127 753509 543 1178 0 757945 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 3036508
[startup+1422.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 16957
/proc/meminfo: memFree=22915312/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3124428 CPUtime=1421.98 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 770832 0 0 0 142054 144 0 0 20 0 1 0 340030399 3199414272 775669 33554432000 4194304 9016284 140736470798512 140736470794104 4460421 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 781107 775669 543 1178 0 779925 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 3124428
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 16958
/proc/meminfo: memFree=22752528/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3208672 CPUtime=1481.96 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 791801 0 0 0 148049 147 0 0 20 0 1 0 340030399 3285680128 797214 33554432000 4194304 9016284 140736470798512 140736470794104 6480211 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 802168 797214 543 1178 0 800986 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 3208672
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16958
/proc/meminfo: memFree=22598796/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3286200 CPUtime=1541.95 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 810583 0 0 0 154044 151 0 0 20 0 1 0 340030399 3365068800 816411 33554432000 4194304 9016284 140736470798512 140736470794104 4982525 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 821550 816411 543 1178 0 820368 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 3286200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16958
/proc/meminfo: memFree=22441468/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3384080 CPUtime=1601.95 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 834660 0 0 0 160038 157 0 0 20 0 1 0 340030399 3465297920 840623 33554432000 4194304 9016284 140736470798512 140736470794104 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 846020 840623 543 1178 0 844838 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 3384080
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16958
/proc/meminfo: memFree=22159604/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3483184 CPUtime=1661.93 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 859334 0 0 0 166032 161 0 0 20 0 1 0 340030399 3566780416 865551 33554432000 4194304 9016284 140736470798512 140736470794024 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 870796 865551 543 1178 0 869614 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 3483184
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16958
/proc/meminfo: memFree=22070360/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3571504 CPUtime=1721.92 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 881558 0 0 0 172026 166 0 0 20 0 1 0 340030399 3657220096 887941 33554432000 4194304 9016284 140736470798512 140736470794104 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 892876 887941 543 1178 0 891694 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 3571504
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16961
/proc/meminfo: memFree=22002588/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3637328 CPUtime=1781.91 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 897780 0 0 0 178022 169 0 0 20 0 1 0 340030399 3724623872 904441 33554432000 4194304 9016284 140736470798512 140736470794104 4347916 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 909332 904441 543 1178 0 908150 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 3637328
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16961
/proc/meminfo: memFree=21997984/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3641364 CPUtime=1785.2 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 898815 0 0 0 178351 169 0 0 20 0 1 0 340030399 3728756736 905501 33554432000 4194304 9016284 140736470798512 140736470794104 5519463 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 910341 905501 543 1178 0 909159 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 3641364
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16961
/proc/meminfo: memFree=21990676/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3649380 CPUtime=1791.61 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 900700 0 0 0 178991 170 0 0 20 0 1 0 340030399 3736965120 907386 33554432000 4194304 9016284 140736470798512 140736470793896 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 912345 907386 543 1178 0 911163 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 3649380
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16961
/proc/meminfo: memFree=21987064/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3652368 CPUtime=1794.81 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 901454 0 0 0 179311 170 0 0 20 0 1 0 340030399 3740024832 908176 33554432000 4194304 9016284 140736470798512 140736470794104 6480421 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 913092 908176 543 1178 0 911910 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 3652368
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16961
/proc/meminfo: memFree=21987064/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3652368 CPUtime=1795.6 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 901517 0 0 0 179390 170 0 0 20 0 1 0 340030399 3740024832 908239 33554432000 4194304 9016284 140736470798512 140736470794104 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 913092 908239 543 1178 0 911910 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 3652368
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16961
/proc/meminfo: memFree=21986568/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3652368 CPUtime=1796.4 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 901639 0 0 0 179470 170 0 0 20 0 1 0 340030399 3740024832 908361 33554432000 4194304 9016284 140736470798512 140736470793064 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 913092 908361 543 1178 0 911910 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 3652368
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16961
/proc/meminfo: memFree=21986568/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3634456 CPUtime=1796.81 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 902047 0 0 0 179510 171 0 0 20 0 1 0 340030399 3721682944 903819 33554432000 4194304 9016284 140736470798512 140736470793064 7933303 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 908614 903819 552 1178 0 907432 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 3634456
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16961
/proc/meminfo: memFree=21986568/32873648 swapFree=6860/6860
[pid=16883] ppid=16881 vsize=3485108 CPUtime=1796.91 cores=1,3,5,7
/proc/16883/stat : 16883 (scip-2.0.1.4b_2) R 16881 16883 13307 0 -1 4202496 902051 0 0 0 179519 172 0 0 20 0 1 0 340030399 3568750592 866829 33554432000 4194304 9016284 140736470798512 140736470793064 7933303 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16883/statm: 871277 866829 556 1178 0 870095 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 3485108
Child status: 0
Real time (s): 1797.37
CPU time (s): 1796.99
CPU user time (s): 1795.21
CPU system time (s): 1.77873
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 3653364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.21
system time used= 1.77873
maximum resident set size= 3635064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 902065
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= 161
involuntary context switches= 1881
runsolver used 3.20351 second user time and 8.96564 second system time
The end