0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3451820-1307118094.opb>
1.69/1.76 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245199 constraints
1.69/1.76 c problem read
1.69/1.76 c presolving settings loaded
2.21/2.25 c presolving:
9.19/9.21 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
12.29/12.31 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
13.10/13.16 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
13.69/13.74 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
14.09/14.12 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
14.39/14.40 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
14.59/14.60 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
14.69/14.77 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
14.89/14.91 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
14.99/15.04 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
15.09/15.13 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
15.19/15.25 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
15.30/15.38 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
15.41/15.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
15.49/15.52 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
16.09/16.16 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
16.69/16.72 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
16.99/17.09 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
17.19/17.29 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
149.66/149.75 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
150.36/150.44 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
150.68/150.77 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.37/525.42 c (525.4s) probing: 1000/49899 (2.0%) - 55 fixings, 13 aggregations, 11432340 implications, 0 bound changes
914.49/914.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
918.59/918.64 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
919.09/919.17 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
979.19/979.28 c (979.3s) probing: 2000/49899 (4.0%) - 121 fixings, 29 aggregations, 18659438 implications, 0 bound changes
979.89/979.96 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
980.89/980.98 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
1105.40/1105.46 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
1106.29/1106.37 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
1240.39/1240.46 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
1241.09/1241.15 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
1307.00/1307.02 c (1307.0s) probing: 3000/49899 (6.0%) - 199 fixings, 66 aggregations, 23239313 implications, 0 bound changes
1392.61/1392.63 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
1393.79/1393.84 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
1725.11/1725.10 c (1725.1s) probing: 4000/49899 (8.0%) - 232 fixings, 76 aggregations, 33055815 implications, 0 bound changes
1800.12/1800.12 c (1800.1s) probing: 4164/49899 (8.3%) - 233 fixings, 76 aggregations, 35055195 implications, 0 bound changes
1800.12/1800.12 c (1800.1s) probing aborted: solving stopped
1800.12/1800.12 c (round 34) 23322 del vars, 89452 del conss, 107 add conss, 17866 chg bounds, 151 chg sides, 949 chg coeffs, 157810 upgd conss, 135351510 impls, 5975 clqs
1800.12/1800.12 c presolving (34 rounds):
1800.12/1800.12 c 23322 deleted vars, 89452 deleted constraints, 107 added constraints, 17866 tightened bounds, 0 added holes, 151 changed sides, 949 changed coefficients
1800.12/1800.12 c 135351510 implications, 5975 cliques
1800.12/1800.12 c presolving was interrupted.
1800.12/1800.12 c Presolving Time: 1798.01
1800.12/1800.12 c - non default parameters ----------------------------------------------------------------------
1800.12/1800.12 c # SCIP version 2.0.1.5
1800.12/1800.12 c
1800.12/1800.12 c # frequency for displaying node information lines
1800.12/1800.12 c # [type: int, range: [-1,2147483647], default: 100]
1800.12/1800.12 c display/freq = 10000
1800.12/1800.12 c
1800.12/1800.12 c # maximal time in seconds to run
1800.12/1800.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.12/1800.12 c limits/time = 1800
1800.12/1800.12 c
1800.12/1800.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.12/1800.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.12/1800.12 c limits/memory = 13950
1800.12/1800.12 c
1800.12/1800.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.12/1800.12 c # [type: int, range: [1,2], default: 1]
1800.12/1800.12 c timing/clocktype = 2
1800.12/1800.12 c
1800.12/1800.12 c # belongs reading time to solving time?
1800.12/1800.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.12/1800.12 c timing/reading = TRUE
1800.12/1800.12 c
1800.12/1800.12 c # should presolving try to simplify inequalities
1800.12/1800.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.12/1800.12 c constraints/linear/simplifyinequalities = TRUE
1800.12/1800.12 c
1800.12/1800.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.12/1800.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.12/1800.12 c constraints/indicator/addCouplingCons = TRUE
1800.12/1800.12 c
1800.12/1800.12 c # should presolving try to simplify knapsacks
1800.12/1800.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.12/1800.12 c constraints/knapsack/simplifyinequalities = TRUE
1800.12/1800.12 c
1800.12/1800.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.12/1800.12 c # [type: int, range: [-1,2147483647], default: -1]
1800.12/1800.12 c separating/rapidlearning/freq = 0
1800.12/1800.12 c
1800.12/1800.12 c -----------------------------------------------------------------------------------------------
1800.12/1800.12 c start solving
1800.12/1800.15 c presolving:
1800.12/1800.15 c presolving (34 rounds):
1800.12/1800.15 c 23322 deleted vars, 89452 deleted constraints, 107 added constraints, 17866 tightened bounds, 0 added holes, 151 changed sides, 949 changed coefficients
1800.12/1800.15 c 135351510 implications, 5975 cliques
1800.12/1800.15 c presolving was interrupted.
1800.12/1800.15 c Presolving Time: 1798.04
1800.12/1800.15 c
1800.12/1800.15 c SCIP Status : solving was interrupted [time limit reached]
1800.12/1800.15 c Solving Time (sec) : 1800.15
1800.12/1800.15 c Solving Nodes : 0
1800.12/1800.15 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.12/1800.15 s UNKNOWN
1800.12/1800.15 c SCIP Status : solving was interrupted [time limit reached]
1800.12/1800.15 c Total Time : 1800.15
1800.12/1800.15 c solving : 1800.15
1800.12/1800.15 c presolving : 1798.04 (included in solving)
1800.12/1800.15 c reading : 1.76 (included in solving)
1800.12/1800.15 c Original Problem :
1800.12/1800.15 c Problem name : HOME/instance-3451820-1307118094.opb
1800.12/1800.15 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.12/1800.15 c Constraints : 245199 initial, 245199 maximal
1800.12/1800.15 c Presolved Problem :
1800.12/1800.15 c Problem name : t_HOME/instance-3451820-1307118094.opb
1800.12/1800.15 c Variables : 49520 (49520 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.12/1800.15 c Constraints : 155854 initial, 155854 maximal
1800.12/1800.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.12/1800.15 c trivial : 0.10 1147 0 0 0 0 0 0 0 0
1800.12/1800.15 c dualfix : 0.12 120 0 0 0 0 0 0 0 0
1800.12/1800.15 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c implics : 7.23 0 66 0 0 0 0 0 0 0
1800.12/1800.15 c probing : 1770.98 233 76 0 0 0 0 0 0 0
1800.12/1800.15 c knapsack : 4.43 0 0 0 0 0 21 107 116 904
1800.12/1800.15 c setppc : 1.30 4 0 0 0 0 1998 0 0 0
1800.12/1800.15 c linear : 13.03 16719 4957 0 17866 0 87389 0 35 45
1800.12/1800.15 c logicor : 0.36 0 0 0 0 0 44 0 0 0
1800.12/1800.15 c root node : - 0 - - 0 - - - - -
1800.12/1800.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.12/1800.15 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c knapsack : 0+ 0 152488 0 0 0 0 32 0 0 0 0
1800.12/1800.15 c setppc : 0+ 0 152456 0 0 0 0 35 0 0 0 0
1800.12/1800.15 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c logicor : 0+ 0 139665 0 0 0 0 69 0 0 0 0
1800.12/1800.15 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.12/1800.15 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.12/1800.15 c knapsack : 10.84 0.00 10.84 0.00 0.00 0.00 0.00
1800.12/1800.15 c setppc : 753.20 0.00 753.20 0.00 0.00 0.00 0.00
1800.12/1800.15 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.12/1800.15 c logicor : 16.34 0.00 16.34 0.00 0.00 0.00 0.00
1800.12/1800.15 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.12/1800.15 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.12/1800.15 c vbounds : 0 0 0 0
1800.12/1800.15 c rootredcost : 0 0 0 0
1800.12/1800.15 c pseudoobj : 0 0 0 0
1800.12/1800.15 c Propagator Timings : TotalTime Propagate Resprop
1800.12/1800.15 c vbounds : 0.06 0.06 0.00
1800.12/1800.15 c rootredcost : 0.04 0.04 0.00
1800.12/1800.15 c pseudoobj : 0.02 0.02 0.00
1800.12/1800.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.12/1800.15 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.12/1800.15 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.12/1800.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.12/1800.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.12/1800.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.12/1800.15 c applied globally : - - - 0 0.0 - - -
1800.12/1800.15 c applied locally : - - - 0 0.0 - - -
1800.72/1800.78 c Time complete: 1800.78.
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-3451820-1307118094/watcher-3451820-1307118094 -o /tmp/evaluation-result-3451820-1307118094/solver-3451820-1307118094 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451820-1307118094.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.05 1.51 1.80 4/476 23353
/proc/meminfo: memFree=21399588/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=14524 CPUtime=0 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 2604 0 0 0 0 0 0 0 20 0 1 0 804224725 14872576 2557 33554432000 4194304 9163163 140734619750128 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23351/statm: 3631 2557 395 1214 0 2413 0
[startup+0.067616 s]
/proc/loadavg: 1.05 1.51 1.80 4/476 23353
/proc/meminfo: memFree=21399588/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=23336 CPUtime=0.05 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 4825 0 0 0 5 0 0 0 20 0 1 0 804224725 23896064 4778 33554432000 4194304 9163163 140734619750128 18446744073709551615 7480177 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23351/statm: 5834 4778 395 1214 0 4616 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23336
[startup+0.100624 s]
/proc/loadavg: 1.05 1.51 1.80 4/476 23353
/proc/meminfo: memFree=21399588/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=28800 CPUtime=0.08 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 6202 0 0 0 8 0 0 0 20 0 1 0 804224725 29491200 6155 33554432000 4194304 9163163 140734619750128 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23351/statm: 7200 6155 395 1214 0 5982 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28800
[startup+0.300586 s]
/proc/loadavg: 1.05 1.51 1.80 4/476 23353
/proc/meminfo: memFree=21399588/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=54684 CPUtime=0.29 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 12662 0 0 0 28 1 0 0 21 0 1 0 804224725 55996416 12615 33554432000 4194304 9163163 140734619750128 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23351/statm: 13671 12615 395 1214 0 12453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54684
[startup+0.700516 s]
/proc/loadavg: 1.05 1.51 1.80 4/476 23353
/proc/meminfo: memFree=21399588/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=77164 CPUtime=0.69 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 18271 0 0 0 67 2 0 0 22 0 1 0 804224725 79015936 18224 33554432000 4194304 9163163 140734619750128 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23351/statm: 19291 18224 395 1214 0 18073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77164
[startup+1.50039 s]
/proc/loadavg: 1.05 1.51 1.80 4/478 23355
/proc/meminfo: memFree=21210596/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=138588 CPUtime=1.48 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 33615 0 0 0 145 3 0 0 25 0 1 0 804224725 141914112 33568 33554432000 4194304 9163163 140734619750128 18446744073709551615 7985242 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23351/statm: 34647 33568 395 1214 0 33429 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 138588
[startup+3.10106 s]
/proc/loadavg: 1.05 1.51 1.80 4/478 23355
/proc/meminfo: memFree=20677932/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=479544 CPUtime=3.09 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 117443 0 0 0 297 12 0 0 25 0 1 0 804224725 491053056 117349 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567566 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23351/statm: 119886 117349 506 1214 0 118668 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 479544
[startup+6.30053 s]
/proc/loadavg: 1.21 1.54 1.81 4/478 23355
/proc/meminfo: memFree=20035020/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=735340 CPUtime=6.29 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 181043 0 0 0 610 19 0 0 25 0 1 0 804224725 752988160 180949 33554432000 4194304 9163163 140734619750128 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23351/statm: 183835 180949 506 1214 0 182617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 735340
[startup+12.7004 s]
/proc/loadavg: 1.27 1.54 1.81 4/478 23356
/proc/meminfo: memFree=19656124/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=875756 CPUtime=12.69 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 213798 0 0 0 1245 24 0 0 25 0 1 0 804224725 896774144 213447 33554432000 4194304 9163163 140734619750128 18446744073709551615 6568758 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23351/statm: 218939 213447 518 1214 0 217721 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 875756
[startup+25.5011 s]
/proc/loadavg: 1.43 1.57 1.81 4/478 23356
/proc/meminfo: memFree=19447384/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=961760 CPUtime=25.49 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 245625 0 0 0 2521 28 0 0 25 0 1 0 804224725 984842240 234081 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23351/statm: 240440 234081 570 1214 0 239222 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 961760
[startup+51.1006 s]
/proc/loadavg: 1.62 1.60 1.81 4/478 23357
/proc/meminfo: memFree=19359620/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=1006992 CPUtime=51.06 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 256736 0 0 0 5078 28 0 0 25 0 1 0 804224725 1031159808 245159 33554432000 4194304 9163163 140734619750128 18446744073709551615 4782784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 251748 245159 570 1214 0 250530 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1006992
[startup+102.32 s]
/proc/loadavg: 1.84 1.66 1.82 4/478 23358
/proc/meminfo: memFree=19067992/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=1165800 CPUtime=102.28 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 295542 0 0 0 10195 33 0 0 25 0 1 0 804224725 1193779200 283965 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 291450 283965 570 1214 0 290232 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1165800
[startup+162.301 s]
/proc/loadavg: 1.94 1.72 1.83 4/478 23360
/proc/meminfo: memFree=18807448/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=1325188 CPUtime=162.26 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 335716 0 0 0 16187 39 0 0 25 0 1 0 804224725 1356992512 324136 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 331297 324136 567 1214 0 330079 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1325188
[startup+222.3 s]
/proc/loadavg: 1.98 1.77 1.83 4/478 23364
/proc/meminfo: memFree=18543556/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=1418376 CPUtime=222.26 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 358313 0 0 0 22185 41 0 0 25 0 1 0 804224725 1452417024 346733 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 354594 346733 567 1214 0 353376 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1418376
[startup+282.301 s]
/proc/loadavg: 1.99 1.81 1.84 4/478 23366
/proc/meminfo: memFree=18112160/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=1586384 CPUtime=282.27 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 399521 0 0 0 28182 45 0 0 25 0 1 0 804224725 1624457216 387941 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567822 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 396596 387941 567 1214 0 395378 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 1586384
[startup+342.301 s]
/proc/loadavg: 1.99 1.84 1.84 4/478 23367
/proc/meminfo: memFree=17664128/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=1735252 CPUtime=342.27 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 435708 0 0 0 34178 49 0 0 25 0 1 0 804224725 1776898048 424128 33554432000 4194304 9163163 140734619750128 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 433813 424128 567 1214 0 432595 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1735252
[startup+402.301 s]
/proc/loadavg: 2.14 1.91 1.87 4/478 23369
/proc/meminfo: memFree=17291496/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=1933336 CPUtime=402.27 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 485329 0 0 0 40172 55 0 0 25 0 1 0 804224725 1979736064 473749 33554432000 4194304 9163163 140734619750128 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 483334 473749 567 1214 0 482116 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 1933336
[startup+462.301 s]
/proc/loadavg: 2.14 1.95 1.88 4/478 23371
/proc/meminfo: memFree=16891200/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=2105876 CPUtime=462.27 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 528082 0 0 0 46167 60 0 0 25 0 1 0 804224725 2156417024 516502 33554432000 4194304 9163163 140734619750128 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 526469 516502 567 1214 0 525251 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 2105876
[startup+522.3 s]
/proc/loadavg: 2.05 1.96 1.89 4/478 23372
/proc/meminfo: memFree=16515088/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=2319792 CPUtime=522.27 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 580853 0 0 0 52161 66 0 0 25 0 1 0 804224725 2375467008 569273 33554432000 4194304 9163163 140734619750128 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 579948 569273 567 1214 0 578730 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 2319792
[startup+582.301 s]
/proc/loadavg: 2.02 1.97 1.89 4/478 23374
/proc/meminfo: memFree=16298940/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=2418356 CPUtime=582.28 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 605010 0 0 0 58157 71 0 0 25 0 1 0 804224725 2476396544 593430 33554432000 4194304 9163163 140734619750128 18446744073709551615 5458902 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 604589 593430 571 1214 0 603371 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2418356
[startup+642.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.20 2.05 1.94 4/478 23385
/proc/meminfo: memFree=14694376/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3128788 CPUtime=1002.28 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 783381 0 0 0 100132 96 0 0 25 0 1 0 804224725 3203878912 771801 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 782197 771801 571 1214 0 780979 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 3128788
[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 1.94 4/478 23387
/proc/meminfo: memFree=14536136/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3179224 CPUtime=1062.29 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 796073 0 0 0 106131 98 0 0 25 0 1 0 804224725 3255525376 784493 33554432000 4194304 9163163 140734619750128 18446744073709551615 4840658 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 794806 784493 571 1214 0 793588 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 3179224
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 1.94 4/478 23388
/proc/meminfo: memFree=14406772/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3241652 CPUtime=1122.28 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 812105 0 0 0 112129 99 0 0 25 0 1 0 804224725 3319451648 800525 33554432000 4194304 9163163 140734619750128 18446744073709551615 4793359 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 810413 800525 571 1214 0 809195 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 3241652
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.94 4/478 23390
/proc/meminfo: memFree=14217784/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3370684 CPUtime=1182.29 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 843393 0 0 0 118126 103 0 0 25 0 1 0 804224725 3451580416 831813 33554432000 4194304 9163163 140734619750128 18446744073709551615 6568778 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 842671 831813 571 1214 0 841453 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 3370684
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/478 23391
/proc/meminfo: memFree=14035480/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3473940 CPUtime=1242.3 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 869059 0 0 0 124123 107 0 0 25 0 1 0 804224725 3557314560 857479 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 868485 857479 571 1214 0 867267 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3473940
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/478 23393
/proc/meminfo: memFree=13856408/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3562440 CPUtime=1302.31 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 891085 0 0 0 130122 109 0 0 25 0 1 0 804224725 3647938560 879505 33554432000 4194304 9163163 140734619750128 18446744073709551615 6556901 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 890610 879505 571 1214 0 889392 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3562440
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/478 23395
/proc/meminfo: memFree=13682660/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3675872 CPUtime=1362.29 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 919463 0 0 0 136117 112 0 0 25 0 1 0 804224725 3764092928 907883 33554432000 4194304 9163163 140734619750128 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 918968 907883 571 1214 0 917750 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 3675872
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.94 4/478 23396
/proc/meminfo: memFree=13544624/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3755804 CPUtime=1422.31 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 939715 0 0 0 142116 115 0 0 25 0 1 0 804224725 3845943296 928135 33554432000 4194304 9163163 140734619750128 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 938951 928135 571 1214 0 937733 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 3755804
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/478 23398
/proc/meminfo: memFree=13378328/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3863164 CPUtime=1482.3 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 966026 0 0 0 148111 119 0 0 25 0 1 0 804224725 3955879936 954446 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 965791 954446 571 1214 0 964573 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 3863164
[startup+1542.3 s]
/proc/loadavg: 2.14 2.05 1.96 4/478 23399
/proc/meminfo: memFree=13236452/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3975388 CPUtime=1542.29 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 993322 0 0 0 154106 123 0 0 25 0 1 0 804224725 4070797312 981742 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567794 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 993847 981742 571 1214 0 992629 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 3975388
[startup+1602.3 s]
/proc/loadavg: 2.11 2.07 1.97 4/478 23401
/proc/meminfo: memFree=13089240/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=4091504 CPUtime=1602.3 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 1021899 0 0 0 160103 127 0 0 25 0 1 0 804224725 4189700096 1010319 33554432000 4194304 9163163 140734619750128 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 1022876 1010319 571 1214 0 1021658 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 4091504
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 1.97 4/478 23403
/proc/meminfo: memFree=12894168/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=4209008 CPUtime=1662.3 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 1050753 0 0 0 166099 131 0 0 25 0 1 0 804224725 4310024192 1039173 33554432000 4194304 9163163 140734619750128 18446744073709551615 6923150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 1052252 1039173 571 1214 0 1051034 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 4209008
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.97 4/478 23404
/proc/meminfo: memFree=12704676/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=4321440 CPUtime=1722.31 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 1079425 0 0 0 172097 134 0 0 25 0 1 0 804224725 4425154560 1067845 33554432000 4194304 9163163 140734619750128 18446744073709551615 4793078 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 1080360 1067845 571 1214 0 1079142 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 4321440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.97 4/478 23406
/proc/meminfo: memFree=12547552/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=4420856 CPUtime=1782.3 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 1104029 0 0 0 178095 135 0 0 25 0 1 0 804224725 4526956544 1092449 33554432000 4194304 9163163 140734619750128 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 1105214 1092449 571 1214 0 1103996 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 4420856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 1.97 4/478 23406
/proc/meminfo: memFree=12500296/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=4449008 CPUtime=1800.02 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 1110764 0 0 0 179866 136 0 0 25 0 1 0 804224725 4555784192 1099184 33554432000 4194304 9163163 140734619750128 18446744073709551615 4207451 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23351/statm: 1112252 1099184 571 1214 0 1111034 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4449008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.00 2.03 1.97 4/478 23406
/proc/meminfo: memFree=12500296/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=4446080 CPUtime=1800.2 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 1111563 0 0 0 179884 136 0 0 18 0 1 0 804224725 4552785920 1098792 33554432000 4194304 9163163 140734619750128 18446744073709551615 4338434 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23351/statm: 1111520 1098792 579 1214 0 1110302 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 4446080
[startup+1800.6 s]
/proc/loadavg: 2.00 2.03 1.97 4/480 23408
/proc/meminfo: memFree=13272924/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=4008196 CPUtime=1800.61 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 1111569 0 0 0 179923 138 0 0 18 0 1 0 804224725 4104392704 989822 33554432000 4194304 9163163 140734619750128 18446744073709551615 8034219 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23351/statm: 1002049 989822 585 1214 0 1000831 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 4008196
[startup+1800.72 s]
/proc/loadavg: 2.00 2.03 1.97 4/480 23408
/proc/meminfo: memFree=13272924/32951124 swapFree=67057928/67111528
[pid=23351] ppid=23348 vsize=3606996 CPUtime=1800.72 cores=0,2,4,6
/proc/23351/stat : 23351 (scip-2.0.1.4b.l) R 23348 23351 20996 0 -1 4202496 1111580 0 0 0 179924 148 0 0 18 0 1 0 804224725 3693563904 410288 33554432000 4194304 9163163 140734619750128 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23351/statm: 901749 409776 596 1214 0 900531 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 3606996
Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.8
CPU user time (s): 1799.25
CPU system time (s): 1.54876
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4449008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 1.54876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1111582
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= 11
involuntary context switches= 1784
runsolver used 8.93764 second user time and 20.3929 second system time
The end