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-3489740-1307792392.opb>
1.29/1.33 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245199 constraints
1.29/1.33 c problem read
1.29/1.33 c presolving settings loaded
1.69/1.78 c presolving:
9.69/9.79 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
14.20/14.20 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
15.49/15.57 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
16.50/16.54 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
17.09/17.18 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
17.60/17.66 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
17.89/17.99 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
18.19/18.24 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
18.39/18.46 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
18.60/18.64 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
18.70/18.75 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
18.79/18.89 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
18.99/19.04 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
19.09/19.13 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
19.09/19.18 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
19.70/19.77 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
20.19/20.28 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
20.49/20.59 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
20.69/20.77 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
211.00/211.06 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
211.80/211.85 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
212.10/212.16 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
739.92/739.90 c (739.9s) probing: 1000/49899 (2.0%) - 55 fixings, 13 aggregations, 11432340 implications, 0 bound changes
1208.54/1208.51 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
1214.94/1214.90 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
1215.44/1215.40 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
1304.23/1304.22 c (1304.2s) probing: 2000/49899 (4.0%) - 121 fixings, 29 aggregations, 18659438 implications, 0 bound changes
1305.03/1305.06 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
1306.23/1306.25 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
1485.65/1485.65 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
1486.74/1486.71 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
1675.26/1675.20 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
1675.95/1675.91 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
1767.36/1767.31 c (1767.3s) probing: 3000/49899 (6.0%) - 199 fixings, 66 aggregations, 23239313 implications, 0 bound changes
1797.36/1797.31 c (1797.3s) probing: 3080/49899 (6.2%) - 210 fixings, 66 aggregations, 23557565 implications, 0 bound changes
1797.36/1797.31 c (1797.3s) probing aborted: solving stopped
1797.36/1797.31 c (round 32) 23281 del vars, 89267 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 936 chg coeffs, 157810 upgd conss, 108094352 impls, 5973 clqs
1797.36/1797.31 c presolving (32 rounds):
1797.36/1797.31 c 23281 deleted vars, 89267 deleted constraints, 107 added constraints, 17866 tightened bounds, 0 added holes, 151 changed sides, 936 changed coefficients
1797.36/1797.31 c 108094352 implications, 5973 cliques
1797.36/1797.31 c presolving was interrupted.
1797.36/1797.31 c Presolving Time: 1795.66
1797.36/1797.31 c - non default parameters ----------------------------------------------------------------------
1797.36/1797.31 c # SCIP version 2.0.1.5
1797.36/1797.31 c
1797.36/1797.31 c # frequency for displaying node information lines
1797.36/1797.31 c # [type: int, range: [-1,2147483647], default: 100]
1797.36/1797.31 c display/freq = 10000
1797.36/1797.31 c
1797.36/1797.31 c # maximal time in seconds to run
1797.36/1797.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.36/1797.31 c limits/time = 1797
1797.36/1797.31 c
1797.36/1797.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.36/1797.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.36/1797.31 c limits/memory = 13950
1797.36/1797.31 c
1797.36/1797.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.36/1797.31 c # [type: int, range: [1,2], default: 1]
1797.36/1797.31 c timing/clocktype = 2
1797.36/1797.31 c
1797.36/1797.31 c # belongs reading time to solving time?
1797.36/1797.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.36/1797.31 c timing/reading = TRUE
1797.36/1797.31 c
1797.36/1797.31 c # should presolving try to simplify inequalities
1797.36/1797.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.36/1797.31 c constraints/linear/simplifyinequalities = TRUE
1797.36/1797.31 c
1797.36/1797.31 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.36/1797.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.36/1797.31 c constraints/indicator/addCouplingCons = TRUE
1797.36/1797.31 c
1797.36/1797.31 c # should presolving try to simplify knapsacks
1797.36/1797.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.36/1797.31 c constraints/knapsack/simplifyinequalities = TRUE
1797.36/1797.31 c
1797.36/1797.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.36/1797.31 c # [type: int, range: [-1,2147483647], default: -1]
1797.36/1797.31 c separating/rapidlearning/freq = 0
1797.36/1797.31 c
1797.36/1797.31 c -----------------------------------------------------------------------------------------------
1797.36/1797.31 c start solving
1797.36/1797.34 c presolving:
1797.36/1797.34 c presolving (32 rounds):
1797.36/1797.34 c 23281 deleted vars, 89267 deleted constraints, 107 added constraints, 17866 tightened bounds, 0 added holes, 151 changed sides, 936 changed coefficients
1797.36/1797.34 c 108094352 implications, 5973 cliques
1797.36/1797.34 c presolving was interrupted.
1797.36/1797.34 c Presolving Time: 1795.69
1797.36/1797.34 c
1797.36/1797.34 c SCIP Status : solving was interrupted [time limit reached]
1797.36/1797.34 c Solving Time (sec) : 1797.34
1797.36/1797.34 c Solving Nodes : 0
1797.36/1797.34 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.36/1797.34 s UNKNOWN
1797.36/1797.34 c SCIP Status : solving was interrupted [time limit reached]
1797.36/1797.34 c Total Time : 1797.34
1797.36/1797.34 c solving : 1797.34
1797.36/1797.34 c presolving : 1795.69 (included in solving)
1797.36/1797.34 c reading : 1.33 (included in solving)
1797.36/1797.34 c Original Problem :
1797.36/1797.34 c Problem name : HOME/instance-3489740-1307792392.opb
1797.36/1797.34 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.36/1797.34 c Constraints : 245199 initial, 245199 maximal
1797.36/1797.34 c Presolved Problem :
1797.36/1797.34 c Problem name : t_HOME/instance-3489740-1307792392.opb
1797.36/1797.34 c Variables : 49561 (49561 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.36/1797.34 c Constraints : 156039 initial, 156039 maximal
1797.36/1797.34 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.36/1797.34 c trivial : 0.09 1147 0 0 0 0 0 0 0 0
1797.36/1797.34 c dualfix : 0.12 120 0 0 0 0 0 0 0 0
1797.36/1797.34 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.36/1797.34 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.36/1797.34 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.36/1797.34 c implics : 9.03 0 58 0 0 0 0 0 0 0
1797.36/1797.34 c probing : 1763.90 210 66 0 0 0 0 0 0 0
1797.36/1797.34 c knapsack : 3.34 0 0 0 0 0 21 107 116 891
1797.36/1797.34 c setppc : 1.29 4 0 0 0 0 1820 0 0 0
1797.36/1797.34 c linear : 17.18 16719 4957 0 17866 0 87389 0 35 45
1797.36/1797.34 c logicor : 0.31 0 0 0 0 0 37 0 0 0
1797.36/1797.34 c root node : - 0 - - 0 - - - - -
1797.36/1797.34 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.36/1797.34 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.36/1797.34 c knapsack : 0+ 0 108265 0 0 0 0 30 0 0 0 0
1797.36/1797.34 c setppc : 0+ 0 108235 0 0 0 0 29 0 0 0 0
1797.36/1797.34 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.36/1797.34 c logicor : 0+ 0 98932 0 0 0 0 56 0 0 0 0
1797.36/1797.34 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.36/1797.34 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.36/1797.34 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.36/1797.34 c knapsack : 7.53 0.00 7.53 0.00 0.00 0.00 0.00
1797.36/1797.34 c setppc : 541.95 0.00 541.95 0.00 0.00 0.00 0.00
1797.36/1797.34 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.36/1797.34 c logicor : 12.32 0.00 12.32 0.00 0.00 0.00 0.00
1797.36/1797.34 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.36/1797.34 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.36/1797.34 c vbounds : 0 0 0 0
1797.36/1797.34 c rootredcost : 0 0 0 0
1797.36/1797.34 c pseudoobj : 0 0 0 0
1797.36/1797.34 c Propagator Timings : TotalTime Propagate Resprop
1797.36/1797.34 c vbounds : 0.04 0.04 0.00
1797.36/1797.34 c rootredcost : 0.03 0.03 0.00
1797.36/1797.34 c pseudoobj : 0.02 0.02 0.00
1797.36/1797.34 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.36/1797.34 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.36/1797.34 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.36/1797.34 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.36/1797.34 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.36/1797.34 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.36/1797.34 c applied globally : - - - 0 0.0 - - -
1797.36/1797.34 c applied locally : - - - 0 0.0 - - -
1797.96/1797.91 c Time complete: 1797.98.
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-3489740-1307792392/watcher-3489740-1307792392 -o /tmp/evaluation-result-3489740-1307792392/solver-3489740-1307792392 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489740-1307792392.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 2/177 9658
/proc/meminfo: memFree=30959696/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=12700 CPUtime=0 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 2146 0 0 0 0 0 0 0 25 0 1 0 969469879 13004800 2100 33554432000 4194304 9016284 140737191589792 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9658/statm: 3175 2101 353 1178 0 1993 0
[startup+0.0262271 s]
/proc/loadavg: 2.03 2.01 2.00 2/177 9658
/proc/meminfo: memFree=30959696/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=18128 CPUtime=0.02 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 3534 0 0 0 2 0 0 0 25 0 1 0 969469879 18563072 3488 33554432000 4194304 9016284 140737191589792 18446744073709551615 4328215 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9658/statm: 4532 3488 360 1178 0 3350 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18128
[startup+0.100217 s]
/proc/loadavg: 2.03 2.01 2.00 2/177 9658
/proc/meminfo: memFree=30959696/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=32396 CPUtime=0.09 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 7099 0 0 0 9 0 0 0 25 0 1 0 969469879 33173504 7053 33554432000 4194304 9016284 140737191589792 18446744073709551615 7870468 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9658/statm: 8099 7053 360 1178 0 6917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32396
[startup+0.300181 s]
/proc/loadavg: 2.03 2.01 2.00 2/177 9658
/proc/meminfo: memFree=30959696/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=60172 CPUtime=0.29 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 14043 0 0 0 28 1 0 0 25 0 1 0 969469879 61616128 13997 33554432000 4194304 9016284 140737191589792 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9658/statm: 15043 13997 360 1178 0 13861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60172
[startup+0.701108 s]
/proc/loadavg: 2.03 2.01 2.00 2/177 9658
/proc/meminfo: memFree=30959696/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=88832 CPUtime=0.69 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 21209 0 0 0 67 2 0 0 25 0 1 0 969469879 90963968 21163 33554432000 4194304 9016284 140737191589792 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9658/statm: 22208 21163 360 1178 0 21026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88832
[startup+1.50095 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9659
/proc/meminfo: memFree=30842160/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=285652 CPUtime=1.49 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 69896 0 0 0 141 8 0 0 25 0 1 0 969469879 292507648 69794 33554432000 4194304 9016284 140737191589792 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 71413 69794 406 1178 0 70231 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 285652
[startup+3.10065 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9659
/proc/meminfo: memFree=30557864/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=514480 CPUtime=3.09 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 126193 0 0 0 295 14 0 0 25 0 1 0 969469879 526827520 126091 33554432000 4194304 9016284 140737191589792 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 128620 126091 485 1178 0 127438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 514480
[startup+6.30104 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9659
/proc/meminfo: memFree=30297616/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=723400 CPUtime=6.3 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 178129 0 0 0 609 21 0 0 25 0 1 0 969469879 740761600 178027 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 180850 178027 485 1178 0 179668 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 723400
[startup+12.7008 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9659
/proc/meminfo: memFree=30104604/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=874356 CPUtime=12.69 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 213507 0 0 0 1244 25 0 0 25 0 1 0 969469879 895340544 213148 33554432000 4194304 9016284 140737191589792 18446744073709551615 6481251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 218589 213148 496 1178 0 217407 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 874356
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9660
/proc/meminfo: memFree=30029740/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=953728 CPUtime=25.49 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 244011 0 0 0 2522 27 0 0 25 0 1 0 969469879 976617472 232523 33554432000 4194304 9016284 140737191589792 18446744073709551615 4330806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 238432 232523 545 1178 0 237250 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 953728
[startup+51.1006 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9660
/proc/meminfo: memFree=29999732/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=986108 CPUtime=51.09 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 251654 0 0 0 5081 28 0 0 25 0 1 0 969469879 1009774592 240067 33554432000 4194304 9016284 140737191589792 18446744073709551615 4937578 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 246527 240067 545 1178 0 245345 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 986108
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9662
/proc/meminfo: memFree=29923212/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=1062456 CPUtime=102.3 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 270531 0 0 0 10200 30 0 0 25 0 1 0 969469879 1087954944 258944 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 265614 258944 545 1178 0 264432 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1062456
[startup+162.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9663
/proc/meminfo: memFree=29793360/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=1194768 CPUtime=162.29 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 302593 0 0 0 16195 34 0 0 25 0 1 0 969469879 1223442432 291006 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 298692 291006 545 1178 0 297510 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1194768
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9665
/proc/meminfo: memFree=29669200/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=1318780 CPUtime=222.3 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 334195 0 0 0 22192 38 0 0 25 0 1 0 969469879 1350430720 322608 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 329695 322608 545 1178 0 328513 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1318780
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9667
/proc/meminfo: memFree=29612228/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=1375924 CPUtime=282.3 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 347852 0 0 0 28191 39 0 0 25 0 1 0 969469879 1408946176 336265 33554432000 4194304 9016284 140737191589792 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 343981 336265 545 1178 0 342799 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1375924
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9668
/proc/meminfo: memFree=29541512/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=1447680 CPUtime=342.3 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 365492 0 0 0 34188 42 0 0 25 0 1 0 969469879 1482424320 353905 33554432000 4194304 9016284 140737191589792 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 361920 353905 545 1178 0 360738 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1447680
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9670
/proc/meminfo: memFree=29426156/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=1566848 CPUtime=402.31 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 394275 0 0 0 40185 46 0 0 25 0 1 0 969469879 1604452352 382688 33554432000 4194304 9016284 140737191589792 18446744073709551615 4889373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 391712 382688 545 1178 0 390530 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1566848
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9709
/proc/meminfo: memFree=28667800/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=1665096 CPUtime=462.3 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 418770 0 0 0 46182 48 0 0 25 0 1 0 969469879 1705058304 407183 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 416274 407183 545 1178 0 415092 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1665096
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9711
/proc/meminfo: memFree=28463508/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=1796584 CPUtime=522.31 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 451220 0 0 0 52178 53 0 0 25 0 1 0 969469879 1839702016 439633 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 449146 439633 545 1178 0 447964 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1796584
[startup+582.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9713
/proc/meminfo: memFree=28184312/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=1947124 CPUtime=582.31 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 488341 0 0 0 58172 59 0 0 25 0 1 0 969469879 1993854976 476754 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 486781 476754 545 1178 0 485599 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1947124
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26481960/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=2822704 CPUtime=1062.32 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 706840 0 0 0 106142 90 0 0 25 0 1 0 969469879 2890448896 695253 33554432000 4194304 9016284 140737191589792 18446744073709551615 4318395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 705676 695253 550 1178 0 704494 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2822704
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9727
/proc/meminfo: memFree=26291328/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=2930164 CPUtime=1122.33 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 733925 0 0 0 112140 93 0 0 25 0 1 0 969469879 3000487936 722338 33554432000 4194304 9016284 140737191589792 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 732541 722338 550 1178 0 731359 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2930164
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9729
/proc/meminfo: memFree=26021944/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3011364 CPUtime=1182.34 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 753696 0 0 0 118138 96 0 0 25 0 1 0 969469879 3083636736 742109 33554432000 4194304 9016284 140737191589792 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 752841 742109 550 1178 0 751659 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 3011364
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9730
/proc/meminfo: memFree=25902856/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3073992 CPUtime=1242.34 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 769418 0 0 0 124136 98 0 0 25 0 1 0 969469879 3147767808 757831 33554432000 4194304 9016284 140737191589792 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 768498 757831 550 1178 0 767316 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 3073992
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9741
/proc/meminfo: memFree=25831864/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3105928 CPUtime=1302.34 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 777686 0 0 0 130135 99 0 0 25 0 1 0 969469879 3180470272 766099 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 776482 766099 550 1178 0 775300 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3105928
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9742
/proc/meminfo: memFree=25759044/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3140676 CPUtime=1362.34 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 786189 0 0 0 136134 100 0 0 25 0 1 0 969469879 3216052224 774602 33554432000 4194304 9016284 140737191589792 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 785169 774602 550 1178 0 783987 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3140676
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9744
/proc/meminfo: memFree=25667500/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3178988 CPUtime=1422.35 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 796077 0 0 0 142133 102 0 0 25 0 1 0 969469879 3255283712 784490 33554432000 4194304 9016284 140737191589792 18446744073709551615 6817506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 794747 784490 550 1178 0 793565 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3178988
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9746
/proc/meminfo: memFree=25580768/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3220136 CPUtime=1482.34 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 806469 0 0 0 148131 103 0 0 25 0 1 0 969469879 3297419264 794882 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 805034 794882 550 1178 0 803852 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3220136
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9747
/proc/meminfo: memFree=25483136/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3274732 CPUtime=1542.35 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 820131 0 0 0 154129 106 0 0 25 0 1 0 969469879 3353325568 808544 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 818683 808544 550 1178 0 817501 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3274732
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9749
/proc/meminfo: memFree=25344216/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3379600 CPUtime=1602.34 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 845940 0 0 0 160125 109 0 0 25 0 1 0 969469879 3460710400 834353 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 844900 834353 550 1178 0 843718 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3379600
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9750
/proc/meminfo: memFree=24971060/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3451612 CPUtime=1662.35 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 863376 0 0 0 166124 111 0 0 25 0 1 0 969469879 3534450688 851789 33554432000 4194304 9016284 140737191589792 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 862903 851789 550 1178 0 861721 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3451612
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9752
/proc/meminfo: memFree=24897604/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3519156 CPUtime=1722.35 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 880084 0 0 0 172121 114 0 0 25 0 1 0 969469879 3603615744 868497 33554432000 4194304 9016284 140737191589792 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 879789 868497 550 1178 0 878607 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3519156
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9754
/proc/meminfo: memFree=24791792/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3602440 CPUtime=1782.36 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 901004 0 0 0 178118 118 0 0 25 0 1 0 969469879 3688898560 889417 33554432000 4194304 9016284 140737191589792 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 900610 889417 550 1178 0 899428 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3602440
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9754
/proc/meminfo: memFree=24785344/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3609396 CPUtime=1785.56 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 902465 0 0 0 178438 118 0 0 25 0 1 0 969469879 3696021504 890878 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 902349 890878 550 1178 0 901167 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 3609396
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9754
/proc/meminfo: memFree=24781108/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3613388 CPUtime=1791.96 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 903519 0 0 0 179078 118 0 0 25 0 1 0 969469879 3700109312 891932 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 903347 891932 550 1178 0 902165 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 3613388
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9754
/proc/meminfo: memFree=24778504/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3615416 CPUtime=1795.16 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 904062 0 0 0 179398 118 0 0 25 0 1 0 969469879 3702185984 892475 33554432000 4194304 9016284 140737191589792 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 903854 892475 550 1178 0 902672 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 3615416
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9754
/proc/meminfo: memFree=24776892/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3618360 CPUtime=1796.75 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 904573 0 0 0 179557 118 0 0 25 0 1 0 969469879 3705200640 892986 33554432000 4194304 9016284 140737191589792 18446744073709551615 4875328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9658/statm: 904590 892986 550 1178 0 903408 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 3618360
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9754
/proc/meminfo: memFree=24775528/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=3612704 CPUtime=1797.56 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 905683 0 0 0 179637 119 0 0 25 0 1 0 969469879 3699408896 891750 33554432000 4194304 9016284 140737191589792 18446744073709551615 4687805 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9658/statm: 903176 891750 559 1178 0 901994 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 3612704
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9754
/proc/meminfo: memFree=24775528/32950928 swapFree=67054844/67111528
[pid=9658] ppid=9656 vsize=2355264 CPUtime=1797.96 cores=1,3,5,7
/proc/9658/stat : 9658 (scip-2.0.1.4b_2) R 9656 9658 8698 0 -1 4202496 905696 0 0 0 179665 131 0 0 25 0 1 0 969469879 2411790336 118289 33554432000 4194304 9016284 140737191589792 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9658/statm: 588816 118289 572 1178 0 587634 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 2355264
Child status: 0
Real time (s): 1797.92
CPU time (s): 1797.98
CPU user time (s): 1796.65
CPU system time (s): 1.3308
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3619372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.65
system time used= 1.3308
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 905701
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= 5
involuntary context switches= 3113
runsolver used 2.79357 second user time and 6.73298 second system time
The end