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-3489750-1307792033.opb>
1.39/1.41 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256320 constraints
1.39/1.41 c problem read
1.39/1.41 c presolving settings loaded
1.79/1.88 c presolving:
9.99/10.02 c (round 1) 9047 del vars, 26928 del conss, 0 add conss, 7333 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16918240 impls, 0 clqs
14.19/14.22 c (round 2) 15609 del vars, 57097 del conss, 0 add conss, 13668 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16952328 impls, 0 clqs
15.49/15.59 c (round 3) 18187 del vars, 68916 del conss, 0 add conss, 15199 chg bounds, 26 chg sides, 21 chg coeffs, 0 upgd conss, 16968869 impls, 0 clqs
16.39/16.42 c (round 4) 19543 del vars, 74518 del conss, 0 add conss, 16123 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16980351 impls, 0 clqs
16.89/16.93 c (round 5) 20370 del vars, 77965 del conss, 0 add conss, 16643 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16987688 impls, 0 clqs
17.19/17.22 c (round 6) 20855 del vars, 80063 del conss, 0 add conss, 16917 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16992716 impls, 0 clqs
17.39/17.44 c (round 7) 21170 del vars, 81366 del conss, 0 add conss, 17100 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16996165 impls, 0 clqs
17.59/17.63 c (round 8) 21442 del vars, 82457 del conss, 0 add conss, 17247 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16999746 impls, 0 clqs
17.69/17.79 c (round 9) 21640 del vars, 83240 del conss, 0 add conss, 17354 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17002532 impls, 0 clqs
17.89/17.91 c (round 10) 21772 del vars, 83802 del conss, 0 add conss, 17424 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17004774 impls, 0 clqs
17.99/18.01 c (round 11) 21880 del vars, 84239 del conss, 0 add conss, 17481 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17006756 impls, 0 clqs
18.09/18.10 c (round 12) 21971 del vars, 84618 del conss, 0 add conss, 17531 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17009132 impls, 0 clqs
18.19/18.21 c (round 13) 22047 del vars, 84935 del conss, 0 add conss, 17580 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17010249 impls, 0 clqs
18.29/18.31 c (round 14) 22101 del vars, 85170 del conss, 0 add conss, 17615 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17010635 impls, 0 clqs
18.29/18.38 c (round 15) 22125 del vars, 85300 del conss, 0 add conss, 17621 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17010733 impls, 0 clqs
18.99/19.02 c (round 16) 22125 del vars, 85314 del conss, 0 add conss, 17621 chg bounds, 35 chg sides, 33 chg coeffs, 171006 upgd conss, 17010733 impls, 0 clqs
19.39/19.47 c (round 17) 22128 del vars, 85323 del conss, 21 add conss, 17622 chg bounds, 70 chg sides, 201 chg coeffs, 171006 upgd conss, 17012836 impls, 2180 clqs
19.70/19.70 c (round 18) 22129 del vars, 85329 del conss, 27 add conss, 17622 chg bounds, 82 chg sides, 248 chg coeffs, 171006 upgd conss, 17012836 impls, 2379 clqs
828.11/828.16 c (828.2s) probing: 1000/50713 (2.0%) - 23 fixings, 9 aggregations, 13178910 implications, 0 bound changes
1481.73/1481.73 c (1481.7s) probing: 2000/50713 (3.9%) - 34 fixings, 11 aggregations, 21582002 implications, 2 bound changes
1797.33/1797.33 c (1797.3s) probing: 2551/50713 (5.0%) - 34 fixings, 11 aggregations, 25927122 implications, 2 bound changes
1797.33/1797.33 c (1797.3s) probing aborted: solving stopped
1797.33/1797.33 c (round 19) 22174 del vars, 85337 del conss, 27 add conss, 17624 chg bounds, 82 chg sides, 248 chg coeffs, 171006 upgd conss, 109212704 impls, 2269 clqs
1797.33/1797.33 c presolving (19 rounds):
1797.33/1797.33 c 22174 deleted vars, 85337 deleted constraints, 27 added constraints, 17624 tightened bounds, 0 added holes, 82 changed sides, 248 changed coefficients
1797.33/1797.33 c 109212704 implications, 2269 cliques
1797.33/1797.33 c presolving was interrupted.
1797.33/1797.33 c Presolving Time: 1795.59
1797.33/1797.33 c - non default parameters ----------------------------------------------------------------------
1797.33/1797.33 c # SCIP version 2.0.1.5
1797.33/1797.33 c
1797.33/1797.33 c # frequency for displaying node information lines
1797.33/1797.33 c # [type: int, range: [-1,2147483647], default: 100]
1797.33/1797.33 c display/freq = 10000
1797.33/1797.33 c
1797.33/1797.33 c # maximal time in seconds to run
1797.33/1797.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.33/1797.33 c limits/time = 1797
1797.33/1797.33 c
1797.33/1797.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.33/1797.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.33/1797.34 c limits/memory = 13950
1797.33/1797.34 c
1797.33/1797.34 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.33/1797.34 c # [type: int, range: [1,2], default: 1]
1797.33/1797.34 c timing/clocktype = 2
1797.33/1797.34 c
1797.33/1797.34 c # belongs reading time to solving time?
1797.33/1797.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.33/1797.34 c timing/reading = TRUE
1797.33/1797.34 c
1797.33/1797.34 c # should presolving try to simplify inequalities
1797.33/1797.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.33/1797.34 c constraints/linear/simplifyinequalities = TRUE
1797.33/1797.34 c
1797.33/1797.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.33/1797.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.33/1797.34 c constraints/indicator/addCouplingCons = TRUE
1797.33/1797.34 c
1797.33/1797.34 c # should presolving try to simplify knapsacks
1797.33/1797.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.33/1797.34 c constraints/knapsack/simplifyinequalities = TRUE
1797.33/1797.34 c
1797.33/1797.34 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.33/1797.34 c # [type: int, range: [-1,2147483647], default: -1]
1797.33/1797.34 c separating/rapidlearning/freq = 0
1797.33/1797.34 c
1797.33/1797.34 c -----------------------------------------------------------------------------------------------
1797.33/1797.34 c start solving
1797.33/1797.37 c presolving:
1797.33/1797.37 c presolving (19 rounds):
1797.33/1797.37 c 22174 deleted vars, 85337 deleted constraints, 27 added constraints, 17624 tightened bounds, 0 added holes, 82 changed sides, 248 changed coefficients
1797.33/1797.37 c 109212704 implications, 2269 cliques
1797.33/1797.37 c presolving was interrupted.
1797.33/1797.37 c Presolving Time: 1795.62
1797.33/1797.37 c
1797.33/1797.37 c SCIP Status : solving was interrupted [time limit reached]
1797.33/1797.37 c Solving Time (sec) : 1797.37
1797.33/1797.37 c Solving Nodes : 0
1797.33/1797.37 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.33/1797.37 s UNKNOWN
1797.33/1797.37 c SCIP Status : solving was interrupted [time limit reached]
1797.33/1797.37 c Total Time : 1797.37
1797.33/1797.37 c solving : 1797.37
1797.33/1797.37 c presolving : 1795.62 (included in solving)
1797.33/1797.37 c reading : 1.41 (included in solving)
1797.33/1797.37 c Original Problem :
1797.33/1797.37 c Problem name : HOME/instance-3489750-1307792033.opb
1797.33/1797.37 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.33/1797.37 c Constraints : 256320 initial, 256320 maximal
1797.33/1797.37 c Presolved Problem :
1797.33/1797.37 c Problem name : t_HOME/instance-3489750-1307792033.opb
1797.33/1797.37 c Variables : 50668 (50668 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.33/1797.37 c Constraints : 171010 initial, 171010 maximal
1797.33/1797.37 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.33/1797.37 c trivial : 0.05 1073 0 0 0 0 0 0 0 0
1797.33/1797.37 c dualfix : 0.08 122 0 0 0 0 0 0 0 0
1797.33/1797.37 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.33/1797.37 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.33/1797.37 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.33/1797.37 c implics : 0.61 0 2 0 0 0 0 0 0 0
1797.33/1797.37 c probing : 1777.44 34 11 0 2 0 0 0 0 0
1797.33/1797.37 c knapsack : 0.41 0 0 0 1 0 4 27 47 215
1797.33/1797.37 c setppc : 0.27 1 0 0 0 0 19 0 0 0
1797.33/1797.37 c linear : 16.29 16549 4382 0 17621 0 85314 0 35 33
1797.33/1797.37 c logicor : 0.07 0 0 0 0 0 0 0 0 0
1797.33/1797.37 c root node : - 0 - - 0 - - - - -
1797.33/1797.37 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.33/1797.37 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.33/1797.37 c knapsack : 0+ 0 127668 0 0 0 0 3 0 0 0 0
1797.33/1797.37 c setppc : 0+ 0 127665 0 0 0 0 7 0 0 0 0
1797.33/1797.37 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.33/1797.37 c logicor : 0+ 0 115709 0 0 0 0 4 0 0 0 0
1797.33/1797.37 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.33/1797.37 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.33/1797.37 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.33/1797.37 c knapsack : 7.70 0.00 7.70 0.00 0.00 0.00 0.00
1797.33/1797.37 c setppc : 747.12 0.00 747.12 0.00 0.00 0.00 0.00
1797.33/1797.37 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.33/1797.37 c logicor : 8.84 0.00 8.84 0.00 0.00 0.00 0.00
1797.33/1797.37 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.33/1797.37 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.33/1797.37 c vbounds : 0 0 0 0
1797.33/1797.37 c rootredcost : 0 0 0 0
1797.33/1797.37 c pseudoobj : 0 0 0 0
1797.33/1797.37 c Propagator Timings : TotalTime Propagate Resprop
1797.33/1797.37 c vbounds : 0.05 0.05 0.00
1797.33/1797.37 c rootredcost : 0.03 0.03 0.00
1797.33/1797.37 c pseudoobj : 0.03 0.03 0.00
1797.33/1797.37 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.33/1797.37 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.33/1797.37 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.33/1797.37 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.33/1797.37 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.33/1797.37 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.33/1797.37 c applied globally : - - - 0 0.0 - - -
1797.33/1797.37 c applied locally : - - - 0 0.0 - - -
1797.93/1797.96 c Time complete: 1797.99.
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-3489750-1307792033/watcher-3489750-1307792033 -o /tmp/evaluation-result-3489750-1307792033/solver-3489750-1307792033 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489750-1307792033.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 1.99 1.91 3/177 11243
/proc/meminfo: memFree=31639020/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=12876 CPUtime=0 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 2225 0 0 0 0 0 0 0 25 0 1 0 890802969 13185024 2179 33554432000 4194304 9016284 140733729368112 18446744073709551615 7870478 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11243/statm: 3253 2181 360 1178 0 2071 0
[startup+0.012602 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 11243
/proc/meminfo: memFree=31639020/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=14388 CPUtime=0.01 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 2590 0 0 0 1 0 0 0 25 0 1 0 890802969 14733312 2544 33554432000 4194304 9016284 140733729368112 18446744073709551615 6181145 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11243/statm: 3597 2544 360 1178 0 2415 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14388
[startup+0.100564 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 11243
/proc/meminfo: memFree=31639020/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=32260 CPUtime=0.09 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 7065 0 0 0 9 0 0 0 25 0 1 0 890802969 33034240 7019 33554432000 4194304 9016284 140733729368112 18446744073709551615 7870488 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11243/statm: 8065 7019 360 1178 0 6883 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32260
[startup+0.300607 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 11243
/proc/meminfo: memFree=31639020/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=59140 CPUtime=0.29 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 13784 0 0 0 28 1 0 0 25 0 1 0 890802969 60559360 13738 33554432000 4194304 9016284 140733729368112 18446744073709551615 4536486 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11243/statm: 14785 13738 360 1178 0 13603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59140
[startup+0.700556 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 11243
/proc/meminfo: memFree=31639020/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=88564 CPUtime=0.68 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 21138 0 0 0 67 1 0 0 25 0 1 0 890802969 90689536 21092 33554432000 4194304 9016284 140733729368112 18446744073709551615 4445508 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11243/statm: 22141 21092 360 1178 0 20959 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 88564
[startup+1.50038 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11244
/proc/meminfo: memFree=31421032/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=237952 CPUtime=1.49 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 58300 0 0 0 143 6 0 0 25 0 1 0 890802969 243662848 58235 33554432000 4194304 9016284 140733729368112 18446744073709551615 7875236 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 59488 58235 406 1178 0 58306 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 237952
[startup+3.10099 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11244
/proc/meminfo: memFree=30857328/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=515164 CPUtime=3.09 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 126466 0 0 0 295 14 0 0 25 0 1 0 890802969 527527936 126401 33554432000 4194304 9016284 140733729368112 18446744073709551615 6481211 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 128791 126401 485 1178 0 127609 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 515164
[startup+6.30048 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11244
/proc/meminfo: memFree=30335280/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=722732 CPUtime=6.29 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 178116 0 0 0 610 19 0 0 25 0 1 0 890802969 740077568 178051 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 180683 178051 485 1178 0 179501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 722732
[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11244
/proc/meminfo: memFree=29948544/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=884776 CPUtime=12.69 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 216745 0 0 0 1246 23 0 0 25 0 1 0 890802969 906010624 216423 33554432000 4194304 9016284 140733729368112 18446744073709551615 6481247 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 221194 216423 496 1178 0 220012 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 884776
[startup+25.501 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11244
/proc/meminfo: memFree=29769892/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=958252 CPUtime=25.49 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 248913 0 0 0 2522 27 0 0 25 0 1 0 890802969 981250048 234231 33554432000 4194304 9016284 140733729368112 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 239563 234231 563 1178 0 238381 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 958252
[startup+51.1007 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11245
/proc/meminfo: memFree=29693076/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=994148 CPUtime=51.09 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 257796 0 0 0 5081 28 0 0 25 0 1 0 890802969 1018007552 243114 33554432000 4194304 9016284 140733729368112 18446744073709551615 5325472 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 248537 243114 563 1178 0 247355 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 994148
[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11246
/proc/meminfo: memFree=29552204/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=1074508 CPUtime=102.3 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 277014 0 0 0 10199 31 0 0 25 0 1 0 890802969 1100296192 262332 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 268627 262332 563 1178 0 267445 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1074508
[startup+162.301 s]
/proc/loadavg: 2.05 2.00 1.92 3/178 11248
/proc/meminfo: memFree=29278120/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=1213568 CPUtime=162.29 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 311528 0 0 0 16195 34 0 0 25 0 1 0 890802969 1242693632 296846 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480416 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 303392 296846 563 1178 0 302210 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1213568
[startup+222.3 s]
/proc/loadavg: 2.02 2.00 1.92 3/178 11250
/proc/meminfo: memFree=29006016/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=1419316 CPUtime=222.29 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 362129 0 0 0 22190 39 0 0 25 0 1 0 890802969 1453379584 347447 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 354829 347447 563 1178 0 353647 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1419316
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11251
/proc/meminfo: memFree=28699940/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=1602808 CPUtime=282.3 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 407187 0 0 0 28186 44 0 0 25 0 1 0 890802969 1641275392 392505 33554432000 4194304 9016284 140733729368112 18446744073709551615 5512299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 400702 392505 563 1178 0 399520 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1602808
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11253
/proc/meminfo: memFree=28496784/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=1697724 CPUtime=342.3 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 430983 0 0 0 34184 46 0 0 25 0 1 0 890802969 1738469376 416301 33554432000 4194304 9016284 140733729368112 18446744073709551615 5510753 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 424431 416301 563 1178 0 423249 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1697724
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11254
/proc/meminfo: memFree=28215376/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=1831088 CPUtime=402.3 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 464144 0 0 0 40180 50 0 0 25 0 1 0 890802969 1875034112 449462 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 457772 449462 563 1178 0 456590 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1831088
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 11256
/proc/meminfo: memFree=28021752/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=1914292 CPUtime=462.3 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 484792 0 0 0 46177 53 0 0 25 0 1 0 890802969 1960235008 470110 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 478573 470110 563 1178 0 477391 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1914292
[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 11258
/proc/meminfo: memFree=27771960/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=2019212 CPUtime=522.3 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 511111 0 0 0 52174 56 0 0 25 0 1 0 890802969 2067673088 496429 33554432000 4194304 9016284 140733729368112 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 504803 496429 563 1178 0 503621 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2019212
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11259
/proc/meminfo: memFree=27618144/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=2095680 CPUtime=582.31 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 529847 0 0 0 58172 59 0 0 25 0 1 0 890802969 2145976320 515165 33554432000 4194304 9016284 140733729368112 18446744073709551615 5519556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 523920 515165 563 1178 0 522738 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2095680
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26169284/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=2917700 CPUtime=1062.31 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 732787 0 0 0 106148 83 0 0 25 0 1 0 890802969 2987724800 718105 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480241 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 729425 718105 568 1178 0 728243 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2917700
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11274
/proc/meminfo: memFree=26049940/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=2988940 CPUtime=1122.32 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 750377 0 0 0 112147 85 0 0 25 0 1 0 890802969 3060674560 735695 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480192 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 747235 735695 568 1178 0 746053 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2988940
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11275
/proc/meminfo: memFree=25960600/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3031072 CPUtime=1182.31 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 760971 0 0 0 118145 86 0 0 25 0 1 0 890802969 3103817728 746289 33554432000 4194304 9016284 140733729368112 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 757768 746289 568 1178 0 756586 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3031072
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11277
/proc/meminfo: memFree=25809256/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3135432 CPUtime=1242.32 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 787498 0 0 0 124141 91 0 0 25 0 1 0 890802969 3210682368 772816 33554432000 4194304 9016284 140733729368112 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 783858 772816 568 1178 0 782676 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3135432
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.94 4/178 11278
/proc/meminfo: memFree=25691408/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3202276 CPUtime=1302.32 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 804150 0 0 0 130139 93 0 0 25 0 1 0 890802969 3279130624 789468 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 800569 789468 568 1178 0 799387 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3202276
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 11280
/proc/meminfo: memFree=25589544/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3264368 CPUtime=1362.32 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 818983 0 0 0 136137 95 0 0 25 0 1 0 890802969 3342712832 804301 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 816092 804301 568 1178 0 814910 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3264368
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11282
/proc/meminfo: memFree=25485828/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3320972 CPUtime=1422.33 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 833569 0 0 0 142136 97 0 0 25 0 1 0 890802969 3400675328 818887 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 830243 818887 568 1178 0 829061 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3320972
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11283
/proc/meminfo: memFree=25399584/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3381132 CPUtime=1482.33 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 848703 0 0 0 148134 99 0 0 25 0 1 0 890802969 3462279168 834021 33554432000 4194304 9016284 140733729368112 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 845283 834021 568 1178 0 844101 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3381132
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 11285
/proc/meminfo: memFree=25290664/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3449996 CPUtime=1542.32 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 865740 0 0 0 154131 101 0 0 25 0 1 0 890802969 3532795904 851058 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 862499 851058 568 1178 0 861317 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3449996
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 11286
/proc/meminfo: memFree=25197604/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3505060 CPUtime=1602.33 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 880184 0 0 0 160130 103 0 0 25 0 1 0 890802969 3589181440 865502 33554432000 4194304 9016284 140733729368112 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 876265 865502 568 1178 0 875083 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3505060
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 11297
/proc/meminfo: memFree=25098632/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3578448 CPUtime=1662.33 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 897679 0 0 0 166127 106 0 0 25 0 1 0 890802969 3664330752 882997 33554432000 4194304 9016284 140733729368112 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 894612 882997 568 1178 0 893430 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3578448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11299
/proc/meminfo: memFree=24984128/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3651492 CPUtime=1722.33 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 915890 0 0 0 172125 108 0 0 25 0 1 0 890802969 3739127808 901208 33554432000 4194304 9016284 140733729368112 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 912873 901208 568 1178 0 911691 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3651492
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11300
/proc/meminfo: memFree=24887604/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3702552 CPUtime=1782.33 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 929286 0 0 0 178123 110 0 0 25 0 1 0 890802969 3791413248 914604 33554432000 4194304 9016284 140733729368112 18446744073709551615 5510916 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 925638 914604 568 1178 0 924456 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3702552
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11300
/proc/meminfo: memFree=24881280/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3705556 CPUtime=1785.53 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 930096 0 0 0 178443 110 0 0 25 0 1 0 890802969 3794489344 915414 33554432000 4194304 9016284 140733729368112 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 926389 915414 568 1178 0 925207 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 3705556
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11300
/proc/meminfo: memFree=24863412/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3718488 CPUtime=1791.94 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 932999 0 0 0 179084 110 0 0 25 0 1 0 890802969 3807731712 918317 33554432000 4194304 9016284 140733729368112 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 929622 918317 568 1178 0 928440 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3718488
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11301
/proc/meminfo: memFree=24857088/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3722536 CPUtime=1795.14 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 934095 0 0 0 179404 110 0 0 25 0 1 0 890802969 3811876864 919413 33554432000 4194304 9016284 140733729368112 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 930634 919413 568 1178 0 929452 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 3722536
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11301
/proc/meminfo: memFree=24854236/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3725460 CPUtime=1796.73 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 934682 0 0 0 179563 110 0 0 25 0 1 0 890802969 3814871040 920000 33554432000 4194304 9016284 140733729368112 18446744073709551615 5511008 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11243/statm: 931365 920000 568 1178 0 930183 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 3725460
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11301
/proc/meminfo: memFree=24861180/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=3721392 CPUtime=1797.53 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 935683 0 0 0 179643 110 0 0 25 0 1 0 890802969 3810705408 919084 33554432000 4194304 9016284 140733729368112 18446744073709551615 4687741 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11243/statm: 930348 919084 577 1178 0 929166 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 3721392
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11301
/proc/meminfo: memFree=24861180/32950928 swapFree=67079488/67111528
[pid=11243] ppid=11241 vsize=2844316 CPUtime=1797.93 cores=0,2,4,6
/proc/11243/stat : 11243 (scip-2.0.1.4b_2) R 11241 11243 7911 0 -1 4202496 935696 0 0 0 179675 118 0 0 25 0 1 0 890802969 2912579584 395765 33554432000 4194304 9016284 140733729368112 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11243/statm: 711079 395253 590 1178 0 709897 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 2844316
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.01
CPU user time (s): 1796.76
CPU system time (s): 1.24981
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3725616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.76
system time used= 1.24981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 935701
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= 3
involuntary context switches= 1147
runsolver used 3.00954 second user time and 5.9461 second system time
The end