0.55/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 16:05:06 CEST 2018
0.67/0.54 c PID: 9922
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
3.84/1.61 c (1,1) Parsing End
3.84/1.62 c (1,1) CSP: 125 int (0 aux), 0 bool (0 aux), 3007 ctr, max domain size 5
3.84/1.62 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.84/1.62 c (1,1) Constraint Name Generate Begin
3.84/1.65 c (1,1) Ctr:HOME/instance-4294388-1532354705.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
3.84/1.65 c (1,1) Constraint Name Generate End
3.84/1.65 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.84/1.65 c (1,1) CSP to CSPinCNF Begin
4.51/1.84 c (1,1) translated 301 (10%) constraints
4.80/1.91 c (1,1) translated 602 (20%) constraints
4.80/1.94 c (1,1) translated 903 (30%) constraints
4.80/1.96 c (1,1) translated 1203 (40%) constraints
4.80/1.99 c (1,1) translated 1504 (50%) constraints
4.80/2.01 c (1,1) translated 1805 (60%) constraints
5.12/2.03 c (1,1) translated 2105 (70%) constraints
5.12/2.04 c (1,1) translated 2406 (80%) constraints
5.12/2.06 c (1,1) translated 2707 (90%) constraints
6.15/2.38 c (1,1) translated 3007 (100%) constraints
7.07/2.69 c (2,2) STATISTICS1:HOME/instance-4294388-1532354705.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,914,4684,16777216,5,4,25,16777216:50;5:5115;1:1297,5:11279;2:2367;1:2820,4:3164;3:653;2:789;1:78,25:50;2:6412;1:3667,
7.07/2.69 c (2,2) ===========================================
7.07/2.69 c (2,2) Order
7.07/2.69 c (2,2) ===========================================
7.38/2.74 c (2,2) translated 469 (10%) constraints
7.38/2.78 c (2,2) translated 937 (20%) constraints
7.70/2.82 c (2,2) translated 1406 (30%) constraints
7.70/2.85 c (2,2) translated 1874 (40%) constraints
7.70/2.89 c (2,2) translated 2342 (50%) constraints
8.00/2.92 c (2,2) translated 2811 (60%) constraints
8.00/2.99 c (2,2) translated 3279 (70%) constraints
8.35/3.05 c (2,2) translated 3748 (80%) constraints
8.35/3.10 c (2,2) translated 4216 (90%) constraints
8.66/3.13 c (2,2) translated 4684 (100%) constraints
8.66/3.14 c (2,2) CSP to CSPinCNF End
8.66/3.15 c (2,2) CSP: 200 int (75 aux), 1414 bool (1414 aux), 6134 ctr, max domain size 6
8.66/3.15 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.66/3.15 c (2,2) CSPinCNF Propagation Begin
8.95/3.26 c (2,2) 345 values, 2218 unsatisfiable literals, and 1843 valid clauses are removed
8.95/3.26 c (2,2) CSPinCNF Propagation End
8.95/3.26 c (2,2) CSP: 470 int (345 aux), 1144 bool (1144 aux), 4291 ctr, max domain size 6
8.95/3.26 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.95/3.26 c (2,2) Simplify CSPinCNF Begin
9.59/3.40 c (2,2) Simplify CSPinCNF End
9.59/3.40 c (2,2) CSP: 470 int (345 aux), 3747 bool (3747 aux), 6894 ctr, max domain size 6
9.59/3.40 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.59/3.40 c (2,2) Calculate Precise Domain Begin
9.59/3.45 c (2,2) 0 values are removed by re-calculation
9.59/3.45 c (2,2) Calculate Precise Domain End
9.59/3.45 c (2,2) CSP: 470 int (345 aux), 3747 bool (3747 aux), 6894 ctr, max domain size 6
9.59/3.45 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
9.59/3.45 c (2,2) CSPinCNF to SatSolver Begin
9.84/3.56 c (3,3) 690 (10 %) CSP clauses are encoded (4447 SAT variables, 3101 SAT clauses)
10.18/3.61 c (3,3) 1379 (20 %) CSP clauses are encoded (4447 SAT variables, 5942 SAT clauses)
10.18/3.63 c (3,3) 2069 (30 %) CSP clauses are encoded (4447 SAT variables, 8632 SAT clauses)
10.18/3.66 c (3,3) 2758 (40 %) CSP clauses are encoded (4447 SAT variables, 11037 SAT clauses)
10.18/3.69 c (3,3) 3447 (50 %) CSP clauses are encoded (4447 SAT variables, 13470 SAT clauses)
10.48/3.70 c (3,3) 4137 (60 %) CSP clauses are encoded (4447 SAT variables, 14276 SAT clauses)
10.79/3.81 c (3,3) 4826 (70 %) CSP clauses are encoded (4447 SAT variables, 22820 SAT clauses)
11.09/3.98 c (3,3) 5516 (80 %) CSP clauses are encoded (4447 SAT variables, 39220 SAT clauses)
11.42/4.07 c (3,3) 6205 (90 %) CSP clauses are encoded (4447 SAT variables, 47764 SAT clauses)
11.42/4.09 c (3,3) 6894 (100 %) CSP clauses are encoded (4447 SAT variables, 49539 SAT clauses)
11.42/4.09 c (3,3) CSPinCNF to SatSolver End
11.42/4.09 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.74/4.14 c (3,3) STATISTICS2:HOME/instance-4294388-1532354705.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,4217,6894,512,6,4,10,512:40;256:80;36:40;5:2715;1:59,6:240;5:7089;2:14274;1:59,4:1936;3:331;2:4444;1:183,10:40;9:80;3:40;2:2774;1:14874,
11.74/4.14 c (3,3) SatSolver.solve Begin
11.74/4.14 c (3,3) 4447 bool, 49543 clause
11.74/4.14 c (3,3) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294388-1532354705.xml-scop-9922.cnf HOME/instance-4294388-1532354705.xml-scop-9922.cnf.out
12.04/4.39 c (3,0) c This is COMiniSatPS.
12.04/4.39 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
12.04/4.39 c (3,0) c ============================[ Problem Statistics ]=============================
12.04/4.39 c (3,0) c | |
12.04/4.39 c (3,0) c | Number of variables: 4447 |
12.04/4.39 c (3,0) c | Number of clauses: 49543 |
12.04/4.39 c (3,0) c | Parse time: 0.02 s |
12.04/4.39 c (3,0) c | Eliminated clauses: 0.02 Mb |
12.04/4.39 c (3,0) c Reduced to 3545 vars, 48041 cls (grow=0)
12.04/4.39 c (3,0) c No iterative elimination performed. (vars=3545, c/v ratio=13.6)
12.04/4.39 c (3,0) c | Simplification time: 0.09 s |
12.04/4.39 c (3,0) c | |
12.04/4.39 c (3,0) c ============================[ Search Statistics ]==============================
12.04/4.39 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
12.04/4.39 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
12.04/4.39 c (3,0) c ===============================================================================
12.04/4.39 c (3,0) c ===============================================================================
12.04/4.39 c (3,0) c restarts : 11
12.04/4.39 c (3,0) c conflicts : 3182 (14211 /sec)
12.04/4.39 c (3,0) c decisions : 7978 (0.00 % random) (35629 /sec)
12.04/4.39 c (3,0) c propagations : 415235 (1854407 /sec)
12.04/4.39 c (3,0) c conflict literals : 88784 (5.24 % deleted)
12.04/4.39 c (3,0) c CPU time : 0.223918 s
12.04/4.39 c (3,0)
12.04/4.39 c (3,0) s SATISFIABLE
12.28/4.40 c (3,3) SatSolver.solve End
12.28/4.40 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
12.28/4.40 c (3,3) Show results Begin
12.28/4.41 c (3,3) x[0][0] = 0
12.28/4.41 c (3,3) x[0][1] = 0
12.28/4.41 c (3,3) x[0][2] = 0
12.28/4.41 c (3,3) x[0][3] = 0
12.28/4.41 c (3,3) x[0][4] = 0
12.28/4.41 c (3,3) x[0][5] = 1
12.28/4.41 c (3,3) x[0][6] = 1
12.28/4.41 c (3,3) x[0][7] = 1
12.28/4.41 c (3,3) x[0][8] = 1
12.28/4.41 c (3,3) x[0][9] = 1
12.28/4.41 c (3,3) x[0][10] = 2
12.28/4.41 c (3,3) x[0][11] = 2
12.28/4.41 c (3,3) x[0][12] = 2
12.28/4.41 c (3,3) x[0][13] = 2
12.28/4.41 c (3,3) x[0][14] = 2
12.28/4.41 c (3,3) x[0][15] = 3
12.28/4.41 c (3,3) x[0][16] = 3
12.28/4.41 c (3,3) x[0][17] = 3
12.28/4.41 c (3,3) x[0][18] = 3
12.28/4.41 c (3,3) x[0][19] = 3
12.28/4.41 c (3,3) x[0][20] = 4
12.28/4.41 c (3,3) x[0][21] = 4
12.28/4.41 c (3,3) x[0][22] = 4
12.28/4.41 c (3,3) x[0][23] = 4
12.28/4.41 c (3,3) x[0][24] = 4
12.28/4.41 c (3,3) x[1][0] = 0
12.28/4.41 c (3,3) x[1][1] = 1
12.28/4.41 c (3,3) x[1][2] = 2
12.28/4.41 c (3,3) x[1][3] = 3
12.28/4.41 c (3,3) x[1][4] = 4
12.28/4.41 c (3,3) x[1][5] = 0
12.28/4.41 c (3,3) x[1][6] = 1
12.28/4.41 c (3,3) x[1][7] = 2
12.28/4.41 c (3,3) x[1][8] = 3
12.28/4.41 c (3,3) x[1][9] = 4
12.28/4.41 c (3,3) x[1][10] = 0
12.28/4.42 c (3,3) x[1][11] = 1
12.28/4.42 c (3,3) x[1][12] = 2
12.28/4.42 c (3,3) x[1][13] = 3
12.28/4.42 c (3,3) x[1][14] = 4
12.28/4.42 c (3,3) x[1][15] = 0
12.28/4.42 c (3,3) x[1][16] = 1
12.28/4.42 c (3,3) x[1][17] = 2
12.28/4.42 c (3,3) x[1][18] = 3
12.28/4.42 c (3,3) x[1][19] = 4
12.28/4.42 c (3,3) x[1][20] = 0
12.28/4.42 c (3,3) x[1][21] = 1
12.28/4.42 c (3,3) x[1][22] = 2
12.28/4.42 c (3,3) x[1][23] = 3
12.28/4.42 c (3,3) x[1][24] = 4
12.28/4.42 c (3,3) x[2][0] = 0
12.28/4.42 c (3,3) x[2][1] = 1
12.28/4.42 c (3,3) x[2][2] = 2
12.28/4.42 c (3,3) x[2][3] = 3
12.28/4.42 c (3,3) x[2][4] = 4
12.28/4.42 c (3,3) x[2][5] = 4
12.28/4.42 c (3,3) x[2][6] = 0
12.28/4.42 c (3,3) x[2][7] = 1
12.28/4.42 c (3,3) x[2][8] = 2
12.28/4.42 c (3,3) x[2][9] = 3
12.28/4.42 c (3,3) x[2][10] = 3
12.28/4.42 c (3,3) x[2][11] = 4
12.28/4.42 c (3,3) x[2][12] = 0
12.28/4.42 c (3,3) x[2][13] = 1
12.28/4.42 c (3,3) x[2][14] = 2
12.28/4.42 c (3,3) x[2][15] = 2
12.28/4.42 c (3,3) x[2][16] = 3
12.28/4.42 c (3,3) x[2][17] = 4
12.28/4.42 c (3,3) x[2][18] = 0
12.28/4.42 c (3,3) x[2][19] = 1
12.28/4.42 c (3,3) x[2][20] = 1
12.28/4.42 c (3,3) x[2][21] = 2
12.28/4.42 c (3,3) x[2][22] = 3
12.28/4.42 c (3,3) x[2][23] = 4
12.28/4.42 c (3,3) x[2][24] = 0
12.28/4.42 c (3,3) x[3][0] = 0
12.28/4.42 c (3,3) x[3][1] = 1
12.28/4.42 c (3,3) x[3][2] = 2
12.28/4.42 c (3,3) x[3][3] = 4
12.28/4.42 c (3,3) x[3][4] = 3
12.28/4.42 c (3,3) x[3][5] = 2
12.28/4.42 c (3,3) x[3][6] = 4
12.28/4.42 c (3,3) x[3][7] = 3
12.28/4.42 c (3,3) x[3][8] = 0
12.28/4.42 c (3,3) x[3][9] = 1
12.28/4.42 c (3,3) x[3][10] = 3
12.28/4.42 c (3,3) x[3][11] = 0
12.28/4.42 c (3,3) x[3][12] = 1
12.28/4.42 c (3,3) x[3][13] = 2
12.28/4.42 c (3,3) x[3][14] = 4
12.28/4.42 c (3,3) x[3][15] = 1
12.28/4.42 c (3,3) x[3][16] = 2
12.28/4.42 c (3,3) x[3][17] = 4
12.28/4.42 c (3,3) x[3][18] = 3
12.28/4.42 c (3,3) x[3][19] = 0
12.28/4.42 c (3,3) x[3][20] = 4
12.28/4.42 c (3,3) x[3][21] = 3
12.28/4.42 c (3,3) x[3][22] = 0
12.28/4.42 c (3,3) x[3][23] = 1
12.28/4.42 c (3,3) x[3][24] = 2
12.28/4.42 c (3,3) x[4][0] = 0
12.28/4.42 c (3,3) x[4][1] = 1
12.28/4.42 c (3,3) x[4][2] = 3
12.28/4.42 c (3,3) x[4][3] = 2
12.28/4.42 c (3,3) x[4][4] = 4
12.28/4.42 c (3,3) x[4][5] = 1
12.28/4.42 c (3,3) x[4][6] = 3
12.28/4.42 c (3,3) x[4][7] = 2
12.28/4.42 c (3,3) x[4][8] = 4
12.28/4.42 c (3,3) x[4][9] = 0
12.28/4.42 c (3,3) x[4][10] = 3
12.28/4.42 c (3,3) x[4][11] = 2
12.28/4.42 c (3,3) x[4][12] = 4
12.28/4.42 c (3,3) x[4][13] = 0
12.28/4.42 c (3,3) x[4][14] = 1
12.28/4.42 c (3,3) x[4][15] = 2
12.28/4.42 c (3,3) x[4][16] = 4
12.28/4.42 c (3,3) x[4][17] = 0
12.28/4.42 c (3,3) x[4][18] = 1
12.28/4.42 c (3,3) x[4][19] = 3
12.28/4.42 c (3,3) x[4][20] = 4
12.28/4.42 c (3,3) x[4][21] = 0
12.28/4.42 c (3,3) x[4][22] = 1
12.28/4.42 c (3,3) x[4][23] = 3
12.28/4.42 c (3,3) x[4][24] = 2
12.28/4.42 s SATISFIABLE
12.28/4.42 v <instantiation>
12.28/4.42 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24]</list>
12.28/4.42 v <values>0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 4 0 1 2 3 3 4 0 1 2 2 3 4 0 1 1 2 3 4 0 0 1 2 4 3 2 4 3 0 1 3 0 1 2 4 1 2 4 3 0 4 3 0 1 2 0 1 3 2 4 1 3 2 4 0 3 2 4 0 1 2 4 0 1 3 4 0 1 3 2</values>
12.28/4.42 v </instantiation>
12.28/4.42 c (3,3) Show results End
12.28/4.42 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
12.28/4.42 c (3,3) 1,1,2,2,2,2,3,3,3,STOP-AFTER(ALL)
12.28/4.42 c END-Prog: Mon Jul 23 16:05:10 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4065 MiB free)
memory of node 1: 16384 MiB (11578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294388-1532354705/watcher-4294388-1532354705 -o /tmp/evaluation-result-4294388-1532354705/solver-4294388-1532354705 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294388-1532354705.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9922, runsolver pid=9919
Current StackSize limit: 8192 KiB
[startup+0.100146 s]*
/proc/loadavg: 1.92 2.00 2.04 3/220 9937
/proc/meminfo: memFree=15958152/32770624 swapFree=67108860/67108860
[pid=9922] ppid=9919 vsize=15011656 memory=74668 CPUtime=0.11 cores=1,3,5,7
/proc/9922/stat : 9922 (java) S 9919 9922 2271 0 -1 1077944320 7322 0 0 0 9 2 0 0 20 0 15 0 53033684 15371935744 18667 33554432000 4194304 4196468 140731217541472 140731217524016 140311535087351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
/proc/9922/statm: 3752914 18667 2782 1 0 3715374 0
[pid=9922/tid=9924] ppid=9919 vsize=15011656 memory=4138425026537952147 CPUtime=0.09 cores=1,3,5,7
/proc/9922/task/9924/stat : 9924 (java) R 9919 9922 2271 0 -1 4202560 5416 0 0 0 7 2 0 0 20 0 15 0 53033685 15371935744 18667 33554432000 4194304 4196468 140731217541472 140311506910416 140311535109277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9925] ppid=9919 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9925/stat : 9925 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 18667 33554432000 4194304 4196468 140731217541472 140311539329936 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9926] ppid=9919 vsize=15011656 memory=139779993761408 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9926/stat : 9926 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 18667 33554432000 4194304 4196468 140731217541472 140311353486096 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9927] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9927/stat : 9927 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 18667 33554432000 4194304 4196468 140731217541472 140311352433808 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9928] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9928/stat : 9928 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 18667 33554432000 4194304 4196468 140731217541472 140311351381008 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9929] ppid=9919 vsize=15011656 memory=139779993761408 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9929/stat : 9929 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033688 15371935744 18667 33554432000 4194304 4196468 140731217541472 140310304770160 140311535098498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9930] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9930/stat : 9930 (java) S 9919 9922 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53033688 15371935744 18667 33554432000 4194304 4196468 140731217541472 140310206210848 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9931] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9931/stat : 9931 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033689 15371935744 18667 33554432000 4194304 4196468 140731217541472 140309937775728 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9932] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9932/stat : 9932 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 18667 33554432000 4194304 4196468 140731217541472 140309563267152 140311535105947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9933] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9933/stat : 9933 (java) R 9919 9922 2271 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 18667 33554432000 4194304 4196468 140731217541472 140310303718000 140311535098498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9934] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9934/stat : 9934 (java) R 9919 9922 2271 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 18667 33554432000 4194304 4196468 140731217541472 140310302665200 140311519840752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9935] ppid=9919 vsize=15011656 memory=139779993761408 CPUtime=0.01 cores=1,3,5,7
/proc/9922/task/9935/stat : 9935 (java) R 9919 9922 2271 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 53033691 15371935744 18667 33554432000 4194304 4196468 140731217541472 140310301612912 140311519279293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9936] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9936/stat : 9936 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 18667 33554432000 4194304 4196468 140731217541472 140309065362400 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9937] ppid=9919 vsize=15011656 memory=139779993761408 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9937/stat : 9937 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 18675 33554432000 4194304 4196468 140731217541472 140310300559792 140311535098498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74668 KiB
[startup+0.210478 s]*
/proc/loadavg: 1.92 2.00 2.04 4/220 9937
/proc/meminfo: memFree=15944968/32770624 swapFree=67108860/67108860
[pid=9922] ppid=9919 vsize=15011656 memory=85920 CPUtime=0.27 cores=1,3,5,7
/proc/9922/stat : 9922 (java) S 9919 9922 2271 0 -1 1077944320 10383 0 0 0 23 4 0 0 20 0 15 0 53033684 15371935744 21480 33554432000 4194304 4196468 140731217541472 140731217524016 140311535087351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
/proc/9922/statm: 3752914 21480 2943 1 0 3715374 0
[pid=9922/tid=9924] ppid=9919 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/9922/task/9924/stat : 9924 (java) R 9919 9922 2271 0 -1 4202560 8282 0 0 0 17 3 0 0 20 0 15 0 53033685 15371935744 21480 33554432000 4194304 4196468 140731217541472 140311506912224 140311519167838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9925] ppid=9919 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9925/stat : 9925 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 21480 33554432000 4194304 4196468 140731217541472 140311539329936 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9926] ppid=9919 vsize=15011656 memory=16237975505729176 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9926/stat : 9926 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 21480 33554432000 4194304 4196468 140731217541472 140311353486096 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9927] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9927/stat : 9927 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 21480 33554432000 4194304 4196468 140731217541472 140311352433808 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9928] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9928/stat : 9928 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 21480 33554432000 4194304 4196468 140731217541472 140311351381008 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9929] ppid=9919 vsize=15011656 memory=139779993761408 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9929/stat : 9929 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033688 15371935744 21480 33554432000 4194304 4196468 140731217541472 140310304770160 140311535098498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9930] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9930/stat : 9930 (java) S 9919 9922 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53033688 15371935744 21480 33554432000 4194304 4196468 140731217541472 140310206210848 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9931] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9931/stat : 9931 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033689 15371935744 21480 33554432000 4194304 4196468 140731217541472 140309937775728 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9932] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9932/stat : 9932 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 21480 33554432000 4194304 4196468 140731217541472 140309563267152 140311535105947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9933] ppid=9919 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9922/task/9933/stat : 9933 (java) R 9919 9922 2271 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 15 0 53033691 15371935744 21480 33554432000 4194304 4196468 140731217541472 140310303718000 140311512682240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9934] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9934/stat : 9934 (java) S 9919 9922 2271 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 21480 33554432000 4194304 4196468 140731217541472 140310302665200 140311535098498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9935] ppid=9919 vsize=15011656 memory=139779993761408 CPUtime=0.03 cores=1,3,5,7
/proc/9922/task/9935/stat : 9935 (java) R 9919 9922 2271 0 -1 4202560 287 0 0 0 3 0 0 0 20 0 15 0 53033691 15371935744 21480 33554432000 4194304 4196468 140731217541472 140310301612912 140311535098498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9936] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9936/stat : 9936 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 21480 33554432000 4194304 4196468 140731217541472 140309065362400 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9937] ppid=9919 vsize=15011656 memory=139779993761408 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9937/stat : 9937 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 21480 33554432000 4194304 4196468 140731217541472 140310300559792 140311535098498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85920 KiB
[startup+0.310574 s]*
/proc/loadavg: 1.92 2.00 2.04 3/220 9937
/proc/meminfo: memFree=15940812/32770624 swapFree=67108860/67108860
[pid=9922] ppid=9919 vsize=15011656 memory=89728 CPUtime=0.44 cores=1,3,5,7
/proc/9922/stat : 9922 (java) S 9919 9922 2271 0 -1 1077944320 10972 0 0 0 40 4 0 0 20 0 15 0 53033684 15371935744 22432 33554432000 4194304 4196468 140731217541472 140731217524016 140311535087351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
/proc/9922/statm: 3752914 22432 2990 1 0 3715374 0
[pid=9922/tid=9924] ppid=9919 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/9922/task/9924/stat : 9924 (java) R 9919 9922 2271 0 -1 4202560 8712 0 0 0 27 3 0 0 20 0 15 0 53033685 15371935744 22432 33554432000 4194304 4196468 140731217541472 140311506891504 140311515363232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9925] ppid=9919 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9925/stat : 9925 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 22432 33554432000 4194304 4196468 140731217541472 140311539329936 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9926] ppid=9919 vsize=15011656 memory=16098195512335927 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9926/stat : 9926 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 22432 33554432000 4194304 4196468 140731217541472 140311353486096 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9927] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9927/stat : 9927 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 22432 33554432000 4194304 4196468 140731217541472 140311352433808 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9928] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9928/stat : 9928 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033686 15371935744 22432 33554432000 4194304 4196468 140731217541472 140311351381008 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9929] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9929/stat : 9929 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033688 15371935744 22432 33554432000 4194304 4196468 140731217541472 140310304770160 140311535098498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9930] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9930/stat : 9930 (java) S 9919 9922 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53033688 15371935744 22432 33554432000 4194304 4196468 140731217541472 140310206210848 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9931] ppid=9919 vsize=15011656 memory=139779993761408 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9931/stat : 9931 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033689 15371935744 22432 33554432000 4194304 4196468 140731217541472 140309937775728 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9932] ppid=9919 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9932/stat : 9932 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 22432 33554432000 4194304 4196468 140731217541472 140309563267152 140311535105947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9933] ppid=9919 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9922/task/9933/stat : 9933 (java) S 9919 9922 2271 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 53033691 15371935744 22432 33554432000 4194304 4196468 140731217541472 140310303718000 140311535098498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9934] ppid=9919 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/9922/task/9934/stat : 9934 (java) S 9919 9922 2271 0 -1 1077944384 250 0 0 0 3 0 0 0 20 0 15 0 53033691 15371935744 22432 33554432000 4194304 4196468 140731217541472 140310302665200 140311535098498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9935] ppid=9919 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9922/task/9935/stat : 9935 (java) S 9919 9922 2271 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 15 0 53033691 15371935744 22432 33554432000 4194304 4196468 140731217541472 140310301612912 140311535098498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9936] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9936/stat : 9936 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 22432 33554432000 4194304 4196468 140731217541472 140309065362400 140311535097557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9937] ppid=9919 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9937/stat : 9937 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033691 15371935744 22432 33554432000 4194304 4196468 140731217541472 140310300559792 140311535098498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89728 KiB
[startup+0.702412 s]
/proc/loadavg: 1.92 2.00 2.04 3/220 9937
/proc/meminfo: memFree=15916504/32770624 swapFree=67108860/67108860
[pid=9922] ppid=9919 vsize=15017928 memory=131668 CPUtime=1.07 cores=1,3,5,7
/proc/9922/stat : 9922 (java) S 9919 9922 2271 0 -1 1077944320 18057 0 0 0 101 6 0 0 20 0 15 0 53033684 15378358272 32917 33554432000 4194304 4196468 140731217541472 140731217524016 140311535087351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
/proc/9922/statm: 3754482 32917 3151 1 0 3715886 0
[pid=9922/tid=9924] ppid=9919 vsize=15017928 memory=796 CPUtime=0.68 cores=1,3,5,7
/proc/9922/task/9924/stat : 9924 (java) R 9919 9922 2271 0 -1 4202560 15193 0 0 0 63 5 0 0 20 0 15 0 53033685 15378358272 32917 33554432000 4194304 4196468 140731217541472 140311506924784 140311030886467 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9925] ppid=9919 vsize=15017928 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9925/stat : 9925 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15378358272 32917 33554432000 4194304 4196468 140731217541472 140311539329936 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9926] ppid=9919 vsize=15017928 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9926/stat : 9926 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15378358272 32917 33554432000 4194304 4196468 140731217541472 140311353486096 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9927] ppid=9919 vsize=15017928 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9927/stat : 9927 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15378358272 32917 33554432000 4194304 4196468 140731217541472 140311352433808 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9928] ppid=9919 vsize=15017928 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9928/stat : 9928 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033686 15378358272 32917 33554432000 4194304 4196468 140731217541472 140311351381008 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9929] ppid=9919 vsize=15017928 memory=279559690037024 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9929/stat : 9929 (java) S 9919 9922 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53033688 15378358272 32917 33554432000 4194304 4196468 140731217541472 140310304770160 140311535098498 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9930] ppid=9919 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9930/stat : 9930 (java) S 9919 9922 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53033688 15378358272 32917 33554432000 4194304 4196468 140731217541472 140310206210848 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9931] ppid=9919 vsize=15017928 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9931/stat : 9931 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033689 15378358272 32917 33554432000 4194304 4196468 140731217541472 140309937775728 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9932] ppid=9919 vsize=15017928 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9932/stat : 9932 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15378358272 32917 33554432000 4194304 4196468 140731217541472 140309563267152 140311535105947 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9933] ppid=9919 vsize=15017928 memory=8380 CPUtime=0.07 cores=1,3,5,7
/proc/9922/task/9933/stat : 9933 (java) R 9919 9922 2271 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 15 0 53033691 15378358272 32917 33554432000 4194304 4196468 140731217541472 140310303711024 140311535097557 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9934] ppid=9919 vsize=15017928 memory=7307210974946176466 CPUtime=0.11 cores=1,3,5,7
/proc/9922/task/9934/stat : 9934 (java) R 9919 9922 2271 0 -1 4202560 485 0 0 0 11 0 0 0 20 0 15 0 53033691 15378358272 32917 33554432000 4194304 4196468 140731217541472 140310302655312 140311515723288 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9935] ppid=9919 vsize=15017928 memory=7302135314614015847 CPUtime=0.19 cores=1,3,5,7
/proc/9922/task/9935/stat : 9935 (java) R 9919 9922 2271 0 -1 4202560 542 0 0 0 19 0 0 0 20 0 15 0 53033691 15378358272 32917 33554432000 4194304 4196468 140731217541472 140310301609280 140311535099286 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9936] ppid=9919 vsize=15017928 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9936/stat : 9936 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15378358272 32917 33554432000 4194304 4196468 140731217541472 140309065362400 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9937] ppid=9919 vsize=15017928 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9937/stat : 9937 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033691 15378358272 32917 33554432000 4194304 4196468 140731217541472 140310300559792 140311535098498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131668 KiB
[startup+1.50107 s]
/proc/loadavg: 1.92 2.00 2.04 6/220 9937
/proc/meminfo: memFree=15854140/32770624 swapFree=67108860/67108860
[pid=9922] ppid=9919 vsize=15022100 memory=236592 CPUtime=3.54 cores=1,3,5,7
/proc/9922/stat : 9922 (java) S 9919 9922 2271 0 -1 1077944320 21333 0 0 0 345 9 0 0 20 0 15 0 53033684 15382630400 59148 33554432000 4194304 4196468 140731217541472 140731217524016 140311535087351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
/proc/9922/statm: 3755525 59148 3206 1 0 3716910 0
[pid=9922/tid=9924] ppid=9919 vsize=15022100 memory=288230377108275491 CPUtime=1.47 cores=1,3,5,7
/proc/9922/task/9924/stat : 9924 (java) R 9919 9922 2271 0 -1 4202560 16064 0 0 0 141 6 0 0 20 0 15 0 53033685 15382630400 59148 33554432000 4194304 4196468 140731217541472 140311506922656 140311034578739 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9925] ppid=9919 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9925/stat : 9925 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15382630400 59148 33554432000 4194304 4196468 140731217541472 140311539329936 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9926] ppid=9919 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9926/stat : 9926 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15382630400 59148 33554432000 4194304 4196468 140731217541472 140311353486096 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9927] ppid=9919 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9927/stat : 9927 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15382630400 59148 33554432000 4194304 4196468 140731217541472 140311352433808 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9928] ppid=9919 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9928/stat : 9928 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033686 15382630400 59148 33554432000 4194304 4196468 140731217541472 140311351381008 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9929] ppid=9919 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9929/stat : 9929 (java) S 9919 9922 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53033688 15382630400 59148 33554432000 4194304 4196468 140731217541472 140310304770160 140311535098498 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
################
# More data... #
################
[startup+3.11059 s]
/proc/loadavg: 1.92 2.00 2.04 5/220 9937
/proc/meminfo: memFree=15526904/32770624 swapFree=67108860/67108860
[pid=9922] ppid=9919 vsize=15024148 memory=526676 CPUtime=8.66 cores=1,3,5,7
/proc/9922/stat : 9922 (java) S 9919 9922 2271 0 -1 1077944320 26769 0 0 0 851 15 0 0 20 0 15 0 53033684 15384727552 131669 33554432000 4194304 4196468 140731217541472 140731217524016 140311535087351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
/proc/9922/statm: 3756037 131669 3216 1 0 3717422 0
[pid=9922/tid=9924] ppid=9919 vsize=15024148 memory=4132769004644038186 CPUtime=3.07 cores=1,3,5,7
/proc/9922/task/9924/stat : 9924 (java) R 9919 9922 2271 0 -1 4202560 16862 0 0 0 297 10 0 0 20 0 15 0 53033685 15384727552 131669 33554432000 4194304 4196468 140731217541472 140311506924016 140311036118989 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9925] ppid=9919 vsize=15024148 memory=279559690360960 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9925/stat : 9925 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15384727552 131669 33554432000 4194304 4196468 140731217541472 140311539329936 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9926] ppid=9919 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9926/stat : 9926 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15384727552 131669 33554432000 4194304 4196468 140731217541472 140311353486096 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9927] ppid=9919 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9927/stat : 9927 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15384727552 131669 33554432000 4194304 4196468 140731217541472 140311352433808 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9928] ppid=9919 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9928/stat : 9928 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033686 15384727552 131669 33554432000 4194304 4196468 140731217541472 140311351381008 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9929] ppid=9919 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9929/stat : 9929 (java) S 9919 9922 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53033688 15384727552 131669 33554432000 4194304 4196468 140731217541472 140310304770160 140311535098498 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9930] ppid=9919 vsize=15024148 memory=164 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9930/stat : 9930 (java) S 9919 9922 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53033688 15384727552 131669 33554432000 4194304 4196468 140731217541472 140310206210848 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9931] ppid=9919 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9931/stat : 9931 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033689 15384727552 131669 33554432000 4194304 4196468 140731217541472 140309937775728 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9932] ppid=9919 vsize=15024148 memory=7679927811743456362 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9932/stat : 9932 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15384727552 131669 33554432000 4194304 4196468 140731217541472 140309563267152 140311535105947 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9933] ppid=9919 vsize=15024148 memory=-7740096080597194087 CPUtime=2.15 cores=1,3,5,7
/proc/9922/task/9933/stat : 9933 (java) R 9919 9922 2271 0 -1 4202560 1887 0 0 0 215 0 0 0 20 0 15 0 53033691 15384727552 131669 33554432000 4194304 4196468 140731217541472 140310303701072 140311519982647 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9934] ppid=9919 vsize=15024148 memory=167 CPUtime=2.24 cores=1,3,5,7
/proc/9922/task/9934/stat : 9934 (java) R 9919 9922 2271 0 -1 4202560 3014 0 0 0 223 1 0 0 20 0 15 0 53033691 15384727552 131669 33554432000 4194304 4196468 140731217541472 140310302652432 140311520197359 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9935] ppid=9919 vsize=15024148 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/9922/task/9935/stat : 9935 (java) S 9919 9922 2271 0 -1 1077944384 3665 0 0 0 114 2 0 0 20 0 15 0 53033691 15384727552 131669 33554432000 4194304 4196468 140731217541472 140310301612912 140311535098498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9936] ppid=9919 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9936/stat : 9936 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15384727552 131669 33554432000 4194304 4196468 140731217541472 140309065362400 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9937] ppid=9919 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9937/stat : 9937 (java) R 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15384727552 131669 33554432000 4194304 4196468 140731217541472 140310300559792 140311535098498 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 526676 KiB
[startup+4.43327 s]
# the end of solver process 9922 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.1439 s, system=0.238687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20097 s]
/proc/loadavg: 1.92 2.00 2.04 5/220 9937
/proc/meminfo: memFree=15526904/32770624 swapFree=67108860/67108860
[pid=9922] ppid=9919 vsize=15024148 memory=549840 CPUtime=8.95 cores=1,3,5,7
/proc/9922/stat : 9922 (java) S 9919 9922 2271 0 -1 1077944320 26943 0 0 0 879 16 0 0 20 0 15 0 53033684 15384727552 137460 33554432000 4194304 4196468 140731217541472 140731217524016 140311535087351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
/proc/9922/statm: 3756037 137460 3216 1 0 3717422 0
[pid=9922/tid=9924] ppid=9919 vsize=15024148 memory=8112282956445269571 CPUtime=3.16 cores=1,3,5,7
/proc/9922/task/9924/stat : 9924 (java) R 9919 9922 2271 0 -1 4202560 16924 0 0 0 305 11 0 0 20 0 15 0 53033685 15384727552 137460 33554432000 4194304 4196468 140731217541472 140311506925136 140311037458987 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9925] ppid=9919 vsize=15024148 memory=3 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9925/stat : 9925 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15384727552 137460 33554432000 4194304 4196468 140731217541472 140311539329936 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9926] ppid=9919 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9926/stat : 9926 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15384727552 137460 33554432000 4194304 4196468 140731217541472 140311353486096 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9927] ppid=9919 vsize=15024148 memory=4413 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9927/stat : 9927 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15384727552 137460 33554432000 4194304 4196468 140731217541472 140311352433808 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9928] ppid=9919 vsize=15024148 memory=153 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9928/stat : 9928 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033686 15384727552 137460 33554432000 4194304 4196468 140731217541472 140311351381008 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9929] ppid=9919 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9929/stat : 9929 (java) S 9919 9922 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53033688 15384727552 137460 33554432000 4194304 4196468 140731217541472 140310304770160 140311535098498 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9930] ppid=9919 vsize=15024148 memory=1 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9930/stat : 9930 (java) S 9919 9922 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53033688 15384727552 137460 33554432000 4194304 4196468 140731217541472 140310206210848 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9931] ppid=9919 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9931/stat : 9931 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033689 15384727552 137460 33554432000 4194304 4196468 140731217541472 140309937775728 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9932] ppid=9919 vsize=15024148 memory=1433 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9932/stat : 9932 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15384727552 137460 33554432000 4194304 4196468 140731217541472 140309563267152 140311535105947 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9933] ppid=9919 vsize=15024148 memory=338 CPUtime=2.24 cores=1,3,5,7
/proc/9922/task/9933/stat : 9933 (java) R 9919 9922 2271 0 -1 4202560 1908 0 0 0 224 0 0 0 20 0 15 0 53033691 15384727552 137460 33554432000 4194304 4196468 140731217541472 140310303707792 140311520509567 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9934] ppid=9919 vsize=15024148 memory=0 CPUtime=2.33 cores=1,3,5,7
/proc/9922/task/9934/stat : 9934 (java) R 9919 9922 2271 0 -1 4202560 3083 0 0 0 232 1 0 0 20 0 15 0 53033691 15384727552 137460 33554432000 4194304 4196468 140731217541472 140310302651632 140311518998416 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9935] ppid=9919 vsize=15024148 memory=87 CPUtime=1.18 cores=1,3,5,7
/proc/9922/task/9935/stat : 9935 (java) S 9919 9922 2271 0 -1 1077944384 3687 0 0 0 116 2 0 0 20 0 15 0 53033691 15384727552 137460 33554432000 4194304 4196468 140731217541472 140310301612912 140311535098498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9936] ppid=9919 vsize=15024148 memory=153 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9936/stat : 9936 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15384727552 137460 33554432000 4194304 4196468 140731217541472 140309065362400 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9937] ppid=9919 vsize=15024148 memory=140028 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9937/stat : 9937 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15384727552 137460 33554432000 4194304 4196468 140731217541472 140310300559792 140311535098498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
Current children cumulated CPU time: 8.95 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 549840 KiB
[startup+4.00108 s]*
/proc/loadavg: 1.92 2.00 2.04 5/220 9937
/proc/meminfo: memFree=15257116/32770624 swapFree=67108860/67108860
[pid=9922] ppid=9919 vsize=15026264 memory=774020 CPUtime=11.42 cores=1,3,5,7
/proc/9922/stat : 9922 (java) S 9919 9922 2271 0 -1 1077944320 29013 0 0 0 1122 20 0 0 20 0 15 0 53033684 15386894336 193505 33554432000 4194304 4196468 140731217541472 140731217524016 140311535087351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
/proc/9922/statm: 3756566 193505 3231 1 0 3717422 0
[pid=9922/tid=9924] ppid=9919 vsize=15026264 memory=-8969871340685653184 CPUtime=3.97 cores=1,3,5,7
/proc/9922/task/9924/stat : 9924 (java) R 9919 9922 2271 0 -1 4202560 17424 0 0 0 383 14 0 0 20 0 15 0 53033685 15386894336 193505 33554432000 4194304 4196468 140731217541472 140311506920144 140311044533834 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9925] ppid=9919 vsize=15026264 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9925/stat : 9925 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15386894336 194017 33554432000 4194304 4196468 140731217541472 140311539329936 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9926] ppid=9919 vsize=15026264 memory=139779993761408 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9926/stat : 9926 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15386894336 194017 33554432000 4194304 4196468 140731217541472 140311353486096 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9927] ppid=9919 vsize=15026264 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9927/stat : 9927 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033686 15386894336 194017 33554432000 4194304 4196468 140731217541472 140311352433808 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9928] ppid=9919 vsize=15026264 memory=139779845125791 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9928/stat : 9928 (java) S 9919 9922 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53033686 15386894336 194017 33554432000 4194304 4196468 140731217541472 140311351381008 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9929] ppid=9919 vsize=15026264 memory=139779993761408 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9929/stat : 9929 (java) S 9919 9922 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53033688 15386894336 194017 33554432000 4194304 4196468 140731217541472 140310304770160 140311535098498 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9930] ppid=9919 vsize=15026264 memory=139779844866167 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9930/stat : 9930 (java) S 9919 9922 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53033688 15386894336 194017 33554432000 4194304 4196468 140731217541472 140310206210848 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9931] ppid=9919 vsize=15026264 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9931/stat : 9931 (java) S 9919 9922 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53033689 15386894336 194017 33554432000 4194304 4196468 140731217541472 140309937775728 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9932] ppid=9919 vsize=15026264 memory=279559690168832 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9932/stat : 9932 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15386894336 194017 33554432000 4194304 4196468 140731217541472 140309563267152 140311535105947 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9933] ppid=9919 vsize=15026264 memory=0 CPUtime=2.99 cores=1,3,5,7
/proc/9922/task/9933/stat : 9933 (java) R 9919 9922 2271 0 -1 4202560 2051 0 0 0 298 1 0 0 20 0 15 0 53033691 15386894336 194017 33554432000 4194304 4196468 140731217541472 140310303697600 140311518584135 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9934] ppid=9919 vsize=15026264 memory=139779844866167 CPUtime=3.09 cores=1,3,5,7
/proc/9922/task/9934/stat : 9934 (java) R 9919 9922 2271 0 -1 4202560 4281 0 0 0 308 1 0 0 20 0 15 0 53033691 15386894336 194017 33554432000 4194304 4196468 140731217541472 140310302651408 140311518573301 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9935] ppid=9919 vsize=15026264 memory=139779993761409 CPUtime=1.33 cores=1,3,5,7
/proc/9922/task/9935/stat : 9935 (java) S 9919 9922 2271 0 -1 1077944384 3916 0 0 0 131 2 0 0 20 0 15 0 53033691 15386894336 194017 33554432000 4194304 4196468 140731217541472 140310301612912 140311535098498 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9936] ppid=9919 vsize=15026264 memory=3 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9936/stat : 9936 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15386894336 194017 33554432000 4194304 4196468 140731217541472 140309065362400 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9937] ppid=9919 vsize=15026264 memory=279559838627576 CPUtime=0 cores=1,3,5,7
/proc/9922/task/9937/stat : 9937 (java) S 9919 9922 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53033691 15386894336 194017 33554432000 4194304 4196468 140731217541472 140310300559792 140311535098498 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
Current children cumulated CPU time: 11.42 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 774020 KiB
[startup+4.40071 s]
/proc/loadavg: 1.92 2.00 2.04 5/220 9937
/proc/meminfo: memFree=15257116/32770624 swapFree=67108860/67108860
[pid=9922] ppid=9919 vsize=15683912 memory=848748 CPUtime=12.28 cores=1,3,5,7
/proc/9922/stat : 9922 (java) S 9919 9922 2271 0 -1 1077944320 29955 2701 0 0 1184 22 22 0 20 0 18 0 53033684 16060325888 212187 33554432000 4194304 4196468 140731217541472 140731217524016 140311535087351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
/proc/9922/statm: 3920978 212187 3236 1 0 3881834 0
[pid=9922/tid=9924] ppid=9919 vsize=15683912 memory=8112282956445269571 CPUtime=4.38 cores=1,3,5,7
/proc/9922/task/9924/stat : 9924 (java) S 9919 9922 2271 0 -1 1077944384 17833 2701 0 0 401 15 22 0 20 0 18 0 53033685 16060325888 212187 33554432000 4194304 4196468 140731217541472 140311506926592 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9925] ppid=9919 vsize=15683912 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9922/task/9925/stat : 9925 (java) S 9919 9922 2271 0 -1 1077944384 1 2701 0 0 0 0 22 0 20 0 18 0 53033686 16060325888 212187 33554432000 4194304 4196468 140731217541472 140311539329936 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9926] ppid=9919 vsize=15683912 memory=6944656592455359580 CPUtime=0.22 cores=1,3,5,7
/proc/9922/task/9926/stat : 9926 (java) S 9919 9922 2271 0 -1 1077944384 1 2701 0 0 0 0 22 0 20 0 18 0 53033686 16060325888 212187 33554432000 4194304 4196468 140731217541472 140311353486096 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9927] ppid=9919 vsize=15683912 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9922/task/9927/stat : 9927 (java) S 9919 9922 2271 0 -1 1077944384 1 2701 0 0 0 0 22 0 20 0 18 0 53033686 16060325888 212187 33554432000 4194304 4196468 140731217541472 140311352433808 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9928] ppid=9919 vsize=15683912 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9922/task/9928/stat : 9928 (java) S 9919 9922 2271 0 -1 1077944384 2 2701 0 0 0 0 22 0 20 0 18 0 53033686 16060325888 212187 33554432000 4194304 4196468 140731217541472 140311351381008 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9929] ppid=9919 vsize=15683912 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9922/task/9929/stat : 9929 (java) S 9919 9922 2271 0 -1 1077944384 6 2701 0 0 0 0 22 0 20 0 18 0 53033688 16060325888 212187 33554432000 4194304 4196468 140731217541472 140310304770160 140311535098498 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9930] ppid=9919 vsize=15683912 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9922/task/9930/stat : 9930 (java) S 9919 9922 2271 0 -1 1077944384 13 2701 0 0 0 0 22 0 20 0 18 0 53033688 16060325888 212187 33554432000 4194304 4196468 140731217541472 140310206210848 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9931] ppid=9919 vsize=15683912 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9922/task/9931/stat : 9931 (java) S 9919 9922 2271 0 -1 1077944384 1 2701 0 0 0 0 22 0 20 0 18 0 53033689 16060325888 212187 33554432000 4194304 4196468 140731217541472 140309937775728 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9932] ppid=9919 vsize=15683912 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9922/task/9932/stat : 9932 (java) S 9919 9922 2271 0 -1 1077944384 3 2701 0 0 0 0 22 0 20 0 18 0 53033691 16060325888 212187 33554432000 4194304 4196468 140731217541472 140309563267152 140311535105947 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9933] ppid=9919 vsize=15683912 memory=0 CPUtime=3.41 cores=1,3,5,7
/proc/9922/task/9933/stat : 9933 (java) R 9919 9922 2271 0 -1 4202560 2451 2701 0 0 318 1 22 0 20 0 18 0 53033691 16060325888 212187 33554432000 4194304 4196468 140731217541472 140310303704464 140311514325818 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9934] ppid=9919 vsize=15683912 memory=0 CPUtime=3.49 cores=1,3,5,7
/proc/9922/task/9934/stat : 9934 (java) S 9919 9922 2271 0 -1 1077944384 4306 2701 0 0 326 1 22 0 20 0 18 0 53033691 16060325888 212187 33554432000 4194304 4196468 140731217541472 140310302665200 140311535098498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9935] ppid=9919 vsize=15683912 memory=0 CPUtime=1.6 cores=1,3,5,7
/proc/9922/task/9935/stat : 9935 (java) R 9919 9922 2271 0 -1 4202560 3949 2701 0 0 136 2 22 0 20 0 18 0 53033691 16060325888 212187 33554432000 4194304 4196468 140731217541472 140310301612480 140311513078675 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9936] ppid=9919 vsize=15683912 memory=7018111704192078695 CPUtime=0.22 cores=1,3,5,7
/proc/9922/task/9936/stat : 9936 (java) S 9919 9922 2271 0 -1 1077944384 3 2701 0 0 0 0 22 0 20 0 18 0 53033691 16060325888 212187 33554432000 4194304 4196468 140731217541472 140309065362400 140311535097557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
[pid=9922/tid=9937] ppid=9919 vsize=15683912 memory=279559690124200 CPUtime=0.22 cores=1,3,5,7
/proc/9922/task/9937/stat : 9937 (java) S 9919 9922 2271 0 -1 1077944384 3 2701 0 0 0 0 22 0 20 0 18 0 53033691 16060325888 212187 33554432000 4194304 4196468 140731217541472 140310300559792 140311535098498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18739200 140731217544179 140731217544457 140731217544457 140731217547215 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 848748 KiB
Child status: 0
Real time (s): 4.43332
CPU time (s): 12.3826
CPU user time (s): 12.1439
CPU system time (s): 0.238687
CPU usage (%): 279.308
Max. virtual memory (cumulated for all children) (KiB): 15683912
Max. memory (cumulated for all children) (KiB): 848748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1439
system time used= 0.238687
maximum resident set size= 849552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4305
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 9922
# total CPU time (s): 12.3826
# total CPU user time (s): 12.1439
# total CPU system time (s): 0.238687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053658 second user time and 0.088379 second system time
The end