0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3486298-1307793073.opb>
1.20/1.29 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245199 constraints
1.20/1.29 c problem read
1.20/1.29 c presolving settings loaded
2.09/2.12 c presolving:
9.99/10.04 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.39/14.41 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.69/15.75 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.69/16.71 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.29/17.34 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.79/17.82 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
18.09/18.15 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.39/18.40 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.59/18.62 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.69/18.80 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.89/18.91 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.99/19.05 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
19.19/19.21 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.19/19.29 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.29/19.35 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.90/19.94 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.39/20.46 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.69/20.78 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.90/20.96 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
210.40/210.42 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.20/211.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
211.50/211.53 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
735.10/735.19 c (735.2s) probing: 1000/49899 (2.0%) - 55 fixings, 13 aggregations, 11432340 implications, 0 bound changes
1198.71/1198.71 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
1205.01/1205.08 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
1205.51/1205.59 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
1294.01/1294.01 c (1294.0s) probing: 2000/49899 (4.0%) - 121 fixings, 29 aggregations, 18659438 implications, 0 bound changes
1294.81/1294.85 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
1296.01/1296.04 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
1474.12/1474.14 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
1475.12/1475.20 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
1662.31/1662.39 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
1663.11/1663.11 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
1753.62/1753.61 c (1753.6s) probing: 3000/49899 (6.0%) - 199 fixings, 66 aggregations, 23239313 implications, 0 bound changes
1797.02/1797.01 c (1797.0s) probing: 3112/49899 (6.2%) - 210 fixings, 68 aggregations, 23764081 implications, 0 bound changes
1797.02/1797.01 c (1797.0s) probing aborted: solving stopped
1797.02/1797.01 c (round 32) 23283 del vars, 89267 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 936 chg coeffs, 157810 upgd conss, 108763408 impls, 5973 clqs
1797.02/1797.01 c presolving (32 rounds):
1797.02/1797.01 c 23283 deleted vars, 89267 deleted constraints, 107 added constraints, 17866 tightened bounds, 0 added holes, 151 changed sides, 936 changed coefficients
1797.02/1797.01 c 108763408 implications, 5973 cliques
1797.02/1797.01 c presolving was interrupted.
1797.02/1797.01 c Presolving Time: 1795.49
1797.02/1797.01 c - non default parameters ----------------------------------------------------------------------
1797.02/1797.01 c # SCIP version 2.0.1.4
1797.02/1797.01 c
1797.02/1797.01 c # frequency for displaying node information lines
1797.02/1797.01 c # [type: int, range: [-1,2147483647], default: 100]
1797.02/1797.01 c display/freq = 10000
1797.02/1797.01 c
1797.02/1797.01 c # maximal time in seconds to run
1797.02/1797.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.02/1797.01 c limits/time = 1797
1797.02/1797.01 c
1797.02/1797.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.02/1797.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.02/1797.01 c limits/memory = 13950
1797.02/1797.01 c
1797.02/1797.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.02/1797.01 c # [type: int, range: [1,2], default: 1]
1797.02/1797.01 c timing/clocktype = 2
1797.02/1797.01 c
1797.02/1797.01 c # belongs reading time to solving time?
1797.02/1797.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.01 c timing/reading = TRUE
1797.02/1797.01 c
1797.02/1797.01 c # should presolving try to simplify inequalities
1797.02/1797.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.01 c constraints/linear/simplifyinequalities = TRUE
1797.02/1797.01 c
1797.02/1797.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.02/1797.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.01 c constraints/indicator/addCouplingCons = TRUE
1797.02/1797.01 c
1797.02/1797.01 c # should presolving try to simplify knapsacks
1797.02/1797.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.01 c constraints/knapsack/simplifyinequalities = TRUE
1797.02/1797.01 c
1797.02/1797.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.02/1797.01 c # [type: int, range: [-1,2147483647], default: -1]
1797.02/1797.01 c separating/rapidlearning/freq = 0
1797.02/1797.01 c
1797.02/1797.01 c -----------------------------------------------------------------------------------------------
1797.02/1797.01 c start solving
1797.02/1797.05 c presolving:
1797.02/1797.05 c presolving (32 rounds):
1797.02/1797.05 c 23283 deleted vars, 89267 deleted constraints, 107 added constraints, 17866 tightened bounds, 0 added holes, 151 changed sides, 936 changed coefficients
1797.02/1797.05 c 108763408 implications, 5973 cliques
1797.02/1797.05 c presolving was interrupted.
1797.02/1797.05 c Presolving Time: 1795.53
1797.02/1797.05 c
1797.02/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.05 c Solving Time (sec) : 1797.05
1797.02/1797.05 c Solving Nodes : 0
1797.02/1797.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.02/1797.05 s UNKNOWN
1797.02/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.05 c Total Time : 1797.05
1797.02/1797.05 c solving : 1797.05
1797.02/1797.05 c presolving : 1795.53 (included in solving)
1797.02/1797.05 c reading : 1.30 (included in solving)
1797.02/1797.05 c Original Problem :
1797.02/1797.05 c Problem name : HOME/instance-3486298-1307793073.opb
1797.02/1797.05 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.05 c Constraints : 245199 initial, 245199 maximal
1797.02/1797.05 c Presolved Problem :
1797.02/1797.05 c Problem name : t_HOME/instance-3486298-1307793073.opb
1797.02/1797.05 c Variables : 49559 (49559 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.05 c Constraints : 156039 initial, 156039 maximal
1797.02/1797.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.05 c trivial : 0.09 1147 0 0 0 0 0 0 0 0
1797.02/1797.05 c dualfix : 0.12 120 0 0 0 0 0 0 0 0
1797.02/1797.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.05 c implics : 9.02 0 58 0 0 0 0 0 0 0
1797.02/1797.05 c probing : 1763.36 210 68 0 0 0 0 0 0 0
1797.02/1797.05 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.05 c knapsack : 3.37 0 0 0 0 0 21 107 116 891
1797.02/1797.05 c setppc : 1.33 4 0 0 0 0 1820 0 0 0
1797.02/1797.05 c linear : 17.02 16719 4957 0 17866 0 87389 0 35 45
1797.02/1797.05 c logicor : 0.32 0 0 0 0 0 37 0 0 0
1797.02/1797.05 c root node : - 0 - - 0 - - - - -
1797.02/1797.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.05 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.02/1797.05 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.02/1797.05 c knapsack : 0+ 0 109309 0 0 0 0 30 0 0 0 0
1797.02/1797.05 c setppc : 0+ 0 109279 0 0 0 0 29 0 0 0 0
1797.02/1797.05 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.02/1797.05 c logicor : 0+ 0 99920 0 0 0 0 56 0 0 0 0
1797.02/1797.05 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.02/1797.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.05 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.05 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.05 c knapsack : 7.46 0.00 7.46 0.00 0.00 0.00 0.00
1797.02/1797.05 c setppc : 533.74 0.00 533.74 0.00 0.00 0.00 0.00
1797.02/1797.05 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.05 c logicor : 13.61 0.00 13.61 0.00 0.00 0.00 0.00
1797.02/1797.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.05 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.05 c vbounds : 0 0 0 0
1797.02/1797.05 c rootredcost : 0 0 0 0
1797.02/1797.05 c pseudoobj : 0 0 0 0
1797.02/1797.05 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.05 c vbounds : 0.04 0.04 0.00
1797.02/1797.05 c rootredcost : 0.02 0.02 0.00
1797.02/1797.05 c pseudoobj : 0.02 0.02 0.00
1797.02/1797.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.05 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.05 c applied globally : - - - 0 0.0 - - -
1797.02/1797.05 c applied locally : - - - 0 0.0 - - -
1797.62/1797.61 c Time complete: 1797.63.
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-3486298-1307793073/watcher-3486298-1307793073 -o /tmp/evaluation-result-3486298-1307793073/solver-3486298-1307793073 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486298-1307793073.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.00 2.00 2.00 2/177 16216
/proc/meminfo: memFree=31254792/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=10152 CPUtime=0 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 1526 0 0 0 0 0 0 0 22 0 1 0 890905838 10395648 1481 33554432000 4194304 8979876 140733767834784 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16216/statm: 2538 1481 366 1169 0 1365 0
[startup+0.10237 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 16216
/proc/meminfo: memFree=31254792/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=29404 CPUtime=0.09 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 6366 0 0 0 9 0 0 0 22 0 1 0 890905838 30109696 6321 33554432000 4194304 8979876 140733767834784 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16216/statm: 7351 6321 366 1169 0 6178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29404
[startup+0.200352 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 16216
/proc/meminfo: memFree=31254792/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=46552 CPUtime=0.19 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 10645 0 0 0 18 1 0 0 22 0 1 0 890905838 47669248 10600 33554432000 4194304 8979876 140733767834784 18446744073709551615 4446981 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16216/statm: 11638 10600 366 1169 0 10465 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46552
[startup+0.300334 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 16216
/proc/meminfo: memFree=31254792/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=52520 CPUtime=0.29 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 12125 0 0 0 28 1 0 0 22 0 1 0 890905838 53780480 12080 33554432000 4194304 8979876 140733767834784 18446744073709551615 7713730 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16216/statm: 13130 12080 366 1169 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52520
[startup+0.70027 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 16216
/proc/meminfo: memFree=31254792/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=76492 CPUtime=0.69 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 18080 0 0 0 68 1 0 0 23 0 1 0 890905838 78327808 18035 33554432000 4194304 8979876 140733767834784 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16216/statm: 19123 18035 366 1169 0 17950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76492
[startup+1.50114 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16217
/proc/meminfo: memFree=31145200/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=265624 CPUtime=1.49 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 65206 0 0 0 143 6 0 0 25 0 1 0 890905838 271998976 65085 33554432000 4194304 8979876 140733767834784 18446744073709551615 4318833 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 66406 65085 416 1169 0 65233 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 265624
[startup+3.10087 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16217
/proc/meminfo: memFree=30870468/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=498368 CPUtime=3.09 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 133962 0 0 0 296 13 0 0 25 0 1 0 890905838 510328832 121650 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 124592 121650 494 1169 0 123419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 498368
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 16241
/proc/meminfo: memFree=30866608/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=717608 CPUtime=6.29 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 188317 0 0 0 609 20 0 0 25 0 1 0 890905838 734830592 176005 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503310 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 179402 176005 494 1169 0 178229 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 717608
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16256
/proc/meminfo: memFree=29929872/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=885048 CPUtime=12.69 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 228166 0 0 0 1245 24 0 0 25 0 1 0 890905838 906289152 215352 33554432000 4194304 8979876 140733767834784 18446744073709551615 6504351 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 221262 215352 504 1169 0 220089 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 885048
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16256
/proc/meminfo: memFree=29628516/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=952824 CPUtime=25.49 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 258443 0 0 0 2522 27 0 0 25 0 1 0 890905838 975691776 231857 33554432000 4194304 8979876 140733767834784 18446744073709551615 6492544 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 238206 231857 560 1169 0 237033 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 952824
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16256
/proc/meminfo: memFree=29522948/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=985336 CPUtime=51.09 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 266068 0 0 0 5081 28 0 0 25 0 1 0 890905838 1008984064 239416 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 246334 239416 560 1169 0 245161 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 985336
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16258
/proc/meminfo: memFree=29375668/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=1060692 CPUtime=102.3 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 284846 0 0 0 10200 30 0 0 25 0 1 0 890905838 1086148608 258194 33554432000 4194304 8979876 140733767834784 18446744073709551615 4889220 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 265173 258194 560 1169 0 264000 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1060692
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16260
/proc/meminfo: memFree=29140628/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=1193304 CPUtime=162.29 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 317362 0 0 0 16195 34 0 0 25 0 1 0 890905838 1221943296 290281 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 298326 290281 560 1169 0 297153 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1193304
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16261
/proc/meminfo: memFree=28935076/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=1314972 CPUtime=222.3 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 348607 0 0 0 22193 37 0 0 25 0 1 0 890905838 1346531328 321196 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503296 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 328743 321196 560 1169 0 327570 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1314972
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16263
/proc/meminfo: memFree=28790068/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=1373140 CPUtime=282.3 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 362529 0 0 0 28191 39 0 0 25 0 1 0 890905838 1406095360 335118 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 343285 335118 560 1169 0 342112 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1373140
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16264
/proc/meminfo: memFree=28621236/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=1445920 CPUtime=342.3 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 380321 0 0 0 34189 41 0 0 25 0 1 0 890905838 1480622080 352910 33554432000 4194304 8979876 140733767834784 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 361480 352910 560 1169 0 360307 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1445920
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16266
/proc/meminfo: memFree=28320484/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=1565084 CPUtime=402.3 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 409302 0 0 0 40186 44 0 0 25 0 1 0 890905838 1602646016 381891 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 391271 381891 560 1169 0 390098 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1565084
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16268
/proc/meminfo: memFree=28043780/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=1664260 CPUtime=462.3 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 433716 0 0 0 46184 46 0 0 25 0 1 0 890905838 1704202240 406305 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 416065 406305 560 1169 0 414892 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1664260
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16269
/proc/meminfo: memFree=27703828/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=1807708 CPUtime=522.3 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 469383 0 0 0 52179 51 0 0 25 0 1 0 890905838 1851092992 441972 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 451927 441972 560 1169 0 450754 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1807708
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16271
/proc/meminfo: memFree=27429352/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=1948268 CPUtime=582.3 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 504267 0 0 0 58175 55 0 0 25 0 1 0 890905838 1995026432 476856 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 487067 476856 560 1169 0 485894 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1948268
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25551004/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=2832976 CPUtime=1062.3 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 724089 0 0 0 106143 87 0 0 25 0 1 0 890905838 2900967424 696678 33554432000 4194304 8979876 140733767834784 18446744073709551615 5538070 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 708244 696678 565 1169 0 707071 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 2832976
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 16297
/proc/meminfo: memFree=25371508/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=2937448 CPUtime=1122.31 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 751058 0 0 0 112140 91 0 0 25 0 1 0 890905838 3007946752 723647 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 734362 723647 565 1169 0 733189 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2937448
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16299
/proc/meminfo: memFree=25205444/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3020592 CPUtime=1182.31 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 771315 0 0 0 118137 94 0 0 25 0 1 0 890905838 3093086208 743904 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 755148 743904 565 1169 0 753975 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3020592
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16300
/proc/meminfo: memFree=25047768/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3073132 CPUtime=1242.31 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 784392 0 0 0 124136 95 0 0 25 0 1 0 890905838 3146887168 756981 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 768283 756981 565 1169 0 767110 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3073132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16302
/proc/meminfo: memFree=24942700/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3108272 CPUtime=1302.32 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 793786 0 0 0 130135 97 0 0 25 0 1 0 890905838 3182870528 766342 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 777068 766342 565 1169 0 775895 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3108272
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16304
/proc/meminfo: memFree=24847156/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3139764 CPUtime=1362.31 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 801537 0 0 0 136134 97 0 0 25 0 1 0 890905838 3215118336 774093 33554432000 4194304 8979876 140733767834784 18446744073709551615 5211690 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 784941 774093 565 1169 0 783768 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3139764
[startup+1422.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 16305
/proc/meminfo: memFree=24743552/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3183100 CPUtime=1422.31 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 812202 0 0 0 142132 99 0 0 25 0 1 0 890905838 3259494400 784758 33554432000 4194304 8979876 140733767834784 18446744073709551615 4329922 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 795775 784758 565 1169 0 794602 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 3183100
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16307
/proc/meminfo: memFree=24605616/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3227292 CPUtime=1482.31 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 823799 0 0 0 148131 100 0 0 25 0 1 0 890905838 3304747008 796355 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 806823 796355 565 1169 0 805650 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3227292
[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16308
/proc/meminfo: memFree=24506112/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3284956 CPUtime=1542.32 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 838351 0 0 0 154130 102 0 0 25 0 1 0 890905838 3363794944 810907 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 821239 810907 565 1169 0 820066 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3284956
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16310
/proc/meminfo: memFree=24351812/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3388588 CPUtime=1602.32 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 863556 0 0 0 160127 105 0 0 25 0 1 0 890905838 3469914112 836112 33554432000 4194304 8979876 140733767834784 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 847147 836112 565 1169 0 845974 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3388588
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16312
/proc/meminfo: memFree=24210400/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3466752 CPUtime=1662.31 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 882447 0 0 0 166124 107 0 0 25 0 1 0 890905838 3549954048 855003 33554432000 4194304 8979876 140733767834784 18446744073709551615 6504303 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 866688 855003 565 1169 0 865515 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 3466752
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16313
/proc/meminfo: memFree=24101852/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3525208 CPUtime=1722.32 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 897487 0 0 0 172123 109 0 0 25 0 1 0 890905838 3609812992 870043 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 881302 870043 565 1169 0 880129 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3525208
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16315
/proc/meminfo: memFree=23964292/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3614420 CPUtime=1782.32 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 918930 0 0 0 178120 112 0 0 25 0 1 0 890905838 3701166080 891486 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 903605 891486 565 1169 0 902432 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3614420
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16315
/proc/meminfo: memFree=23956728/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3617464 CPUtime=1785.62 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 919730 0 0 0 178450 112 0 0 25 0 1 0 890905838 3704283136 892286 33554432000 4194304 8979876 140733767834784 18446744073709551615 4887680 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 904366 892286 565 1169 0 903193 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (KiB) 3617464
[startup+1792.01 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16315
/proc/meminfo: memFree=23939608/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3627428 CPUtime=1792.02 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 922740 0 0 0 179090 112 0 0 25 0 1 0 890905838 3714486272 895296 33554432000 4194304 8979876 140733767834784 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 906857 895296 565 1169 0 905684 0
Current children cumulated CPU time (s) 1792.02
Current children cumulated vsize (KiB) 3627428
[startup+1795.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16315
/proc/meminfo: memFree=23932288/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3633464 CPUtime=1795.22 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 923978 0 0 0 179410 112 0 0 25 0 1 0 890905838 3720667136 896534 33554432000 4194304 8979876 140733767834784 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 908366 896534 565 1169 0 907193 0
Current children cumulated CPU time (s) 1795.22
Current children cumulated vsize (KiB) 3633464
[startup+1796.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16315
/proc/meminfo: memFree=23930180/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3634488 CPUtime=1796.82 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 924247 0 0 0 179570 112 0 0 25 0 1 0 890905838 3721715712 896803 33554432000 4194304 8979876 140733767834784 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16216/statm: 908622 896803 565 1169 0 907449 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (KiB) 3634488
[startup+1797.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16315
/proc/meminfo: memFree=23930180/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=3626600 CPUtime=1797.21 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 925283 0 0 0 179609 112 0 0 18 0 1 0 890905838 3713638400 894935 33554432000 4194304 8979876 140733767834784 18446744073709551615 5544680 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16216/statm: 906650 894935 576 1169 0 905477 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 3626600
[startup+1797.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16315
/proc/meminfo: memFree=24233980/32951124 swapFree=67054524/67111528
[pid=16216] ppid=16214 vsize=2435108 CPUtime=1797.62 cores=1,3,5,7
/proc/16216/stat : 16216 (scip-2.0.1.4_2.) R 16214 16216 15205 0 -1 4202496 925299 0 0 0 179637 125 0 0 18 0 1 0 890905838 2493550592 65625 33554432000 4194304 8979876 140733767834784 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16216/statm: 608777 65130 592 1169 0 607604 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 2435108
Child status: 0
Real time (s): 1797.61
CPU time (s): 1797.64
CPU user time (s): 1796.37
CPU system time (s): 1.26581
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 3635968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.37
system time used= 1.26581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925304
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= 6
involuntary context switches= 3184
runsolver used 2.71859 second user time and 6.40803 second system time
The end