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-3742976-1338793131.opb>
0.28/0.34 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.28/0.34 c problem read
0.28/0.34 c presolving settings loaded
0.49/0.55 c presolving:
0.59/0.69 c (round 1) 126 del vars, 3 del conss, 0 add conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.68/0.75 c (round 2) 1372 del vars, 1254 del conss, 0 add conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.68/0.79 c (round 3) 2024 del vars, 1906 del conss, 0 add conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.78/0.84 c (round 4) 2475 del vars, 2357 del conss, 0 add conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
0.78/0.89 c (round 5) 2838 del vars, 2720 del conss, 0 add conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.88/0.93 c (round 6) 3150 del vars, 3032 del conss, 0 add conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
0.88/0.98 c (round 7) 3418 del vars, 3300 del conss, 0 add conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
0.99/1.02 c (round 8) 3571 del vars, 3453 del conss, 0 add conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
0.99/1.06 c (round 9) 3629 del vars, 3511 del conss, 0 add conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
0.99/1.09 c (round 10) 3654 del vars, 3536 del conss, 0 add conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
177.95/178.02 c (round 11) 3720 del vars, 4088 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 8924290 impls, 551 clqs
178.06/178.16 c (round 12) 3720 del vars, 4153 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 8924460 impls, 551 clqs
181.95/182.00 c (round 13) 3774 del vars, 4153 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9910386 impls, 551 clqs
181.95/182.07 c (round 14) 3774 del vars, 4207 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9910386 impls, 551 clqs
218.03/218.15 c (218.2s) probing: 1000/37282 (2.7%) - 117 fixings, 9 aggregations, 1485554 implications, 0 bound changes
272.22/272.38 c (272.4s) probing: 2000/37282 (5.4%) - 118 fixings, 29 aggregations, 3650551 implications, 0 bound changes
340.81/340.96 c (341.0s) probing: 3000/37282 (8.0%) - 122 fixings, 39 aggregations, 6378217 implications, 0 bound changes
468.18/468.30 c (468.3s) probing: 4000/37282 (10.7%) - 122 fixings, 46 aggregations, 10501244 implications, 0 bound changes
485.88/486.05 c (round 15) 3824 del vars, 4207 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36636582 impls, 551 clqs
485.99/486.12 c (round 16) 3824 del vars, 4257 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36636582 impls, 551 clqs
529.77/529.91 c (529.9s) probing: 5000/37282 (13.4%) - 123 fixings, 49 aggregations, 12184800 implications, 0 bound changes
672.25/672.42 c (672.4s) probing: 6000/37282 (16.1%) - 126 fixings, 52 aggregations, 16459695 implications, 0 bound changes
831.92/832.16 c (832.2s) probing: 7000/37282 (18.8%) - 128 fixings, 65 aggregations, 20492936 implications, 0 bound changes
1013.38/1013.64 c (1013.6s) probing: 8000/37282 (21.5%) - 130 fixings, 72 aggregations, 24856434 implications, 0 bound changes
1194.26/1194.56 c (1194.6s) probing: 9000/37282 (24.1%) - 131 fixings, 76 aggregations, 29314197 implications, 0 bound changes
1367.32/1367.61 c (1367.6s) probing: 10000/37282 (26.8%) - 133 fixings, 84 aggregations, 33282350 implications, 0 bound changes
1395.63/1395.99 c (round 17) 3874 del vars, 4257 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86081564 impls, 551 clqs
1395.72/1396.07 c (round 18) 3874 del vars, 4307 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86081564 impls, 551 clqs
1519.09/1519.48 c (1519.5s) probing: 11000/37282 (29.5%) - 135 fixings, 91 aggregations, 36689324 implications, 0 bound changes
1699.87/1700.21 c (1700.2s) probing: 12000/37282 (32.2%) - 137 fixings, 97 aggregations, 40886832 implications, 0 bound changes
1796.65/1797.03 c (1797.0s) probing: 12502/37282 (33.5%) - 137 fixings, 101 aggregations, 43111973 implications, 0 bound changes
1796.65/1797.03 c (1797.0s) probing aborted: solving stopped
1796.65/1797.04 c (round 19) 3893 del vars, 4307 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 105604744 impls, 551 clqs
1796.65/1797.04 c presolving (19 rounds):
1796.65/1797.04 c 3893 deleted vars, 4307 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.65/1797.04 c 105604744 implications, 551 cliques
1796.65/1797.04 c presolving was interrupted.
1796.65/1797.04 c Presolving Time: 1796.57
1796.65/1797.04 c - non default parameters ----------------------------------------------------------------------
1796.65/1797.04 c # SCIP version 2.0.1.5
1796.65/1797.04 c
1796.65/1797.04 c # frequency for displaying node information lines
1796.65/1797.04 c # [type: int, range: [-1,2147483647], default: 100]
1796.65/1797.04 c display/freq = 10000
1796.65/1797.04 c
1796.65/1797.04 c # maximal time in seconds to run
1796.65/1797.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.65/1797.04 c limits/time = 1797
1796.65/1797.04 c
1796.65/1797.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.65/1797.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.65/1797.04 c limits/memory = 13950
1796.65/1797.04 c
1796.65/1797.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.65/1797.04 c # [type: int, range: [1,2], default: 1]
1796.65/1797.04 c timing/clocktype = 2
1796.65/1797.04 c
1796.65/1797.04 c # belongs reading time to solving time?
1796.65/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.65/1797.04 c timing/reading = TRUE
1796.65/1797.04 c
1796.65/1797.04 c # should presolving try to simplify inequalities
1796.65/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.65/1797.04 c constraints/linear/simplifyinequalities = TRUE
1796.65/1797.04 c
1796.65/1797.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.65/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.65/1797.04 c constraints/indicator/addCouplingCons = TRUE
1796.65/1797.04 c
1796.65/1797.04 c # should presolving try to simplify knapsacks
1796.65/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.65/1797.04 c constraints/knapsack/simplifyinequalities = TRUE
1796.65/1797.04 c
1796.65/1797.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.65/1797.04 c # [type: int, range: [-1,2147483647], default: -1]
1796.65/1797.04 c separating/rapidlearning/freq = 0
1796.65/1797.04 c
1796.65/1797.04 c -----------------------------------------------------------------------------------------------
1796.65/1797.04 c start solving
1796.65/1797.05 c presolving:
1796.65/1797.05 c presolving (19 rounds):
1796.65/1797.05 c 3893 deleted vars, 4307 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.65/1797.05 c 105604744 implications, 551 cliques
1796.65/1797.05 c presolving was interrupted.
1796.65/1797.05 c Presolving Time: 1796.59
1796.65/1797.05 c
1796.65/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.05 c Solving Time (sec) : 1797.05
1796.65/1797.05 c Solving Nodes : 0
1796.65/1797.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.65/1797.05 s UNKNOWN
1796.65/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.05 c Total Time : 1797.05
1796.65/1797.05 c solving : 1797.05
1796.65/1797.05 c presolving : 1796.59 (included in solving)
1796.65/1797.05 c reading : 0.33 (included in solving)
1796.65/1797.05 c Original Problem :
1796.65/1797.05 c Problem name : HOME/instance-3742976-1338793131.opb
1796.65/1797.05 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.05 c Constraints : 41436 initial, 41436 maximal
1796.65/1797.05 c Presolved Problem :
1796.65/1797.05 c Problem name : t_HOME/instance-3742976-1338793131.opb
1796.65/1797.05 c Variables : 37044 (37044 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.05 c Constraints : 37129 initial, 37129 maximal
1796.65/1797.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.65/1797.05 c trivial : 0.04 123 0 0 0 0 0 0 0 0
1796.65/1797.05 c dualfix : 0.03 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c implics : 0.04 0 1 0 0 0 0 0 0 0
1796.65/1797.05 c probing : 1795.06 137 101 0 0 0 0 0 0 0
1796.65/1797.05 c knapsack : 0.14 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c setppc : 0.08 0 0 0 0 0 95 0 0 0
1796.65/1797.05 c linear : 0.74 3531 0 0 3531 0 4088 0 0 0
1796.65/1797.05 c logicor : 0.27 0 0 0 0 0 124 0 0 0
1796.65/1797.05 c root node : - 0 - - 0 - - - - -
1796.65/1797.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.65/1797.05 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c knapsack : 0+ 0 173189 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c setppc : 0+ 0 173187 0 0 0 0 22 0 0 0 0
1796.65/1797.05 c linear : 0+ 0 1409 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c logicor : 0+ 0 159986 0 0 0 0 5 0 0 0 0
1796.65/1797.05 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.65/1797.05 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.65/1797.05 c knapsack : 2.37 0.00 2.37 0.00 0.00 0.00 0.00
1796.65/1797.05 c setppc : 19.21 0.00 19.21 0.00 0.00 0.00 0.00
1796.65/1797.05 c linear : 1.37 0.00 1.37 0.00 0.00 0.00 0.00
1796.65/1797.05 c logicor : 69.22 0.00 69.22 0.00 0.00 0.00 0.00
1796.65/1797.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.65/1797.05 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.65/1797.05 c vbounds : 0 0 0 0
1796.65/1797.05 c rootredcost : 0 0 0 0
1796.65/1797.05 c pseudoobj : 0 0 0 0
1796.65/1797.05 c Propagator Timings : TotalTime Propagate Resprop
1796.65/1797.05 c vbounds : 0.12 0.12 0.00
1796.65/1797.05 c rootredcost : 0.11 0.11 0.00
1796.65/1797.05 c pseudoobj : 0.11 0.11 0.00
1796.65/1797.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.65/1797.05 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.65/1797.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.65/1797.05 c applied globally : - - - 0 0.0 - - -
1796.65/1797.05 c applied locally : - - - 0 0.0 - - -
1796.85/1797.24 c Time complete: 1796.9.
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-3742976-1338793131/watcher-3742976-1338793131 -o /tmp/evaluation-result-3742976-1338793131/solver-3742976-1338793131 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3742976-1338793131.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.06 2.01 3/172 842
/proc/meminfo: memFree=27151464/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=9040 CPUtime=0 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 1037 0 0 0 0 0 0 0 20 0 1 0 345438209 9256960 991 33554432000 4194304 9016284 140735500729072 140733937843640 4447263 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/842/statm: 2260 991 190 1178 0 1078 0
[startup+0.053378 s]
/proc/loadavg: 2.10 2.06 2.01 3/172 842
/proc/meminfo: memFree=27151464/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=22124 CPUtime=0.04 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 4531 0 0 0 4 0 0 0 20 0 1 0 345438209 22654976 4485 33554432000 4194304 9016284 140735500729072 140733937843640 6180656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/842/statm: 5531 4485 360 1178 0 4349 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22124
[startup+0.100278 s]
/proc/loadavg: 2.10 2.06 2.01 3/172 842
/proc/meminfo: memFree=27151464/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=28804 CPUtime=0.08 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 6194 0 0 0 8 0 0 0 20 0 1 0 345438209 29495296 6148 33554432000 4194304 9016284 140735500729072 140733937843640 4447111 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/842/statm: 7201 6148 360 1178 0 6019 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28804
[startup+0.300223 s]
/proc/loadavg: 2.10 2.06 2.01 3/172 842
/proc/meminfo: memFree=27151464/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=59260 CPUtime=0.28 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 13782 0 0 0 27 1 0 0 20 0 1 0 345438209 60682240 13736 33554432000 4194304 9016284 140735500729072 140735500592968 7747957 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/842/statm: 14815 13736 360 1178 0 13633 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 59260
[startup+0.700237 s]
/proc/loadavg: 2.10 2.06 2.01 3/172 842
/proc/meminfo: memFree=27151464/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=142412 CPUtime=0.68 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 34728 0 0 0 64 4 0 0 20 0 1 0 345438209 145829888 34145 33554432000 4194304 9016284 140735500729072 140735500724712 18446744073699066235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/842/statm: 35603 34145 492 1178 0 34421 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 142412
[startup+1.50024 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 847
/proc/meminfo: memFree=26877260/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=178552 CPUtime=1.49 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 45027 0 0 0 143 6 0 0 20 0 1 0 345438209 182837248 43155 33554432000 4194304 9016284 140735500729072 140735500725976 5251802 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/842/statm: 44638 43155 520 1178 0 43456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 178552
[startup+3.1002 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 847
/proc/meminfo: memFree=26749516/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=296572 CPUtime=3.09 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 72923 0 0 0 299 10 0 0 20 0 1 0 345438209 303689728 71051 33554432000 4194304 9016284 140735500729072 140735500724456 4460361 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/842/statm: 74143 71051 520 1178 0 72961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 296572
[startup+6.30039 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 847
/proc/meminfo: memFree=26501764/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=356276 CPUtime=6.28 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 87718 0 0 0 616 12 0 0 20 0 1 0 345438209 364826624 85846 33554432000 4194304 9016284 140735500729072 140735500724456 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 89069 85846 520 1178 0 87887 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 356276
[startup+12.7003 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 847
/proc/meminfo: memFree=26361344/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=413948 CPUtime=12.68 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 100843 0 0 0 1254 14 0 0 20 0 1 0 345438209 423882752 98968 33554432000 4194304 9016284 140735500729072 140735500724456 6480384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 103487 98968 520 1178 0 102305 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 413948
[startup+25.5004 s]
/proc/loadavg: 2.14 2.07 2.02 3/177 847
/proc/meminfo: memFree=26245032/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=455096 CPUtime=25.48 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 110988 0 0 0 2531 17 0 0 20 0 1 0 345438209 466018304 109113 33554432000 4194304 9016284 140735500729072 140735500724456 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 113774 109113 520 1178 0 112592 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 455096
[startup+51.1004 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 847
/proc/meminfo: memFree=26155828/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=500504 CPUtime=51.08 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 122610 0 0 0 5089 19 0 0 20 0 1 0 345438209 512516096 120975 33554432000 4194304 9016284 140735500729072 140735500724456 6480384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 125126 120975 520 1178 0 123944 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 500504
[startup+102.308 s]
/proc/loadavg: 2.04 2.05 2.01 3/178 850
/proc/meminfo: memFree=25975692/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=592396 CPUtime=102.27 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 144861 0 0 0 10204 23 0 0 20 0 1 0 345438209 606613504 144240 33554432000 4194304 9016284 140735500729072 140735500724456 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 148099 144240 520 1178 0 146917 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 592396
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 874
/proc/meminfo: memFree=25742980/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=727048 CPUtime=162.25 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 177297 0 0 0 16196 29 0 0 20 0 1 0 345438209 744497152 177664 33554432000 4194304 9016284 140735500729072 140735500724136 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 181762 177664 520 1178 0 180580 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 727048
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 874
/proc/meminfo: memFree=25493652/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=885540 CPUtime=222.24 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 216427 0 0 0 22188 36 0 0 20 0 1 0 345438209 906792960 217107 33554432000 4194304 9016284 140735500729072 140735500724456 6480433 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 221385 217107 539 1178 0 220203 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 885540
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 874
/proc/meminfo: memFree=25264528/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=1109740 CPUtime=282.22 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 271897 0 0 0 28178 44 0 0 20 0 1 0 345438209 1136373760 273072 33554432000 4194304 9016284 140735500729072 140735500724664 18446744073699066235 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 277435 273072 539 1178 0 276253 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1109740
[startup+342.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 874
/proc/meminfo: memFree=25015936/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=1324112 CPUtime=342.2 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 325104 0 0 0 34168 52 0 0 20 0 1 0 345438209 1355890688 326745 33554432000 4194304 9016284 140735500729072 140735500724664 6480407 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 331028 326745 539 1178 0 329846 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1324112
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 874
/proc/meminfo: memFree=24795492/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=1424488 CPUtime=402.19 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 350636 0 0 0 40164 55 0 0 20 0 1 0 345438209 1458675712 352773 33554432000 4194304 9016284 140735500729072 140735500724664 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 356122 352773 539 1178 0 354940 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1424488
[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 875
/proc/meminfo: memFree=24647464/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=1504968 CPUtime=462.19 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 369991 0 0 0 46160 59 0 0 20 0 1 0 345438209 1541087232 372131 33554432000 4194304 9016284 140735500729072 140735500724456 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 376242 372131 539 1178 0 375060 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1504968
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 875
/proc/meminfo: memFree=24437560/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=1604232 CPUtime=522.18 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 394146 0 0 0 52156 62 0 0 20 0 1 0 345438209 1642733568 396302 33554432000 4194304 9016284 140735500729072 140735500724664 5969765 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 401058 396302 539 1178 0 399876 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1604232
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 875
/proc/meminfo: memFree=24201244/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=1717432 CPUtime=582.16 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 423047 0 0 0 58150 66 0 0 20 0 1 0 345438209 1758650368 425293 33554432000 4194304 9016284 140735500729072 140735500724456 5315544 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/842/statm: 429358 425293 539 1178 0 428176 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1717432
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22386816/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=2527856 CPUtime=1122.06 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 621043 0 0 0 112110 96 0 0 20 0 1 0 345438209 2588524544 626366 33554432000 4194304 9016284 140735500729072 140735500724456 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 631964 626366 539 1178 0 630782 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 2527856
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 880
/proc/meminfo: memFree=22264456/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=2606836 CPUtime=1182.05 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 639966 0 0 0 118106 99 0 0 20 0 1 0 345438209 2669400064 645671 33554432000 4194304 9016284 140735500729072 140735500724664 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 651709 645671 539 1178 0 650527 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 2606836
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 880
/proc/meminfo: memFree=22092248/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=2678140 CPUtime=1242.04 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 657530 0 0 0 124103 101 0 0 20 0 1 0 345438209 2742415360 663821 33554432000 4194304 9016284 140735500729072 140735500724664 4937088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 669535 663821 539 1178 0 668353 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 2678140
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 883
/proc/meminfo: memFree=21922140/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=2775740 CPUtime=1302.04 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 680878 0 0 0 130098 106 0 0 20 0 1 0 345438209 2842357760 687694 33554432000 4194304 9016284 140735500729072 140735500724664 4347632 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 693935 687694 539 1178 0 692753 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 2775740
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 884
/proc/meminfo: memFree=21780880/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=2852952 CPUtime=1362.02 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 699663 0 0 0 136093 109 0 0 20 0 1 0 345438209 2921422848 707140 33554432000 4194304 9016284 140735500729072 140735500724664 5326152 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 713238 707140 539 1178 0 712056 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2852952
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 884
/proc/meminfo: memFree=21649964/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=2918244 CPUtime=1422.02 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 716457 0 0 0 142090 112 0 0 20 0 1 0 345438209 2988281856 724426 33554432000 4194304 9016284 140735500729072 140735500724664 6480433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 729561 724426 539 1178 0 728379 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2918244
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 884
/proc/meminfo: memFree=21420840/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=2991536 CPUtime=1482 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 734021 0 0 0 148085 115 0 0 20 0 1 0 345438209 3063332864 742764 33554432000 4194304 9016284 140735500729072 140735500724664 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 747884 742764 539 1178 0 746702 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2991536
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 884
/proc/meminfo: memFree=21281740/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3068016 CPUtime=1541.99 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 752526 0 0 0 154080 119 0 0 20 0 1 0 345438209 3141648384 761895 33554432000 4194304 9016284 140735500729072 140735500724664 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 767004 761895 539 1178 0 765822 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3068016
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 884
/proc/meminfo: memFree=21126024/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3136492 CPUtime=1601.98 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 769300 0 0 0 160076 122 0 0 20 0 1 0 345438209 3211767808 779299 33554432000 4194304 9016284 140735500729072 140735500724664 6480398 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 784123 779299 539 1178 0 782941 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 3136492
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 884
/proc/meminfo: memFree=20981352/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3214636 CPUtime=1661.97 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 788243 0 0 0 166072 125 0 0 20 0 1 0 345438209 3291787264 798924 33554432000 4194304 9016284 140735500729072 140735500724664 6480433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 803659 798924 539 1178 0 802477 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 3214636
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 885
/proc/meminfo: memFree=20912304/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3279572 CPUtime=1721.96 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 804291 0 0 0 172069 127 0 0 20 0 1 0 345438209 3358281728 815576 33554432000 4194304 9016284 140735500729072 140735500724664 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 819893 815576 539 1178 0 818711 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 3279572
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 885
/proc/meminfo: memFree=20804328/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3354768 CPUtime=1781.95 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 822201 0 0 0 178065 130 0 0 20 0 1 0 345438209 3435282432 834073 33554432000 4194304 9016284 140735500729072 140735500724664 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 838692 834073 539 1178 0 837510 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3354768
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 885
/proc/meminfo: memFree=20799492/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3358660 CPUtime=1785.15 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 823095 0 0 0 178385 130 0 0 20 0 1 0 345438209 3439267840 834967 33554432000 4194304 9016284 140735500729072 140735500724664 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 839665 834967 539 1178 0 838483 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 3358660
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 885
/proc/meminfo: memFree=20785092/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3364528 CPUtime=1791.56 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 824839 0 0 0 179025 131 0 0 20 0 1 0 345438209 3445276672 836759 33554432000 4194304 9016284 140735500729072 140735500724664 6480364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 841132 836759 539 1178 0 839950 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 3364528
[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 885
/proc/meminfo: memFree=20767608/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3374308 CPUtime=1794.75 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 827133 0 0 0 179344 131 0 0 20 0 1 0 345438209 3455291392 839053 33554432000 4194304 9016284 140735500729072 140735500724264 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 843577 839053 539 1178 0 842395 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 3374308
[startup+1795.9 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 885
/proc/meminfo: memFree=20767608/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3375292 CPUtime=1795.55 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 827202 0 0 0 179424 131 0 0 20 0 1 0 345438209 3456299008 839122 33554432000 4194304 9016284 140735500729072 140735500724264 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 843823 839122 539 1178 0 842641 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (KiB) 3375292
[startup+1796.7 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 885
/proc/meminfo: memFree=20765624/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3375292 CPUtime=1796.35 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 827262 0 0 0 179504 131 0 0 20 0 1 0 345438209 3456299008 839182 33554432000 4194304 9016284 140735500729072 140735500724664 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 843823 839182 539 1178 0 842641 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 3375292
[startup+1797.1 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 885
/proc/meminfo: memFree=20765624/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3372136 CPUtime=1796.75 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 827527 0 0 0 179544 131 0 0 20 0 1 0 345438209 3453067264 838402 33554432000 4194304 9016284 140735500729072 140735500724664 4687741 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 843034 838402 548 1178 0 841852 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 3372136
[startup+1797.2 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 885
/proc/meminfo: memFree=20765624/32873844 swapFree=7116/7116
[pid=842] ppid=839 vsize=3214816 CPUtime=1796.85 cores=0,2,4,6
/proc/842/stat : 842 (scip-2.0.1.4b_2) R 839 842 32548 0 -1 4202496 827527 0 0 0 179552 133 0 0 20 0 1 0 345438209 3291971584 776148 33554432000 4194304 9016284 140735500729072 140735500724664 8107690 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/842/statm: 803704 776148 548 1178 0 802522 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 3214816
Child status: 0
Real time (s): 1797.25
CPU time (s): 1796.91
CPU user time (s): 1795.55
CPU system time (s): 1.35579
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 3375292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.55
system time used= 1.35579
maximum resident set size= 3357776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 827545
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= 100
involuntary context switches= 2005
runsolver used 3.04554 second user time and 9.57554 second system time
The end