0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 08:52:34 CEST 2018
0.66/0.55 c PID: 7140
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.72/1.02 c (0,0) Parsing End
1.72/1.04 c (0,0) CSP: 153 int (0 aux), 0 bool (0 aux), 146 ctr, max domain size 81
1.72/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.72/1.04 c (0,0) Constraint Name Generate Begin
1.72/1.04 c (0,0) Ctr:HOME/instance-4295841-1532587954.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
1.72/1.04 c (0,0) Constraint Name Generate End
1.72/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.72/1.05 c (0,0) CSP to CSPinCNF Begin
3.05/1.50 c (0,0) translated 15 (10%) constraints
3.05/1.58 c (1,1) translated 30 (20%) constraints
3.35/1.65 c (1,1) translated 44 (30%) constraints
3.62/1.72 c (1,1) translated 59 (40%) constraints
3.62/1.77 c (1,1) translated 73 (50%) constraints
3.62/1.79 c (1,1) translated 88 (60%) constraints
3.62/1.80 c (1,1) translated 103 (70%) constraints
3.62/1.80 c (1,1) translated 117 (80%) constraints
3.62/1.80 c (1,1) translated 132 (90%) constraints
3.62/1.80 c (1,1) translated 146 (100%) constraints
4.28/1.90 c (1,1) STATISTICS1:HOME/instance-4295841-1532587954.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,153,6597,81,81,9,3,81:144;9:504;1:144,81:5904;9:6768;1:837,9:36;3:5832;2:648;1:81,3:144;2:648;1:17838,
4.28/1.90 c (1,1) ===========================================
4.28/1.90 c (1,1) Order
4.28/1.90 c (1,1) ===========================================
4.28/1.97 c (1,1) translated 660 (10%) constraints
4.67/2.09 c (1,1) translated 1320 (20%) constraints
4.99/2.17 c (1,1) translated 1980 (30%) constraints
5.33/2.24 c (1,1) translated 2639 (40%) constraints
5.65/2.30 c (1,1) translated 3299 (50%) constraints
5.65/2.35 c (1,1) translated 3959 (60%) constraints
5.94/2.41 c (1,1) translated 4618 (70%) constraints
5.94/2.45 c (1,1) translated 5278 (80%) constraints
6.25/2.50 c (1,1) translated 5938 (90%) constraints
6.25/2.54 c (2,1) translated 6597 (100%) constraints
6.25/2.55 c (2,2) CSP to CSPinCNF End
6.25/2.55 c (2,2) CSP: 153 int (0 aux), 729 bool (729 aux), 18342 ctr, max domain size 81
6.25/2.55 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.25/2.55 c (2,2) CSPinCNF Propagation Begin
6.89/2.80 c (2,2) 288 values, 2508 unsatisfiable literals, and 3600 valid clauses are removed
6.89/2.80 c (2,2) CSPinCNF Propagation End
6.89/2.80 c (2,2) CSP: 261 int (108 aux), 621 bool (621 aux), 14742 ctr, max domain size 79
6.89/2.80 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.89/2.80 c (2,2) Simplify CSPinCNF Begin
7.21/2.88 c (2,2) Simplify CSPinCNF End
7.21/2.88 c (2,2) CSP: 261 int (108 aux), 1845 bool (1845 aux), 15966 ctr, max domain size 79
7.21/2.88 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.21/2.88 c (2,2) Calculate Precise Domain Begin
7.21/2.88 c (2,2) 0 values are removed by re-calculation
7.21/2.88 c (2,2) Calculate Precise Domain End
7.21/2.88 c (2,2) CSP: 261 int (108 aux), 1845 bool (1845 aux), 15966 ctr, max domain size 79
7.21/2.88 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.21/2.88 c (2,2) CSPinCNF to SatSolver Begin
7.92/3.06 c (2,2) 1597 (10 %) CSP clauses are encoded (7627 SAT variables, 13452 SAT clauses)
7.92/3.09 c (2,2) 3194 (20 %) CSP clauses are encoded (7627 SAT variables, 16111 SAT clauses)
7.92/3.10 c (2,2) 4790 (30 %) CSP clauses are encoded (7627 SAT variables, 17707 SAT clauses)
8.25/3.12 c (2,2) 6387 (40 %) CSP clauses are encoded (7627 SAT variables, 19304 SAT clauses)
8.25/3.14 c (2,2) 7983 (50 %) CSP clauses are encoded (7627 SAT variables, 20900 SAT clauses)
8.25/3.15 c (2,2) 9580 (60 %) CSP clauses are encoded (7627 SAT variables, 22497 SAT clauses)
8.25/3.17 c (2,2) 11177 (70 %) CSP clauses are encoded (7627 SAT variables, 24094 SAT clauses)
8.25/3.18 c (2,2) 12773 (80 %) CSP clauses are encoded (7627 SAT variables, 25690 SAT clauses)
8.52/3.20 c (2,2) 14370 (90 %) CSP clauses are encoded (7627 SAT variables, 27287 SAT clauses)
8.52/3.24 c (2,2) 15966 (100 %) CSP clauses are encoded (7627 SAT variables, 38841 SAT clauses)
8.52/3.24 c (2,2) CSPinCNF to SatSolver End
8.52/3.24 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.84/3.32 c (2,2) STATISTICS2:HOME/instance-4295841-1532587954.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,2106,15966,81,79,7,3,81:84;64:48;49:12;9:420;8:428;7:160;1:216,79:4740;78:1872;69:3036;68:272;59:708;9:7056;8:3552;7:776;2:15866;1:216,7:32;3:4634;2:11156;1:144,3:144;2:1224;1:35214,
8.84/3.32 c (2,2) SatSolver.solve Begin
8.84/3.32 c (2,2) 7627 bool, 38888 clause
8.84/3.33 c (2,2) 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-4295841-1532587954.xml-scop-7140.cnf HOME/instance-4295841-1532587954.xml-scop-7140.cnf.out
9.15/3.49 c (2,0) c This is COMiniSatPS.
9.15/3.49 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
9.15/3.49 c (2,0) c ============================[ Problem Statistics ]=============================
9.15/3.49 c (2,0) c | |
9.15/3.49 c (2,0) c | Number of variables: 7627 |
9.15/3.49 c (2,0) c | Number of clauses: 38888 |
9.15/3.49 c (2,0) c | Parse time: 0.01 s |
9.15/3.49 c (2,0) c | Eliminated clauses: 0.13 Mb |
9.15/3.49 c (2,0) c Reduced to 4267 vars, 29263 cls (grow=0)
9.15/3.49 c (2,0) c No iterative elimination performed. (vars=4267, c/v ratio=6.9)
9.15/3.49 c (2,0) c | Simplification time: 0.04 s |
9.15/3.49 c (2,0) c | |
9.15/3.49 c (2,0) c ============================[ Search Statistics ]==============================
9.15/3.49 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
9.15/3.49 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.15/3.49 c (2,0) c ===============================================================================
9.15/3.49 c (2,0) c ===============================================================================
9.15/3.49 c (2,0) c restarts : 5
9.15/3.49 c (2,0) c conflicts : 879 (6049 /sec)
9.15/3.49 c (2,0) c decisions : 1601 (0.00 % random) (11017 /sec)
9.15/3.49 c (2,0) c propagations : 533617 (3672039 /sec)
9.15/3.49 c (2,0) c conflict literals : 25715 (19.88 % deleted)
9.15/3.49 c (2,0) c CPU time : 0.145319 s
9.15/3.49 c (2,0)
9.15/3.50 c (2,0) s SATISFIABLE
9.17/3.51 c (2,2) SatSolver.solve End
9.17/3.51 c (2,2) Heap : 901 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
9.17/3.51 c (2,2) Show results Begin
9.17/3.53 c (2,2) x[0][0] = 0
9.17/3.53 c (2,2) x[0][1] = 2
9.17/3.53 c (2,2) x[0][2] = 6
9.17/3.53 c (2,2) x[0][3] = 1
9.17/3.53 c (2,2) x[0][4] = 5
9.17/3.53 c (2,2) x[0][5] = 8
9.17/3.53 c (2,2) x[0][6] = 7
9.17/3.53 c (2,2) x[0][7] = 4
9.17/3.53 c (2,2) x[0][8] = 3
9.17/3.53 c (2,2) x[1][0] = 7
9.17/3.53 c (2,2) x[1][1] = 1
9.17/3.53 c (2,2) x[1][2] = 5
9.17/3.53 c (2,2) x[1][3] = 2
9.17/3.53 c (2,2) x[1][4] = 6
9.17/3.53 c (2,2) x[1][5] = 4
9.17/3.53 c (2,2) x[1][6] = 3
9.17/3.53 c (2,2) x[1][7] = 8
9.17/3.53 c (2,2) x[1][8] = 0
9.17/3.53 c (2,2) x[2][0] = 4
9.17/3.53 c (2,2) x[2][1] = 6
9.17/3.53 c (2,2) x[2][2] = 2
9.17/3.53 c (3,2) x[2][3] = 0
9.17/3.53 c (3,2) x[2][4] = 3
9.17/3.53 c (3,2) x[2][5] = 7
9.17/3.53 c (3,2) x[2][6] = 8
9.17/3.53 c (3,2) x[2][7] = 1
9.17/3.53 c (3,2) x[2][8] = 5
9.17/3.53 c (3,2) x[3][0] = 6
9.17/3.53 c (3,2) x[3][1] = 4
9.17/3.53 c (3,2) x[3][2] = 8
9.17/3.53 c (3,2) x[3][3] = 3
9.17/3.53 c (3,2) x[3][4] = 7
9.17/3.53 c (3,2) x[3][5] = 0
9.17/3.53 c (3,2) x[3][6] = 5
9.17/3.53 c (3,2) x[3][7] = 2
9.17/3.53 c (3,2) x[3][8] = 1
9.17/3.53 c (3,2) x[4][0] = 3
9.17/3.53 c (3,2) x[4][1] = 8
9.17/3.53 c (3,2) x[4][2] = 1
9.17/3.53 c (3,2) x[4][3] = 6
9.17/3.53 c (3,2) x[4][4] = 4
9.17/3.53 c (3,2) x[4][5] = 2
9.17/3.53 c (3,2) x[4][6] = 0
9.17/3.53 c (3,2) x[4][7] = 5
9.17/3.53 c (3,2) x[4][8] = 7
9.17/3.53 c (3,2) x[5][0] = 1
9.17/3.53 c (3,2) x[5][1] = 7
9.17/3.53 c (3,2) x[5][2] = 3
9.17/3.53 c (3,2) x[5][3] = 4
9.17/3.53 c (3,2) x[5][4] = 8
9.17/3.53 c (3,2) x[5][5] = 5
9.17/3.53 c (3,2) x[5][6] = 2
9.17/3.53 c (3,2) x[5][7] = 0
9.17/3.53 c (3,2) x[5][8] = 6
9.17/3.53 c (3,2) x[6][0] = 5
9.17/3.53 c (3,2) x[6][1] = 0
9.17/3.53 c (3,2) x[6][2] = 7
9.17/3.53 c (3,2) x[6][3] = 8
9.17/3.53 c (3,2) x[6][4] = 2
9.17/3.53 c (3,2) x[6][5] = 1
9.17/3.53 c (3,2) x[6][6] = 6
9.17/3.53 c (3,2) x[6][7] = 3
9.17/3.53 c (3,2) x[6][8] = 4
9.17/3.53 c (3,2) x[7][0] = 8
9.17/3.53 c (3,2) x[7][1] = 3
9.17/3.53 c (3,2) x[7][2] = 0
9.17/3.53 c (3,2) x[7][3] = 5
9.17/3.53 c (3,2) x[7][4] = 1
9.17/3.53 c (3,2) x[7][5] = 6
9.17/3.53 c (3,2) x[7][6] = 4
9.17/3.53 c (3,2) x[7][7] = 7
9.17/3.53 c (3,2) x[7][8] = 2
9.17/3.53 c (3,2) x[8][0] = 2
9.17/3.53 c (3,2) x[8][1] = 5
9.17/3.53 c (3,2) x[8][2] = 4
9.17/3.53 c (3,2) x[8][3] = 7
9.17/3.53 c (3,2) x[8][4] = 0
9.17/3.53 c (3,2) x[8][5] = 3
9.17/3.53 c (3,2) x[8][6] = 1
9.17/3.53 c (3,2) x[8][7] = 6
9.17/3.53 c (3,2) x[8][8] = 8
9.17/3.53 c (3,2) y[0][1] = 65
9.17/3.53 c (3,2) y[0][2] = 42
9.17/3.53 c (3,2) y[0][3] = 55
9.17/3.53 c (3,2) y[0][4] = 32
9.17/3.53 c (3,2) y[0][5] = 17
9.17/3.53 c (3,2) y[0][6] = 52
9.17/3.53 c (3,2) y[0][7] = 76
9.17/3.53 c (3,2) y[0][8] = 21
9.17/3.53 c (3,2) y[1][0] = 25
9.17/3.53 c (3,2) y[1][2] = 59
9.17/3.53 c (3,2) y[1][3] = 38
9.17/3.53 c (3,2) y[1][4] = 78
9.17/3.53 c (3,2) y[1][5] = 67
9.17/3.53 c (3,2) y[1][6] = 3
9.17/3.53 c (3,2) y[1][7] = 35
9.17/3.53 c (3,2) y[1][8] = 45
9.17/3.53 c (3,2) y[2][0] = 58
9.17/3.53 c (3,2) y[2][1] = 51
9.17/3.53 c (3,2) y[2][3] = 72
9.17/3.53 c (3,2) y[2][4] = 12
9.17/3.53 c (3,2) y[2][5] = 34
9.17/3.53 c (3,2) y[2][6] = 71
9.17/3.53 c (3,2) y[2][7] = 1
9.17/3.53 c (3,2) y[2][8] = 41
9.17/3.53 c (3,2) y[3][0] = 15
9.17/3.53 c (3,2) y[3][1] = 22
9.17/3.53 c (3,2) y[3][2] = 8
9.17/3.53 c (3,2) y[3][4] = 61
9.17/3.53 c (3,2) y[3][5] = 36
9.17/3.53 c (3,2) y[3][6] = 77
9.17/3.53 c (3,2) y[3][7] = 47
9.17/3.53 c (3,2) y[3][8] = 64
9.17/3.53 c (3,2) y[4][0] = 48
9.17/3.53 c (3,2) y[4][1] = 62
9.17/3.53 c (3,2) y[4][2] = 28
9.17/3.53 c (3,2) y[4][3] = 69
9.17/3.53 c (3,2) y[4][5] = 74
9.17/3.53 c (3,2) y[4][6] = 18
9.17/3.53 c (3,2) y[4][7] = 14
9.17/3.53 c (3,2) y[4][8] = 7
9.17/3.53 c (3,2) y[5][0] = 73
9.17/3.53 c (3,2) y[5][1] = 43
9.17/3.53 c (3,2) y[5][2] = 66
9.17/3.53 c (3,2) y[5][3] = 4
9.17/3.53 c (3,2) y[5][4] = 26
9.17/3.53 c (3,2) y[5][6] = 11
9.17/3.53 c (3,2) y[5][7] = 54
9.17/3.53 c (3,2) y[5][8] = 33
9.17/3.53 c (3,2) y[6][0] = 68
9.17/3.53 c (3,2) y[6][1] = 27
9.17/3.53 c (3,2) y[6][2] = 79
9.17/3.53 c (3,2) y[6][3] = 53
9.17/3.53 c (3,2) y[6][4] = 2
9.17/3.53 c (3,2) y[6][5] = 19
9.17/3.53 c (3,2) y[6][7] = 39
9.17/3.53 c (3,2) y[6][8] = 13
9.17/3.53 c (3,2) y[7][0] = 44
9.17/3.53 c (3,2) y[7][1] = 75
9.17/3.53 c (3,2) y[7][2] = 9
9.17/3.53 c (3,2) y[7][3] = 23
9.17/3.53 c (3,2) y[7][4] = 46
9.17/3.53 c (3,2) y[7][5] = 6
9.17/3.53 c (3,2) y[7][6] = 31
9.17/3.53 c (3,2) y[7][8] = 56
9.17/3.53 c (3,2) y[8][0] = 29
9.17/3.53 c (3,2) y[8][1] = 5
9.17/3.53 c (3,2) y[8][2] = 49
9.17/3.53 c (3,2) y[8][3] = 16
9.17/3.53 c (3,2) y[8][4] = 63
9.17/3.53 c (3,2) y[8][5] = 57
9.17/3.53 c (3,2) y[8][6] = 37
9.17/3.53 c (3,2) y[8][7] = 24
9.17/3.53 s SATISFIABLE
9.17/3.53 v <instantiation>
9.17/3.53 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[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[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[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[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[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][0] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][0] y[2][1] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][0] y[3][1] y[3][2] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][0] y[4][1] y[4][2] y[4][3] y[4][5] y[4][6] y[4][7] y[4][8] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][6] y[5][7] y[5][8] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][7] y[6][8] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][8] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7]</list>
9.17/3.53 v <values>0 2 6 1 5 8 7 4 3 7 1 5 2 6 4 3 8 0 4 6 2 0 3 7 8 1 5 6 4 8 3 7 0 5 2 1 3 8 1 6 4 2 0 5 7 1 7 3 4 8 5 2 0 6 5 0 7 8 2 1 6 3 4 8 3 0 5 1 6 4 7 2 2 5 4 7 0 3 1 6 8 65 42 55 32 17 52 76 21 25 59 38 78 67 3 35 45 58 51 72 12 34 71 1 41 15 22 8 61 36 77 47 64 48 62 28 69 74 18 14 7 73 43 66 4 26 11 54 33 68 27 79 53 2 19 39 13 44 75 9 23 46 6 31 56 29 5 49 16 63 57 37 24</values>
9.17/3.53 v </instantiation>
9.17/3.53 c (3,2) Show results End
9.17/3.53 c (3,2) Heap : 901 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
9.17/3.53 c (3,2) 0,0,2,2,2,2,2,2,3,STOP-AFTER(ALL)
9.17/3.53 c END-Prog: Thu Jul 26 08:52:37 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 (9018 MiB free)
memory of node 1: 16384 MiB (13995 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295841-1532587954/watcher-4295841-1532587954 -o /tmp/evaluation-result-4295841-1532587954/solver-4295841-1532587954 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295841-1532587954.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=7140, runsolver pid=7137
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 2.01 2.04 2.05 3/221 7155
/proc/meminfo: memFree=23507344/32770624 swapFree=67108860/67108860
[pid=7140] ppid=7137 vsize=15011656 memory=70932 CPUtime=0.11 cores=1,3,5,7
/proc/7140/stat : 7140 (java) S 7137 7140 32649 0 -1 1077944320 6949 0 0 0 10 1 0 0 20 0 15 0 76358626 15371935744 17733 33554432000 4194304 4196468 140733302063504 140733302046048 139843158982391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
/proc/7140/statm: 3752914 17733 2776 1 0 3715374 0
[pid=7140/tid=7142] ppid=7137 vsize=15011656 memory=7100839887217068648 CPUtime=0.09 cores=1,3,5,7
/proc/7140/task/7142/stat : 7142 (java) R 7137 7140 32649 0 -1 4202560 5302 0 0 0 8 1 0 0 20 0 15 0 76358627 15371935744 17997 33554432000 4194304 4196468 140733302063504 139843130794376 139843139258219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7143] ppid=7137 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7143/stat : 7143 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 17997 33554432000 4194304 4196468 140733302063504 139843163224720 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7144] ppid=7137 vsize=15011656 memory=139659437962880 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7144/stat : 7144 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 17997 33554432000 4194304 4196468 140733302063504 139842619988496 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7145] ppid=7137 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7145/stat : 7145 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 18063 33554432000 4194304 4196468 140733302063504 139842618935696 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7146] ppid=7137 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7146/stat : 7146 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 18063 33554432000 4194304 4196468 140733302063504 139842617882896 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7147] ppid=7137 vsize=15011656 memory=139659437962880 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7147/stat : 7147 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358630 15371935744 18063 33554432000 4194304 4196468 140733302063504 139842197322608 139843158993538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7148] ppid=7137 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7148/stat : 7148 (java) S 7137 7140 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76358630 15371935744 18063 33554432000 4194304 4196468 140733302063504 139841719232032 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7149] ppid=7137 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7149/stat : 7149 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358630 15371935744 18063 33554432000 4194304 4196468 140733302063504 139841450796400 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7150] ppid=7137 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7150/stat : 7150 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 18063 33554432000 4194304 4196468 140733302063504 139841076287824 139843159000987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7151] ppid=7137 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7151/stat : 7151 (java) S 7137 7140 32649 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 18063 33554432000 4194304 4196468 140733302063504 139842196269424 139843158993538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7152] ppid=7137 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7152/stat : 7152 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 18063 33554432000 4194304 4196468 140733302063504 139842195216624 139843158993538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7153] ppid=7137 vsize=15011656 memory=139659437962880 CPUtime=0.01 cores=1,3,5,7
/proc/7140/task/7153/stat : 7153 (java) S 7137 7140 32649 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 15 0 76358633 15371935744 18063 33554432000 4194304 4196468 140733302063504 139842194163824 139843158993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7154] ppid=7137 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7154/stat : 7154 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 18063 33554432000 4194304 4196468 140733302063504 139840578382048 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7155] ppid=7137 vsize=15011656 memory=139659437962880 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7155/stat : 7155 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 18129 33554432000 4194304 4196468 140733302063504 139842193112240 139843158993538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70932 KiB
[startup+0.210549 s]*
/proc/loadavg: 2.01 2.04 2.05 4/221 7155
/proc/meminfo: memFree=23493640/32770624 swapFree=67108860/67108860
[pid=7140] ppid=7137 vsize=15011656 memory=84308 CPUtime=0.25 cores=1,3,5,7
/proc/7140/stat : 7140 (java) S 7137 7140 32649 0 -1 1077944320 10502 0 0 0 23 2 0 0 20 0 15 0 76358626 15371935744 21077 33554432000 4194304 4196468 140733302063504 140733302046048 139843158982391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
/proc/7140/statm: 3752914 21077 2915 1 0 3715374 0
[pid=7140/tid=7142] ppid=7137 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/7140/task/7142/stat : 7142 (java) R 7137 7140 32649 0 -1 4202560 8342 0 0 0 18 2 0 0 20 0 15 0 76358627 15371935744 21077 33554432000 4194304 4196468 140733302063504 139843130807840 139843143062878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7143] ppid=7137 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7143/stat : 7143 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 21077 33554432000 4194304 4196468 140733302063504 139843163224720 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7144] ppid=7137 vsize=15011656 memory=139659438321761 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7144/stat : 7144 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 21077 33554432000 4194304 4196468 140733302063504 139842619988496 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7145] ppid=7137 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7145/stat : 7145 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 21077 33554432000 4194304 4196468 140733302063504 139842618935696 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7146] ppid=7137 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7146/stat : 7146 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 21077 33554432000 4194304 4196468 140733302063504 139842617882896 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7147] ppid=7137 vsize=15011656 memory=139659437962880 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7147/stat : 7147 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358630 15371935744 21077 33554432000 4194304 4196468 140733302063504 139842197322608 139843158993538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7148] ppid=7137 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7148/stat : 7148 (java) S 7137 7140 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76358630 15371935744 21077 33554432000 4194304 4196468 140733302063504 139841719232032 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7149] ppid=7137 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7149/stat : 7149 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358630 15371935744 21077 33554432000 4194304 4196468 140733302063504 139841450796400 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7150] ppid=7137 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7150/stat : 7150 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 21077 33554432000 4194304 4196468 140733302063504 139841076287824 139843159000987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7151] ppid=7137 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7151/stat : 7151 (java) R 7137 7140 32649 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 21077 33554432000 4194304 4196468 140733302063504 139842196269424 139843144645120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7152] ppid=7137 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7152/stat : 7152 (java) R 7137 7140 32649 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 21077 33554432000 4194304 4196468 140733302063504 139842195216624 139843158993538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7153] ppid=7137 vsize=15011656 memory=139659437962880 CPUtime=0.03 cores=1,3,5,7
/proc/7140/task/7153/stat : 7153 (java) S 7137 7140 32649 0 -1 1077944384 351 0 0 0 3 0 0 0 20 0 15 0 76358633 15371935744 21077 33554432000 4194304 4196468 140733302063504 139842194163824 139843158993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7154] ppid=7137 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7154/stat : 7154 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 21077 33554432000 4194304 4196468 140733302063504 139840578382048 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7155] ppid=7137 vsize=15011656 memory=139659437962880 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7155/stat : 7155 (java) R 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 21077 33554432000 4194304 4196468 140733302063504 139842193112240 139843158993538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84308 KiB
[startup+0.31055 s]*
/proc/loadavg: 2.01 2.04 2.05 3/221 7155
/proc/meminfo: memFree=23489824/32770624 swapFree=67108860/67108860
[pid=7140] ppid=7137 vsize=15011656 memory=88496 CPUtime=0.43 cores=1,3,5,7
/proc/7140/stat : 7140 (java) S 7137 7140 32649 0 -1 1077944320 11189 0 0 0 40 3 0 0 20 0 15 0 76358626 15371935744 22124 33554432000 4194304 4196468 140733302063504 140733302046048 139843158982391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
/proc/7140/statm: 3752914 22124 3030 1 0 3715374 0
[pid=7140/tid=7142] ppid=7137 vsize=15011656 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/7140/task/7142/stat : 7142 (java) R 7137 7140 32649 0 -1 4202560 8775 0 0 0 28 2 0 0 20 0 15 0 76358627 15371935744 22190 33554432000 4194304 4196468 140733302063504 139843130811632 139842662520577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7143] ppid=7137 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7143/stat : 7143 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 22190 33554432000 4194304 4196468 140733302063504 139843163224720 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7144] ppid=7137 vsize=15011656 memory=139659437962880 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7144/stat : 7144 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 22190 33554432000 4194304 4196468 140733302063504 139842619988496 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7145] ppid=7137 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7145/stat : 7145 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 22190 33554432000 4194304 4196468 140733302063504 139842618935696 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7146] ppid=7137 vsize=15011656 memory=139659317453007 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7146/stat : 7146 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15371935744 22190 33554432000 4194304 4196468 140733302063504 139842617882896 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7147] ppid=7137 vsize=15011656 memory=139659437962880 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7147/stat : 7147 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358630 15371935744 22190 33554432000 4194304 4196468 140733302063504 139842197322608 139843158993538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7148] ppid=7137 vsize=15011656 memory=139659317473743 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7148/stat : 7148 (java) S 7137 7140 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76358630 15371935744 22190 33554432000 4194304 4196468 140733302063504 139841719232032 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7149] ppid=7137 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7149/stat : 7149 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358630 15371935744 22190 33554432000 4194304 4196468 140733302063504 139841450796400 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7150] ppid=7137 vsize=15011656 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7150/stat : 7150 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 22190 33554432000 4194304 4196468 140733302063504 139841076287824 139843159000987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7151] ppid=7137 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7140/task/7151/stat : 7151 (java) R 7137 7140 32649 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 76358633 15371935744 22190 33554432000 4194304 4196468 140733302063504 139842196269424 139843158993538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7152] ppid=7137 vsize=15011656 memory=139659317485455 CPUtime=0.03 cores=1,3,5,7
/proc/7140/task/7152/stat : 7152 (java) R 7137 7140 32649 0 -1 4202560 279 0 0 0 3 0 0 0 20 0 15 0 76358633 15371935744 22190 33554432000 4194304 4196468 140733302063504 139842195216624 139843143880033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7153] ppid=7137 vsize=15011656 memory=139659437962880 CPUtime=0.07 cores=1,3,5,7
/proc/7140/task/7153/stat : 7153 (java) R 7137 7140 32649 0 -1 4202560 466 0 0 0 7 0 0 0 20 0 15 0 76358633 15371935744 22190 33554432000 4194304 4196468 140733302063504 139842194163824 139843152079227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7154] ppid=7137 vsize=15011656 memory=139659317490591 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7154/stat : 7154 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 22190 33554432000 4194304 4196468 140733302063504 139840578382048 139843158992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7155] ppid=7137 vsize=15011656 memory=139659514321506 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7155/stat : 7155 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358633 15371935744 22190 33554432000 4194304 4196468 140733302063504 139842193112240 139843158993538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88496 KiB
[startup+0.704053 s]
/proc/loadavg: 2.01 2.04 2.05 3/221 7155
/proc/meminfo: memFree=23464416/32770624 swapFree=67108860/67108860
[pid=7140] ppid=7137 vsize=15020052 memory=128928 CPUtime=1.01 cores=1,3,5,7
/proc/7140/stat : 7140 (java) S 7137 7140 32649 0 -1 1077944320 18538 0 0 0 96 5 0 0 20 0 15 0 76358626 15380533248 32232 33554432000 4194304 4196468 140733302063504 140733302046048 139843158982391 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
/proc/7140/statm: 3755013 32232 3155 1 0 3716398 0
[pid=7140/tid=7142] ppid=7137 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/7140/task/7142/stat : 7142 (java) R 7137 7140 32649 0 -1 4202560 15530 0 0 0 63 4 0 0 20 0 15 0 76358627 15380533248 32232 33554432000 4194304 4196468 140733302063504 139843130815888 139843158994326 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7143] ppid=7137 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7143/stat : 7143 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15380533248 32232 33554432000 4194304 4196468 140733302063504 139843163224720 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7144] ppid=7137 vsize=15020052 memory=79 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7144/stat : 7144 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358628 15380533248 32232 33554432000 4194304 4196468 140733302063504 139842619988496 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7145] ppid=7137 vsize=15020052 memory=1 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7145/stat : 7145 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15380533248 32232 33554432000 4194304 4196468 140733302063504 139842618935696 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7146] ppid=7137 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7146/stat : 7146 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15380533248 32232 33554432000 4194304 4196468 140733302063504 139842617882896 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7147] ppid=7137 vsize=15020052 memory=170355448622922 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7147/stat : 7147 (java) S 7137 7140 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76358630 15380533248 32232 33554432000 4194304 4196468 140733302063504 139842197322608 139843158993538 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7148] ppid=7137 vsize=15020052 memory=446437 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7148/stat : 7148 (java) S 7137 7140 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76358630 15380533248 32232 33554432000 4194304 4196468 140733302063504 139841719232032 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7149] ppid=7137 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7149/stat : 7149 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358630 15380533248 32232 33554432000 4194304 4196468 140733302063504 139841450796400 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7150] ppid=7137 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7150/stat : 7150 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15380533248 32232 33554432000 4194304 4196468 140733302063504 139841076287824 139843159000987 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7151] ppid=7137 vsize=15020052 memory=7809523229951467574 CPUtime=0.06 cores=1,3,5,7
/proc/7140/task/7151/stat : 7151 (java) S 7137 7140 32649 0 -1 1077944384 448 0 0 0 6 0 0 0 20 0 15 0 76358633 15380533248 32232 33554432000 4194304 4196468 140733302063504 139842196269424 139843158993538 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7152] ppid=7137 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7140/task/7152/stat : 7152 (java) R 7137 7140 32649 0 -1 4202560 525 0 0 0 9 0 0 0 20 0 15 0 76358633 15380533248 32232 33554432000 4194304 4196468 140733302063504 139842195216624 139843138229363 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7153] ppid=7137 vsize=15020052 memory=-3535359994705171810 CPUtime=0.16 cores=1,3,5,7
/proc/7140/task/7153/stat : 7153 (java) R 7137 7140 32649 0 -1 4202560 693 0 0 0 16 0 0 0 20 0 15 0 76358633 15380533248 32232 33554432000 4194304 4196468 140733302063504 139842194163824 139843159003738 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7154] ppid=7137 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7154/stat : 7154 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15380533248 32232 33554432000 4194304 4196468 140733302063504 139840578382048 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7155] ppid=7137 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7155/stat : 7155 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358633 15380533248 32232 33554432000 4194304 4196468 140733302063504 139842193112240 139843158993538 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 128928 KiB
[startup+1.50812 s]
/proc/loadavg: 2.01 2.04 2.05 4/221 7155
/proc/meminfo: memFree=23434012/32770624 swapFree=67108860/67108860
[pid=7140] ppid=7137 vsize=15024148 memory=184460 CPUtime=3.05 cores=1,3,5,7
/proc/7140/stat : 7140 (java) S 7137 7140 32649 0 -1 1077944320 22628 0 0 0 297 8 0 0 20 0 15 0 76358626 15384727552 46115 33554432000 4194304 4196468 140733302063504 140733302046048 139843158982391 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
/proc/7140/statm: 3756037 46115 3207 1 0 3717422 0
[pid=7140/tid=7142] ppid=7137 vsize=15024148 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/7140/task/7142/stat : 7142 (java) R 7137 7140 32649 0 -1 4202560 16657 0 0 0 142 5 0 0 20 0 15 0 76358627 15384727552 46115 33554432000 4194304 4196468 140733302063504 139843130814480 139842668598016 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7143] ppid=7137 vsize=15024148 memory=5936681562432623975 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7143/stat : 7143 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15384727552 46115 33554432000 4194304 4196468 140733302063504 139843163224720 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7144] ppid=7137 vsize=15024148 memory=7013627827372322137 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7144/stat : 7144 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358628 15384727552 46115 33554432000 4194304 4196468 140733302063504 139842619988496 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7145] ppid=7137 vsize=15024148 memory=7013627827372322137 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7145/stat : 7145 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15384727552 46115 33554432000 4194304 4196468 140733302063504 139842618935696 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7146] ppid=7137 vsize=15024148 memory=7013627827372322137 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7146/stat : 7146 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15384727552 46115 33554432000 4194304 4196468 140733302063504 139842617882896 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7147] ppid=7137 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7147/stat : 7147 (java) S 7137 7140 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76358630 15384727552 46115 33554432000 4194304 4196468 140733302063504 139842197322608 139843158993538 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
################
# More data... #
################
[startup+3.11057 s]
/proc/loadavg: 2.09 2.05 2.05 6/221 7155
/proc/meminfo: memFree=23059108/32770624 swapFree=67108860/67108860
[pid=7140] ppid=7137 vsize=15026264 memory=552564 CPUtime=8.25 cores=1,3,5,7
/proc/7140/stat : 7140 (java) S 7137 7140 32649 0 -1 1077944320 27195 0 0 0 808 17 0 0 20 0 15 0 76358626 15386894336 138141 33554432000 4194304 4196468 140733302063504 140733302046048 139843158982391 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
/proc/7140/statm: 3756566 138141 3223 1 0 3717422 0
[pid=7140/tid=7142] ppid=7137 vsize=15026264 memory=505652 CPUtime=3.06 cores=1,3,5,7
/proc/7140/task/7142/stat : 7142 (java) R 7137 7140 32649 0 -1 4202560 17244 0 0 0 294 12 0 0 20 0 15 0 76358627 15386894336 138141 33554432000 4194304 4196468 140733302063504 139843130812784 139842676584040 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7143] ppid=7137 vsize=15026264 memory=279318635183200 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7143/stat : 7143 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15386894336 138141 33554432000 4194304 4196468 140733302063504 139843163224720 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7144] ppid=7137 vsize=15026264 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7144/stat : 7144 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358628 15386894336 138141 33554432000 4194304 4196468 140733302063504 139842619988496 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7145] ppid=7137 vsize=15026264 memory=2908 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7145/stat : 7145 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15386894336 138141 33554432000 4194304 4196468 140733302063504 139842618935696 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7146] ppid=7137 vsize=15026264 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7146/stat : 7146 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15386894336 138141 33554432000 4194304 4196468 140733302063504 139842617882896 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7147] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7147/stat : 7147 (java) S 7137 7140 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76358630 15386894336 138141 33554432000 4194304 4196468 140733302063504 139842197322608 139843158993538 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7148] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7148/stat : 7148 (java) S 7137 7140 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76358630 15386894336 138141 33554432000 4194304 4196468 140733302063504 139841719232032 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7149] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7149/stat : 7149 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358630 15386894336 138141 33554432000 4194304 4196468 140733302063504 139841450796400 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7150] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7150/stat : 7150 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15386894336 138141 33554432000 4194304 4196468 140733302063504 139841076287824 139843159000987 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7151] ppid=7137 vsize=15026264 memory=0 CPUtime=1.98 cores=1,3,5,7
/proc/7140/task/7151/stat : 7151 (java) R 7137 7140 32649 0 -1 4202560 2180 0 0 0 197 1 0 0 20 0 15 0 76358633 15386894336 138141 33554432000 4194304 4196468 140733302063504 139842196259216 139843143375044 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7152] ppid=7137 vsize=15026264 memory=0 CPUtime=2.03 cores=1,3,5,7
/proc/7140/task/7152/stat : 7152 (java) R 7137 7140 32649 0 -1 4202560 2425 0 0 0 202 1 0 0 20 0 15 0 76358633 15386894336 138141 33554432000 4194304 4196468 140733302063504 139842195206480 139843139683326 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7153] ppid=7137 vsize=15026264 memory=55 CPUtime=1.14 cores=1,3,5,7
/proc/7140/task/7153/stat : 7153 (java) S 7137 7140 32649 0 -1 1077944384 4004 0 0 0 112 2 0 0 20 0 15 0 76358633 15386894336 138141 33554432000 4194304 4196468 140733302063504 139842194163824 139843158993538 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7154] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7154/stat : 7154 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15386894336 138141 33554432000 4194304 4196468 140733302063504 139840578382048 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7155] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7155/stat : 7155 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358633 15386894336 138141 33554432000 4194304 4196468 140733302063504 139842193112240 139843158993538 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
Current children cumulated CPU time: 8.25 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 552564 KiB
[startup+3.55649 s]
# the end of solver process 7140 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.24026 s, system=0.214057 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20109 s]
/proc/loadavg: 2.09 2.05 2.05 6/221 7155
/proc/meminfo: memFree=23059108/32770624 swapFree=67108860/67108860
[pid=7140] ppid=7137 vsize=15026264 memory=589648 CPUtime=8.52 cores=1,3,5,7
/proc/7140/stat : 7140 (java) S 7137 7140 32649 0 -1 1077944320 27233 0 0 0 835 17 0 0 20 0 15 0 76358626 15386894336 147412 33554432000 4194304 4196468 140733302063504 140733302046048 139843158982391 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
/proc/7140/statm: 3756566 147412 3223 1 0 3717422 0
[pid=7140/tid=7142] ppid=7137 vsize=15026264 memory=0 CPUtime=3.15 cores=1,3,5,7
/proc/7140/task/7142/stat : 7142 (java) R 7137 7140 32649 0 -1 4202560 17265 0 0 0 303 12 0 0 20 0 15 0 76358627 15386894336 147412 33554432000 4194304 4196468 140733302063504 139843130812784 139842676243300 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7143] ppid=7137 vsize=15026264 memory=4629799972190126725 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7143/stat : 7143 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15386894336 147412 33554432000 4194304 4196468 140733302063504 139843163224720 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7144] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7144/stat : 7144 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358628 15386894336 147412 33554432000 4194304 4196468 140733302063504 139842619988496 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7145] ppid=7137 vsize=15026264 memory=3233 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7145/stat : 7145 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15386894336 147412 33554432000 4194304 4196468 140733302063504 139842618935696 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7146] ppid=7137 vsize=15026264 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7146/stat : 7146 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76358628 15386894336 147412 33554432000 4194304 4196468 140733302063504 139842617882896 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7147] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7147/stat : 7147 (java) S 7137 7140 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76358630 15386894336 147412 33554432000 4194304 4196468 140733302063504 139842197322608 139843158993538 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7148] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7148/stat : 7148 (java) S 7137 7140 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76358630 15386894336 147412 33554432000 4194304 4196468 140733302063504 139841719232032 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7149] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7149/stat : 7149 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358630 15386894336 147412 33554432000 4194304 4196468 140733302063504 139841450796400 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7150] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7150/stat : 7150 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15386894336 147412 33554432000 4194304 4196468 140733302063504 139841076287824 139843159000987 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7151] ppid=7137 vsize=15026264 memory=0 CPUtime=2.07 cores=1,3,5,7
/proc/7140/task/7151/stat : 7151 (java) R 7137 7140 32649 0 -1 4202560 2180 0 0 0 206 1 0 0 20 0 15 0 76358633 15386894336 147412 33554432000 4194304 4196468 140733302063504 139842196259216 139843142508862 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7152] ppid=7137 vsize=15026264 memory=0 CPUtime=2.12 cores=1,3,5,7
/proc/7140/task/7152/stat : 7152 (java) R 7137 7140 32649 0 -1 4202560 2437 0 0 0 211 1 0 0 20 0 15 0 76358633 15386894336 147412 33554432000 4194304 4196468 140733302063504 139842195216752 139843136206544 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7153] ppid=7137 vsize=15026264 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/7140/task/7153/stat : 7153 (java) S 7137 7140 32649 0 -1 1077944384 4009 0 0 0 113 2 0 0 20 0 15 0 76358633 15386894336 147412 33554432000 4194304 4196468 140733302063504 139842194163824 139843158993538 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7154] ppid=7137 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7154/stat : 7154 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76358633 15386894336 147412 33554432000 4194304 4196468 140733302063504 139840578382048 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7155] ppid=7137 vsize=15026264 memory=7230645025961766505 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7155/stat : 7155 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76358633 15386894336 147412 33554432000 4194304 4196468 140733302063504 139842193112240 139843158993538 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
Current children cumulated CPU time: 8.52 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 589648 KiB
[startup+3.40116 s]
/proc/loadavg: 2.09 2.05 2.05 6/221 7155
/proc/meminfo: memFree=23059108/32770624 swapFree=67108860/67108860
[pid=7140] ppid=7137 vsize=15683912 memory=676220 CPUtime=9.15 cores=1,3,5,7
/proc/7140/stat : 7140 (java) S 7137 7140 32649 0 -1 1077944320 27992 0 0 0 896 19 0 0 20 0 19 0 76358626 16060325888 169055 33554432000 4194304 4196468 140733302063504 140733302046048 139843158982391 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
/proc/7140/statm: 3920978 169055 3227 1 0 3881834 0
[pid=7140/tid=7142] ppid=7137 vsize=15683912 memory=0 CPUtime=3.34 cores=1,3,5,7
/proc/7140/task/7142/stat : 7142 (java) R 7137 7140 32649 0 -1 4202560 17667 0 0 0 320 14 0 0 20 0 19 0 76358627 16060325888 169055 33554432000 4194304 4196468 140733302063504 139843130790944 139843139257721 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7143] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7143/stat : 7143 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76358628 16060325888 169055 33554432000 4194304 4196468 140733302063504 139843163224720 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7144] ppid=7137 vsize=15683912 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7144/stat : 7144 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76358628 16060325888 169055 33554432000 4194304 4196468 140733302063504 139842619988496 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7145] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7145/stat : 7145 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76358628 16060325888 169055 33554432000 4194304 4196468 140733302063504 139842618935696 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7146] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7146/stat : 7146 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76358628 16060325888 169055 33554432000 4194304 4196468 140733302063504 139842617882896 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7147] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7147/stat : 7147 (java) S 7137 7140 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 76358630 16060325888 169055 33554432000 4194304 4196468 140733302063504 139842197322608 139843158993538 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7148] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7148/stat : 7148 (java) S 7137 7140 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76358630 16060325888 169055 33554432000 4194304 4196468 140733302063504 139841719232032 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7149] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7149/stat : 7149 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76358630 16060325888 169055 33554432000 4194304 4196468 140733302063504 139841450796400 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7150] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7150/stat : 7150 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76358633 16060325888 169055 33554432000 4194304 4196468 140733302063504 139841076287824 139843159000987 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7151] ppid=7137 vsize=15683912 memory=0 CPUtime=2.27 cores=1,3,5,7
/proc/7140/task/7151/stat : 7151 (java) R 7137 7140 32649 0 -1 4202560 2420 0 0 0 226 1 0 0 20 0 19 0 76358633 16060325888 169055 33554432000 4194304 4196468 140733302063504 139842196259216 139843152078784 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7152] ppid=7137 vsize=15683912 memory=0 CPUtime=2.32 cores=1,3,5,7
/proc/7140/task/7152/stat : 7152 (java) R 7137 7140 32649 0 -1 4202560 2461 0 0 0 231 1 0 0 20 0 19 0 76358633 16060325888 169055 33554432000 4194304 4196468 140733302063504 139842195203408 139843138415456 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7153] ppid=7137 vsize=15683912 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/7140/task/7153/stat : 7153 (java) S 7137 7140 32649 0 -1 1077944384 4051 0 0 0 116 2 0 0 20 0 19 0 76358633 16060325888 169055 33554432000 4194304 4196468 140733302063504 139842194163824 139843158993538 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7154] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7154/stat : 7154 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76358633 16060325888 169055 33554432000 4194304 4196468 140733302063504 139840578382048 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7155] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7155/stat : 7155 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76358633 16060325888 169055 33554432000 4194304 4196468 140733302063504 139842193112240 139843158993538 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
Current children cumulated CPU time: 9.15 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 676220 KiB
[startup+3.50129 s]
/proc/loadavg: 2.09 2.05 2.05 6/221 7155
/proc/meminfo: memFree=23059108/32770624 swapFree=67108860/67108860
[pid=7140] ppid=7137 vsize=15683912 memory=676244 CPUtime=9.17 cores=1,3,5,7
/proc/7140/stat : 7140 (java) S 7137 7140 32649 0 -1 1077944320 28008 0 0 0 898 19 0 0 20 0 19 0 76358626 16060325888 169061 33554432000 4194304 4196468 140733302063504 140733302046048 139843158982391 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
/proc/7140/statm: 3920978 169061 3227 1 0 3881834 0
[pid=7140/tid=7142] ppid=7137 vsize=15683912 memory=0 CPUtime=3.35 cores=1,3,5,7
/proc/7140/task/7142/stat : 7142 (java) S 7137 7140 32649 0 -1 1077944384 17682 0 0 0 321 14 0 0 20 0 19 0 76358627 16060325888 169061 33554432000 4194304 4196468 140733302063504 139843130821632 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7143] ppid=7137 vsize=15683912 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7143/stat : 7143 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76358628 16060325888 169061 33554432000 4194304 4196468 140733302063504 139843163224720 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7144] ppid=7137 vsize=15683912 memory=505652 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7144/stat : 7144 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76358628 16060325888 169061 33554432000 4194304 4196468 140733302063504 139842619988496 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7145] ppid=7137 vsize=15683912 memory=279318635183200 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7145/stat : 7145 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76358628 16060325888 169061 33554432000 4194304 4196468 140733302063504 139842618935696 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7146] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7146/stat : 7146 (java) S 7137 7140 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76358628 16060325888 169061 33554432000 4194304 4196468 140733302063504 139842617882896 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7147] ppid=7137 vsize=15683912 memory=5939797557128947032 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7147/stat : 7147 (java) S 7137 7140 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 76358630 16060325888 169061 33554432000 4194304 4196468 140733302063504 139842197322608 139843158993538 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7148] ppid=7137 vsize=15683912 memory=7594586655658239592 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7148/stat : 7148 (java) S 7137 7140 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76358630 16060325888 169061 33554432000 4194304 4196468 140733302063504 139841719232032 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7149] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7149/stat : 7149 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76358630 16060325888 169061 33554432000 4194304 4196468 140733302063504 139841450796400 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7150] ppid=7137 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7150/stat : 7150 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76358633 16060325888 169061 33554432000 4194304 4196468 140733302063504 139841076287824 139843159000987 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7151] ppid=7137 vsize=15683912 memory=0 CPUtime=2.27 cores=1,3,5,7
/proc/7140/task/7151/stat : 7151 (java) R 7137 7140 32649 0 -1 1077944384 2420 0 0 0 226 1 0 0 20 0 19 0 76358633 16060325888 169061 33554432000 4194304 4196468 140733302063504 139842196269424 139843158993538 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7152] ppid=7137 vsize=15683912 memory=3848 CPUtime=2.32 cores=1,3,5,7
/proc/7140/task/7152/stat : 7152 (java) R 7137 7140 32649 0 -1 4202560 2461 0 0 0 231 1 0 0 20 0 19 0 76358633 16060325888 169061 33554432000 4194304 4196468 140733302063504 139842195216624 139843158994326 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7153] ppid=7137 vsize=15683912 memory=2908 CPUtime=1.19 cores=1,3,5,7
/proc/7140/task/7153/stat : 7153 (java) S 7137 7140 32649 0 -1 1077944384 4051 0 0 0 117 2 0 0 20 0 19 0 76358633 16060325888 169061 33554432000 4194304 4196468 140733302063504 139842194163824 139843158993538 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7154] ppid=7137 vsize=15683912 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7154/stat : 7154 (java) S 7137 7140 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76358633 16060325888 169061 33554432000 4194304 4196468 140733302063504 139840578382048 139843158992597 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
[pid=7140/tid=7155] ppid=7137 vsize=15683912 memory=279318634992544 CPUtime=0 cores=1,3,5,7
/proc/7140/task/7155/stat : 7155 (java) S 7137 7140 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76358633 16060325888 169061 33554432000 4194304 4196468 140733302063504 139842193112240 139843158993538 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22999040 140733302072307 140733302072585 140733302072585 140733302075343 0
Current children cumulated CPU time: 9.17 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 676244 KiB
Child status: 0
Real time (s): 3.55655
CPU time (s): 9.45432
CPU user time (s): 9.24026
CPU system time (s): 0.214057
CPU usage (%): 265.828
Max. virtual memory (cumulated for all children) (KiB): 15683912
Max. memory (cumulated for all children) (KiB): 676244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.24026
system time used= 0.214057
maximum resident set size= 681008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4279
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 7140
# total CPU time (s): 9.45432
# total CPU user time (s): 9.24026
# total CPU system time (s): 0.214057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051413 second user time and 0.074045 second system time
The end