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-3742877-1338791781.opb>
0.29/0.32 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.29/0.32 c problem read
0.29/0.32 c presolving settings loaded
0.49/0.50 c presolving:
0.59/0.64 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.69 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.69/0.74 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.69/0.78 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.79/0.83 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.79/0.87 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.99/1.04 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.04 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.04 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.04 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
163.85/163.93 c (round 11) 3720 del vars, 4088 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 9064130 impls, 551 clqs
163.95/164.06 c (round 12) 3720 del vars, 4153 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9064130 impls, 551 clqs
199.34/199.40 c (199.4s) probing: 1000/37282 (2.7%) - 63 fixings, 9 aggregations, 1137638 implications, 0 bound changes
261.75/261.83 c (261.8s) probing: 2000/37282 (5.4%) - 64 fixings, 31 aggregations, 3590092 implications, 0 bound changes
329.22/329.36 c (329.4s) probing: 3000/37282 (8.0%) - 68 fixings, 41 aggregations, 6256493 implications, 0 bound changes
476.78/476.96 c (round 13) 3770 del vars, 4153 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36242364 impls, 551 clqs
476.89/477.03 c (round 14) 3770 del vars, 4203 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36242364 impls, 551 clqs
478.09/478.20 c (478.2s) probing: 4000/37282 (10.7%) - 68 fixings, 47 aggregations, 10885245 implications, 0 bound changes
544.57/544.73 c (544.7s) probing: 5000/37282 (13.4%) - 69 fixings, 49 aggregations, 12713599 implications, 0 bound changes
698.64/698.87 c (698.9s) probing: 6000/37282 (16.1%) - 74 fixings, 56 aggregations, 17110988 implications, 0 bound changes
871.70/871.94 c (871.9s) probing: 7000/37282 (18.8%) - 74 fixings, 65 aggregations, 21551505 implications, 0 bound changes
1036.28/1036.54 c (1036.5s) probing: 8000/37282 (21.5%) - 76 fixings, 72 aggregations, 25484211 implications, 0 bound changes
1214.54/1214.83 c (1214.8s) probing: 9000/37282 (24.1%) - 77 fixings, 79 aggregations, 29739524 implications, 0 bound changes
1384.72/1385.02 c (1385.0s) probing: 10000/37282 (26.8%) - 79 fixings, 85 aggregations, 33726506 implications, 0 bound changes
1437.71/1438.09 c (round 15) 3820 del vars, 4203 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 88394896 impls, 551 clqs
1437.81/1438.17 c (round 16) 3820 del vars, 4253 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 88394896 impls, 551 clqs
1542.59/1542.90 c (1542.9s) probing: 11000/37282 (29.5%) - 81 fixings, 92 aggregations, 37397268 implications, 0 bound changes
1715.26/1715.63 c (1715.6s) probing: 12000/37282 (32.2%) - 83 fixings, 98 aggregations, 41426221 implications, 0 bound changes
1796.65/1797.03 c (1797.0s) probing: 12435/37282 (33.4%) - 83 fixings, 101 aggregations, 43336958 implications, 0 bound changes
1796.65/1797.03 c (1797.0s) probing aborted: solving stopped
1796.65/1797.04 c (round 17) 3839 del vars, 4253 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 105780734 impls, 551 clqs
1796.65/1797.04 c presolving (17 rounds):
1796.65/1797.04 c 3839 deleted vars, 4253 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.65/1797.04 c 105780734 implications, 551 cliques
1796.65/1797.04 c presolving was interrupted.
1796.65/1797.04 c Presolving Time: 1796.60
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 (17 rounds):
1796.65/1797.05 c 3839 deleted vars, 4253 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.65/1797.05 c 105780734 implications, 551 cliques
1796.65/1797.05 c presolving was interrupted.
1796.65/1797.05 c Presolving Time: 1796.62
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.62 (included in solving)
1796.65/1797.05 c reading : 0.32 (included in solving)
1796.65/1797.05 c Original Problem :
1796.65/1797.05 c Problem name : HOME/instance-3742877-1338791781.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-3742877-1338791781.opb
1796.65/1797.05 c Variables : 37098 (37098 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.05 c Constraints : 37183 initial, 37183 maximal
1796.65/1797.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.65/1797.05 c trivial : 0.03 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.03 0 1 0 0 0 0 0 0 0
1796.65/1797.05 c probing : 1795.30 83 101 0 0 0 0 0 0 0
1796.65/1797.05 c knapsack : 0.11 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c setppc : 0.06 0 0 0 0 0 95 0 0 0
1796.65/1797.05 c linear : 0.70 3531 0 0 3531 0 4088 0 0 0
1796.65/1797.05 c logicor : 0.19 0 0 0 0 0 70 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 174261 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c setppc : 0+ 0 174260 0 0 0 0 22 0 0 0 0
1796.65/1797.05 c linear : 0+ 0 1651 0 0 0 0 0 0 0 0 0
1796.65/1797.05 c logicor : 0+ 0 161003 0 0 0 0 3 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.23 0.00 2.23 0.00 0.00 0.00 0.00
1796.65/1797.05 c setppc : 18.95 0.00 18.95 0.00 0.00 0.00 0.00
1796.65/1797.05 c linear : 1.65 0.00 1.65 0.00 0.00 0.00 0.00
1796.65/1797.05 c logicor : 68.05 0.00 68.05 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.12 0.12 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-3742877-1338791781/watcher-3742877-1338791781 -o /tmp/evaluation-result-3742877-1338791781/solver-3742877-1338791781 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3742877-1338791781.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.00 2.00 2.00 4/176 13941
/proc/meminfo: memFree=25881924/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 1647 0 0 0 0 0 0 0 20 0 1 0 345306693 11214848 1602 33554432000 4194304 9016284 140733460342224 140736798247320 7870589 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13941/statm: 2738 1616 340 1178 0 1556 0
[startup+0.0295389 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 13941
/proc/meminfo: memFree=25881924/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=19440 CPUtime=0.02 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 3830 0 0 0 2 0 0 0 20 0 1 0 345306693 19906560 3784 33554432000 4194304 9016284 140733460342224 140736798247320 4530476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13941/statm: 4860 3784 360 1178 0 3678 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19440
[startup+0.10031 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 13941
/proc/meminfo: memFree=25881924/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=30028 CPUtime=0.09 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 6501 0 0 0 9 0 0 0 20 0 1 0 345306693 30748672 6455 33554432000 4194304 9016284 140733460342224 140733460206120 4530476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13941/statm: 7507 6455 360 1178 0 6325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30028
[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 13941
/proc/meminfo: memFree=25881924/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=59632 CPUtime=0.29 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 13878 0 0 0 28 1 0 0 20 0 1 0 345306693 61063168 14016 33554432000 4194304 9016284 140733460342224 140733460206120 7928096 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13941/statm: 14908 14016 360 1178 0 13726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59632
[startup+0.700243 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 13941
/proc/meminfo: memFree=25881924/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=143928 CPUtime=0.69 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 35073 0 0 0 65 4 0 0 20 0 1 0 345306693 147382272 34652 33554432000 4194304 9016284 140733460342224 140733460206120 5959781 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13941/statm: 35982 34652 492 1178 0 34800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 143928
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13942
/proc/meminfo: memFree=25743420/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=179396 CPUtime=1.49 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 45071 0 0 0 143 6 0 0 20 0 1 0 345306693 183701504 43440 33554432000 4194304 9016284 140733460342224 140733460335848 5221936 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13941/statm: 44849 43440 520 1178 0 43667 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 179396
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13942
/proc/meminfo: memFree=25676832/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=297580 CPUtime=3.09 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 73124 0 0 0 298 11 0 0 20 0 1 0 345306693 304721920 71493 33554432000 4194304 9016284 140733460342224 140733460337608 4875328 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13941/statm: 74395 71493 520 1178 0 73213 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 297580
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13942
/proc/meminfo: memFree=25539812/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=356256 CPUtime=6.29 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 87535 0 0 0 616 13 0 0 20 0 1 0 345306693 364806144 85904 33554432000 4194304 9016284 140733460342224 140733460337816 6480421 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13941/statm: 89064 85904 520 1178 0 87882 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 356256
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13980
/proc/meminfo: memFree=25416656/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=415976 CPUtime=12.68 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 101283 0 0 0 1253 15 0 0 20 0 1 0 345306693 425959424 99650 33554432000 4194304 9016284 140733460342224 140733460337608 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 103994 99650 520 1178 0 102812 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 415976
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13980
/proc/meminfo: memFree=25216876/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=455076 CPUtime=25.48 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 110952 0 0 0 2531 17 0 0 20 0 1 0 345306693 465997824 109319 33554432000 4194304 9016284 140733460342224 140733460337608 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 113769 109319 520 1178 0 112587 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 455076
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13980
/proc/meminfo: memFree=25043848/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=501512 CPUtime=51.07 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 122893 0 0 0 5087 20 0 0 20 0 1 0 345306693 513548288 121545 33554432000 4194304 9016284 140733460342224 140733460337608 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 125378 121545 520 1178 0 124196 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 501512
[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13980
/proc/meminfo: memFree=24826024/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=594620 CPUtime=102.27 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 145483 0 0 0 10203 24 0 0 20 0 1 0 345306693 608890880 145195 33554432000 4194304 9016284 140733460342224 140733460337672 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 148655 145195 520 1178 0 147473 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 594620
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13980
/proc/meminfo: memFree=24488152/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=766344 CPUtime=162.25 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 187255 0 0 0 16195 30 0 0 20 0 1 0 345306693 784736256 187865 33554432000 4194304 9016284 140733460342224 140733460337608 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 191586 187865 520 1178 0 190404 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 766344
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13983
/proc/meminfo: memFree=24075104/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=969296 CPUtime=222.24 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 237333 0 0 0 22186 38 0 0 20 0 1 0 345306693 992559104 238250 33554432000 4194304 9016284 140733460342224 140733460337816 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 242324 238250 539 1178 0 241142 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 969296
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.01 4/177 13983
/proc/meminfo: memFree=23756360/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=1186568 CPUtime=282.23 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 290895 0 0 0 28178 45 0 0 20 0 1 0 345306693 1215045632 292448 33554432000 4194304 9016284 140733460342224 140733460337608 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 296642 292448 539 1178 0 295460 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1186568
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 4/177 13984
/proc/meminfo: memFree=23474784/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=1345668 CPUtime=342.21 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 330384 0 0 0 34170 51 0 0 20 0 1 0 345306693 1377964032 332288 33554432000 4194304 9016284 140733460342224 140733460337816 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 336417 332288 539 1178 0 335235 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1345668
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 13984
/proc/meminfo: memFree=23278396/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=1435708 CPUtime=402.2 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 353273 0 0 0 40166 54 0 0 20 0 1 0 345306693 1470164992 355657 33554432000 4194304 9016284 140733460342224 140733460337816 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 358927 355657 539 1178 0 357745 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1435708
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 13984
/proc/meminfo: memFree=23138428/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=1496620 CPUtime=462.19 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 367537 0 0 0 46161 58 0 0 20 0 1 0 345306693 1532538880 369930 33554432000 4194304 9016284 140733460342224 140733460337816 5325493 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 374155 369930 539 1178 0 372973 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1496620
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13984
/proc/meminfo: memFree=22965972/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=1603412 CPUtime=522.18 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 394365 0 0 0 52156 62 0 0 20 0 1 0 345306693 1641893888 396780 33554432000 4194304 9016284 140733460342224 140733460337816 6469479 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 400853 396780 539 1178 0 399671 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1603412
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13984
/proc/meminfo: memFree=22789548/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=1703628 CPUtime=582.16 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 419101 0 0 0 58150 66 0 0 20 0 1 0 345306693 1744515072 421589 33554432000 4194304 9016284 140733460342224 140733460337816 6480384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 425907 421589 539 1178 0 424725 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1703628
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21437880/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=2523492 CPUtime=1122.06 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 619364 0 0 0 112109 97 0 0 20 0 1 0 345306693 2584055808 625006 33554432000 4194304 9016284 140733460342224 140733460337816 6480416 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 630873 625006 539 1178 0 629691 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 2523492
[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.01 4/177 13989
/proc/meminfo: memFree=21356688/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=2603404 CPUtime=1182.04 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 639004 0 0 0 118103 101 0 0 20 0 1 0 345306693 2665885696 645087 33554432000 4194304 9016284 140733460342224 140733460337416 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 650851 645087 539 1178 0 649669 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 2603404
[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 2.01 4/177 13990
/proc/meminfo: memFree=21287524/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=2673024 CPUtime=1242.03 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 655790 0 0 0 124099 104 0 0 20 0 1 0 345306693 2737176576 662454 33554432000 4194304 9016284 140733460342224 140733460337816 6480412 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 668256 662454 539 1178 0 667074 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 2673024
[startup+1302.3 s]
/proc/loadavg: 2.12 2.08 2.02 4/177 13990
/proc/meminfo: memFree=21207696/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=2751344 CPUtime=1302.03 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 674811 0 0 0 130096 107 0 0 20 0 1 0 345306693 2817376256 682136 33554432000 4194304 9016284 140733460342224 140733460337816 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 687836 682136 539 1178 0 686654 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2751344
[startup+1362.3 s]
/proc/loadavg: 2.12 2.09 2.02 4/177 13990
/proc/meminfo: memFree=21125760/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=2833380 CPUtime=1362.02 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 694694 0 0 0 136092 110 0 0 20 0 1 0 345306693 2901381120 702664 33554432000 4194304 9016284 140733460342224 140733460337816 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 708345 702664 539 1178 0 707163 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2833380
[startup+1422.31 s]
/proc/loadavg: 2.12 2.10 2.03 4/178 13993
/proc/meminfo: memFree=21048116/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=2910816 CPUtime=1422.01 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 713301 0 0 0 142087 114 0 0 20 0 1 0 345306693 2980675584 721946 33554432000 4194304 9016284 140733460342224 140733460337816 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 727704 721946 539 1178 0 726522 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 2910816
[startup+1482.3 s]
/proc/loadavg: 2.08 2.09 2.03 4/178 14016
/proc/meminfo: memFree=20966396/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=2989988 CPUtime=1482 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 733108 0 0 0 148082 118 0 0 20 0 1 0 345306693 3061747712 742345 33554432000 4194304 9016284 140733460342224 140733460337816 6480384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 747497 742345 539 1178 0 746315 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2989988
[startup+1542.3 s]
/proc/loadavg: 2.11 2.10 2.03 4/177 14017
/proc/meminfo: memFree=20883548/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3072016 CPUtime=1541.99 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 753141 0 0 0 154078 121 0 0 20 0 1 0 345306693 3145744384 763047 33554432000 4194304 9016284 140733460342224 140733460337816 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 768004 763047 539 1178 0 766822 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3072016
[startup+1602.3 s]
/proc/loadavg: 2.12 2.11 2.04 4/177 14017
/proc/meminfo: memFree=20817004/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3138608 CPUtime=1601.98 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 769396 0 0 0 160073 125 0 0 20 0 1 0 345306693 3213934592 779948 33554432000 4194304 9016284 140733460342224 140733460337816 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 784652 779948 539 1178 0 783470 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 3138608
[startup+1662.3 s]
/proc/loadavg: 2.08 2.10 2.03 4/177 14017
/proc/meminfo: memFree=20744476/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3209080 CPUtime=1661.97 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 786459 0 0 0 166069 128 0 0 20 0 1 0 345306693 3286097920 797717 33554432000 4194304 9016284 140733460342224 140733460337816 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 802270 797717 539 1178 0 801088 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 3209080
[startup+1722.3 s]
/proc/loadavg: 2.06 2.10 2.03 4/177 14017
/proc/meminfo: memFree=20672476/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3282456 CPUtime=1721.97 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 803959 0 0 0 172065 132 0 0 20 0 1 0 345306693 3361234944 815906 33554432000 4194304 9016284 140733460342224 140733460337816 6817729 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 820614 815906 539 1178 0 819432 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 3282456
[startup+1782.3 s]
/proc/loadavg: 2.16 2.12 2.04 4/177 14017
/proc/meminfo: memFree=20597096/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3356632 CPUtime=1781.95 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 821877 0 0 0 178060 135 0 0 20 0 1 0 345306693 3437191168 834556 33554432000 4194304 9016284 140733460342224 140733460337816 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 839158 834556 539 1178 0 837976 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3356632
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.14 2.12 2.04 4/177 14017
/proc/meminfo: memFree=20594988/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3357620 CPUtime=1785.15 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 822341 0 0 0 178380 135 0 0 20 0 1 0 345306693 3438202880 835020 33554432000 4194304 9016284 140733460342224 140733460337816 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 839405 835020 539 1178 0 838223 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 3357620
[startup+1791.91 s]
/proc/loadavg: 2.13 2.11 2.04 4/177 14017
/proc/meminfo: memFree=20586788/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3364516 CPUtime=1791.56 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 824133 0 0 0 179021 135 0 0 20 0 1 0 345306693 3445264384 836994 33554432000 4194304 9016284 140733460342224 140733460337816 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 841129 836994 539 1178 0 839947 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 3364516
[startup+1795.1 s]
/proc/loadavg: 2.20 2.13 2.05 4/177 14017
/proc/meminfo: memFree=20583440/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3368456 CPUtime=1794.76 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 825010 0 0 0 179341 135 0 0 20 0 1 0 345306693 3449298944 837871 33554432000 4194304 9016284 140733460342224 140733460337816 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 842114 837871 539 1178 0 840932 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 3368456
[startup+1795.9 s]
/proc/loadavg: 2.20 2.13 2.05 4/177 14017
/proc/meminfo: memFree=20583440/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3369440 CPUtime=1795.55 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 825195 0 0 0 179420 135 0 0 20 0 1 0 345306693 3450306560 838056 33554432000 4194304 9016284 140733460342224 140733460337816 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 842360 838056 539 1178 0 841178 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (KiB) 3369440
[startup+1796.7 s]
/proc/loadavg: 2.20 2.13 2.05 4/177 14017
/proc/meminfo: memFree=20582448/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3369440 CPUtime=1796.35 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 825369 0 0 0 179500 135 0 0 20 0 1 0 345306693 3450306560 838230 33554432000 4194304 9016284 140733460342224 140733460337816 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 842360 838230 539 1178 0 841178 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 3369440
[startup+1797.1 s]
/proc/loadavg: 2.20 2.13 2.05 4/177 14017
/proc/meminfo: memFree=20582448/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3366284 CPUtime=1796.75 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 825749 0 0 0 179540 135 0 0 20 0 1 0 345306693 3447074816 837565 33554432000 4194304 9016284 140733460342224 140733460337816 4538477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 841571 837565 548 1178 0 840389 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 3366284
[startup+1797.2 s]
/proc/loadavg: 2.20 2.13 2.05 4/177 14017
/proc/meminfo: memFree=20582448/32873844 swapFree=7628/7628
[pid=13941] ppid=13939 vsize=3111944 CPUtime=1796.85 cores=0,2,4,6
/proc/13941/stat : 13941 (scip-2.0.1.4b_2) R 13939 13941 13522 0 -1 4202496 825749 0 0 0 179548 137 0 0 20 0 1 0 345306693 3186630656 776329 33554432000 4194304 9016284 140733460342224 140733460337816 7933303 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 777986 776329 548 1178 0 776804 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 3111944
Child status: 0
Real time (s): 1797.25
CPU time (s): 1796.91
CPU user time (s): 1795.52
CPU system time (s): 1.39479
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 3369440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.52
system time used= 1.39479
maximum resident set size= 3354428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 825767
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= 79
involuntary context switches= 1878
runsolver used 2.95855 second user time and 16.9304 second system time
The end