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-3742910-1338792124.opb>
0.28/0.32 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.28/0.32 c problem read
0.28/0.32 c presolving settings loaded
0.48/0.50 c presolving:
0.48/0.59 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.59/0.62 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.59/0.64 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.59/0.66 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.59/0.68 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.69/0.70 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.69/0.72 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.69/0.73 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.69/0.75 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.69/0.76 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
145.57/145.62 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
145.67/145.72 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
148.96/149.07 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
149.06/149.12 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
182.95/183.09 c (183.1s) probing: 1000/37282 (2.7%) - 117 fixings, 9 aggregations, 1485554 implications, 0 bound changes
236.75/236.82 c (236.8s) probing: 2000/37282 (5.4%) - 118 fixings, 29 aggregations, 3650551 implications, 0 bound changes
304.83/304.99 c (305.0s) probing: 3000/37282 (8.0%) - 122 fixings, 39 aggregations, 6378217 implications, 0 bound changes
432.62/432.78 c (432.8s) probing: 4000/37282 (10.7%) - 122 fixings, 46 aggregations, 10501244 implications, 0 bound changes
450.52/450.62 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
450.52/450.68 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
494.31/494.48 c (494.5s) probing: 5000/37282 (13.4%) - 123 fixings, 49 aggregations, 12184800 implications, 0 bound changes
636.59/636.75 c (636.7s) probing: 6000/37282 (16.1%) - 126 fixings, 52 aggregations, 16459695 implications, 0 bound changes
794.06/794.26 c (794.3s) probing: 7000/37282 (18.8%) - 128 fixings, 65 aggregations, 20492936 implications, 0 bound changes
972.53/972.77 c (972.8s) probing: 8000/37282 (21.5%) - 130 fixings, 72 aggregations, 24856434 implications, 0 bound changes
1150.00/1150.23 c (1150.2s) probing: 9000/37282 (24.1%) - 131 fixings, 76 aggregations, 29314197 implications, 0 bound changes
1317.17/1317.44 c (1317.4s) probing: 10000/37282 (26.8%) - 133 fixings, 84 aggregations, 33282350 implications, 0 bound changes
1344.57/1344.87 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
1344.67/1344.92 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
1463.75/1464.09 c (1464.1s) probing: 11000/37282 (29.5%) - 135 fixings, 91 aggregations, 36689324 implications, 0 bound changes
1639.52/1639.83 c (1639.8s) probing: 12000/37282 (32.2%) - 137 fixings, 97 aggregations, 40886832 implications, 0 bound changes
1796.70/1797.06 c (1797.1s) probing: 12928/37282 (34.7%) - 138 fixings, 105 aggregations, 44455575 implications, 0 bound changes
1796.70/1797.06 c (1797.1s) probing aborted: solving stopped
1796.70/1797.06 c (round 19) 3898 del vars, 4307 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 108723582 impls, 551 clqs
1796.70/1797.06 c presolving (19 rounds):
1796.70/1797.06 c 3898 deleted vars, 4307 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.70/1797.06 c 108723582 implications, 551 cliques
1796.70/1797.06 c presolving was interrupted.
1796.70/1797.06 c Presolving Time: 1796.63
1796.70/1797.06 c - non default parameters ----------------------------------------------------------------------
1796.70/1797.06 c # SCIP version 2.0.1.5
1796.70/1797.06 c
1796.70/1797.06 c # frequency for displaying node information lines
1796.70/1797.06 c # [type: int, range: [-1,2147483647], default: 100]
1796.70/1797.06 c display/freq = 10000
1796.70/1797.06 c
1796.70/1797.06 c # maximal time in seconds to run
1796.70/1797.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.70/1797.06 c limits/time = 1797
1796.70/1797.06 c
1796.70/1797.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.70/1797.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.70/1797.06 c limits/memory = 13950
1796.70/1797.06 c
1796.70/1797.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.70/1797.06 c # [type: int, range: [1,2], default: 1]
1796.70/1797.06 c timing/clocktype = 2
1796.70/1797.06 c
1796.70/1797.06 c # belongs reading time to solving time?
1796.70/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.70/1797.06 c timing/reading = TRUE
1796.70/1797.06 c
1796.70/1797.06 c # should presolving try to simplify inequalities
1796.70/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.70/1797.06 c constraints/linear/simplifyinequalities = TRUE
1796.70/1797.06 c
1796.70/1797.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.70/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.70/1797.06 c constraints/indicator/addCouplingCons = TRUE
1796.70/1797.06 c
1796.70/1797.06 c # should presolving try to simplify knapsacks
1796.70/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.70/1797.06 c constraints/knapsack/simplifyinequalities = TRUE
1796.70/1797.06 c
1796.70/1797.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.70/1797.06 c # [type: int, range: [-1,2147483647], default: -1]
1796.70/1797.06 c separating/rapidlearning/freq = 0
1796.70/1797.06 c
1796.70/1797.06 c -----------------------------------------------------------------------------------------------
1796.70/1797.06 c start solving
1796.70/1797.08 c presolving:
1796.70/1797.08 c presolving (19 rounds):
1796.70/1797.08 c 3898 deleted vars, 4307 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.70/1797.08 c 108723582 implications, 551 cliques
1796.70/1797.08 c presolving was interrupted.
1796.70/1797.08 c Presolving Time: 1796.64
1796.70/1797.08 c
1796.70/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.08 c Solving Time (sec) : 1797.07
1796.70/1797.08 c Solving Nodes : 0
1796.70/1797.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.08 s UNKNOWN
1796.70/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.08 c Total Time : 1797.07
1796.70/1797.08 c solving : 1797.07
1796.70/1797.08 c presolving : 1796.64 (included in solving)
1796.70/1797.08 c reading : 0.31 (included in solving)
1796.70/1797.08 c Original Problem :
1796.70/1797.08 c Problem name : HOME/instance-3742910-1338792124.opb
1796.70/1797.08 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.08 c Constraints : 41436 initial, 41436 maximal
1796.70/1797.08 c Presolved Problem :
1796.70/1797.08 c Problem name : t_HOME/instance-3742910-1338792124.opb
1796.70/1797.08 c Variables : 37039 (37039 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.08 c Constraints : 37129 initial, 37129 maximal
1796.70/1797.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.08 c trivial : 0.04 123 0 0 0 0 0 0 0 0
1796.70/1797.08 c dualfix : 0.03 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c implics : 0.03 0 1 0 0 0 0 0 0 0
1796.70/1797.08 c probing : 1795.70 138 105 0 0 0 0 0 0 0
1796.70/1797.08 c knapsack : 0.14 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c setppc : 0.05 0 0 0 0 0 95 0 0 0
1796.70/1797.08 c linear : 0.37 3531 0 0 3531 0 4088 0 0 0
1796.70/1797.08 c logicor : 0.11 0 0 0 0 0 124 0 0 0
1796.70/1797.08 c root node : - 0 - - 0 - - - - -
1796.70/1797.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.70/1797.08 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c knapsack : 0+ 0 178656 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c setppc : 0+ 0 178654 0 0 0 0 23 0 0 0 0
1796.70/1797.08 c linear : 0+ 0 1409 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c logicor : 0+ 0 165056 0 0 0 0 5 0 0 0 0
1796.70/1797.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.70/1797.08 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.08 c knapsack : 2.17 0.00 2.17 0.00 0.00 0.00 0.00
1796.70/1797.08 c setppc : 19.71 0.00 19.71 0.00 0.00 0.00 0.00
1796.70/1797.08 c linear : 1.21 0.00 1.21 0.00 0.00 0.00 0.00
1796.70/1797.08 c logicor : 69.46 0.00 69.46 0.00 0.00 0.00 0.00
1796.70/1797.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.08 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.70/1797.08 c vbounds : 0 0 0 0
1796.70/1797.08 c rootredcost : 0 0 0 0
1796.70/1797.08 c pseudoobj : 0 0 0 0
1796.70/1797.08 c Propagator Timings : TotalTime Propagate Resprop
1796.70/1797.08 c vbounds : 0.03 0.03 0.00
1796.70/1797.08 c rootredcost : 0.02 0.02 0.00
1796.70/1797.08 c pseudoobj : 0.01 0.01 0.00
1796.70/1797.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.08 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.08 c applied globally : - - - 0 0.0 - - -
1796.70/1797.08 c applied locally : - - - 0 0.0 - - -
1797.00/1797.31 c Time complete: 1797.01.
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-3742910-1338792124/watcher-3742910-1338792124 -o /tmp/evaluation-result-3742910-1338792124/solver-3742910-1338792124 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3742910-1338792124.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.05 2.01 2.00 3/176 12202
/proc/meminfo: memFree=26441800/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=7628 CPUtime=0 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 777 0 0 0 0 0 0 0 20 0 1 0 345338402 7811072 732 33554432000 4194304 9016284 140736187006352 140735239603624 7870589 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 1907 743 189 1178 0 725 0
[startup+0.042554 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 12202
/proc/meminfo: memFree=26441800/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=20132 CPUtime=0.02 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 4032 0 0 0 2 0 0 0 20 0 1 0 345338402 20615168 3987 33554432000 4194304 9016284 140736187006352 140735239603624 6813403 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 5033 3987 360 1178 0 3851 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20132
[startup+0.100294 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 12202
/proc/meminfo: memFree=26441800/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=30040 CPUtime=0.09 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 6476 0 0 0 8 1 0 0 20 0 1 0 345338402 30760960 6431 33554432000 4194304 9016284 140736187006352 140735239603624 7870483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 7510 6431 360 1178 0 6328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30040
[startup+0.300172 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 12202
/proc/meminfo: memFree=26441800/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=59664 CPUtime=0.28 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 13883 0 0 0 26 2 0 0 20 0 1 0 345338402 61095936 13838 33554432000 4194304 9016284 140736187006352 140735239603624 6152394 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 14916 13838 360 1178 0 13734 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 59664
[startup+0.700187 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 12202
/proc/meminfo: memFree=26441800/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=144448 CPUtime=0.69 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 35205 0 0 0 64 5 0 0 20 0 1 0 345338402 147914752 34623 33554432000 4194304 9016284 140736187006352 140736187002024 7260928 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 36112 34623 492 1178 0 34930 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144448
[startup+1.50023 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 12203
/proc/meminfo: memFree=26273144/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=201176 CPUtime=1.48 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 50431 0 0 0 142 6 0 0 20 0 1 0 345338402 206004224 48560 33554432000 4194304 9016284 140736187006352 140736187002024 6480425 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 50294 48560 520 1178 0 49112 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 201176
[startup+3.10022 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12203
/proc/meminfo: memFree=26210764/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=319504 CPUtime=3.09 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 78776 0 0 0 299 10 0 0 20 0 1 0 345338402 327172096 76905 33554432000 4194304 9016284 140736187006352 140736187001736 6480421 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 79876 76905 520 1178 0 78694 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 319504
[startup+6.3002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12203
/proc/meminfo: memFree=26099348/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=381556 CPUtime=6.29 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 93204 0 0 0 617 12 0 0 20 0 1 0 345338402 390713344 91333 33554432000 4194304 9016284 140736187006352 140736187001736 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 95389 91333 520 1178 0 94207 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 381556
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12203
/proc/meminfo: memFree=26045568/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=415992 CPUtime=12.68 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 101533 0 0 0 1255 13 0 0 20 0 1 0 345338402 425975808 99662 33554432000 4194304 9016284 140736187006352 140736187001736 6480403 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 103998 99662 520 1178 0 102816 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 415992
[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12203
/proc/meminfo: memFree=26001416/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=456852 CPUtime=25.48 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 111776 0 0 0 2532 16 0 0 20 0 1 0 345338402 467816448 109905 33554432000 4194304 9016284 140736187006352 140736187001736 6480403 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 114213 109905 520 1178 0 113031 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 456852
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12203
/proc/meminfo: memFree=25951300/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=505556 CPUtime=51.08 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 124222 0 0 0 5089 19 0 0 20 0 1 0 345338402 517689344 122351 33554432000 4194304 9016284 140736187006352 140736187001800 6480421 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 126389 122351 520 1178 0 125207 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 505556
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12203
/proc/meminfo: memFree=25815968/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=646592 CPUtime=102.27 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 157879 0 0 0 10202 25 0 0 20 0 1 0 345338402 662110208 156008 33554432000 4194304 9016284 140736187006352 140736187002104 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 161648 156008 520 1178 0 160466 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 646592
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12203
/proc/meminfo: memFree=25679720/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=781940 CPUtime=162.26 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 192307 0 0 0 16195 31 0 0 20 0 1 0 345338402 800706560 190436 33554432000 4194304 9016284 140736187006352 140736187002056 4222936 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 195485 190436 534 1178 0 194303 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 781940
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12203
/proc/meminfo: memFree=25419972/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=1041236 CPUtime=222.25 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 256393 0 0 0 22184 41 0 0 20 0 1 0 345338402 1066225664 254522 33554432000 4194304 9016284 140736187006352 140736187001944 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 260309 254522 539 1178 0 259127 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1041236
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12204
/proc/meminfo: memFree=25217432/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=1241888 CPUtime=282.24 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 306327 0 0 0 28174 50 0 0 20 0 1 0 345338402 1271693312 304456 33554432000 4194304 9016284 140736187006352 140736187001736 6480425 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 310472 304456 539 1178 0 309290 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1241888
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12204
/proc/meminfo: memFree=25046056/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=1407636 CPUtime=342.23 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 348027 0 0 0 34165 58 0 0 20 0 1 0 345338402 1441419264 346156 33554432000 4194304 9016284 140736187006352 140736187001944 6480389 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 351909 346156 539 1178 0 350727 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1407636
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12204
/proc/meminfo: memFree=25009152/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=1443228 CPUtime=402.23 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 356960 0 0 0 40162 61 0 0 20 0 1 0 345338402 1477865472 355089 33554432000 4194304 9016284 140736187006352 140736187001944 6480389 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 360807 355089 539 1178 0 359625 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1443228
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12204
/proc/meminfo: memFree=24893408/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=1559692 CPUtime=462.21 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 385184 0 0 0 46156 65 0 0 20 0 1 0 345338402 1597124608 383970 33554432000 4194304 9016284 140736187006352 140736187001736 4889373 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 389923 383970 539 1178 0 388741 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1559692
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12207
/proc/meminfo: memFree=24779976/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=1677164 CPUtime=522.2 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 413641 0 0 0 52150 70 0 0 20 0 1 0 345338402 1717415936 412427 33554432000 4194304 9016284 140736187006352 140736187001944 6480389 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 419291 412427 539 1178 0 418109 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1677164
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12208
/proc/meminfo: memFree=24681680/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=1771572 CPUtime=582.2 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 437765 0 0 0 58144 76 0 0 20 0 1 0 345338402 1814089728 436603 33554432000 4194304 9016284 140736187006352 140736187001944 6480360 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 442893 436603 539 1178 0 441711 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1771572
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23958868/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=2503440 CPUtime=1062.11 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 616623 0 0 0 106104 107 0 0 20 0 1 0 345338402 2563522560 617339 33554432000 4194304 9016284 140736187006352 140736187001944 6480389 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 625860 617339 539 1178 0 624678 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 2503440
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12212
/proc/meminfo: memFree=23742836/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=2580564 CPUtime=1122.1 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 635109 0 0 0 112100 110 0 0 20 0 1 0 345338402 2642497536 635914 33554432000 4194304 9016284 140736187006352 140736187001944 6480389 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 645141 635914 539 1178 0 643959 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2580564
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12273
/proc/meminfo: memFree=25499060/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=2660480 CPUtime=1182.09 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 654918 0 0 0 118095 114 0 0 20 0 1 0 345338402 2724331520 655960 33554432000 4194304 9016284 140736187006352 140736187001944 4329922 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 665120 655960 539 1178 0 663938 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2660480
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12274
/proc/meminfo: memFree=24858144/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=2745376 CPUtime=1242.09 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 675469 0 0 0 124091 118 0 0 20 0 1 0 345338402 2811265024 676676 33554432000 4194304 9016284 140736187006352 140736187001944 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 686344 676676 539 1178 0 685162 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2745376
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12274
/proc/meminfo: memFree=24598828/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=2841232 CPUtime=1302.08 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 698571 0 0 0 130085 123 0 0 20 0 1 0 345338402 2909421568 700143 33554432000 4194304 9016284 140736187006352 140736187001944 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 710308 700143 539 1178 0 709126 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2841232
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12274
/proc/meminfo: memFree=24249176/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=2910472 CPUtime=1362.07 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 716520 0 0 0 136080 127 0 0 20 0 1 0 345338402 2980323328 718443 33554432000 4194304 9016284 140736187006352 140736187001944 6480433 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 727618 718443 539 1178 0 726436 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2910472
[startup+1422.31 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 12274
/proc/meminfo: memFree=24025260/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=2985664 CPUtime=1422.06 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 734700 0 0 0 142075 131 0 0 20 0 1 0 345338402 3057319936 736916 33554432000 4194304 9016284 140736187006352 140736187001944 6469688 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 746416 736916 539 1178 0 745234 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2985664
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 12275
/proc/meminfo: memFree=23818088/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3062120 CPUtime=1482.04 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 753066 0 0 0 148070 134 0 0 20 0 1 0 345338402 3135610880 755928 33554432000 4194304 9016284 140736187006352 140736187001944 6480384 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 765530 755928 539 1178 0 764348 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 3062120
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12275
/proc/meminfo: memFree=23629388/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3133532 CPUtime=1542.03 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 770713 0 0 0 154066 137 0 0 20 0 1 0 345338402 3208736768 774055 33554432000 4194304 9016284 140736187006352 140736187001944 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 783383 774055 539 1178 0 782201 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 3133532
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12275
/proc/meminfo: memFree=23384924/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3214632 CPUtime=1602.02 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 790190 0 0 0 160061 141 0 0 20 0 1 0 345338402 3291783168 793941 33554432000 4194304 9016284 140736187006352 140736187001944 6480403 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 803658 793941 539 1178 0 802476 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3214632
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12275
/proc/meminfo: memFree=23331948/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3279568 CPUtime=1662.01 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 806391 0 0 0 166058 143 0 0 20 0 1 0 345338402 3358277632 810690 33554432000 4194304 9016284 140736187006352 140736187001944 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 819892 810690 539 1178 0 818710 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 3279568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12278
/proc/meminfo: memFree=23256452/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3357696 CPUtime=1722 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 824944 0 0 0 172054 146 0 0 20 0 1 0 345338402 3438280704 829765 33554432000 4194304 9016284 140736187006352 140736187001944 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 839424 829765 539 1178 0 838242 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 3357696
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12279
/proc/meminfo: memFree=23172292/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3437732 CPUtime=1782 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 844714 0 0 0 178049 151 0 0 20 0 1 0 345338402 3520237568 850227 33554432000 4194304 9016284 140736187006352 140736187001544 6480360 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 859433 850227 539 1178 0 858251 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3437732
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 12279
/proc/meminfo: memFree=23166092/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3444628 CPUtime=1785.19 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 846284 0 0 0 178368 151 0 0 20 0 1 0 345338402 3527299072 851797 33554432000 4194304 9016284 140736187006352 140736187001944 6480364 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 861157 851797 539 1178 0 859975 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 3444628
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12279
/proc/meminfo: memFree=23161240/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3449524 CPUtime=1791.59 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 847385 0 0 0 179008 151 0 0 20 0 1 0 345338402 3532312576 852971 33554432000 4194304 9016284 140736187006352 140736187001544 6480389 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 862381 852971 539 1178 0 861199 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 3449524
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12279
/proc/meminfo: memFree=23157148/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3454380 CPUtime=1794.8 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 848416 0 0 0 179328 152 0 0 20 0 1 0 345338402 3537285120 854002 33554432000 4194304 9016284 140736187006352 140736187001736 6480425 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 863595 854002 539 1178 0 862413 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 3454380
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12279
/proc/meminfo: memFree=23156264/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3455340 CPUtime=1796.4 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 848887 0 0 0 179488 152 0 0 20 0 1 0 345338402 3538268160 854528 33554432000 4194304 9016284 140736187006352 140736187001944 4926156 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 863835 854528 539 1178 0 862653 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 3455340
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12279
/proc/meminfo: memFree=23156264/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=3454848 CPUtime=1796.79 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 849385 0 0 0 179527 152 0 0 20 0 1 0 345338402 3537764352 854399 33554432000 4194304 9016284 140736187006352 140736187001944 6470240 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 863712 854399 548 1178 0 862530 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 3454848
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12279
/proc/meminfo: memFree=26289748/32873648 swapFree=6864/6864
[pid=12202] ppid=12200 vsize=2757388 CPUtime=1797 cores=1,3,5,7
/proc/12202/stat : 12202 (scip-2.0.1.4b_2) R 12200 12202 9205 0 -1 4202496 849398 0 0 0 179541 159 0 0 20 0 1 0 345338402 2823565312 47399 33554432000 4194304 9016284 140736187006352 140736187001944 8107690 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 689347 47011 561 1178 0 688165 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 2757388
Child status: 0
Real time (s): 1797.32
CPU time (s): 1797.02
CPU user time (s): 1795.41
CPU system time (s): 1.60476
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 3456332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.42
system time used= 1.60476
maximum resident set size= 3420092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 849403
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= 41
involuntary context switches= 1841
runsolver used 5.55616 second user time and 17.2914 second system time
The end