0.00/0.00 c SCIP version 2.0.1.4 [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-3486338-1307792235.opb>
0.59/0.66 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129108 constraints
0.59/0.66 c problem read
0.59/0.66 c presolving settings loaded
1.00/1.06 c presolving:
5.09/5.13 c (round 1) 3562 del vars, 10054 del conss, 0 add conss, 2773 chg bounds, 9 chg sides, 8 chg coeffs, 0 upgd conss, 8765014 impls, 0 clqs
6.29/6.36 c (round 2) 6587 del vars, 22787 del conss, 0 add conss, 5581 chg bounds, 24 chg sides, 21 chg coeffs, 0 upgd conss, 8782450 impls, 0 clqs
6.59/6.69 c (round 3) 7614 del vars, 27813 del conss, 0 add conss, 6135 chg bounds, 79 chg sides, 65 chg coeffs, 0 upgd conss, 8789356 impls, 0 clqs
6.79/6.86 c (round 4) 8041 del vars, 29721 del conss, 0 add conss, 6386 chg bounds, 104 chg sides, 93 chg coeffs, 0 upgd conss, 8792599 impls, 0 clqs
6.89/6.98 c (round 5) 8307 del vars, 30830 del conss, 0 add conss, 6527 chg bounds, 132 chg sides, 125 chg coeffs, 0 upgd conss, 8794682 impls, 0 clqs
6.99/7.05 c (round 6) 8447 del vars, 31423 del conss, 0 add conss, 6589 chg bounds, 164 chg sides, 157 chg coeffs, 0 upgd conss, 8795840 impls, 0 clqs
6.99/7.09 c (round 7) 8492 del vars, 31685 del conss, 0 add conss, 6607 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796342 impls, 0 clqs
7.09/7.13 c (round 8) 8512 del vars, 31784 del conss, 0 add conss, 6615 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796540 impls, 0 clqs
7.09/7.16 c (round 9) 8518 del vars, 31821 del conss, 0 add conss, 6618 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796608 impls, 0 clqs
7.09/7.19 c (round 10) 8520 del vars, 31832 del conss, 0 add conss, 6619 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796630 impls, 0 clqs
400.60/400.70 c (400.7s) probing: 1000/28200 (3.5%) - 1 fixings, 1 aggregations, 8057378 implications, 0 bound changes
665.81/665.83 c (665.8s) probing: 2000/28200 (7.1%) - 1 fixings, 1 aggregations, 14039981 implications, 0 bound changes
696.10/696.15 c (696.2s) probing: 2113/28200 (7.5%) - 1 fixings, 1 aggregations, 14742925 implications, 0 bound changes
696.10/696.15 c (696.2s) probing aborted: 2000/2000 successive useless probings
696.10/696.15 c (round 11) 8524 del vars, 31843 del conss, 0 add conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 55352178 impls, 0 clqs
696.21/696.29 c (round 12) 8524 del vars, 31907 del conss, 0 add conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 55352178 impls, 0 clqs
696.71/696.72 c (round 13) 8524 del vars, 31907 del conss, 0 add conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 97201 upgd conss, 55352178 impls, 0 clqs
697.21/697.24 c (round 14) 8524 del vars, 31907 del conss, 19 add conss, 6620 chg bounds, 208 chg sides, 1181 chg coeffs, 97201 upgd conss, 55354034 impls, 0 clqs
989.31/989.30 c (989.3s) probing: 3000/28200 (10.6%) - 4 fixings, 4 aggregations, 19751739 implications, 0 bound changes
1358.42/1358.43 c (1358.4s) probing: 4000/28200 (14.2%) - 7 fixings, 7 aggregations, 29673493 implications, 0 bound changes
1681.64/1681.66 c (1681.7s) probing: 5000/28200 (17.7%) - 7 fixings, 7 aggregations, 37826347 implications, 0 bound changes
1797.04/1797.06 c (1797.1s) probing: 5402/28200 (19.2%) - 7 fixings, 7 aggregations, 40740422 implications, 0 bound changes
1797.04/1797.06 c (1797.1s) probing aborted: solving stopped
1797.04/1797.06 c (round 15) 8536 del vars, 31907 del conss, 19 add conss, 6620 chg bounds, 208 chg sides, 1261 chg coeffs, 97201 upgd conss, 116560646 impls, 289 clqs
1797.04/1797.06 c presolving (15 rounds):
1797.04/1797.06 c 8536 deleted vars, 31907 deleted constraints, 19 added constraints, 6620 tightened bounds, 0 added holes, 208 changed sides, 1261 changed coefficients
1797.04/1797.06 c 116560646 implications, 289 cliques
1797.04/1797.06 c presolving was interrupted.
1797.04/1797.06 c Presolving Time: 1796.28
1797.04/1797.06 c - non default parameters ----------------------------------------------------------------------
1797.04/1797.06 c # SCIP version 2.0.1.4
1797.04/1797.06 c
1797.04/1797.06 c # frequency for displaying node information lines
1797.04/1797.06 c # [type: int, range: [-1,2147483647], default: 100]
1797.04/1797.06 c display/freq = 10000
1797.04/1797.06 c
1797.04/1797.06 c # maximal time in seconds to run
1797.04/1797.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.04/1797.06 c limits/time = 1797
1797.04/1797.06 c
1797.04/1797.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.04/1797.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.04/1797.06 c limits/memory = 13950
1797.04/1797.06 c
1797.04/1797.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.04/1797.06 c # [type: int, range: [1,2], default: 1]
1797.04/1797.06 c timing/clocktype = 2
1797.04/1797.06 c
1797.04/1797.06 c # belongs reading time to solving time?
1797.04/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.06 c timing/reading = TRUE
1797.04/1797.06 c
1797.04/1797.06 c # should presolving try to simplify inequalities
1797.04/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.06 c constraints/linear/simplifyinequalities = TRUE
1797.04/1797.06 c
1797.04/1797.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.04/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.06 c constraints/indicator/addCouplingCons = TRUE
1797.04/1797.06 c
1797.04/1797.06 c # should presolving try to simplify knapsacks
1797.04/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.06 c constraints/knapsack/simplifyinequalities = TRUE
1797.04/1797.06 c
1797.04/1797.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.04/1797.06 c # [type: int, range: [-1,2147483647], default: -1]
1797.04/1797.06 c separating/rapidlearning/freq = 0
1797.04/1797.06 c
1797.04/1797.06 c -----------------------------------------------------------------------------------------------
1797.04/1797.06 c start solving
1797.13/1797.10 c presolving:
1797.13/1797.10 c presolving (15 rounds):
1797.13/1797.10 c 8536 deleted vars, 31907 deleted constraints, 19 added constraints, 6620 tightened bounds, 0 added holes, 208 changed sides, 1261 changed coefficients
1797.13/1797.10 c 116560646 implications, 289 cliques
1797.13/1797.10 c presolving was interrupted.
1797.13/1797.10 c Presolving Time: 1796.32
1797.13/1797.10 c
1797.13/1797.10 c SCIP Status : solving was interrupted [time limit reached]
1797.13/1797.10 c Solving Time (sec) : 1797.10
1797.13/1797.10 c Solving Nodes : 0
1797.13/1797.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.13/1797.10 s UNKNOWN
1797.13/1797.10 c SCIP Status : solving was interrupted [time limit reached]
1797.13/1797.10 c Total Time : 1797.10
1797.13/1797.10 c solving : 1797.10
1797.13/1797.10 c presolving : 1796.32 (included in solving)
1797.13/1797.10 c reading : 0.66 (included in solving)
1797.13/1797.10 c Original Problem :
1797.13/1797.10 c Problem name : HOME/instance-3486338-1307792235.opb
1797.13/1797.10 c Variables : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.13/1797.10 c Constraints : 129108 initial, 129108 maximal
1797.13/1797.10 c Presolved Problem :
1797.13/1797.10 c Problem name : t_HOME/instance-3486338-1307792235.opb
1797.13/1797.10 c Variables : 28186 (28186 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.13/1797.10 c Constraints : 97220 initial, 97220 maximal
1797.13/1797.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.13/1797.10 c trivial : 0.02 506 0 0 0 0 0 0 0 0
1797.13/1797.10 c dualfix : 0.03 60 0 0 0 0 0 0 0 0
1797.13/1797.10 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c implics : 0.54 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c probing : 1788.32 7 7 0 0 0 0 0 0 0
1797.13/1797.10 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c knapsack : 0.54 0 0 0 0 0 0 19 34 1094
1797.13/1797.10 c setppc : 0.18 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c linear : 6.20 6114 1842 0 6620 0 31907 0 174 167
1797.13/1797.10 c logicor : 0.05 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c root node : - 0 - - 0 - - - - -
1797.13/1797.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.13/1797.10 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c knapsack : 0+ 0 144097 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c setppc : 0+ 0 144097 0 0 0 0 5 0 0 0 0
1797.13/1797.10 c linear : 0+ 0 116841 0 0 0 0 1 0 0 0 0
1797.13/1797.10 c logicor : 0+ 0 133213 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.13/1797.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.13/1797.10 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.10 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.10 c knapsack : 5.56 0.00 5.56 0.00 0.00 0.00 0.00
1797.13/1797.10 c setppc : 292.84 0.00 292.84 0.00 0.00 0.00 0.00
1797.13/1797.10 c linear : 297.98 0.00 297.98 0.00 0.00 0.00 0.00
1797.13/1797.10 c logicor : 10.27 0.00 10.27 0.00 0.00 0.00 0.00
1797.13/1797.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.10 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.13/1797.10 c vbounds : 0 0 0 0
1797.13/1797.10 c rootredcost : 0 0 0 0
1797.13/1797.10 c pseudoobj : 0 0 0 0
1797.13/1797.10 c Propagator Timings : TotalTime Propagate Resprop
1797.13/1797.10 c vbounds : 0.07 0.07 0.00
1797.13/1797.10 c rootredcost : 0.04 0.04 0.00
1797.13/1797.10 c pseudoobj : 0.03 0.03 0.00
1797.13/1797.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.13/1797.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.13/1797.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.13/1797.10 c applied globally : - - - 0 0.0 - - -
1797.13/1797.10 c applied locally : - - - 0 0.0 - - -
1797.44/1797.46 c Time complete: 1797.5.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3486338-1307792235/watcher-3486338-1307792235 -o /tmp/evaluation-result-3486338-1307792235/solver-3486338-1307792235 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486338-1307792235.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 1.95 2/177 24590
/proc/meminfo: memFree=30787760/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=10316 CPUtime=0 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1574 0 0 0 0 0 0 0 25 0 1 0 9968381 10563584 1528 33554432000 4194304 8979876 140737358610768 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24590/statm: 2579 1528 366 1169 0 1406 0
[startup+0.0757841 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 24590
/proc/meminfo: memFree=30787760/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=25220 CPUtime=0.06 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 5290 0 0 0 6 0 0 0 25 0 1 0 9968381 25825280 5244 33554432000 4194304 8979876 140737358610768 18446744073709551615 4327710 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24590/statm: 6305 5244 366 1169 0 5132 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25220
[startup+0.100775 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 24590
/proc/meminfo: memFree=30787760/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=28568 CPUtime=0.09 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 6017 0 0 0 8 1 0 0 25 0 1 0 9968381 29253632 5972 33554432000 4194304 8979876 140737358610768 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24590/statm: 7142 5999 366 1169 0 5969 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28568
[startup+0.300745 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 24590
/proc/meminfo: memFree=30787760/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=42608 CPUtime=0.29 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 9654 0 0 0 28 1 0 0 25 0 1 0 9968381 43630592 9608 33554432000 4194304 8979876 140737358610768 18446744073709551615 4536326 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24590/statm: 10652 9608 366 1169 0 9479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42608
[startup+0.700671 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 24590
/proc/meminfo: memFree=30787760/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=109108 CPUtime=0.69 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 26258 0 0 0 66 3 0 0 25 0 1 0 9968381 111726592 26193 33554432000 4194304 8979876 140737358610768 18446744073709551615 4320263 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 27277 26193 416 1169 0 26104 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109108
[startup+1.50053 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24591
/proc/meminfo: memFree=30576340/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=260292 CPUtime=1.49 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 69393 0 0 0 142 7 0 0 25 0 1 0 9968381 266539008 63295 33554432000 4194304 8979876 140737358610768 18446744073709551615 4905359 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 65073 63295 487 1169 0 63900 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 260292
[startup+3.10014 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24591
/proc/meminfo: memFree=30490020/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=377992 CPUtime=3.09 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 98504 0 0 0 299 10 0 0 25 0 1 0 9968381 387063808 92406 33554432000 4194304 8979876 140737358610768 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 94498 92441 494 1169 0 93325 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 377992
[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24591
/proc/meminfo: memFree=30321732/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=481872 CPUtime=6.29 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 123232 0 0 0 616 13 0 0 25 0 1 0 9968381 493436928 116877 33554432000 4194304 8979876 140737358610768 18446744073709551615 6504322 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 120468 116877 504 1169 0 119295 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 481872
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24591
/proc/meminfo: memFree=30262004/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=549964 CPUtime=12.69 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 139590 0 0 0 1254 15 0 0 25 0 1 0 9968381 563163136 132963 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503296 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 137491 132963 516 1169 0 136318 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 549964
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24591
/proc/meminfo: memFree=30235080/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=574876 CPUtime=25.49 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 145535 0 0 0 2533 16 0 0 25 0 1 0 9968381 588673024 138908 33554432000 4194304 8979876 140737358610768 18446744073709551615 5313952 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 143719 138908 516 1169 0 142546 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 574876
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24591
/proc/meminfo: memFree=30158720/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=652088 CPUtime=51.1 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 164292 0 0 0 5091 19 0 0 25 0 1 0 9968381 667738112 157665 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 163022 157665 516 1169 0 161849 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 652088
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24593
/proc/meminfo: memFree=30030940/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=778144 CPUtime=102.3 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 196124 0 0 0 10208 22 0 0 25 0 1 0 9968381 796819456 189497 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 194536 189497 516 1169 0 193363 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 778144
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24595
/proc/meminfo: memFree=29835220/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=978656 CPUtime=162.3 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 245073 0 0 0 16202 28 0 0 25 0 1 0 9968381 1002143744 238446 33554432000 4194304 8979876 140737358610768 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 244664 238446 516 1169 0 243491 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 978656
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24596
/proc/meminfo: memFree=29674824/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=1138580 CPUtime=222.29 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 284672 0 0 0 22196 33 0 0 25 0 1 0 9968381 1165905920 278045 33554432000 4194304 8979876 140737358610768 18446744073709551615 5313822 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 284645 278045 516 1169 0 283472 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1138580
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24597
/proc/meminfo: memFree=29469176/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=1344836 CPUtime=282.3 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 336583 0 0 0 28188 42 0 0 25 0 1 0 9968381 1377112064 329956 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 336209 329956 516 1169 0 335036 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1344836
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 24599
/proc/meminfo: memFree=29351068/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=1463000 CPUtime=342.3 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 365660 0 0 0 34184 46 0 0 25 0 1 0 9968381 1498112000 359033 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 365750 359033 516 1169 0 364577 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1463000
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 24601
/proc/meminfo: memFree=29222796/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=1589680 CPUtime=402.3 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 397490 0 0 0 40181 49 0 0 25 0 1 0 9968381 1627832320 390863 33554432000 4194304 8979876 140737358610768 18446744073709551615 5278416 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 397420 390863 521 1169 0 396247 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1589680
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24603
/proc/meminfo: memFree=29146604/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=1667304 CPUtime=462.31 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 416555 0 0 0 46179 52 0 0 25 0 1 0 9968381 1707319296 409928 33554432000 4194304 8979876 140737358610768 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 416826 409928 521 1169 0 415653 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1667304
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24604
/proc/meminfo: memFree=29048572/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=1767084 CPUtime=522.3 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 441244 0 0 0 52175 55 0 0 25 0 1 0 9968381 1809494016 434617 33554432000 4194304 8979876 140737358610768 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 441771 434617 521 1169 0 440598 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1767084
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24605
/proc/meminfo: memFree=28943376/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=1871484 CPUtime=582.3 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 467447 0 0 0 58171 59 0 0 25 0 1 0 9968381 1916399616 460820 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 467871 460820 521 1169 0 466698 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1871484
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27975676/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=2848496 CPUtime=1122.31 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 717934 0 0 0 112140 91 0 0 25 0 1 0 9968381 2916859904 702978 33554432000 4194304 8979876 140737358610768 18446744073709551615 6495045 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 712124 702978 553 1169 0 710951 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2848496
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24624
/proc/meminfo: memFree=27852964/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=2967380 CPUtime=1182.32 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 747683 0 0 0 118137 95 0 0 25 0 1 0 9968381 3038597120 732727 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 741845 732727 553 1169 0 740672 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2967380
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24626
/proc/meminfo: memFree=27728116/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=3091644 CPUtime=1242.32 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 778489 0 0 0 124133 99 0 0 25 0 1 0 9968381 3165843456 763533 33554432000 4194304 8979876 140737358610768 18446744073709551615 4917091 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 772911 763533 553 1169 0 771738 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3091644
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24628
/proc/meminfo: memFree=27604068/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=3215644 CPUtime=1302.33 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 808971 0 0 0 130129 104 0 0 25 0 1 0 9968381 3292819456 794015 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 803911 794015 553 1169 0 802738 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3215644
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24630
/proc/meminfo: memFree=27474932/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=3348752 CPUtime=1362.32 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 842312 0 0 0 136125 107 0 0 25 0 1 0 9968381 3429122048 827356 33554432000 4194304 8979876 140737358610768 18446744073709551615 4460176 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 837188 827356 553 1169 0 836015 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3348752
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24631
/proc/meminfo: memFree=27349016/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=3474572 CPUtime=1422.34 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 873550 0 0 0 142122 112 0 0 25 0 1 0 9968381 3557961728 858594 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503324 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 868643 858594 553 1169 0 867470 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3474572
[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 1.97 3/178 24641
/proc/meminfo: memFree=27201396/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=3621404 CPUtime=1482.33 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 910444 0 0 0 148116 117 0 0 25 0 1 0 9968381 3708317696 895488 33554432000 4194304 8979876 140737358610768 18446744073709551615 4889213 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 905351 895488 553 1169 0 904178 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3621404
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/178 24643
/proc/meminfo: memFree=27076212/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=3746128 CPUtime=1542.32 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 940963 0 0 0 154113 119 0 0 25 0 1 0 9968381 3836035072 926007 33554432000 4194304 8979876 140737358610768 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 936532 926007 553 1169 0 935359 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3746128
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/178 24645
/proc/meminfo: memFree=26937908/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=3886296 CPUtime=1602.33 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 975590 0 0 0 160109 124 0 0 25 0 1 0 9968381 3979567104 960634 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 971574 960636 553 1169 0 970401 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3886296
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 24685
/proc/meminfo: memFree=26033664/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=4027440 CPUtime=1662.33 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1011304 0 0 0 166105 128 0 0 25 0 1 0 9968381 4124098560 996348 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 1006860 996348 553 1169 0 1005687 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 4027440
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24686
/proc/meminfo: memFree=25829384/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=4135360 CPUtime=1722.33 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1037598 0 0 0 172101 132 0 0 25 0 1 0 9968381 4234608640 1022642 33554432000 4194304 8979876 140737358610768 18446744073709551615 5537780 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 1033840 1022642 553 1169 0 1032667 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 4135360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24687
/proc/meminfo: memFree=25566816/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=4287180 CPUtime=1782.33 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1074888 0 0 0 178097 136 0 0 25 0 1 0 9968381 4390072320 1059932 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 1071795 1059932 553 1169 0 1070622 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 4287180
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24687
/proc/meminfo: memFree=25552928/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=4295244 CPUtime=1785.54 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1076971 0 0 0 178417 137 0 0 25 0 1 0 9968381 4398329856 1062015 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 1073811 1062015 553 1169 0 1072638 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 4295244
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24688
/proc/meminfo: memFree=25524644/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=4309356 CPUtime=1791.94 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1080569 0 0 0 179056 138 0 0 25 0 1 0 9968381 4412780544 1065613 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 1077339 1065613 553 1169 0 1076166 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 4309356
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24688
/proc/meminfo: memFree=25510364/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=4320400 CPUtime=1795.14 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1082868 0 0 0 179376 138 0 0 25 0 1 0 9968381 4424089600 1067912 33554432000 4194304 8979876 140737358610768 18446744073709551615 5539194 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 1080100 1067912 553 1169 0 1078927 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 4320400
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24688
/proc/meminfo: memFree=25507388/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=4326396 CPUtime=1796.74 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1083901 0 0 0 179536 138 0 0 25 0 1 0 9968381 4430229504 1068945 33554432000 4194304 8979876 140737358610768 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 1081599 1068945 553 1169 0 1080426 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 4326396
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24688
/proc/meminfo: memFree=25507388/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=4328408 CPUtime=1797.13 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1084531 0 0 0 179575 138 0 0 25 0 1 0 9968381 4432289792 1069575 33554432000 4194304 8979876 140737358610768 18446744073709551615 4786309 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24590/statm: 1082102 1069575 555 1169 0 1080929 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 4328408
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24688
/proc/meminfo: memFree=25640440/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=4176468 CPUtime=1797.34 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1084544 0 0 0 179595 139 0 0 18 0 1 0 9968381 4276703232 1031953 33554432000 4194304 8979876 140737358610768 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24590/statm: 1044117 1031953 568 1169 0 1042944 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 4176468
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24688
/proc/meminfo: memFree=25640440/32950928 swapFree=67111528/67111528
[pid=24590] ppid=24588 vsize=3951776 CPUtime=1797.44 cores=0,2,4,6
/proc/24590/stat : 24590 (scip-2.0.1.4_2.) R 24588 24590 23627 0 -1 4202496 1084556 0 0 0 179597 147 0 0 18 0 1 0 9968381 4046618624 461620 33554432000 4194304 8979876 140737358610768 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24590/statm: 987944 461108 580 1169 0 986771 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 3951776
Child status: 0
Real time (s): 1797.47
CPU time (s): 1797.51
CPU user time (s): 1795.98
CPU system time (s): 1.53777
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4328408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.98
system time used= 1.53777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1084561
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= 7
involuntary context switches= 998
runsolver used 2.70459 second user time and 5.48217 second system time
The end