0.00/0.01 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3453480-1307119158.opb>
1.49/1.57 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245199 constraints
1.49/1.57 c problem read
1.49/1.57 c presolving settings loaded
2.39/2.40 c presolving:
8.69/8.73 c (round 1) 6674 del vars, 20153 del conss, 0 add conss, 5011 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16642600 impls, 0 clqs
11.49/11.57 c (round 2) 14363 del vars, 51838 del conss, 0 add conss, 12299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16683385 impls, 0 clqs
12.29/12.35 c (round 3) 17117 del vars, 64810 del conss, 0 add conss, 13939 chg bounds, 24 chg sides, 30 chg coeffs, 0 upgd conss, 16701699 impls, 0 clqs
12.79/12.88 c (round 4) 18738 del vars, 71058 del conss, 0 add conss, 15076 chg bounds, 32 chg sides, 41 chg coeffs, 0 upgd conss, 16716032 impls, 0 clqs
13.20/13.23 c (round 5) 19926 del vars, 75478 del conss, 0 add conss, 15892 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16726882 impls, 0 clqs
13.39/13.48 c (round 6) 20788 del vars, 78757 del conss, 0 add conss, 16498 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16734320 impls, 0 clqs
13.59/13.67 c (round 7) 21445 del vars, 81294 del conss, 0 add conss, 16936 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16741629 impls, 0 clqs
13.79/13.82 c (round 8) 21912 del vars, 83132 del conss, 0 add conss, 17242 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16747582 impls, 0 clqs
13.89/13.95 c (round 9) 22294 del vars, 84599 del conss, 0 add conss, 17485 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16751986 impls, 0 clqs
13.99/14.07 c (round 10) 22547 del vars, 85652 del conss, 0 add conss, 17635 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16755677 impls, 0 clqs
14.09/14.15 c (round 11) 22691 del vars, 86267 del conss, 0 add conss, 17717 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16758407 impls, 0 clqs
14.19/14.26 c (round 12) 22793 del vars, 86693 del conss, 0 add conss, 17789 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16759939 impls, 0 clqs
14.30/14.39 c (round 13) 22865 del vars, 87020 del conss, 0 add conss, 17844 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16760796 impls, 0 clqs
14.39/14.46 c (round 14) 22923 del vars, 87284 del conss, 0 add conss, 17866 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16761216 impls, 0 clqs
14.49/14.51 c (round 15) 22943 del vars, 87379 del conss, 0 add conss, 17866 chg bounds, 35 chg sides, 45 chg coeffs, 0 upgd conss, 16761426 impls, 0 clqs
15.09/15.13 c (round 16) 22943 del vars, 87389 del conss, 0 add conss, 17866 chg bounds, 35 chg sides, 45 chg coeffs, 157810 upgd conss, 16761426 impls, 0 clqs
15.59/15.66 c (round 17) 22943 del vars, 87409 del conss, 82 add conss, 17866 chg bounds, 124 chg sides, 408 chg coeffs, 157810 upgd conss, 16762816 impls, 4934 clqs
15.99/16.00 c (round 18) 22943 del vars, 87416 del conss, 92 add conss, 17866 chg bounds, 135 chg sides, 468 chg coeffs, 157810 upgd conss, 16762956 impls, 5142 clqs
16.09/16.18 c (round 19) 22943 del vars, 87417 del conss, 102 add conss, 17866 chg bounds, 145 chg sides, 511 chg coeffs, 157810 upgd conss, 16763062 impls, 5146 clqs
148.50/148.52 c (round 20) 22993 del vars, 87417 del conss, 102 add conss, 17866 chg bounds, 146 chg sides, 520 chg coeffs, 157810 upgd conss, 31006270 impls, 5137 clqs
149.19/149.21 c (round 21) 23011 del vars, 88454 del conss, 102 add conss, 17866 chg bounds, 146 chg sides, 896 chg coeffs, 157810 upgd conss, 31009436 impls, 5137 clqs
149.49/149.54 c (round 22) 23011 del vars, 88472 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 931 chg coeffs, 157810 upgd conss, 31009436 impls, 5972 clqs
525.90/525.93 c (525.9s) probing: 1000/49899 (2.0%) - 55 fixings, 13 aggregations, 11432340 implications, 0 bound changes
917.21/917.26 c (round 23) 23063 del vars, 88472 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 931 chg coeffs, 157810 upgd conss, 85726888 impls, 5972 clqs
921.41/921.41 c (round 24) 23085 del vars, 88689 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 931 chg coeffs, 157810 upgd conss, 85974570 impls, 5972 clqs
921.91/921.95 c (round 25) 23085 del vars, 88711 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 931 chg coeffs, 157810 upgd conss, 85974570 impls, 5972 clqs
982.41/982.42 c (982.4s) probing: 2000/49899 (4.0%) - 121 fixings, 29 aggregations, 18659438 implications, 0 bound changes
983.11/983.10 c (round 26) 23135 del vars, 88711 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 931 chg coeffs, 157810 upgd conss, 88077572 impls, 5972 clqs
984.11/984.12 c (round 27) 23145 del vars, 88900 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 931 chg coeffs, 157810 upgd conss, 88079020 impls, 5972 clqs
1109.32/1109.34 c (round 28) 23195 del vars, 88906 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 931 chg coeffs, 157810 upgd conss, 94754820 impls, 5972 clqs
1110.22/1110.26 c (round 29) 23203 del vars, 89077 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 933 chg coeffs, 157810 upgd conss, 94779468 impls, 5972 clqs
1245.12/1245.11 c (round 30) 23253 del vars, 89085 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 935 chg coeffs, 157810 upgd conss, 103303224 impls, 5972 clqs
1245.82/1245.80 c (round 31) 23257 del vars, 89263 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 936 chg coeffs, 157810 upgd conss, 103303422 impls, 5972 clqs
1311.93/1311.94 c (1311.9s) probing: 3000/49899 (6.0%) - 199 fixings, 66 aggregations, 23239313 implications, 0 bound changes
1398.02/1398.06 c (round 32) 23307 del vars, 89267 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 936 chg coeffs, 157810 upgd conss, 111653176 impls, 5973 clqs
1399.24/1399.27 c (round 33) 23315 del vars, 89444 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 947 chg coeffs, 157810 upgd conss, 111680710 impls, 5973 clqs
1732.33/1732.31 c (1732.3s) probing: 4000/49899 (8.0%) - 232 fixings, 76 aggregations, 33055815 implications, 0 bound changes
1800.23/1800.24 c (1800.2s) probing: 4147/49899 (8.3%) - 233 fixings, 76 aggregations, 34849380 implications, 0 bound changes
1800.23/1800.24 c (1800.2s) probing aborted: solving stopped
1800.23/1800.24 c (round 34) 23322 del vars, 89452 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 949 chg coeffs, 157810 upgd conss, 134938614 impls, 5975 clqs
1800.23/1800.24 c presolving (34 rounds):
1800.23/1800.24 c 23322 deleted vars, 89452 deleted constraints, 107 added constraints, 17866 tightened bounds, 0 added holes, 151 changed sides, 949 changed coefficients
1800.23/1800.24 c 134938614 implications, 5975 cliques
1800.23/1800.24 c presolving was interrupted.
1800.23/1800.24 c Presolving Time: 1798.44
1800.23/1800.24 c - non default parameters ----------------------------------------------------------------------
1800.23/1800.24 c # SCIP version 2.0.1.4
1800.23/1800.24 c
1800.23/1800.24 c # frequency for displaying node information lines
1800.23/1800.24 c # [type: int, range: [-1,2147483647], default: 100]
1800.23/1800.24 c display/freq = 10000
1800.23/1800.24 c
1800.23/1800.24 c # maximal time in seconds to run
1800.23/1800.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.23/1800.24 c limits/time = 1800
1800.23/1800.24 c
1800.23/1800.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.23/1800.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.23/1800.24 c limits/memory = 13950
1800.23/1800.24 c
1800.23/1800.24 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.23/1800.24 c # [type: int, range: [1,2], default: 1]
1800.23/1800.24 c timing/clocktype = 2
1800.23/1800.24 c
1800.23/1800.24 c # belongs reading time to solving time?
1800.23/1800.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.24 c timing/reading = TRUE
1800.23/1800.24 c
1800.23/1800.24 c # should presolving try to simplify inequalities
1800.23/1800.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.24 c constraints/linear/simplifyinequalities = TRUE
1800.23/1800.24 c
1800.23/1800.24 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.23/1800.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.24 c constraints/indicator/addCouplingCons = TRUE
1800.23/1800.24 c
1800.23/1800.24 c # should presolving try to simplify knapsacks
1800.23/1800.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.24 c constraints/knapsack/simplifyinequalities = TRUE
1800.23/1800.24 c
1800.23/1800.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.23/1800.24 c # [type: int, range: [-1,2147483647], default: -1]
1800.23/1800.24 c separating/rapidlearning/freq = 0
1800.23/1800.24 c
1800.23/1800.24 c -----------------------------------------------------------------------------------------------
1800.23/1800.24 c start solving
1800.23/1800.27 c presolving:
1800.23/1800.27 c presolving (34 rounds):
1800.23/1800.27 c 23322 deleted vars, 89452 deleted constraints, 107 added constraints, 17866 tightened bounds, 0 added holes, 151 changed sides, 949 changed coefficients
1800.23/1800.27 c 134938614 implications, 5975 cliques
1800.23/1800.27 c presolving was interrupted.
1800.23/1800.27 c Presolving Time: 1798.48
1800.23/1800.27 c
1800.23/1800.27 c SCIP Status : solving was interrupted [time limit reached]
1800.23/1800.27 c Solving Time (sec) : 1800.27
1800.23/1800.27 c Solving Nodes : 0
1800.23/1800.27 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.23/1800.27 s UNKNOWN
1800.23/1800.27 c SCIP Status : solving was interrupted [time limit reached]
1800.23/1800.27 c Total Time : 1800.27
1800.23/1800.27 c solving : 1800.27
1800.23/1800.27 c presolving : 1798.48 (included in solving)
1800.23/1800.27 c reading : 1.57 (included in solving)
1800.23/1800.27 c Original Problem :
1800.23/1800.27 c Problem name : HOME/instance-3453480-1307119158.opb
1800.23/1800.27 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.23/1800.27 c Constraints : 245199 initial, 245199 maximal
1800.23/1800.27 c Presolved Problem :
1800.23/1800.27 c Problem name : t_HOME/instance-3453480-1307119158.opb
1800.23/1800.27 c Variables : 49520 (49520 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.23/1800.27 c Constraints : 155854 initial, 155854 maximal
1800.23/1800.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.23/1800.27 c trivial : 0.10 1147 0 0 0 0 0 0 0 0
1800.23/1800.27 c dualfix : 0.13 120 0 0 0 0 0 0 0 0
1800.23/1800.27 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.23/1800.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.23/1800.27 c implics : 7.19 0 66 0 0 0 0 0 0 0
1800.23/1800.27 c probing : 1772.15 233 76 0 0 0 0 0 0 0
1800.23/1800.27 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1800.23/1800.27 c knapsack : 4.39 0 0 0 0 0 21 107 116 904
1800.23/1800.27 c setppc : 1.30 4 0 0 0 0 1998 0 0 0
1800.23/1800.27 c linear : 11.92 16719 4957 0 17866 0 87389 0 35 45
1800.23/1800.27 c logicor : 0.36 0 0 0 0 0 44 0 0 0
1800.23/1800.27 c root node : - 0 - - 0 - - - - -
1800.23/1800.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.23/1800.27 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.23/1800.27 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.23/1800.27 c knapsack : 0+ 0 151724 0 0 0 0 32 0 0 0 0
1800.23/1800.27 c setppc : 0+ 0 151692 0 0 0 0 35 0 0 0 0
1800.23/1800.27 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.23/1800.27 c logicor : 0+ 0 138973 0 0 0 0 69 0 0 0 0
1800.23/1800.27 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.23/1800.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.23/1800.27 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.23/1800.27 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.23/1800.27 c knapsack : 10.59 0.00 10.59 0.00 0.00 0.00 0.00
1800.23/1800.27 c setppc : 754.32 0.00 754.32 0.00 0.00 0.00 0.00
1800.23/1800.27 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.23/1800.27 c logicor : 18.10 0.00 18.10 0.00 0.00 0.00 0.00
1800.23/1800.27 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.23/1800.27 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.23/1800.27 c vbounds : 0 0 0 0
1800.23/1800.27 c rootredcost : 0 0 0 0
1800.23/1800.27 c pseudoobj : 0 0 0 0
1800.23/1800.27 c Propagator Timings : TotalTime Propagate Resprop
1800.23/1800.27 c vbounds : 0.06 0.06 0.00
1800.23/1800.27 c rootredcost : 0.03 0.03 0.00
1800.23/1800.27 c pseudoobj : 0.03 0.03 0.00
1800.23/1800.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.23/1800.27 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.23/1800.27 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.23/1800.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.23/1800.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.23/1800.27 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.23/1800.27 c applied globally : - - - 0 0.0 - - -
1800.23/1800.27 c applied locally : - - - 0 0.0 - - -
1800.83/1800.88 c Time complete: 1800.92.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453480-1307119158/watcher-3453480-1307119158 -o /tmp/evaluation-result-3453480-1307119158/solver-3453480-1307119158 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453480-1307119158.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.00 1.91 3/412 2418
/proc/meminfo: memFree=25992500/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=6864 CPUtime=0 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 866 0 0 0 0 0 0 0 21 0 1 0 279525264 7028736 820 33554432000 4194304 9128323 140734895539392 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2418/statm: 1716 832 361 1205 0 507 0
[startup+0.0857751 s]
/proc/loadavg: 1.93 2.00 1.91 3/412 2418
/proc/meminfo: memFree=25992500/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=25320 CPUtime=0.07 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 5312 0 0 0 7 0 0 0 21 0 1 0 279525264 25927680 5264 33554432000 4194304 9128323 140734895539392 18446744073709551615 7447292 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2418/statm: 6330 5264 400 1205 0 5121 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25320
[startup+0.100774 s]
/proc/loadavg: 1.93 2.00 1.91 3/412 2418
/proc/meminfo: memFree=25992500/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=27368 CPUtime=0.09 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 5858 0 0 0 9 0 0 0 21 0 1 0 279525264 28024832 5810 33554432000 4194304 9128323 140734895539392 18446744073709551615 7998184 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2418/statm: 6842 5810 400 1205 0 5633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27368
[startup+0.30074 s]
/proc/loadavg: 1.93 2.00 1.91 3/412 2418
/proc/meminfo: memFree=25992500/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 11587 0 0 0 28 1 0 0 22 0 1 0 279525264 51421184 11507 33554432000 4194304 9128323 140734895539392 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2418/statm: 12554 11507 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700673 s]
/proc/loadavg: 1.93 2.00 1.91 3/412 2418
/proc/meminfo: memFree=25992500/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=69412 CPUtime=0.69 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 16349 0 0 0 68 1 0 0 23 0 1 0 279525264 71077888 16262 33554432000 4194304 9128323 140734895539392 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2418/statm: 17353 16283 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412
[startup+1.50053 s]
/proc/loadavg: 1.93 2.00 1.91 3/416 2425
/proc/meminfo: memFree=25825768/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=131212 CPUtime=1.49 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 31795 0 0 0 146 3 0 0 25 0 1 0 279525264 134361088 31691 33554432000 4194304 9128323 140734895539392 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2418/statm: 32803 31691 400 1205 0 31594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131212
[startup+3.10025 s]
/proc/loadavg: 1.93 2.00 1.91 3/416 2425
/proc/meminfo: memFree=25359652/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=477112 CPUtime=3.09 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 128666 0 0 0 296 13 0 0 25 0 1 0 279525264 488562688 116285 33554432000 4194304 9128323 140734895539392 18446744073709551615 6588347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 119278 116285 501 1205 0 118069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 477112
[startup+6.30068 s]
/proc/loadavg: 1.93 2.00 1.91 3/416 2425
/proc/meminfo: memFree=24628784/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=763236 CPUtime=6.29 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 198937 0 0 0 607 22 0 0 25 0 1 0 279525264 781553664 186557 33554432000 4194304 9128323 140734895539392 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 190809 186561 510 1205 0 189600 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 763236
[startup+12.7006 s]
/proc/loadavg: 1.94 2.00 1.91 3/416 2425
/proc/meminfo: memFree=24216572/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=883992 CPUtime=12.69 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 228576 0 0 0 1245 24 0 0 25 0 1 0 279525264 905207808 215066 33554432000 4194304 9128323 140734895539392 18446744073709551615 6594452 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 220998 215066 523 1205 0 219789 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 883992
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.91 3/416 2425
/proc/meminfo: memFree=24019420/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=964072 CPUtime=25.49 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 261029 0 0 0 2521 28 0 0 25 0 1 0 279525264 987209728 234416 33554432000 4194304 9128323 140734895539392 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 241018 234416 585 1205 0 239809 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 964072
[startup+51.1008 s]
/proc/loadavg: 1.97 2.00 1.91 3/416 2426
/proc/meminfo: memFree=23932924/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=1010620 CPUtime=51.09 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 272070 0 0 0 5080 29 0 0 25 0 1 0 279525264 1034874880 245457 33554432000 4194304 9128323 140734895539392 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 252655 245457 585 1205 0 251446 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1010620
[startup+102.316 s]
/proc/loadavg: 1.98 2.00 1.91 3/416 2427
/proc/meminfo: memFree=23631744/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=1173344 CPUtime=102.31 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 312458 0 0 0 10197 34 0 0 25 0 1 0 279525264 1201504256 285482 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 293336 285482 585 1205 0 292127 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1173344
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/416 2429
/proc/meminfo: memFree=23383708/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=1324584 CPUtime=162.29 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 350740 0 0 0 16190 39 0 0 25 0 1 0 279525264 1356374016 323368 33554432000 4194304 9128323 140734895539392 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 331146 323368 585 1205 0 329937 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1324584
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/416 2431
/proc/meminfo: memFree=23132964/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=1418140 CPUtime=222.29 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 373265 0 0 0 22187 42 0 0 25 0 1 0 279525264 1452175360 345893 33554432000 4194304 9128323 140734895539392 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 354535 345893 585 1205 0 353326 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1418140
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/416 2432
/proc/meminfo: memFree=22700552/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=1587172 CPUtime=282.3 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 414638 0 0 0 28183 47 0 0 25 0 1 0 279525264 1625264128 387266 33554432000 4194304 9128323 140734895539392 18446744073709551615 5494419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 396793 387266 585 1205 0 395584 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1587172
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/416 2434
/proc/meminfo: memFree=22254500/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=1732032 CPUtime=342.3 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 450231 0 0 0 34178 52 0 0 25 0 1 0 279525264 1773600768 422859 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 433008 422859 585 1205 0 431799 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1732032
[startup+402.301 s]
/proc/loadavg: 2.04 2.01 1.92 3/416 2435
/proc/meminfo: memFree=21894004/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=1930116 CPUtime=402.3 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 499857 0 0 0 40170 60 0 0 25 0 1 0 279525264 1976438784 472485 33554432000 4194304 9128323 140734895539392 18446744073709551615 7414757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 482529 472485 585 1205 0 481320 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1930116
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/416 2437
/proc/meminfo: memFree=21489248/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=2102656 CPUtime=462.3 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 542557 0 0 0 46166 64 0 0 25 0 1 0 279525264 2153119744 515185 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 525664 515185 585 1205 0 524455 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2102656
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/416 2438
/proc/meminfo: memFree=21142276/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=2316572 CPUtime=522.3 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 595265 0 0 0 52159 71 0 0 25 0 1 0 279525264 2372169728 567893 33554432000 4194304 9128323 140734895539392 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 579143 567893 585 1205 0 577934 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2316572
[startup+582.301 s]
/proc/loadavg: 2.11 2.03 1.93 3/416 2440
/proc/meminfo: memFree=20897844/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=2415140 CPUtime=582.3 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 619516 0 0 0 58156 74 0 0 25 0 1 0 279525264 2473103360 592144 33554432000 4194304 9128323 140734895539392 18446744073709551615 5489966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 603785 592144 589 1205 0 602576 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2415140
[startup+642.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.06 2.02 1.94 3/416 2450
/proc/meminfo: memFree=19423352/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3073952 CPUtime=942.31 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 784414 0 0 0 94134 97 0 0 25 0 1 0 279525264 3147726848 757042 33554432000 4194304 9128323 140734895539392 18446744073709551615 5973125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 768488 757042 589 1205 0 767279 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 3073952
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/416 2451
/proc/meminfo: memFree=19298200/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3121360 CPUtime=1002.32 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 796995 0 0 0 100132 100 0 0 25 0 1 0 279525264 3196272640 769590 33554432000 4194304 9128323 140734895539392 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 780340 769590 589 1205 0 779131 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3121360
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/416 2453
/proc/meminfo: memFree=19133012/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3172808 CPUtime=1062.32 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 809855 0 0 0 106130 102 0 0 25 0 1 0 279525264 3248955392 782450 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 793202 782450 589 1205 0 791993 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3172808
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/416 2455
/proc/meminfo: memFree=19013448/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3233192 CPUtime=1122.31 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 825216 0 0 0 112127 104 0 0 25 0 1 0 279525264 3310788608 797811 33554432000 4194304 9128323 140734895539392 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 808298 797811 589 1205 0 807089 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3233192
[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 1.95 3/416 2456
/proc/meminfo: memFree=18828660/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3359324 CPUtime=1182.32 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 856214 0 0 0 118124 108 0 0 25 0 1 0 279525264 3439947776 828809 33554432000 4194304 9128323 140734895539392 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 839831 828809 589 1205 0 838622 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3359324
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/416 2458
/proc/meminfo: memFree=18642764/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3463528 CPUtime=1242.32 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 881321 0 0 0 124121 111 0 0 25 0 1 0 279525264 3546652672 853916 33554432000 4194304 9128323 140734895539392 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 865882 853916 589 1205 0 864673 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3463528
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/417 2460
/proc/meminfo: memFree=18495292/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3544892 CPUtime=1302.32 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 902110 0 0 0 130118 114 0 0 25 0 1 0 279525264 3629969408 874705 33554432000 4194304 9128323 140734895539392 18446744073709551615 6581570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 886223 874705 589 1205 0 885014 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3544892
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/416 2470
/proc/meminfo: memFree=18289104/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3663512 CPUtime=1362.32 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 931430 0 0 0 136113 119 0 0 25 0 1 0 279525264 3751436288 904025 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 915878 904025 589 1205 0 914669 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3663512
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.95 3/416 2472
/proc/meminfo: memFree=18153432/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3746396 CPUtime=1422.33 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 952680 0 0 0 142111 122 0 0 25 0 1 0 279525264 3836309504 925275 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 936599 925275 589 1205 0 935390 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3746396
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/416 2473
/proc/meminfo: memFree=17984280/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3847644 CPUtime=1482.33 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 977899 0 0 0 148107 126 0 0 25 0 1 0 279525264 3939987456 950494 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 961911 950494 589 1205 0 960702 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3847644
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/416 2475
/proc/meminfo: memFree=17845380/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3960992 CPUtime=1542.32 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 1005117 0 0 0 154102 130 0 0 25 0 1 0 279525264 4056055808 977712 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 990248 977712 589 1205 0 989039 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3960992
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/416 2476
/proc/meminfo: memFree=17692600/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=4073000 CPUtime=1602.33 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 1032989 0 0 0 160099 134 0 0 25 0 1 0 279525264 4170752000 1005584 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 1018250 1005584 589 1205 0 1017041 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 4073000
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/416 2478
/proc/meminfo: memFree=17530136/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=4187632 CPUtime=1662.33 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 1061697 0 0 0 166094 139 0 0 25 0 1 0 279525264 4288135168 1034292 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 1046908 1034292 589 1205 0 1045699 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 4187632
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 1.97 3/416 2479
/proc/meminfo: memFree=17323652/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=4305040 CPUtime=1722.33 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 1090282 0 0 0 172090 143 0 0 25 0 1 0 279525264 4408360960 1062877 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 1076260 1062877 589 1205 0 1075051 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 4305040
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/416 2481
/proc/meminfo: memFree=17156468/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=4402436 CPUtime=1782.33 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 1114899 0 0 0 178086 147 0 0 25 0 1 0 279525264 4508094464 1087494 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 1100609 1087494 589 1205 0 1099400 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 4402436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.03 1.97 3/416 2482
/proc/meminfo: memFree=17117764/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=4433584 CPUtime=1800.04 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 1122097 0 0 0 179856 148 0 0 25 0 1 0 279525264 4539990016 1094692 33554432000 4194304 9128323 140734895539392 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2418/statm: 1108396 1094692 589 1205 0 1107187 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4433584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.05 2.03 1.97 3/418 2484
/proc/meminfo: memFree=17200900/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=4327392 CPUtime=1800.63 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 1123022 0 0 0 179915 148 0 0 18 0 1 0 279525264 4431249408 1068680 33554432000 4194304 9128323 140734895539392 18446744073709551615 6890169 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2418/statm: 1081848 1068680 599 1205 0 1080639 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 4327392
[startup+1800.8 s]
/proc/loadavg: 2.05 2.03 1.97 3/418 2484
/proc/meminfo: memFree=17200900/32950928 swapFree=52006644/67111528
[pid=2418] ppid=2416 vsize=3702384 CPUtime=1800.83 cores=1,3,5,7
/proc/2418/stat : 2418 (scip-2.0.1.4.li) R 2416 2418 32638 0 -1 4202496 1123044 0 0 0 179927 156 0 0 18 0 1 0 279525264 3791241216 565672 33554432000 4194304 9128323 140734895539392 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2418/statm: 925596 565531 621 1205 0 924387 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 3702384
Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.93
CPU user time (s): 1799.28
CPU system time (s): 1.65575
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4433584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 1.65575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1123046
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= 1019
runsolver used 6.77797 second user time and 17.8303 second system time
The end