0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692740-1338020065.opb>
1.19/1.29 c original problem has 3750 variables (3750 bin, 0 int, 0 impl, 0 cont) and 467625 constraints
1.19/1.29 c problem read in 1.29
3.08/3.17 c presolving:
8.48/8.59 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 467625 upgd conss, 0 impls, 750 clqs
9.98/10.03 c (10.0s) probing: 51/3750 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
9.98/10.03 c (10.0s) probing aborted: 50/50 successive totally useless probings
11.58/11.66 c presolving (2 rounds):
11.58/11.66 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
11.58/11.66 c 0 implications, 750 cliques
11.58/11.66 c presolved problem has 3750 variables (3750 bin, 0 int, 0 impl, 0 cont) and 467625 constraints
11.58/11.66 c 750 constraints of type <setppc>
11.58/11.66 c 466875 constraints of type <logicor>
11.58/11.66 c transformed objective value is always integral (scale: 1)
11.58/11.66 c Presolving Time: 9.96
11.58/11.66 c - non default parameters ----------------------------------------------------------------------
11.58/11.66 c # SCIP version 2.1.1.4
11.58/11.66 c
11.58/11.66 c # maximal time in seconds to run
11.58/11.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.58/11.66 c limits/time = 1797
11.58/11.66 c
11.58/11.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.58/11.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.58/11.66 c limits/memory = 13950
11.58/11.66 c
11.58/11.66 c # default clock type (1: CPU user seconds, 2: wall clock time)
11.58/11.66 c # [type: int, range: [1,2], default: 1]
11.58/11.66 c timing/clocktype = 2
11.58/11.66 c
11.58/11.66 c # belongs reading time to solving time?
11.58/11.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.58/11.66 c timing/reading = TRUE
11.58/11.66 c
11.58/11.66 c -----------------------------------------------------------------------------------------------
11.58/11.66 c start solving
11.58/11.67 c
1799.91/1800.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1799.91/1800.23 c 1800s| 1 | 0 | 42198 | - | 639M| 0 | - |3750 | 467k|3750 | 467k| 0 | 146 | 0 | 0.000000e+00 | -- | Inf
1799.91/1800.23 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
1800.01/1800.33 c 1800s| 1 | 2 | 42198 | - | 639M| 0 | - |3750 | 467k|3750 | 467k| 0 | 146 | 0 | 0.000000e+00 | -- | Inf
1800.01/1800.33 c
1800.01/1800.33 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.33 c Solving Time (sec) : 1800.31
1800.01/1800.33 c Solving Nodes : 1
1800.01/1800.33 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.33 c Dual Bound : +0.00000000000000e+00
1800.01/1800.33 c Gap : infinite
1800.01/1800.33 s UNKNOWN
1800.01/1800.33 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.33 c Total Time : 1800.31
1800.01/1800.33 c solving : 1800.31
1800.01/1800.33 c presolving : 9.96 (included in solving)
1800.01/1800.33 c reading : 1.29 (included in solving)
1800.01/1800.33 c copying : 0.00 (0 times copied the problem)
1800.01/1800.33 c Original Problem :
1800.01/1800.33 c Problem name : HOME/instance-3692740-1338020065.opb
1800.01/1800.33 c Variables : 3750 (3750 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.33 c Constraints : 467625 initial, 467625 maximal
1800.01/1800.33 c Objective sense : minimize
1800.01/1800.33 c Presolved Problem :
1800.01/1800.33 c Problem name : t_HOME/instance-3692740-1338020065.opb
1800.01/1800.33 c Variables : 3750 (3750 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.33 c Constraints : 467625 initial, 467771 maximal
1800.01/1800.33 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.01/1800.33 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c gateextraction : 0.02 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c components : 0.23 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c probing : 0.24 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c linear : 3.71 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c logicor : 2.41 1.40 0 0 0 0 0 0 0 0 0
1800.01/1800.33 c root node : - - 0 - - 0 - - - - -
1800.01/1800.33 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1800.01/1800.33 c integral : 0 0 0 0 0 0 3 0 0 0 0 0 0
1800.01/1800.33 c setppc : 750 750 0 1068 0 1 3 450 3 0 0 0 0
1800.01/1800.33 c logicor : 466875+ 467021 0 590 0 1 0 1716 12 0 0 0 0
1800.01/1800.33 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1800.01/1800.33 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1800.01/1800.33 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.33 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1800.01/1800.33 c logicor : 2.02 1.40 0.00 0.51 0.00 0.10 0.00 0.00
1800.01/1800.33 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.33 c Propagators : #Propagate #ResProp Cutoffs DomReds
1800.01/1800.33 c rootredcost : 0 0 0 0
1800.01/1800.33 c pseudoobj : 0 0 0 0
1800.01/1800.33 c vbounds : 0 0 0 0
1800.01/1800.33 c redcost : 0 0 0 0
1800.01/1800.33 c probing : 0 0 0 0
1800.01/1800.33 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1800.01/1800.33 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.33 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.33 c vbounds : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.33 c redcost : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.33 c probing : 0.24 0.00 0.24 0.00 0.00
1800.01/1800.33 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.33 c propagation : 0.02 15 15 586 200.2 0 0.0 -
1800.01/1800.33 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.33 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.33 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.33 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.33 c applied globally : - - - 146 173.0 - - -
1800.01/1800.33 c applied locally : - - - 0 0.0 - - -
1800.01/1800.33 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1800.01/1800.33 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.33 c clique : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c closecuts : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c cgmip : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c cmir : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c flowcover : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c gomory : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c impliedbounds : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c intobj : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c mcf : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c oddcycle : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c rapidlearning : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c strongcg : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c zerohalf : 0.00 0.00 0 0 0 0 0
1800.01/1800.33 c Pricers : ExecTime SetupTime Calls Vars
1800.01/1800.33 c problem variables: 0.00 - 0 0
1800.01/1800.33 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.33 c relpscost : 0.00 0.00 0 0 0 0 0 0
1800.01/1800.33 c pscost : 0.00 0.00 0 0 0 0 0 0
1800.01/1800.33 c inference : 0.00 0.00 1 0 0 0 0 2
1800.01/1800.33 c mostinf : 0.00 0.00 0 0 0 0 0 0
1800.01/1800.33 c leastinf : 0.00 0.00 0 0 0 0 0 0
1800.01/1800.33 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1800.01/1800.33 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1800.01/1800.33 c random : 0.00 0.00 0 0 0 0 0 0
1800.01/1800.33 c Primal Heuristics : ExecTime SetupTime Calls Found
1800.01/1800.33 c LP solutions : 0.00 - - 0
1800.01/1800.33 c pseudo solutions : 0.00 - - 0
1800.01/1800.33 c oneopt : 0.00 0.00 0 0
1800.01/1800.33 c smallcard : 0.00 0.00 0 0
1800.01/1800.33 c trivial : 0.12 0.00 2 0
1800.01/1800.33 c shiftandpropagate: 1.79 0.00 1 0
1800.01/1800.33 c simplerounding : 0.00 0.00 0 0
1800.01/1800.33 c zirounding : 0.00 0.00 0 0
1800.01/1800.33 c rounding : 0.00 0.00 0 0
1800.01/1800.33 c shifting : 0.00 0.00 0 0
1800.01/1800.33 c intshifting : 0.00 0.00 0 0
1800.01/1800.33 c twoopt : 0.00 0.00 0 0
1800.01/1800.33 c indtwoopt : 0.00 0.00 0 0
1800.01/1800.33 c indoneopt : 0.00 0.00 0 0
1800.01/1800.33 c fixandinfer : 0.00 0.00 0 0
1800.01/1800.33 c feaspump : 0.00 0.00 0 0
1800.01/1800.33 c clique : 0.00 0.00 0 0
1800.01/1800.33 c indrounding : 0.00 0.00 0 0
1800.01/1800.33 c indcoefdiving : 0.00 0.00 0 0
1800.01/1800.33 c coefdiving : 0.00 0.00 0 0
1800.01/1800.33 c pscostdiving : 0.00 0.00 0 0
1800.01/1800.33 c nlpdiving : 0.00 0.00 0 0
1800.01/1800.33 c fracdiving : 0.00 0.00 0 0
1800.01/1800.33 c veclendiving : 0.00 0.00 0 0
1800.01/1800.33 c intdiving : 0.00 0.00 0 0
1800.01/1800.33 c actconsdiving : 0.00 0.00 0 0
1800.01/1800.33 c objpscostdiving : 0.00 0.00 0 0
1800.01/1800.33 c rootsoldiving : 0.00 0.00 0 0
1800.01/1800.33 c linesearchdiving : 0.00 0.00 0 0
1800.01/1800.33 c guideddiving : 0.00 0.00 0 0
1800.01/1800.33 c octane : 0.00 0.00 0 0
1800.01/1800.33 c rens : 0.00 0.00 0 0
1800.01/1800.33 c rins : 0.00 0.00 0 0
1800.01/1800.33 c localbranching : 0.00 0.00 0 0
1800.01/1800.33 c mutation : 0.00 0.00 0 0
1800.01/1800.33 c crossover : 0.00 0.00 0 0
1800.01/1800.33 c dins : 0.00 0.00 0 0
1800.01/1800.33 c vbounds : 0.00 0.00 0 0
1800.01/1800.33 c undercover : 0.00 0.00 0 0
1800.01/1800.33 c subnlp : 0.00 0.00 0 0
1800.01/1800.33 c trysol : 0.00 0.00 0 0
1800.01/1800.33 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1800.01/1800.33 c primal LP : 0.00 0 0 0.00 - 0.00 0
1800.01/1800.33 c dual LP : 1786.54 1 42198 42198.00 23.62 0.00 0
1800.01/1800.33 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.33 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1800.01/1800.33 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.33 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.33 c (at root node) : - 0 0 0.00 -
1800.01/1800.33 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.33 c B&B Tree :
1800.01/1800.33 c number of runs : 1
1800.01/1800.33 c nodes : 1
1800.01/1800.33 c nodes (total) : 1
1800.01/1800.33 c nodes left : 2
1800.01/1800.33 c max depth : 0
1800.01/1800.33 c max depth (total): 0
1800.01/1800.33 c backtracks : 0 (0.0%)
1800.01/1800.33 c delayed cutoffs : 0
1800.01/1800.33 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.01/1800.33 c avg switch length: 1.00
1800.01/1800.33 c switching time : 0.00
1800.01/1800.33 c Solution :
1800.01/1800.33 c Solutions found : 0 (0 improvements)
1800.01/1800.33 c Primal Bound : -
1800.01/1800.33 c Dual Bound : +0.00000000000000e+00
1800.01/1800.33 c Gap : infinite
1800.01/1800.33 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.33 c Root Iterations : 42198
1801.20/1801.54 c Time complete: 1801.25.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3692740-1338020065/watcher-3692740-1338020065 -o /tmp/evaluation-result-3692740-1338020065/solver-3692740-1338020065 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692740-1338020065.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.07 2.02 2.00 3/178 5821
/proc/meminfo: memFree=28558944/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=9156 CPUtime=0 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 936 0 0 0 0 0 0 0 20 0 1 0 268131400 9375744 890 33554432000 4194304 10169799 140734827503168 140733645015992 8844157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 2289 899 387 1459 0 821 0
[startup+0.0193439 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 5821
/proc/meminfo: memFree=28558944/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=14008 CPUtime=0 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 2264 0 0 0 0 0 0 0 20 0 1 0 268131400 14344192 2218 33554432000 4194304 10169799 140734827503168 140734827368808 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 3502 2218 409 1459 0 2034 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14008
[startup+0.100283 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 5821
/proc/meminfo: memFree=28558944/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=24444 CPUtime=0.08 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 4863 0 0 0 8 0 0 0 20 0 1 0 268131400 25030656 4817 33554432000 4194304 10169799 140734827503168 140734827368808 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 6111 4817 409 1459 0 4643 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24444
[startup+0.300272 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 5821
/proc/meminfo: memFree=28558944/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=47132 CPUtime=0.29 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 10534 0 0 0 28 1 0 0 20 0 1 0 268131400 48263168 10488 33554432000 4194304 10169799 140734827503168 140734827368808 5282272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 11783 10488 409 1459 0 10315 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47132
[startup+0.700284 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 5821
/proc/meminfo: memFree=28558944/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=92392 CPUtime=0.69 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 21805 0 0 0 66 3 0 0 20 0 1 0 268131400 94609408 21759 33554432000 4194304 10169799 140734827503168 140734827368872 8864971 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 23098 21759 409 1459 0 21630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92392
[startup+1.50026 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 5822
/proc/meminfo: memFree=28440764/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=245200 CPUtime=1.49 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 59935 0 0 0 139 10 0 0 20 0 1 0 268131400 251084800 59839 33554432000 4194304 10169799 140734827503168 140734827368872 4897504 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 61300 59839 460 1459 0 59832 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 245200
[startup+3.10031 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 5822
/proc/meminfo: memFree=27981948/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=635964 CPUtime=3.08 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 191377 0 0 0 277 31 0 0 20 0 1 0 268131400 651227136 156951 33554432000 4194304 10169799 140734827503168 140734827500088 5640192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 158991 156951 514 1459 0 157523 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 635964
[startup+6.3003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 5822
/proc/meminfo: memFree=27854396/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=787680 CPUtime=6.29 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 229145 0 0 0 487 142 0 0 20 0 1 0 268131400 806584320 194327 33554432000 4194304 10169799 140734827503168 140734827501320 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 196920 194327 543 1459 0 195452 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 787680
[startup+12.7003 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 5822
/proc/meminfo: memFree=27610292/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1095156 CPUtime=12.69 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 296052 0 0 0 972 297 0 0 20 0 1 0 268131400 1121439744 256824 33554432000 4194304 10169799 140734827503168 140734827499848 7993327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 273789 256826 651 1459 0 272321 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1095156
[startup+25.5004 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 5822
/proc/meminfo: memFree=27107292/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1562848 CPUtime=25.49 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 369098 0 0 0 2230 319 0 0 20 0 1 0 268131400 1600356352 362854 33554432000 4194304 10169799 140734827503168 140734827497576 7593020 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 390712 362854 742 1459 0 389244 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1562848
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 5822
/proc/meminfo: memFree=27061540/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1622180 CPUtime=51.08 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 371069 0 0 0 4786 322 0 0 20 0 1 0 268131400 1661112320 374177 33554432000 4194304 10169799 140734827503168 140734827497576 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 405545 374177 742 1459 0 404077 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1622180
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 5822
/proc/meminfo: memFree=27058168/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1638964 CPUtime=102.28 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 371659 0 0 0 9903 325 0 0 20 0 1 0 268131400 1678299136 380899 33554432000 4194304 10169799 140734827503168 140734827497576 8009306 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 409741 380899 742 1459 0 408273 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1638964
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5822
/proc/meminfo: memFree=27057136/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1638964 CPUtime=162.26 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 371680 0 0 0 15900 326 0 0 20 0 1 0 268131400 1678299136 380920 33554432000 4194304 10169799 140734827503168 140734827497576 8009937 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 409741 380920 742 1459 0 408273 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1638964
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5822
/proc/meminfo: memFree=27019904/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1672496 CPUtime=222.25 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 374805 0 0 0 21895 330 0 0 20 0 1 0 268131400 1712635904 390267 33554432000 4194304 10169799 140734827503168 140734827497496 8009605 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 418124 390267 746 1459 0 416656 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1672496
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 5823
/proc/meminfo: memFree=27046928/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1630640 CPUtime=282.25 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 375911 0 0 0 27891 334 0 0 20 0 1 0 268131400 1669775360 383381 33554432000 4194304 10169799 140734827503168 140734827497496 8009811 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 407660 383381 746 1459 0 406192 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1630640
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 5826
/proc/meminfo: memFree=27046304/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1631716 CPUtime=342.24 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 376917 0 0 0 33885 339 0 0 20 0 1 0 268131400 1670877184 383514 33554432000 4194304 10169799 140734827503168 140734827497496 8010556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 407929 383514 746 1459 0 406461 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1631716
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5826
/proc/meminfo: memFree=27023900/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1632844 CPUtime=402.23 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 378644 0 0 0 39879 344 0 0 20 0 1 0 268131400 1672032256 383617 33554432000 4194304 10169799 140734827503168 140734827497496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 408211 383617 746 1459 0 406743 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1632844
[startup+462.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5826
/proc/meminfo: memFree=27023368/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1634572 CPUtime=462.22 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 380649 0 0 0 45873 349 0 0 20 0 1 0 268131400 1673801728 383770 33554432000 4194304 10169799 140734827503168 140734827497496 8010442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 408643 383770 746 1459 0 407175 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1634572
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 5826
/proc/meminfo: memFree=27022900/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1635796 CPUtime=522.21 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 382764 0 0 0 51867 354 0 0 20 0 1 0 268131400 1675055104 383877 33554432000 4194304 10169799 140734827503168 140734827497960 7593015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 408949 383877 746 1459 0 407481 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1635796
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 5827
/proc/meminfo: memFree=27022620/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1636644 CPUtime=582.2 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 384514 0 0 0 57862 358 0 0 20 0 1 0 268131400 1675923456 383945 33554432000 4194304 10169799 140734827503168 140734827497496 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 409161 383945 746 1459 0 407693 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1636644
[startup+642.3 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5831
/proc/meminfo: memFree=26936520/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1703272 CPUtime=1002.14 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393266 0 0 0 99825 389 0 0 20 0 1 0 268131400 1744150528 397258 33554432000 4194304 10169799 140734827503168 140734827497496 7953607 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 425818 397258 746 1459 0 424350 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1703272
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5831
/proc/meminfo: memFree=26935532/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1703276 CPUtime=1062.12 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393278 0 0 0 105822 390 0 0 20 0 1 0 268131400 1744154624 397550 33554432000 4194304 10169799 140734827503168 140734827497992 7953578 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 425819 397550 746 1459 0 424351 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1703276
[startup+1122.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5831
/proc/meminfo: memFree=26935136/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1703400 CPUtime=1122.12 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393351 0 0 0 111821 391 0 0 20 0 1 0 268131400 1744281600 397623 33554432000 4194304 10169799 140734827503168 140734827497496 8009933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 425850 397623 746 1459 0 424382 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1703400
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5831
/proc/meminfo: memFree=26935012/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1703440 CPUtime=1182.1 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393383 0 0 0 117818 392 0 0 20 0 1 0 268131400 1744322560 397655 33554432000 4194304 10169799 140734827503168 140734827497496 7591827 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 425860 397655 746 1459 0 424392 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1703440
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5833
/proc/meminfo: memFree=26924704/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1703800 CPUtime=1242.09 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393453 0 0 0 123816 393 0 0 20 0 1 0 268131400 1744691200 398236 33554432000 4194304 10169799 140734827503168 140734827497496 8009802 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 425950 398236 746 1459 0 424482 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1703800
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5833
/proc/meminfo: memFree=26924588/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1703852 CPUtime=1302.09 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393523 0 0 0 129814 395 0 0 20 0 1 0 268131400 1744744448 398306 33554432000 4194304 10169799 140734827503168 140734827497960 8009933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 425963 398306 746 1459 0 424495 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1703852
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5833
/proc/meminfo: memFree=26924524/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1704044 CPUtime=1362.07 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393533 0 0 0 135812 395 0 0 20 0 1 0 268131400 1744941056 398316 33554432000 4194304 10169799 140734827503168 140734827497496 7952954 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 426011 398316 746 1459 0 424543 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1704044
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5833
/proc/meminfo: memFree=26923588/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1704096 CPUtime=1422.06 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393571 0 0 0 141810 396 0 0 20 0 1 0 268131400 1744994304 398354 33554432000 4194304 10169799 140734827503168 140734827497496 7953578 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 426024 398354 746 1459 0 424556 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1704096
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5833
/proc/meminfo: memFree=26923340/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1704096 CPUtime=1482.06 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393617 0 0 0 147809 397 0 0 20 0 1 0 268131400 1744994304 398400 33554432000 4194304 10169799 140734827503168 140734827497496 8010556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 426024 398400 746 1459 0 424556 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1704096
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5837
/proc/meminfo: memFree=26923076/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1704096 CPUtime=1542.05 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393630 0 0 0 153806 399 0 0 20 0 1 0 268131400 1744994304 398413 33554432000 4194304 10169799 140734827503168 140734827497496 8010566 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 426024 398413 746 1459 0 424556 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1704096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5837
/proc/meminfo: memFree=26923092/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1704136 CPUtime=1602.04 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393638 0 0 0 159804 400 0 0 20 0 1 0 268131400 1745035264 398421 33554432000 4194304 10169799 140734827503168 140734827497496 7593020 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 426034 398421 746 1459 0 424566 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1704136
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5837
/proc/meminfo: memFree=26922720/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1704140 CPUtime=1662.03 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393659 0 0 0 165802 401 0 0 20 0 1 0 268131400 1745039360 398442 33554432000 4194304 10169799 140734827503168 140734827497496 8010556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 426035 398442 746 1459 0 424567 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1704140
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5875
/proc/meminfo: memFree=25007772/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1704140 CPUtime=1722.02 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393659 0 0 0 171799 403 0 0 20 0 1 0 268131400 1745039360 398442 33554432000 4194304 10169799 140734827503168 140734827497496 7952964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 426035 398442 746 1459 0 424567 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1704140
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5875
/proc/meminfo: memFree=25136680/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1704140 CPUtime=1782.02 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 393659 0 0 0 177797 405 0 0 20 0 1 0 268131400 1745039360 398442 33554432000 4194304 10169799 140734827503168 140734827497496 7909141 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 426035 398442 746 1459 0 424567 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1704140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5875
/proc/meminfo: memFree=25232384/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1573724 CPUtime=1800.01 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 395168 0 0 0 179594 407 0 0 20 0 1 0 268131400 1611493376 374437 33554432000 4194304 10169799 140734827503168 140734827497256 4530865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 393431 374437 753 1459 0 391963 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1573724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5877
/proc/meminfo: memFree=25234104/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1571856 CPUtime=1800.61 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 395182 0 0 0 179654 407 0 0 20 0 1 0 268131400 1609580544 373984 33554432000 4194304 10169799 140734827503168 140734827501752 5058376 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 392964 373984 767 1459 0 391496 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 1571856
[startup+1801.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5877
/proc/meminfo: memFree=25234104/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1570444 CPUtime=1801.01 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 395183 0 0 0 179694 407 0 0 20 0 1 0 268131400 1608134656 373632 33554432000 4194304 10169799 140734827503168 140734827501752 5281808 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 392611 373632 768 1459 0 391143 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 1570444
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5877
/proc/meminfo: memFree=25234104/32873844 swapFree=7364/7364
[pid=5821] ppid=5819 vsize=1123804 CPUtime=1801.2 cores=1,3,5,7
/proc/5821/stat : 5821 (scip-2.1.1.4sfi) R 5819 5821 4481 0 -1 4202496 395186 0 0 0 179712 408 0 0 20 0 1 0 268131400 1150775296 278602 33554432000 4194304 10169799 140734827503168 140734827501752 8989847 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5821/statm: 280565 278216 771 1459 0 279097 0
Current children cumulated CPU time (s) 1801.2
Current children cumulated vsize (KiB) 1123804
Child status: 0
Real time (s): 1801.55
CPU time (s): 1801.26
CPU user time (s): 1797.16
CPU system time (s): 4.10538
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 1704140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.16
system time used= 4.10538
maximum resident set size= 1593804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395199
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= 13
involuntary context switches= 1854
runsolver used 3.76243 second user time and 10.6524 second system time
The end