0.56/0.51
0.68/0.52 scop both+minisat_release (2018-06-13)
0.68/0.52
0.68/0.54 c BEGIN-Prog: Thu Jul 26 01:20:32 CEST 2018
0.68/0.54 c PID: 4225
0.68/0.54 c IP: 172.20.3.102
0.68/0.54 c HOST: node102.alineos.net
0.68/0.55 c (0,0) Parsing Begin
1.80/1.01 c (0,0) Parsing End
1.80/1.01 c (0,0) CSP: 153 int (0 aux), 0 bool (0 aux), 146 ctr, max domain size 81
2.05/1.17 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.05/1.17 c (0,0) Constraint Name Generate Begin
2.05/1.17 c (0,0) Ctr:HOME/instance-4295840-1532560831.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
2.05/1.17 c (0,0) Constraint Name Generate End
2.05/1.17 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.17 c (0,0) CSP to CSPinCNF Begin
2.77/1.48 c (0,0) translated 15 (10%) constraints
3.09/1.56 c (1,1) translated 30 (20%) constraints
3.38/1.63 c (1,1) translated 44 (30%) constraints
3.38/1.69 c (1,1) translated 59 (40%) constraints
3.69/1.75 c (1,1) translated 73 (50%) constraints
3.69/1.77 c (1,1) translated 88 (60%) constraints
3.69/1.77 c (1,1) translated 103 (70%) constraints
3.69/1.77 c (1,1) translated 117 (80%) constraints
3.69/1.78 c (1,1) translated 132 (90%) constraints
3.69/1.78 c (1,1) translated 146 (100%) constraints
4.02/1.88 c (1,1) STATISTICS1:HOME/instance-4295840-1532560831.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.02/1.88 c (1,1) ===========================================
4.02/1.88 c (1,1) Both Encoding selects:
4.02/1.88 c (1,1) Order
4.02/1.88 c (1,1) ===========================================
4.37/1.95 c (1,1) translated 660 (10%) constraints
4.75/2.07 c (1,1) translated 1320 (20%) constraints
5.08/2.16 c (1,1) translated 1980 (30%) constraints
5.39/2.22 c (1,1) translated 2639 (40%) constraints
5.39/2.29 c (1,1) translated 3299 (50%) constraints
5.76/2.34 c (1,1) translated 3959 (60%) constraints
5.76/2.39 c (1,1) translated 4618 (70%) constraints
6.05/2.44 c (1,1) translated 5278 (80%) constraints
6.05/2.49 c (1,1) translated 5938 (90%) constraints
6.35/2.54 c (2,2) translated 6597 (100%) constraints
6.35/2.54 c (2,2) CSP to CSPinCNF End
6.35/2.55 c (2,2) CSP: 153 int (0 aux), 729 bool (729 aux), 18342 ctr, max domain size 81
6.35/2.55 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.35/2.55 c (2,2) CSPinCNF Propagation Begin
7.01/2.78 c (2,2) 288 values, 2508 unsatisfiable literals, and 3600 valid clauses are removed
7.01/2.78 c (2,2) CSPinCNF Propagation End
7.01/2.78 c (2,2) CSP: 261 int (108 aux), 621 bool (621 aux), 14742 ctr, max domain size 79
7.01/2.78 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.01/2.78 c (2,2) Simplify CSPinCNF Begin
7.32/2.86 c (2,2) Simplify CSPinCNF End
7.32/2.86 c (2,2) CSP: 261 int (108 aux), 1845 bool (1845 aux), 15966 ctr, max domain size 79
7.32/2.86 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.32/2.86 c (2,2) Calculate Precise Domain Begin
7.32/2.87 c (2,2) 0 values are removed by re-calculation
7.32/2.87 c (2,2) Calculate Precise Domain End
7.32/2.87 c (2,2) CSP: 261 int (108 aux), 1845 bool (1845 aux), 15966 ctr, max domain size 79
7.32/2.87 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.32/2.87 c (2,2) CSPinCNF to SatSolver Begin
8.04/3.04 c (2,2) 1597 (10 %) CSP clauses are encoded (7627 SAT variables, 13452 SAT clauses)
8.04/3.07 c (2,2) 3194 (20 %) CSP clauses are encoded (7627 SAT variables, 16111 SAT clauses)
8.04/3.08 c (2,2) 4790 (30 %) CSP clauses are encoded (7627 SAT variables, 17707 SAT clauses)
8.04/3.10 c (2,2) 6387 (40 %) CSP clauses are encoded (7627 SAT variables, 19304 SAT clauses)
8.35/3.11 c (2,2) 7983 (50 %) CSP clauses are encoded (7627 SAT variables, 20900 SAT clauses)
8.35/3.13 c (2,2) 9580 (60 %) CSP clauses are encoded (7627 SAT variables, 22497 SAT clauses)
8.35/3.14 c (2,2) 11177 (70 %) CSP clauses are encoded (7627 SAT variables, 24094 SAT clauses)
8.35/3.16 c (2,2) 12773 (80 %) CSP clauses are encoded (7627 SAT variables, 25690 SAT clauses)
8.35/3.17 c (2,2) 14370 (90 %) CSP clauses are encoded (7627 SAT variables, 27287 SAT clauses)
8.63/3.22 c (2,2) 15966 (100 %) CSP clauses are encoded (7627 SAT variables, 38841 SAT clauses)
8.63/3.22 c (2,2) CSPinCNF to SatSolver End
8.63/3.22 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.94/3.30 c (2,2) STATISTICS2:HOME/instance-4295840-1532560831.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.94/3.30 c (2,2) SatSolver.solve Begin
8.94/3.30 c (2,2) 7627 bool, 38888 clause
8.94/3.30 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-4295840-1532560831.xml-scop-4225.cnf HOME/instance-4295840-1532560831.xml-scop-4225.cnf.out
9.16/3.47 c (2,0) c This is COMiniSatPS.
9.16/3.47 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
9.16/3.47 c (2,0) c ============================[ Problem Statistics ]=============================
9.16/3.47 c (2,0) c | |
9.16/3.47 c (2,0) c | Number of variables: 7627 |
9.16/3.47 c (2,0) c | Number of clauses: 38888 |
9.16/3.47 c (2,0) c | Parse time: 0.01 s |
9.16/3.47 c (2,0) c | Eliminated clauses: 0.13 Mb |
9.16/3.47 c (2,0) c Reduced to 4267 vars, 29263 cls (grow=0)
9.16/3.47 c (2,0) c No iterative elimination performed. (vars=4267, c/v ratio=6.9)
9.16/3.47 c (2,0) c | Simplification time: 0.04 s |
9.16/3.47 c (2,0) c | |
9.16/3.47 c (2,0) c ============================[ Search Statistics ]==============================
9.16/3.47 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
9.16/3.47 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.16/3.47 c (2,0) c ===============================================================================
9.16/3.47 c (2,0) c ===============================================================================
9.16/3.47 c (2,0) c restarts : 5
9.16/3.47 c (2,0) c conflicts : 879 (6148 /sec)
9.16/3.47 c (2,0) c decisions : 1601 (0.00 % random) (11197 /sec)
9.16/3.47 c (2,0) c propagations : 533617 (3732031 /sec)
9.16/3.47 c (2,0) c conflict literals : 25715 (19.88 % deleted)
9.16/3.47 c (2,0) c CPU time : 0.142983 s
9.16/3.47 c (2,0)
9.16/3.47 c (2,0) s SATISFIABLE
9.16/3.48 c (2,2) SatSolver.solve End
9.16/3.48 c (2,2) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.16/3.48 c (2,2) Show results Begin
9.16/3.50 c (2,2) x[0][0] = 0
9.16/3.50 c (2,2) x[0][1] = 2
9.16/3.50 c (2,2) x[0][2] = 6
9.16/3.50 c (2,2) x[0][3] = 1
9.16/3.50 c (2,2) x[0][4] = 5
9.16/3.50 c (2,2) x[0][5] = 8
9.16/3.50 c (2,2) x[0][6] = 7
9.16/3.50 c (2,2) x[0][7] = 4
9.16/3.50 c (2,2) x[0][8] = 3
9.16/3.50 c (2,2) x[1][0] = 7
9.16/3.50 c (2,2) x[1][1] = 1
9.16/3.50 c (2,2) x[1][2] = 5
9.16/3.50 c (2,2) x[1][3] = 2
9.16/3.50 c (2,2) x[1][4] = 6
9.16/3.50 c (2,2) x[1][5] = 4
9.16/3.50 c (2,2) x[1][6] = 3
9.16/3.50 c (2,2) x[1][7] = 8
9.16/3.50 c (2,2) x[1][8] = 0
9.16/3.50 c (2,2) x[2][0] = 4
9.16/3.50 c (2,2) x[2][1] = 6
9.16/3.50 c (2,2) x[2][2] = 2
9.16/3.50 c (2,2) x[2][3] = 0
9.16/3.50 c (2,2) x[2][4] = 3
9.16/3.50 c (2,2) x[2][5] = 7
9.16/3.50 c (2,2) x[2][6] = 8
9.16/3.50 c (2,2) x[2][7] = 1
9.16/3.50 c (2,2) x[2][8] = 5
9.16/3.50 c (2,2) x[3][0] = 6
9.16/3.50 c (2,2) x[3][1] = 4
9.16/3.50 c (2,2) x[3][2] = 8
9.16/3.50 c (2,2) x[3][3] = 3
9.16/3.50 c (2,2) x[3][4] = 7
9.16/3.50 c (2,2) x[3][5] = 0
9.16/3.50 c (2,2) x[3][6] = 5
9.16/3.50 c (2,2) x[3][7] = 2
9.16/3.50 c (2,2) x[3][8] = 1
9.16/3.50 c (2,2) x[4][0] = 3
9.16/3.50 c (2,2) x[4][1] = 8
9.16/3.50 c (2,2) x[4][2] = 1
9.16/3.50 c (2,2) x[4][3] = 6
9.16/3.50 c (2,2) x[4][4] = 4
9.16/3.50 c (2,2) x[4][5] = 2
9.16/3.50 c (2,2) x[4][6] = 0
9.16/3.50 c (2,2) x[4][7] = 5
9.16/3.50 c (2,2) x[4][8] = 7
9.16/3.50 c (2,2) x[5][0] = 1
9.16/3.50 c (2,2) x[5][1] = 7
9.16/3.50 c (2,2) x[5][2] = 3
9.16/3.50 c (2,2) x[5][3] = 4
9.16/3.50 c (2,2) x[5][4] = 8
9.16/3.50 c (2,2) x[5][5] = 5
9.16/3.50 c (2,2) x[5][6] = 2
9.16/3.50 c (2,2) x[5][7] = 0
9.16/3.50 c (2,2) x[5][8] = 6
9.16/3.50 c (2,2) x[6][0] = 5
9.16/3.50 c (2,2) x[6][1] = 0
9.16/3.50 c (2,2) x[6][2] = 7
9.16/3.50 c (2,2) x[6][3] = 8
9.16/3.50 c (2,2) x[6][4] = 2
9.16/3.50 c (2,2) x[6][5] = 1
9.16/3.50 c (2,2) x[6][6] = 6
9.16/3.50 c (2,2) x[6][7] = 3
9.16/3.50 c (2,2) x[6][8] = 4
9.16/3.50 c (2,2) x[7][0] = 8
9.16/3.50 c (2,2) x[7][1] = 3
9.16/3.50 c (2,2) x[7][2] = 0
9.16/3.50 c (2,2) x[7][3] = 5
9.16/3.50 c (2,2) x[7][4] = 1
9.16/3.50 c (2,2) x[7][5] = 6
9.16/3.50 c (2,2) x[7][6] = 4
9.16/3.50 c (2,2) x[7][7] = 7
9.16/3.50 c (2,2) x[7][8] = 2
9.16/3.50 c (2,2) x[8][0] = 2
9.16/3.50 c (2,2) x[8][1] = 5
9.16/3.50 c (2,2) x[8][2] = 4
9.16/3.50 c (2,2) x[8][3] = 7
9.16/3.50 c (2,2) x[8][4] = 0
9.16/3.50 c (2,2) x[8][5] = 3
9.16/3.50 c (2,2) x[8][6] = 1
9.16/3.50 c (2,2) x[8][7] = 6
9.16/3.50 c (2,2) x[8][8] = 8
9.16/3.50 c (2,2) y[0][1] = 65
9.16/3.50 c (2,2) y[0][2] = 42
9.40/3.50 c (2,2) y[0][3] = 55
9.40/3.50 c (2,2) y[0][4] = 32
9.40/3.50 c (2,2) y[0][5] = 17
9.40/3.50 c (2,2) y[0][6] = 52
9.40/3.50 c (2,2) y[0][7] = 76
9.40/3.50 c (2,2) y[0][8] = 21
9.40/3.50 c (2,2) y[1][0] = 25
9.40/3.50 c (2,2) y[1][2] = 59
9.40/3.50 c (2,2) y[1][3] = 38
9.40/3.50 c (2,2) y[1][4] = 78
9.40/3.50 c (2,2) y[1][5] = 67
9.40/3.50 c (2,2) y[1][6] = 3
9.40/3.50 c (2,2) y[1][7] = 35
9.40/3.50 c (2,2) y[1][8] = 45
9.40/3.50 c (2,2) y[2][0] = 58
9.40/3.50 c (2,2) y[2][1] = 51
9.40/3.50 c (2,2) y[2][3] = 72
9.40/3.50 c (2,2) y[2][4] = 12
9.40/3.50 c (2,2) y[2][5] = 34
9.40/3.50 c (2,2) y[2][6] = 71
9.40/3.50 c (2,2) y[2][7] = 1
9.40/3.50 c (2,2) y[2][8] = 41
9.40/3.50 c (2,2) y[3][0] = 15
9.40/3.50 c (2,2) y[3][1] = 22
9.40/3.50 c (2,2) y[3][2] = 8
9.40/3.50 c (2,2) y[3][4] = 61
9.40/3.50 c (2,2) y[3][5] = 36
9.40/3.50 c (2,2) y[3][6] = 77
9.40/3.50 c (2,2) y[3][7] = 47
9.40/3.50 c (2,2) y[3][8] = 64
9.40/3.50 c (2,2) y[4][0] = 48
9.40/3.50 c (2,2) y[4][1] = 62
9.40/3.50 c (2,2) y[4][2] = 28
9.40/3.50 c (2,2) y[4][3] = 69
9.40/3.50 c (2,2) y[4][5] = 74
9.40/3.50 c (2,2) y[4][6] = 18
9.40/3.50 c (2,2) y[4][7] = 14
9.40/3.50 c (2,2) y[4][8] = 7
9.40/3.50 c (2,2) y[5][0] = 73
9.40/3.50 c (2,2) y[5][1] = 43
9.40/3.50 c (2,2) y[5][2] = 66
9.40/3.50 c (2,2) y[5][3] = 4
9.40/3.50 c (2,2) y[5][4] = 26
9.40/3.50 c (2,2) y[5][6] = 11
9.40/3.50 c (2,2) y[5][7] = 54
9.40/3.50 c (2,2) y[5][8] = 33
9.40/3.50 c (2,2) y[6][0] = 68
9.40/3.50 c (2,2) y[6][1] = 27
9.40/3.50 c (2,2) y[6][2] = 79
9.40/3.50 c (2,2) y[6][3] = 53
9.40/3.50 c (2,2) y[6][4] = 2
9.40/3.50 c (2,2) y[6][5] = 19
9.40/3.50 c (2,2) y[6][7] = 39
9.40/3.50 c (2,2) y[6][8] = 13
9.40/3.50 c (2,2) y[7][0] = 44
9.40/3.50 c (2,2) y[7][1] = 75
9.40/3.50 c (2,2) y[7][2] = 9
9.40/3.50 c (2,2) y[7][3] = 23
9.40/3.50 c (2,2) y[7][4] = 46
9.40/3.50 c (2,2) y[7][5] = 6
9.40/3.50 c (2,2) y[7][6] = 31
9.40/3.50 c (2,2) y[7][8] = 56
9.40/3.50 c (2,2) y[8][0] = 29
9.40/3.50 c (2,2) y[8][1] = 5
9.40/3.50 c (2,2) y[8][2] = 49
9.40/3.50 c (2,2) y[8][3] = 16
9.40/3.50 c (2,2) y[8][4] = 63
9.40/3.50 c (2,2) y[8][5] = 57
9.40/3.50 c (2,2) y[8][6] = 37
9.40/3.50 c (2,2) y[8][7] = 24
9.40/3.50 s SATISFIABLE
9.40/3.50 v <instantiation>
9.40/3.50 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.40/3.50 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.40/3.50 v </instantiation>
9.40/3.50 c (2,2) Show results End
9.40/3.50 c (2,2) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.40/3.50 c (2,2) 0,0,2,2,2,2,2,2,2,STOP-AFTER(ALL)
9.40/3.50 c END-Prog: Thu Jul 26 01:20:35 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 (7385 MiB free)
memory of node 1: 16384 MiB (15583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295840-1532560831/watcher-4295840-1532560831 -o /tmp/evaluation-result-4295840-1532560831/solver-4295840-1532560831 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295840-1532560831.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=4225, runsolver pid=4222
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 2.08 2.11 2.13 3/220 4240
/proc/meminfo: memFree=23459220/32770624 swapFree=67076648/67108860
[pid=4225] ppid=4222 vsize=15011656 memory=74440 CPUtime=0.11 cores=1,3,5,7
/proc/4225/stat : 4225 (java) S 4222 4225 29212 0 -1 1077944320 6851 0 0 0 9 2 0 0 20 0 15 0 73646297 15371935744 18610 33554432000 4194304 4196468 140733511713456 140733511696000 140226009816823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
/proc/4225/statm: 3752914 18610 2755 1 0 3715374 0
[pid=4225/tid=4227] ppid=4222 vsize=15011656 memory=7100839887284243048 CPUtime=0.08 cores=1,3,5,7
/proc/4225/task/4227/stat : 4227 (java) R 4222 4225 29212 0 -1 4202560 5250 0 0 0 7 1 0 0 20 0 15 0 73646298 15371935744 18940 33554432000 4194304 4196468 140733511713456 140225981621024 140225996038143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4228] ppid=4222 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4228/stat : 4228 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 18940 33554432000 4194304 4196468 140733511713456 140226014059536 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4229] ppid=4222 vsize=15011656 memory=139717253531264 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4229/stat : 4229 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 18940 33554432000 4194304 4196468 140733511713456 140225789762704 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4230] ppid=4222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4230/stat : 4230 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 18940 33554432000 4194304 4196468 140733511713456 140225788709648 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4231] ppid=4222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4231/stat : 4231 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 18940 33554432000 4194304 4196468 140733511713456 140225787657104 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4232] ppid=4222 vsize=15011656 memory=139717253531264 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4232/stat : 4232 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646301 15371935744 18940 33554432000 4194304 4196468 140733511713456 140225349118192 140226009827970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4233] ppid=4222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4233/stat : 4233 (java) S 4222 4225 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73646301 15371935744 18940 33554432000 4194304 4196468 140733511713456 140224608855200 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4234] ppid=4222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4234/stat : 4234 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646301 15371935744 18940 33554432000 4194304 4196468 140733511713456 140224373973744 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4235] ppid=4222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4235/stat : 4235 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 18940 33554432000 4194304 4196468 140733511713456 140223999465424 140226009835419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4236] ppid=4222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4236/stat : 4236 (java) S 4222 4225 29212 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 18940 33554432000 4194304 4196468 140733511713456 140225348066032 140226009827970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4237] ppid=4222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4237/stat : 4237 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 18940 33554432000 4194304 4196468 140733511713456 140225347013488 140226009827970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4238] ppid=4222 vsize=15011656 memory=139717253531264 CPUtime=0.01 cores=1,3,5,7
/proc/4225/task/4238/stat : 4238 (java) R 4222 4225 29212 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 73646304 15371935744 19005 33554432000 4194304 4196468 140733511713456 140225345960432 140225989126731 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4239] ppid=4222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4239/stat : 4239 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 19005 33554432000 4194304 4196468 140733511713456 140223501560672 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4240] ppid=4222 vsize=15011656 memory=139717253531264 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4240/stat : 4240 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 19005 33554432000 4194304 4196468 140733511713456 140225344907824 140226009827970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74440 KiB
[startup+0.210484 s]*
/proc/loadavg: 2.08 2.11 2.13 4/220 4240
/proc/meminfo: memFree=23445764/32770624 swapFree=67076648/67108860
[pid=4225] ppid=4222 vsize=15011656 memory=86752 CPUtime=0.26 cores=1,3,5,7
/proc/4225/stat : 4225 (java) S 4222 4225 29212 0 -1 1077944320 10100 0 0 0 23 3 0 0 20 0 15 0 73646297 15371935744 21688 33554432000 4194304 4196468 140733511713456 140733511696000 140226009816823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
/proc/4225/statm: 3752914 21688 2882 1 0 3715374 0
[pid=4225/tid=4227] ppid=4222 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4225/task/4227/stat : 4227 (java) R 4222 4225 29212 0 -1 4202560 8014 0 0 0 18 2 0 0 20 0 15 0 73646298 15371935744 21754 33554432000 4194304 4196468 140733511713456 140225981643216 140225995496948 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4228] ppid=4222 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4228/stat : 4228 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 21754 33554432000 4194304 4196468 140733511713456 140226014059536 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4229] ppid=4222 vsize=15011656 memory=139717253560534 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4229/stat : 4229 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 21754 33554432000 4194304 4196468 140733511713456 140225789762704 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4230] ppid=4222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4230/stat : 4230 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 21754 33554432000 4194304 4196468 140733511713456 140225788709648 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4231] ppid=4222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4231/stat : 4231 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 21754 33554432000 4194304 4196468 140733511713456 140225787657104 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4232] ppid=4222 vsize=15011656 memory=139717253531264 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4232/stat : 4232 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646301 15371935744 21754 33554432000 4194304 4196468 140733511713456 140225349118192 140226009827970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4233] ppid=4222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4233/stat : 4233 (java) S 4222 4225 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73646301 15371935744 21754 33554432000 4194304 4196468 140733511713456 140224608855200 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4234] ppid=4222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4234/stat : 4234 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646301 15371935744 21754 33554432000 4194304 4196468 140733511713456 140224373973744 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4235] ppid=4222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4235/stat : 4235 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 21754 33554432000 4194304 4196468 140733511713456 140223999465424 140226009835419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4236] ppid=4222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4236/stat : 4236 (java) R 4222 4225 29212 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 21754 33554432000 4194304 4196468 140733511713456 140225348066032 140226009827970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4237] ppid=4222 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4225/task/4237/stat : 4237 (java) R 4222 4225 29212 0 -1 4202560 142 0 0 0 1 0 0 0 20 0 15 0 73646304 15371935744 21754 33554432000 4194304 4196468 140733511713456 140225347004992 140225990517800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4238] ppid=4222 vsize=15011656 memory=139717253531264 CPUtime=0.03 cores=1,3,5,7
/proc/4225/task/4238/stat : 4238 (java) S 4222 4225 29212 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 15 0 73646304 15371935744 21754 33554432000 4194304 4196468 140733511713456 140225345960432 140226009827970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4239] ppid=4222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4239/stat : 4239 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 21754 33554432000 4194304 4196468 140733511713456 140223501560672 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4240] ppid=4222 vsize=15011656 memory=139717253531264 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4240/stat : 4240 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 21754 33554432000 4194304 4196468 140733511713456 140225344907824 140226009827970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86752 KiB
[startup+0.31059 s]*
/proc/loadavg: 2.08 2.11 2.13 3/220 4240
/proc/meminfo: memFree=23441840/32770624 swapFree=67076648/67108860
[pid=4225] ppid=4222 vsize=15011656 memory=90224 CPUtime=0.43 cores=1,3,5,7
/proc/4225/stat : 4225 (java) S 4222 4225 29212 0 -1 1077944320 10645 0 0 0 40 3 0 0 20 0 15 0 73646297 15371935744 22556 33554432000 4194304 4196468 140733511713456 140733511696000 140226009816823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
/proc/4225/statm: 3752914 22556 2991 1 0 3715374 0
[pid=4225/tid=4227] ppid=4222 vsize=15011656 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/4225/task/4227/stat : 4227 (java) R 4222 4225 29212 0 -1 4202560 8391 0 0 0 27 3 0 0 20 0 15 0 73646298 15371935744 22556 33554432000 4194304 4196468 140733511713456 140225981620976 140225991381776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4228] ppid=4222 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4228/stat : 4228 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 22556 33554432000 4194304 4196468 140733511713456 140226014059536 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4229] ppid=4222 vsize=15011656 memory=139717253531264 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4229/stat : 4229 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 22556 33554432000 4194304 4196468 140733511713456 140225789762704 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4230] ppid=4222 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4230/stat : 4230 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 22556 33554432000 4194304 4196468 140733511713456 140225788709648 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4231] ppid=4222 vsize=15011656 memory=139717098184911 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4231/stat : 4231 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646299 15371935744 22556 33554432000 4194304 4196468 140733511713456 140225787657104 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4232] ppid=4222 vsize=15011656 memory=139717253531264 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4232/stat : 4232 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646301 15371935744 22556 33554432000 4194304 4196468 140733511713456 140225349118192 140226009827970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4233] ppid=4222 vsize=15011656 memory=139717098205647 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4233/stat : 4233 (java) S 4222 4225 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73646301 15371935744 22556 33554432000 4194304 4196468 140733511713456 140224608855200 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4234] ppid=4222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4234/stat : 4234 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646301 15371935744 22556 33554432000 4194304 4196468 140733511713456 140224373973744 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4235] ppid=4222 vsize=15011656 memory=279434196383616 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4235/stat : 4235 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 22556 33554432000 4194304 4196468 140733511713456 140223999465424 140226009835419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4236] ppid=4222 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4225/task/4236/stat : 4236 (java) S 4222 4225 29212 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 15 0 73646304 15371935744 22556 33554432000 4194304 4196468 140733511713456 140225348066032 140226009827970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4237] ppid=4222 vsize=15011656 memory=139717098217359 CPUtime=0.02 cores=1,3,5,7
/proc/4225/task/4237/stat : 4237 (java) S 4222 4225 29212 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 15 0 73646304 15371935744 22556 33554432000 4194304 4196468 140733511713456 140225347013488 140226009827970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4238] ppid=4222 vsize=15011656 memory=139717253531264 CPUtime=0.08 cores=1,3,5,7
/proc/4225/task/4238/stat : 4238 (java) R 4222 4225 29212 0 -1 4202560 302 0 0 0 8 0 0 0 20 0 15 0 73646304 15371935744 22556 33554432000 4194304 4196468 140733511713456 140225345956160 140225988520400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4239] ppid=4222 vsize=15011656 memory=139717098222495 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4239/stat : 4239 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 22556 33554432000 4194304 4196468 140733511713456 140223501560672 140226009827029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4240] ppid=4222 vsize=15011656 memory=139717327177561 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4240/stat : 4240 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646304 15371935744 22556 33554432000 4194304 4196468 140733511713456 140225344907824 140226009827970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90224 KiB
[startup+0.702806 s]
/proc/loadavg: 2.08 2.11 2.13 3/220 4240
/proc/meminfo: memFree=23417780/32770624 swapFree=67076648/67108860
[pid=4225] ppid=4222 vsize=15020052 memory=130068 CPUtime=1.04 cores=1,3,5,7
/proc/4225/stat : 4225 (java) S 4222 4225 29212 0 -1 1077944320 17734 0 0 0 98 6 0 0 20 0 15 0 73646297 15380533248 32517 33554432000 4194304 4196468 140733511713456 140733511696000 140226009816823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
/proc/4225/statm: 3755013 32517 3166 1 0 3716398 0
[pid=4225/tid=4227] ppid=4222 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4225/task/4227/stat : 4227 (java) R 4222 4225 29212 0 -1 4202560 15020 0 0 0 63 4 0 0 20 0 15 0 73646298 15380533248 32517 33554432000 4194304 4196468 140733511713456 140225981650256 140226009838749 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4228] ppid=4222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4228/stat : 4228 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15380533248 32517 33554432000 4194304 4196468 140733511713456 140226014059536 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4229] ppid=4222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4229/stat : 4229 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15380533248 32517 33554432000 4194304 4196468 140733511713456 140225789762704 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4230] ppid=4222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4230/stat : 4230 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15380533248 32517 33554432000 4194304 4196468 140733511713456 140225788709648 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4231] ppid=4222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4231/stat : 4231 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646299 15380533248 32517 33554432000 4194304 4196468 140733511713456 140225787657104 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4232] ppid=4222 vsize=15020052 memory=157893399684071 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4232/stat : 4232 (java) S 4222 4225 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73646301 15380533248 32517 33554432000 4194304 4196468 140733511713456 140225349118192 140226009827970 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4233] ppid=4222 vsize=15020052 memory=431795 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4233/stat : 4233 (java) S 4222 4225 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73646301 15380533248 32517 33554432000 4194304 4196468 140733511713456 140224608855200 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4234] ppid=4222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4234/stat : 4234 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646301 15380533248 32517 33554432000 4194304 4196468 140733511713456 140224373973744 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4235] ppid=4222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4235/stat : 4235 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15380533248 32517 33554432000 4194304 4196468 140733511713456 140223999465424 140226009835419 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4236] ppid=4222 vsize=15020052 memory=7809523229951467576 CPUtime=0.07 cores=1,3,5,7
/proc/4225/task/4236/stat : 4236 (java) S 4222 4225 29212 0 -1 1077944384 510 0 0 0 7 0 0 0 20 0 15 0 73646304 15380533248 32517 33554432000 4194304 4196468 140733511713456 140225348066032 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4237] ppid=4222 vsize=15020052 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4225/task/4237/stat : 4237 (java) R 4222 4225 29212 0 -1 4202560 423 0 0 0 10 0 0 0 20 0 15 0 73646304 15380533248 32517 33554432000 4194304 4196468 140733511713456 140225347001040 140225994942717 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4238] ppid=4222 vsize=15020052 memory=-3472574513799858009 CPUtime=0.17 cores=1,3,5,7
/proc/4225/task/4238/stat : 4238 (java) S 4222 4225 29212 0 -1 1077944384 442 0 0 0 17 0 0 0 20 0 15 0 73646304 15380533248 32517 33554432000 4194304 4196468 140733511713456 140225345960432 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4239] ppid=4222 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4239/stat : 4239 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15380533248 32517 33554432000 4194304 4196468 140733511713456 140223501560672 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4240] ppid=4222 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4240/stat : 4240 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646304 15380533248 32517 33554432000 4194304 4196468 140733511713456 140225344907824 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130068 KiB
[startup+1.50075 s]
/proc/loadavg: 2.08 2.11 2.13 5/220 4240
/proc/meminfo: memFree=23386824/32770624 swapFree=67076648/67108860
[pid=4225] ppid=4222 vsize=15024148 memory=186656 CPUtime=3.09 cores=1,3,5,7
/proc/4225/stat : 4225 (java) S 4222 4225 29212 0 -1 1077944320 21596 0 0 0 300 9 0 0 20 0 15 0 73646297 15384727552 46664 33554432000 4194304 4196468 140733511713456 140733511696000 140226009816823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
/proc/4225/statm: 3756037 46664 3207 1 0 3717422 0
[pid=4225/tid=4227] ppid=4222 vsize=15024148 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/4225/task/4227/stat : 4227 (java) R 4222 4225 29212 0 -1 4202560 16118 0 0 0 141 5 0 0 20 0 15 0 73646298 15384727552 46664 33554432000 4194304 4196468 140733511713456 140225981652400 140225471417539 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4228] ppid=4222 vsize=15024148 memory=7738142265731864689 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4228/stat : 4228 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15384727552 46664 33554432000 4194304 4196468 140733511713456 140226014059536 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4229] ppid=4222 vsize=15024148 memory=7660735569049904484 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4229/stat : 4229 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15384727552 46664 33554432000 4194304 4196468 140733511713456 140225789762704 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4230] ppid=4222 vsize=15024148 memory=7660733357174842987 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4230/stat : 4230 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15384727552 46664 33554432000 4194304 4196468 140733511713456 140225788709648 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4231] ppid=4222 vsize=15024148 memory=7660737772384903275 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4231/stat : 4231 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646299 15384727552 46664 33554432000 4194304 4196468 140733511713456 140225787657104 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4232] ppid=4222 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4232/stat : 4232 (java) S 4222 4225 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73646301 15384727552 46664 33554432000 4194304 4196468 140733511713456 140225349118192 140226009827970 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
################
# More data... #
################
[startup+3.11062 s]
/proc/loadavg: 2.08 2.11 2.13 5/220 4240
/proc/meminfo: memFree=23014500/32770624 swapFree=67076648/67108860
[pid=4225] ppid=4222 vsize=15026264 memory=558472 CPUtime=8.35 cores=1,3,5,7
/proc/4225/stat : 4225 (java) S 4222 4225 29212 0 -1 1077944320 28537 0 0 0 818 17 0 0 20 0 15 0 73646297 15386894336 139618 33554432000 4194304 4196468 140733511713456 140733511696000 140226009816823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
/proc/4225/statm: 3756566 139618 3224 1 0 3717422 0
[pid=4225/tid=4227] ppid=4222 vsize=15026264 memory=2852 CPUtime=3.06 cores=1,3,5,7
/proc/4225/task/4227/stat : 4227 (java) R 4222 4225 29212 0 -1 4202560 16711 0 0 0 295 11 0 0 20 0 15 0 73646298 15386894336 139618 33554432000 4194304 4196468 140733511713456 140225981647216 140225465633263 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4228] ppid=4222 vsize=15026264 memory=2916 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4228/stat : 4228 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15386894336 139618 33554432000 4194304 4196468 140733511713456 140226014059536 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4229] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4229/stat : 4229 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15386894336 139618 33554432000 4194304 4196468 140733511713456 140225789762704 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4230] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4230/stat : 4230 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15386894336 139618 33554432000 4194304 4196468 140733511713456 140225788709648 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4231] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4231/stat : 4231 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646299 15386894336 139618 33554432000 4194304 4196468 140733511713456 140225787657104 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4232] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4232/stat : 4232 (java) S 4222 4225 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73646301 15386894336 139618 33554432000 4194304 4196468 140733511713456 140225349118192 140226009827970 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4233] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4233/stat : 4233 (java) S 4222 4225 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73646301 15386894336 139618 33554432000 4194304 4196468 140733511713456 140224608855200 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4234] ppid=4222 vsize=15026264 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4234/stat : 4234 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646301 15386894336 139618 33554432000 4194304 4196468 140733511713456 140224373973744 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4235] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4235/stat : 4235 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15386894336 139618 33554432000 4194304 4196468 140733511713456 140223999465424 140226009835419 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4236] ppid=4222 vsize=15026264 memory=0 CPUtime=2.04 cores=1,3,5,7
/proc/4225/task/4236/stat : 4236 (java) R 4222 4225 29212 0 -1 4202560 3793 0 0 0 203 1 0 0 20 0 15 0 73646304 15386894336 139618 33554432000 4194304 4196468 140733511713456 140225348052592 140225993313611 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4237] ppid=4222 vsize=15026264 memory=0 CPUtime=2.03 cores=1,3,5,7
/proc/4225/task/4237/stat : 4237 (java) R 4222 4225 29212 0 -1 4202560 2815 0 0 0 202 1 0 0 20 0 15 0 73646304 15386894336 139618 33554432000 4194304 4196468 140733511713456 140225347002160 140225991360546 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4238] ppid=4222 vsize=15026264 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/4225/task/4238/stat : 4238 (java) S 4222 4225 29212 0 -1 1077944384 3878 0 0 0 115 2 0 0 20 0 15 0 73646304 15386894336 139618 33554432000 4194304 4196468 140733511713456 140225345960432 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4239] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4239/stat : 4239 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15386894336 139618 33554432000 4194304 4196468 140733511713456 140223501560672 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4240] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4240/stat : 4240 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646304 15386894336 139618 33554432000 4194304 4196468 140733511713456 140225344907824 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
Current children cumulated CPU time: 8.35 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 558472 KiB
[startup+3.52518 s]
# the end of solver process 4225 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.21909 s, system=0.215751 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20086 s]
/proc/loadavg: 2.08 2.11 2.13 5/220 4240
/proc/meminfo: memFree=23014500/32770624 swapFree=67076648/67108860
[pid=4225] ppid=4222 vsize=15026264 memory=601012 CPUtime=8.63 cores=1,3,5,7
/proc/4225/stat : 4225 (java) S 4222 4225 29212 0 -1 1077944320 28948 0 0 0 845 18 0 0 20 0 15 0 73646297 15386894336 150253 33554432000 4194304 4196468 140733511713456 140733511696000 140226009816823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
/proc/4225/statm: 3756566 150253 3224 1 0 3717422 0
[pid=4225/tid=4227] ppid=4222 vsize=15026264 memory=0 CPUtime=3.16 cores=1,3,5,7
/proc/4225/task/4227/stat : 4227 (java) R 4222 4225 29212 0 -1 4202560 16732 0 0 0 304 12 0 0 20 0 15 0 73646298 15386894336 150253 33554432000 4194304 4196468 140733511713456 140225981652608 140225473726257 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4228] ppid=4222 vsize=15026264 memory=4638778402627734864 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4228/stat : 4228 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15386894336 150253 33554432000 4194304 4196468 140733511713456 140226014059536 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4229] ppid=4222 vsize=15026264 memory=7660731188199450217 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4229/stat : 4229 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15386894336 150253 33554432000 4194304 4196468 140733511713456 140225789762704 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4230] ppid=4222 vsize=15026264 memory=6442213872044763743 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4230/stat : 4230 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646299 15386894336 150253 33554432000 4194304 4196468 140733511713456 140225788709648 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4231] ppid=4222 vsize=15026264 memory=6745997029959054466 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4231/stat : 4231 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646299 15386894336 150253 33554432000 4194304 4196468 140733511713456 140225787657104 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4232] ppid=4222 vsize=15026264 memory=-8911111195711463796 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4232/stat : 4232 (java) S 4222 4225 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73646301 15386894336 150253 33554432000 4194304 4196468 140733511713456 140225349118192 140226009827970 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4233] ppid=4222 vsize=15026264 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4233/stat : 4233 (java) S 4222 4225 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73646301 15386894336 150253 33554432000 4194304 4196468 140733511713456 140224608855200 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4234] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4234/stat : 4234 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646301 15386894336 150253 33554432000 4194304 4196468 140733511713456 140224373973744 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4235] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4235/stat : 4235 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15386894336 150253 33554432000 4194304 4196468 140733511713456 140223999465424 140226009835419 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4236] ppid=4222 vsize=15026264 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/4225/task/4236/stat : 4236 (java) R 4222 4225 29212 0 -1 4202560 4105 0 0 0 212 1 0 0 20 0 15 0 73646304 15386894336 150253 33554432000 4194304 4196468 140733511713456 140225348052592 140225989509927 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4237] ppid=4222 vsize=15026264 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/4225/task/4237/stat : 4237 (java) R 4222 4225 29212 0 -1 4202560 2893 0 0 0 212 1 0 0 20 0 15 0 73646304 15386894336 150253 33554432000 4194304 4196468 140733511713456 140225347013376 140225991360940 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4238] ppid=4222 vsize=15026264 memory=4629799972190126725 CPUtime=1.18 cores=1,3,5,7
/proc/4225/task/4238/stat : 4238 (java) S 4222 4225 29212 0 -1 1077944384 3878 0 0 0 116 2 0 0 20 0 15 0 73646304 15386894336 150253 33554432000 4194304 4196468 140733511713456 140225345960432 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4239] ppid=4222 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4239/stat : 4239 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646304 15386894336 150253 33554432000 4194304 4196468 140733511713456 140223501560672 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4240] ppid=4222 vsize=15026264 memory=279434196156656 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4240/stat : 4240 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646304 15386894336 150253 33554432000 4194304 4196468 140733511713456 140225344907824 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
Current children cumulated CPU time: 8.63 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 601012 KiB
[startup+3.40078 s]
/proc/loadavg: 2.08 2.11 2.13 5/220 4240
/proc/meminfo: memFree=23014500/32770624 swapFree=67076648/67108860
[pid=4225] ppid=4222 vsize=15683912 memory=674724 CPUtime=9.16 cores=1,3,5,7
/proc/4225/stat : 4225 (java) S 4222 4225 29212 0 -1 1077944320 29790 0 0 0 897 19 0 0 20 0 19 0 73646297 16060325888 168681 33554432000 4194304 4196468 140733511713456 140733511696000 140226009816823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
/proc/4225/statm: 3920978 168681 3228 1 0 3881834 0
[pid=4225/tid=4227] ppid=4222 vsize=15683912 memory=0 CPUtime=3.33 cores=1,3,5,7
/proc/4225/task/4227/stat : 4227 (java) S 4222 4225 29212 0 -1 1077944384 17135 0 0 0 319 14 0 0 20 0 19 0 73646298 16060325888 168681 33554432000 4194304 4196468 140733511713456 140225981656064 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4228] ppid=4222 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4228/stat : 4228 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 73646299 16060325888 168681 33554432000 4194304 4196468 140733511713456 140226014059536 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4229] ppid=4222 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4229/stat : 4229 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 73646299 16060325888 168681 33554432000 4194304 4196468 140733511713456 140225789762704 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4230] ppid=4222 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4230/stat : 4230 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 73646299 16060325888 168681 33554432000 4194304 4196468 140733511713456 140225788709648 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4231] ppid=4222 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4231/stat : 4231 (java) S 4222 4225 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73646299 16060325888 168681 33554432000 4194304 4196468 140733511713456 140225787657104 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4232] ppid=4222 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4232/stat : 4232 (java) S 4222 4225 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 73646301 16060325888 168681 33554432000 4194304 4196468 140733511713456 140225349118192 140226009827970 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4233] ppid=4222 vsize=15683912 memory=502812 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4233/stat : 4233 (java) S 4222 4225 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 73646301 16060325888 168681 33554432000 4194304 4196468 140733511713456 140224608855200 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4234] ppid=4222 vsize=15683912 memory=465 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4234/stat : 4234 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 73646301 16060325888 168681 33554432000 4194304 4196468 140733511713456 140224373973744 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4235] ppid=4222 vsize=15683912 memory=7815263158104752195 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4235/stat : 4235 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73646304 16060325888 168681 33554432000 4194304 4196468 140733511713456 140223999465424 140226009835419 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4236] ppid=4222 vsize=15683912 memory=9510 CPUtime=2.3 cores=1,3,5,7
/proc/4225/task/4236/stat : 4236 (java) S 4222 4225 29212 0 -1 1077944384 4486 0 0 0 228 2 0 0 20 0 19 0 73646304 16060325888 168681 33554432000 4194304 4196468 140733511713456 140225348066032 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4237] ppid=4222 vsize=15683912 memory=6944656592455360604 CPUtime=2.29 cores=1,3,5,7
/proc/4225/task/4237/stat : 4237 (java) S 4222 4225 29212 0 -1 1077944384 2893 0 0 0 228 1 0 0 20 0 19 0 73646304 16060325888 168681 33554432000 4194304 4196468 140733511713456 140225347013488 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4238] ppid=4222 vsize=15683912 memory=7019467087923065396 CPUtime=1.22 cores=1,3,5,7
/proc/4225/task/4238/stat : 4238 (java) S 4222 4225 29212 0 -1 1077944384 3885 0 0 0 120 2 0 0 20 0 19 0 73646304 16060325888 168681 33554432000 4194304 4196468 140733511713456 140225345960432 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4239] ppid=4222 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4239/stat : 4239 (java) S 4222 4225 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73646304 16060325888 168681 33554432000 4194304 4196468 140733511713456 140223501560672 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4240] ppid=4222 vsize=15683912 memory=71652 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4240/stat : 4240 (java) S 4222 4225 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 73646304 16060325888 168681 33554432000 4194304 4196468 140733511713456 140225344907824 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
Current children cumulated CPU time: 9.16 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 674724 KiB
[startup+3.50253 s]
/proc/loadavg: 2.08 2.11 2.13 5/220 4240
/proc/meminfo: memFree=23014500/32770624 swapFree=67076648/67108860
[pid=4225] ppid=4222 vsize=15552836 memory=676948 CPUtime=9.4 cores=1,3,5,7
/proc/4225/stat : 4225 (java) S 4222 4225 29212 0 -1 1077944320 29833 2512 0 0 906 20 14 0 20 0 17 0 73646297 15926104064 169237 33554432000 4194304 4196468 140733511713456 140733511696000 140226009816823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
/proc/4225/statm: 3888209 169237 3228 1 0 3849065 0
[pid=4225/tid=4227] ppid=4222 vsize=15552836 memory=2852 CPUtime=3.49 cores=1,3,5,7
/proc/4225/task/4227/stat : 4227 (java) R 4222 4225 29212 0 -1 4202560 17156 2512 0 0 321 14 14 0 20 0 17 0 73646298 15926104064 169237 33554432000 4194304 4196468 140733511713456 140225981654384 140733511772098 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4228] ppid=4222 vsize=15552836 memory=2916 CPUtime=0.14 cores=1,3,5,7
/proc/4225/task/4228/stat : 4228 (java) S 4222 4225 29212 0 -1 1077944384 1 2512 0 0 0 0 14 0 20 0 17 0 73646299 15926104064 169237 33554432000 4194304 4196468 140733511713456 140226014059536 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4229] ppid=4222 vsize=15552836 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/4225/task/4229/stat : 4229 (java) S 4222 4225 29212 0 -1 1077944384 1 2512 0 0 0 0 14 0 20 0 17 0 73646299 15926104064 169237 33554432000 4194304 4196468 140733511713456 140225789762704 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4230] ppid=4222 vsize=15552836 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/4225/task/4230/stat : 4230 (java) S 4222 4225 29212 0 -1 1077944384 1 2512 0 0 0 0 14 0 20 0 17 0 73646299 15926104064 169237 33554432000 4194304 4196468 140733511713456 140225788709648 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4231] ppid=4222 vsize=15552836 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/4225/task/4231/stat : 4231 (java) S 4222 4225 29212 0 -1 1077944384 2 2512 0 0 0 0 14 0 20 0 17 0 73646299 15926104064 169237 33554432000 4194304 4196468 140733511713456 140225787657104 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4232] ppid=4222 vsize=15552836 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/4225/task/4232/stat : 4232 (java) S 4222 4225 29212 0 -1 1077944384 5 2512 0 0 0 0 14 0 20 0 17 0 73646301 15926104064 169237 33554432000 4194304 4196468 140733511713456 140225349118192 140226009827970 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4233] ppid=4222 vsize=15552836 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/4225/task/4233/stat : 4233 (java) S 4222 4225 29212 0 -1 1077944384 13 2512 0 0 0 0 14 0 20 0 17 0 73646301 15926104064 169237 33554432000 4194304 4196468 140733511713456 140224608855200 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4234] ppid=4222 vsize=15552836 memory=8112282956445269571 CPUtime=0.14 cores=1,3,5,7
/proc/4225/task/4234/stat : 4234 (java) S 4222 4225 29212 0 -1 1077944384 1 2512 0 0 0 0 14 0 20 0 17 0 73646301 15926104064 169237 33554432000 4194304 4196468 140733511713456 140224373973744 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4235] ppid=4222 vsize=15552836 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/4225/task/4235/stat : 4235 (java) S 4222 4225 29212 0 -1 1077944384 3 2512 0 0 0 0 14 0 20 0 17 0 73646304 15926104064 169237 33554432000 4194304 4196468 140733511713456 140223999465424 140226009835419 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4236] ppid=4222 vsize=15552836 memory=0 CPUtime=2.46 cores=1,3,5,7
/proc/4225/task/4236/stat : 4236 (java) S 4222 4225 29212 0 -1 1077944384 4486 2512 0 0 230 2 14 0 20 0 17 0 73646304 15926104064 169237 33554432000 4194304 4196468 140733511713456 140225348066032 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4237] ppid=4222 vsize=15552836 memory=0 CPUtime=2.45 cores=1,3,5,7
/proc/4225/task/4237/stat : 4237 (java) R 4222 4225 29212 0 -1 1077944384 2894 2512 0 0 230 1 14 0 20 0 17 0 73646304 15926104064 169237 33554432000 4194304 4196468 140733511713456 140225347013488 140226009827970 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4238] ppid=4222 vsize=15552836 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/4225/task/4238/stat : 4238 (java) R 4222 4225 29212 0 -1 4202560 3888 2512 0 0 121 2 14 0 20 0 17 0 73646304 15926104064 169237 33554432000 4194304 4196468 140733511713456 140225345960432 140226009828758 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4239] ppid=4222 vsize=15552836 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/4225/task/4239/stat : 4239 (java) S 4222 4225 29212 0 -1 1077944384 3 2512 0 0 0 0 14 0 20 0 17 0 73646304 15926104064 169237 33554432000 4194304 4196468 140733511713456 140223501560672 140226009827029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
[pid=4225/tid=4240] ppid=4222 vsize=15552836 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/4225/task/4240/stat : 4240 (java) S 4222 4225 29212 0 -1 1077944384 1 2512 0 0 0 0 14 0 20 0 17 0 73646304 15926104064 169237 33554432000 4194304 4196468 140733511713456 140225344907824 140226009827970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12926976 140733511721972 140733511722249 140733511722249 140733511725007 0
Current children cumulated CPU time: 9.4 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 676948 KiB
Child status: 0
Real time (s): 3.52524
CPU time (s): 9.43484
CPU user time (s): 9.21909
CPU system time (s): 0.215751
CPU usage (%): 267.637
Max. virtual memory (cumulated for all children) (KiB): 15683912
Max. memory (cumulated for all children) (KiB): 676948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.21909
system time used= 0.215751
maximum resident set size= 679608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4143
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 4225
# total CPU time (s): 9.43484
# total CPU user time (s): 9.21909
# total CPU system time (s): 0.215751
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055107 second user time and 0.071943 second system time
The end