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-3451824-1307117229.opb>
1.59/1.68 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245455 constraints
1.59/1.68 c problem read
1.59/1.68 c presolving settings loaded
2.10/2.16 c presolving:
8.39/8.49 c (round 1) 6712 del vars, 19813 del conss, 0 add conss, 5155 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16584408 impls, 0 clqs
10.91/10.93 c (round 2) 13395 del vars, 47679 del conss, 0 add conss, 11451 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16617703 impls, 0 clqs
11.69/11.70 c (round 3) 15630 del vars, 58332 del conss, 0 add conss, 12795 chg bounds, 23 chg sides, 45 chg coeffs, 0 upgd conss, 16632241 impls, 0 clqs
12.01/12.10 c (round 4) 16783 del vars, 62879 del conss, 0 add conss, 13474 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16640375 impls, 0 clqs
12.39/12.40 c (round 5) 17590 del vars, 65936 del conss, 0 add conss, 14012 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16648618 impls, 0 clqs
12.59/12.63 c (round 6) 18204 del vars, 68297 del conss, 0 add conss, 14421 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16655341 impls, 0 clqs
12.79/12.86 c (round 7) 18878 del vars, 70599 del conss, 0 add conss, 14870 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16661380 impls, 0 clqs
12.99/13.03 c (round 8) 19335 del vars, 72461 del conss, 0 add conss, 15174 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16665877 impls, 0 clqs
13.11/13.16 c (round 9) 19680 del vars, 73757 del conss, 0 add conss, 15369 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16669878 impls, 0 clqs
13.21/13.27 c (round 10) 19930 del vars, 74797 del conss, 0 add conss, 15528 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16673642 impls, 0 clqs
13.29/13.37 c (round 11) 20121 del vars, 75518 del conss, 0 add conss, 15661 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16675582 impls, 0 clqs
13.39/13.46 c (round 12) 20255 del vars, 76117 del conss, 0 add conss, 15747 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16677399 impls, 0 clqs
13.49/13.53 c (round 13) 20353 del vars, 76519 del conss, 0 add conss, 15818 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678425 impls, 0 clqs
13.59/13.60 c (round 14) 20395 del vars, 76725 del conss, 0 add conss, 15843 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678715 impls, 0 clqs
13.59/13.68 c (round 15) 20415 del vars, 76827 del conss, 0 add conss, 15857 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678757 impls, 0 clqs
14.31/14.35 c (round 16) 20415 del vars, 76848 del conss, 0 add conss, 15857 chg bounds, 36 chg sides, 67 chg coeffs, 168607 upgd conss, 16678757 impls, 0 clqs
15.30/15.33 c (round 17) 20415 del vars, 76849 del conss, 14 add conss, 15857 chg bounds, 56 chg sides, 210 chg coeffs, 168607 upgd conss, 16679393 impls, 7331 clqs
528.02/528.04 c (528.0s) probing: 1000/52427 (1.9%) - 29 fixings, 13 aggregations, 11775840 implications, 0 bound changes
1053.32/1053.35 c (1053.3s) probing: 2000/52427 (3.8%) - 29 fixings, 13 aggregations, 19337832 implications, 0 bound changes
1208.95/1208.98 c (1209.0s) probing: 2341/52427 (4.5%) - 29 fixings, 13 aggregations, 21507041 implications, 0 bound changes
1208.95/1208.98 c (1209.0s) probing aborted: 2000/2000 successive useless probings
1208.95/1208.98 c (round 18) 20457 del vars, 76849 del conss, 14 add conss, 15857 chg bounds, 58 chg sides, 224 chg coeffs, 168607 upgd conss, 99355379 impls, 7611 clqs
1209.94/1209.98 c (round 19) 20463 del vars, 77706 del conss, 14 add conss, 15857 chg bounds, 58 chg sides, 304 chg coeffs, 168607 upgd conss, 99355493 impls, 7611 clqs
1316.64/1316.72 c (round 20) 20517 del vars, 77712 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 312 chg coeffs, 168607 upgd conss, 102649871 impls, 7678 clqs
1321.23/1321.22 c (round 21) 20535 del vars, 77922 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 102840709 impls, 7678 clqs
1321.83/1321.83 c (round 22) 20535 del vars, 77940 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 102840709 impls, 7678 clqs
1471.63/1471.64 c (round 23) 20585 del vars, 77940 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 109064183 impls, 7678 clqs
1472.53/1472.59 c (round 24) 20595 del vars, 78134 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 109065299 impls, 7678 clqs
1527.85/1527.84 c (1527.8s) probing: 3000/52427 (5.7%) - 132 fixings, 40 aggregations, 25341616 implications, 0 bound changes
1591.65/1591.62 c (round 25) 20646 del vars, 78143 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 114840719 impls, 7678 clqs
1592.75/1592.77 c (round 26) 20655 del vars, 78336 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 324 chg coeffs, 168607 upgd conss, 114860427 impls, 7678 clqs
1777.14/1777.12 c (round 27) 20705 del vars, 78345 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 324 chg coeffs, 168607 upgd conss, 124712685 impls, 7678 clqs
1777.94/1777.99 c (round 28) 20711 del vars, 78531 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 324 chg coeffs, 168607 upgd conss, 124712941 impls, 7678 clqs
1800.06/1800.09 c (1800.1s) probing: 3741/52427 (7.1%) - 191 fixings, 64 aggregations, 29894626 implications, 0 bound changes
1800.06/1800.09 c (1800.1s) probing aborted: solving stopped
1800.06/1800.10 c (round 29) 20719 del vars, 78537 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 324 chg coeffs, 168607 upgd conss, 125449279 impls, 7678 clqs
1800.06/1800.10 c presolving (29 rounds):
1800.06/1800.10 c 20719 deleted vars, 78537 deleted constraints, 15 added constraints, 15857 tightened bounds, 0 added holes, 59 changed sides, 324 changed coefficients
1800.06/1800.10 c 125449279 implications, 7678 cliques
1800.06/1800.10 c presolving was interrupted.
1800.06/1800.10 c Presolving Time: 1798.07
1800.06/1800.10 c - non default parameters ----------------------------------------------------------------------
1800.06/1800.10 c # SCIP version 2.0.1.5
1800.06/1800.10 c
1800.06/1800.10 c # frequency for displaying node information lines
1800.06/1800.10 c # [type: int, range: [-1,2147483647], default: 100]
1800.06/1800.10 c display/freq = 10000
1800.06/1800.10 c
1800.06/1800.10 c # maximal time in seconds to run
1800.06/1800.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.06/1800.10 c limits/time = 1800
1800.06/1800.10 c
1800.06/1800.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.06/1800.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.06/1800.10 c limits/memory = 13950
1800.06/1800.10 c
1800.06/1800.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.06/1800.10 c # [type: int, range: [1,2], default: 1]
1800.06/1800.10 c timing/clocktype = 2
1800.06/1800.10 c
1800.06/1800.10 c # belongs reading time to solving time?
1800.06/1800.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.10 c timing/reading = TRUE
1800.06/1800.10 c
1800.06/1800.10 c # should presolving try to simplify inequalities
1800.06/1800.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.10 c constraints/linear/simplifyinequalities = TRUE
1800.06/1800.10 c
1800.06/1800.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.06/1800.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.10 c constraints/indicator/addCouplingCons = TRUE
1800.06/1800.10 c
1800.06/1800.10 c # should presolving try to simplify knapsacks
1800.06/1800.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.10 c constraints/knapsack/simplifyinequalities = TRUE
1800.06/1800.10 c
1800.06/1800.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.06/1800.10 c # [type: int, range: [-1,2147483647], default: -1]
1800.06/1800.10 c separating/rapidlearning/freq = 0
1800.06/1800.10 c
1800.06/1800.10 c -----------------------------------------------------------------------------------------------
1800.06/1800.10 c start solving
1800.17/1800.13 c presolving:
1800.17/1800.13 c presolving (29 rounds):
1800.17/1800.13 c 20719 deleted vars, 78537 deleted constraints, 15 added constraints, 15857 tightened bounds, 0 added holes, 59 changed sides, 324 changed coefficients
1800.17/1800.13 c 125449279 implications, 7678 cliques
1800.17/1800.13 c presolving was interrupted.
1800.17/1800.13 c Presolving Time: 1798.10
1800.17/1800.13 c
1800.17/1800.13 c SCIP Status : solving was interrupted [time limit reached]
1800.17/1800.13 c Solving Time (sec) : 1800.13
1800.17/1800.13 c Solving Nodes : 0
1800.17/1800.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.17/1800.13 s UNKNOWN
1800.17/1800.13 c SCIP Status : solving was interrupted [time limit reached]
1800.17/1800.13 c Total Time : 1800.13
1800.17/1800.13 c solving : 1800.13
1800.17/1800.13 c presolving : 1798.10 (included in solving)
1800.17/1800.13 c reading : 1.67 (included in solving)
1800.17/1800.13 c Original Problem :
1800.17/1800.13 c Problem name : HOME/instance-3451824-1307117229.opb
1800.17/1800.13 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.17/1800.13 c Constraints : 245455 initial, 245455 maximal
1800.17/1800.13 c Presolved Problem :
1800.17/1800.13 c Problem name : t_HOME/instance-3451824-1307117229.opb
1800.17/1800.13 c Variables : 52123 (52123 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.17/1800.13 c Constraints : 166933 initial, 166933 maximal
1800.17/1800.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.17/1800.13 c trivial : 0.09 1071 0 0 0 0 0 0 0 0
1800.17/1800.13 c dualfix : 0.10 120 0 0 0 0 0 0 0 0
1800.17/1800.13 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.17/1800.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.17/1800.13 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.17/1800.13 c implics : 7.33 0 48 0 0 0 0 0 0 0
1800.17/1800.13 c probing : 1773.34 191 64 0 0 0 0 0 0 0
1800.17/1800.13 c knapsack : 4.46 0 0 0 0 0 0 15 23 257
1800.17/1800.13 c setppc : 0.73 1 0 0 0 0 1647 0 0 0
1800.17/1800.13 c linear : 11.34 14786 4438 0 15857 0 76848 0 36 67
1800.17/1800.13 c logicor : 0.26 0 0 0 0 0 42 0 0 0
1800.17/1800.13 c root node : - 0 - - 0 - - - - -
1800.17/1800.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.17/1800.13 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.17/1800.13 c knapsack : 0+ 0 145336 0 0 0 0 49 0 0 0 0
1800.17/1800.13 c setppc : 0+ 0 145287 0 0 0 0 26 0 0 0 0
1800.17/1800.13 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.17/1800.13 c logicor : 0+ 0 133444 0 0 0 0 59 0 0 0 0
1800.17/1800.13 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.17/1800.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.17/1800.13 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.17/1800.13 c knapsack : 11.65 0.00 11.65 0.00 0.00 0.00 0.00
1800.17/1800.13 c setppc : 776.41 0.00 776.41 0.00 0.00 0.00 0.00
1800.17/1800.13 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.17/1800.13 c logicor : 14.33 0.00 14.33 0.00 0.00 0.00 0.00
1800.17/1800.13 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.17/1800.13 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.17/1800.13 c vbounds : 0 0 0 0
1800.17/1800.13 c rootredcost : 0 0 0 0
1800.17/1800.13 c pseudoobj : 0 0 0 0
1800.17/1800.13 c Propagator Timings : TotalTime Propagate Resprop
1800.17/1800.13 c vbounds : 0.06 0.06 0.00
1800.17/1800.13 c rootredcost : 0.04 0.04 0.00
1800.17/1800.13 c pseudoobj : 0.03 0.03 0.00
1800.17/1800.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.17/1800.13 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.17/1800.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.17/1800.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.17/1800.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.17/1800.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.17/1800.13 c applied globally : - - - 0 0.0 - - -
1800.17/1800.13 c applied locally : - - - 0 0.0 - - -
1800.76/1800.77 c Time complete: 1800.82.
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-3451824-1307117229/watcher-3451824-1307117229 -o /tmp/evaluation-result-3451824-1307117229/solver-3451824-1307117229 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451824-1307117229.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.00 1.99 3/575 25886
/proc/meminfo: memFree=22606128/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=14728 CPUtime=0 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 2635 0 0 0 0 0 0 0 25 0 1 0 823320641 15081472 2588 33554432000 4194304 9163163 140735801356288 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25886/statm: 3682 2605 395 1214 0 2464 0
[startup+0.025629 s]
/proc/loadavg: 1.95 2.00 1.99 3/575 25886
/proc/meminfo: memFree=22606128/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=17104 CPUtime=0.01 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 3267 0 0 0 1 0 0 0 25 0 1 0 823320641 17514496 3220 33554432000 4194304 9163163 140735801356288 18446744073709551615 4216582 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25886/statm: 4276 3220 395 1214 0 3058 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17104
[startup+0.100618 s]
/proc/loadavg: 1.95 2.00 1.99 3/575 25886
/proc/meminfo: memFree=22606128/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=30068 CPUtime=0.08 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 6518 0 0 0 8 0 0 0 25 0 1 0 823320641 30789632 6471 33554432000 4194304 9163163 140735801356288 18446744073709551615 8031100 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25886/statm: 7517 6471 395 1214 0 6299 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30068
[startup+0.30058 s]
/proc/loadavg: 1.95 2.00 1.99 3/575 25886
/proc/meminfo: memFree=22606128/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=56884 CPUtime=0.29 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 13203 0 0 0 28 1 0 0 25 0 1 0 823320641 58249216 13156 33554432000 4194304 9163163 140735801356288 18446744073709551615 8031925 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25886/statm: 14221 13156 395 1214 0 13003 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56884
[startup+0.700505 s]
/proc/loadavg: 1.95 2.00 1.99 3/575 25886
/proc/meminfo: memFree=22606128/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=80892 CPUtime=0.69 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 19180 0 0 0 67 2 0 0 25 0 1 0 823320641 82833408 19133 33554432000 4194304 9163163 140735801356288 18446744073709551615 4338896 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25886/statm: 20223 19133 395 1214 0 19005 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80892
[startup+1.50036 s]
/proc/loadavg: 1.95 2.00 1.99 3/576 25887
/proc/meminfo: memFree=22503820/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=150316 CPUtime=1.48 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 36483 0 0 0 144 4 0 0 25 0 1 0 823320641 153923584 36436 33554432000 4194304 9163163 140735801356288 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25886/statm: 37579 36436 395 1214 0 36361 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 150316
[startup+3.10107 s]
/proc/loadavg: 1.95 2.00 1.99 3/576 25887
/proc/meminfo: memFree=22241308/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=502392 CPUtime=3.09 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 123185 0 0 0 295 14 0 0 25 0 1 0 823320641 514449408 123070 33554432000 4194304 9163163 140735801356288 18446744073709551615 4782798 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 125598 123070 506 1214 0 124380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 502392
[startup+6.30049 s]
/proc/loadavg: 1.95 2.00 1.99 3/576 25887
/proc/meminfo: memFree=21898108/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=774340 CPUtime=6.28 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 189799 0 0 0 607 21 0 0 25 0 1 0 823320641 792924160 189684 33554432000 4194304 9163163 140735801356288 18446744073709551615 4832430 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 193585 189684 506 1214 0 192367 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 774340
[startup+12.7003 s]
/proc/loadavg: 1.96 2.00 1.99 3/576 25887
/proc/meminfo: memFree=21721788/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=880092 CPUtime=12.69 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 214802 0 0 0 1244 25 0 0 25 0 1 0 823320641 901214208 214430 33554432000 4194304 9163163 140735801356288 18446744073709551615 6568751 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 220023 214430 518 1214 0 218805 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 880092
[startup+25.501 s]
/proc/loadavg: 1.96 2.00 1.99 3/576 25888
/proc/meminfo: memFree=21614472/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=967640 CPUtime=25.49 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 249966 0 0 0 2521 28 0 0 25 0 1 0 823320641 990863360 235412 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 241910 235412 570 1214 0 240692 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 967640
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 1.99 3/576 25888
/proc/meminfo: memFree=21489092/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=1023112 CPUtime=51.09 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 262957 0 0 0 5080 29 0 0 25 0 1 0 823320641 1047666688 248403 33554432000 4194304 9163163 140735801356288 18446744073709551615 6566738 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 255778 248403 570 1214 0 254560 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1023112
[startup+102.322 s]
/proc/loadavg: 1.99 2.00 1.99 3/576 25890
/proc/meminfo: memFree=21206644/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=1181944 CPUtime=102.31 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 302383 0 0 0 10197 34 0 0 25 0 1 0 823320641 1210310656 287829 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 295486 287829 570 1214 0 294268 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1181944
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/576 25891
/proc/meminfo: memFree=20843344/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=1338196 CPUtime=162.29 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 341454 0 0 0 16190 39 0 0 25 0 1 0 823320641 1370312704 326801 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 334549 326801 570 1214 0 333331 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1338196
[startup+222.301 s]
/proc/loadavg: 2.14 2.03 2.00 3/576 25893
/proc/meminfo: memFree=20373724/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=1615232 CPUtime=222.3 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 409331 0 0 0 22183 47 0 0 25 0 1 0 823320641 1653997568 394678 33554432000 4194304 9163163 140735801356288 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 403808 394678 570 1214 0 402590 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1615232
[startup+282.301 s]
/proc/loadavg: 2.12 2.04 2.00 3/576 25895
/proc/meminfo: memFree=20027480/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=1760748 CPUtime=282.3 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 445515 0 0 0 28178 52 0 0 25 0 1 0 823320641 1803005952 430862 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 440187 430862 570 1214 0 438969 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1760748
[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/576 25896
/proc/meminfo: memFree=19678528/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=1884500 CPUtime=342.3 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 476005 0 0 0 34173 57 0 0 25 0 1 0 823320641 1929728000 461352 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 471125 461352 570 1214 0 469907 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1884500
[startup+402.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/576 25898
/proc/meminfo: memFree=19368132/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=2017872 CPUtime=402.3 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 508911 0 0 0 40167 63 0 0 25 0 1 0 823320641 2066300928 494258 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 504468 494258 570 1214 0 503250 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2017872
[startup+462.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/576 25899
/proc/meminfo: memFree=19109444/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=2164792 CPUtime=462.3 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 546489 0 0 0 46163 67 0 0 25 0 1 0 823320641 2216747008 531836 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 541198 531836 570 1214 0 539980 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2164792
[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/576 25901
/proc/meminfo: memFree=18926140/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=2304584 CPUtime=522.3 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 581234 0 0 0 52158 72 0 0 25 0 1 0 823320641 2359894016 566581 33554432000 4194304 9163163 140735801356288 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 576146 566581 570 1214 0 574928 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2304584
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 25903
/proc/meminfo: memFree=18769988/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=2413072 CPUtime=582.31 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 608392 0 0 0 58154 77 0 0 25 0 1 0 823320641 2470985728 593739 33554432000 4194304 9163163 140735801356288 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 603268 593739 574 1214 0 602050 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2413072
[startup+642.3 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/576 25914
/proc/meminfo: memFree=17505816/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3094300 CPUtime=1002.32 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 777436 0 0 0 100131 101 0 0 25 0 1 0 823320641 3168563200 762783 33554432000 4194304 9163163 140735801356288 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 773575 762783 574 1214 0 772357 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3094300
[startup+1062.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/576 25915
/proc/meminfo: memFree=17281728/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3175120 CPUtime=1062.32 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 797451 0 0 0 106128 104 0 0 25 0 1 0 823320641 3251322880 782798 33554432000 4194304 9163163 140735801356288 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 793780 782798 574 1214 0 792562 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3175120
[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 25917
/proc/meminfo: memFree=17131160/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3255376 CPUtime=1122.32 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 817098 0 0 0 112125 107 0 0 25 0 1 0 823320641 3333505024 802445 33554432000 4194304 9163163 140735801356288 18446744073709551615 5458832 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 813844 802445 574 1214 0 812626 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3255376
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 25919
/proc/meminfo: memFree=16983936/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3328240 CPUtime=1182.32 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 835091 0 0 0 118123 109 0 0 25 0 1 0 823320641 3408117760 820438 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 832060 820438 574 1214 0 830842 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3328240
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25920
/proc/meminfo: memFree=16762948/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3396896 CPUtime=1242.33 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 852286 0 0 0 124121 112 0 0 25 0 1 0 823320641 3478421504 837633 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 849224 837633 574 1214 0 848006 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3396896
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25922
/proc/meminfo: memFree=16589824/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3447032 CPUtime=1302.34 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 865137 0 0 0 130120 114 0 0 25 0 1 0 823320641 3529760768 850484 33554432000 4194304 9163163 140735801356288 18446744073709551615 4823880 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 861758 850484 574 1214 0 860540 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3447032
[startup+1362.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/576 25923
/proc/meminfo: memFree=16464436/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3488984 CPUtime=1362.33 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 876401 0 0 0 136118 115 0 0 25 0 1 0 823320641 3572719616 861748 33554432000 4194304 9163163 140735801356288 18446744073709551615 4782798 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 872246 861748 574 1214 0 871028 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3488984
[startup+1422.32 s]
/proc/loadavg: 2.08 2.05 2.01 3/576 25925
/proc/meminfo: memFree=16307048/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3554696 CPUtime=1422.35 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 892490 0 0 0 142118 117 0 0 25 0 1 0 823320641 3640008704 877837 33554432000 4194304 9163163 140735801356288 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 888674 877837 574 1214 0 887456 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3554696
[startup+1482.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/576 25927
/proc/meminfo: memFree=16173328/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3602324 CPUtime=1482.34 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 903771 0 0 0 148115 119 0 0 25 0 1 0 823320641 3688779776 889118 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 900581 889118 574 1214 0 899363 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3602324
[startup+1542.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/576 25928
/proc/meminfo: memFree=16013344/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3652908 CPUtime=1542.33 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 916735 0 0 0 154113 120 0 0 25 0 1 0 823320641 3740577792 902082 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 913227 902082 574 1214 0 912009 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3652908
[startup+1602.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/576 25930
/proc/meminfo: memFree=15787136/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3720544 CPUtime=1602.34 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 933341 0 0 0 160111 123 0 0 25 0 1 0 823320641 3809837056 918688 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567844 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 930136 918688 574 1214 0 928918 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3720544
[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/576 25931
/proc/meminfo: memFree=15616732/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3811212 CPUtime=1662.34 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 956390 0 0 0 166108 126 0 0 25 0 1 0 823320641 3902681088 941737 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 952803 941737 574 1214 0 951585 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3811212
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 25933
/proc/meminfo: memFree=15430456/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3903176 CPUtime=1722.34 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 978977 0 0 0 172106 128 0 0 25 0 1 0 823320641 3996852224 964324 33554432000 4194304 9163163 140735801356288 18446744073709551615 4208386 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 975794 964324 574 1214 0 974576 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3903176
[startup+1782.3 s]
/proc/loadavg: 1.85 2.00 1.99 2/570 25953
/proc/meminfo: memFree=19616008/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=4013276 CPUtime=1782.34 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 1006626 0 0 0 178102 132 0 0 25 0 1 0 823320641 4109594624 991973 33554432000 4194304 9163163 140735801356288 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 1003319 991973 574 1214 0 1002101 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 4013276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.66 1.95 1.97 2/570 25953
/proc/meminfo: memFree=19611440/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=4017348 CPUtime=1800.06 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 1007977 0 0 0 179873 133 0 0 25 0 1 0 823320641 4113764352 993324 33554432000 4194304 9163163 140735801356288 18446744073709551615 4219851 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25886/statm: 1004337 993324 574 1214 0 1003119 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 4017348
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: 1.66 1.95 1.97 2/570 25953
/proc/meminfo: memFree=19611440/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=4012836 CPUtime=1800.25 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 1008632 0 0 0 179892 133 0 0 25 0 1 0 823320641 4109144064 992392 33554432000 4194304 9163163 140735801356288 18446744073709551615 4210486 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25886/statm: 1003209 992392 582 1214 0 1001991 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 4012836
[startup+1800.6 s]
/proc/loadavg: 1.61 1.93 1.97 2/571 25954
/proc/meminfo: memFree=20042952/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=3539848 CPUtime=1800.66 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 1008638 0 0 0 179931 135 0 0 25 0 1 0 823320641 3624804352 874649 33554432000 4194304 9163163 140735801356288 18446744073709551615 6918346 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25886/statm: 884962 874649 588 1214 0 883744 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 3539848
[startup+1800.72 s]
/proc/loadavg: 1.61 1.93 1.97 2/571 25954
/proc/meminfo: memFree=20042952/32951124 swapFree=58940260/67111528
[pid=25886] ppid=25884 vsize=1894840 CPUtime=1800.76 cores=1,3,5,7
/proc/25886/stat : 25886 (scip-2.0.1.4b.l) R 25884 25886 23203 0 -1 4202496 1008649 0 0 0 179932 144 0 0 25 0 1 0 823320641 1940316160 338176 33554432000 4194304 9163163 140735801356288 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25886/statm: 473710 337941 599 1214 0 472492 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 1894840
Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.83
CPU user time (s): 1799.33
CPU system time (s): 1.50177
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4018572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 1.50177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1008651
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= 4
involuntary context switches= 20744
runsolver used 10.3354 second user time and 24.3493 second system time
The end