0.66/0.53
0.66/0.53 scop order+minisat_release (2018-06-13)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Jul 26 14:09:04 CEST 2018
0.66/0.56 c PID: 10846
0.66/0.56 c IP: 172.20.3.150
0.66/0.56 c HOST: node150.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.05/1.05 c (0,0) Parsing End
2.05/1.06 c (0,0) CSP: 161 int (0 aux), 0 bool (0 aux), 78 ctr, max domain size 49
2.05/1.06 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.05/1.06 c (0,0) Constraint Name Generate Begin
2.05/1.06 c (0,0) Ctr:HOME/instance-4296200-1532606943.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.05/1.06 c (0,0) Constraint Name Generate End
2.05/1.06 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.05/1.06 c (0,0) CSP to CSPinCNF Begin
7.07/2.72 c (2,2) translated 8 (10%) constraints
9.43/3.59 c (3,3) translated 16 (20%) constraints
11.43/4.35 c (3,3) translated 24 (30%) constraints
12.34/5.06 c (4,4) translated 32 (40%) constraints
12.97/5.67 c (5,5) translated 39 (50%) constraints
13.71/6.37 c (5,5) translated 47 (60%) constraints
14.20/6.73 c (6,6) translated 55 (70%) constraints
14.20/6.73 c (6,6) translated 63 (80%) constraints
14.20/6.73 c (6,6) translated 71 (90%) constraints
14.20/6.73 c (6,6) translated 78 (100%) constraints
14.98/7.14 c (6,6) STATISTICS1:HOME/instance-4296200-1532606943.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,13538,83477,49,49,50,2,49:1176,49:7154;10:87864;2:144893;1:14672,50:49;49:2;5:980;4:32340;3:17640;2:32438;1:28,2:1176;1:252259;0:49,
14.98/7.14 c (6,6) ===========================================
14.98/7.14 c (6,6) Order
14.98/7.14 c (6,6) ===========================================
15.82/7.43 c (6,6) translated 8348 (10%) constraints
16.12/7.58 c (7,7) translated 16696 (20%) constraints
16.36/7.71 c (7,7) translated 25044 (30%) constraints
16.47/7.84 c (7,7) translated 33391 (40%) constraints
16.56/7.97 c (7,7) translated 41739 (50%) constraints
16.68/8.10 c (7,7) translated 50087 (60%) constraints
16.87/8.23 c (7,7) translated 58434 (70%) constraints
16.99/8.36 c (7,7) translated 66782 (80%) constraints
17.09/8.49 c (7,7) translated 75130 (90%) constraints
17.84/8.77 c (8,8) translated 83477 (100%) constraints
17.84/8.77 c (8,8) CSP to CSPinCNF End
17.84/8.78 c (8,8) CSP: 161 int (0 aux), 13377 bool (13377 aux), 83505 ctr, max domain size 49
17.84/8.78 c (8,8) Heap : 189 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.84/8.78 c (8,8) CSPinCNF Propagation Begin
20.32/10.12 c (9,9) 4653 values, 25765 unsatisfiable literals, and 26757 valid clauses are removed
20.32/10.12 c (9,9) CSPinCNF Propagation End
20.32/10.13 c (9,9) CSP: 4134 int (3973 aux), 9404 bool (9404 aux), 56748 ctr, max domain size 49
20.32/10.13 c (9,9) Heap : 852 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.32/10.13 c (9,9) Simplify CSPinCNF Begin
20.58/10.27 c (9,9) Simplify CSPinCNF End
20.58/10.28 c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
20.58/10.28 c (9,9) Heap : 907 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.58/10.28 c (9,9) Calculate Precise Domain Begin
20.58/10.28 c (9,9) 0 values are removed by re-calculation
20.58/10.28 c (9,9) Calculate Precise Domain End
20.58/10.28 c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
20.58/10.28 c (9,9) Heap : 907 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.58/10.28 c (9,9) CSPinCNF to SatSolver Begin
22.00/10.70 c (10,9) 5910 (10 %) CSP clauses are encoded (14184 SAT variables, 69860 SAT clauses)
22.00/10.74 c (10,10) 11820 (20 %) CSP clauses are encoded (14184 SAT variables, 75770 SAT clauses)
22.00/10.79 c (10,10) 17730 (30 %) CSP clauses are encoded (14184 SAT variables, 81680 SAT clauses)
22.30/10.82 c (10,10) 23640 (40 %) CSP clauses are encoded (14184 SAT variables, 87590 SAT clauses)
22.30/10.84 c (10,10) 29550 (50 %) CSP clauses are encoded (14184 SAT variables, 93500 SAT clauses)
22.30/10.87 c (10,10) 35460 (60 %) CSP clauses are encoded (14184 SAT variables, 99410 SAT clauses)
22.41/10.90 c (10,10) 41370 (70 %) CSP clauses are encoded (14184 SAT variables, 105320 SAT clauses)
22.41/10.92 c (10,10) 47280 (80 %) CSP clauses are encoded (14184 SAT variables, 111230 SAT clauses)
22.41/10.95 c (10,10) 53190 (90 %) CSP clauses are encoded (14184 SAT variables, 117140 SAT clauses)
22.41/10.98 c (10,10) 59100 (100 %) CSP clauses are encoded (14184 SAT variables, 123050 SAT clauses)
22.41/10.98 c (10,10) CSPinCNF to SatSolver End
22.41/10.98 c (10,10) Heap : 1349 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.10/11.22 c (10,10) STATISTICS2:HOME/instance-4296200-1532606943.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,15890,59100,49,49,49,2,49:600;24:1380;4:372,49:4850;24:2860;10:67501;4:412;2:100851,49:26;25:1;24:20;5:565;4:20287;3:11968;2:26233,2:2352;1:171770,
23.10/11.22 c (10,10) SatSolver.solve Begin
23.10/11.22 c (10,10) 14184 bool, 123051 clause
23.10/11.22 c (10,10) 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-4296200-1532606943.xml-scop-10846.cnf HOME/instance-4296200-1532606943.xml-scop-10846.cnf.out
28.87/16.97 c (16,0) c This is COMiniSatPS.
28.87/16.97 c (16,0) c WARNING: for repeatability, setting FPU to use double precision
28.87/16.97 c (16,0) c ============================[ Problem Statistics ]=============================
28.87/16.97 c (16,0) c | |
28.87/16.97 c (16,0) c | Number of variables: 14184 |
28.87/16.97 c (16,0) c | Number of clauses: 123051 |
28.87/16.97 c (16,0) c | Parse time: 0.03 s |
28.87/16.97 c (16,0) c | Eliminated clauses: 0.19 Mb |
28.87/16.97 c (16,0) c Reduced to 9333 vars, 107449 cls (grow=0)
28.87/16.97 c (16,0) c No iterative elimination performed. (vars=9333, c/v ratio=11.5)
28.87/16.97 c (16,0) c | Simplification time: 0.12 s |
28.87/16.97 c (16,0) c | |
28.87/16.97 c (16,0) c ============================[ Search Statistics ]==============================
28.87/16.97 c (16,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
28.87/16.97 c (16,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
28.87/16.97 c (16,0) c ===============================================================================
28.87/16.97 c (16,0) c ===============================================================================
28.87/16.97 c (16,0) c restarts : 83
28.87/16.97 c (16,0) c conflicts : 30582 (5358 /sec)
28.87/16.97 c (16,0) c decisions : 89381 (0.00 % random) (15659 /sec)
28.87/16.97 c (16,0) c propagations : 18189080 (3186693 /sec)
28.87/16.97 c (16,0) c conflict literals : 2710964 (37.34 % deleted)
28.87/16.97 c (16,0) c CPU time : 5.70782 s
28.87/16.97 c (16,0)
28.87/16.97 c (16,0) s SATISFIABLE
28.87/17.00 c (16,10) SatSolver.solve End
28.87/17.00 c (16,10) Heap : 1682 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
28.87/17.00 c (16,10) Show results Begin
29.06/17.01 c (16,10) bot[0] = 0
29.06/17.01 c (16,10) bot[1] = 0
29.06/17.01 c (16,10) bot[2] = 0
29.06/17.01 c (16,10) bot[3] = 0
29.06/17.01 c (16,10) bot[4] = 0
29.06/17.01 c (16,10) bot[5] = 0
29.06/17.01 c (16,10) bot[6] = 0
29.06/17.01 c (16,10) id[0][0] = 1
29.06/17.01 c (16,10) id[0][1] = 23
29.06/17.01 c (16,10) id[0][2] = 22
29.06/17.01 c (16,10) id[0][3] = 21
29.06/17.01 c (16,10) id[0][4] = 11
29.06/17.01 c (16,10) id[0][5] = 8
29.06/17.01 c (16,10) id[0][6] = 2
29.06/17.01 c (16,10) id[1][0] = 20
29.06/17.01 c (16,10) id[1][1] = 42
29.06/17.01 c (16,10) id[1][2] = 36
29.06/17.01 c (16,10) id[1][3] = 40
29.06/17.01 c (16,10) id[1][4] = 39
29.06/17.01 c (16,10) id[1][5] = 38
29.06/17.01 c (16,10) id[1][6] = 7
29.06/17.01 c (16,10) id[2][0] = 9
29.06/17.01 c (16,10) id[2][1] = 28
29.06/17.01 c (16,10) id[2][2] = 26
29.06/17.01 c (16,10) id[2][3] = 45
29.06/17.01 c (16,10) id[2][4] = 48
29.06/17.01 c (16,10) id[2][5] = 33
29.06/17.01 c (16,10) id[2][6] = 17
29.06/17.01 c (16,10) id[3][0] = 18
29.06/17.01 c (16,10) id[3][1] = 27
29.06/17.01 c (16,10) id[3][2] = 29
29.06/17.01 c (16,10) id[3][3] = 31
29.06/17.01 c (16,10) id[3][4] = 30
29.06/17.02 c (16,10) id[3][5] = 46
29.06/17.02 c (16,10) id[3][6] = 14
29.06/17.02 c (16,10) id[4][0] = 15
29.06/17.02 c (16,10) id[4][1] = 43
29.06/17.02 c (16,10) id[4][2] = 47
29.06/17.02 c (16,10) id[4][3] = 37
29.06/17.02 c (16,10) id[4][4] = 34
29.06/17.02 c (16,10) id[4][5] = 32
29.06/17.02 c (16,10) id[4][6] = 12
29.06/17.02 c (16,10) id[5][0] = 6
29.06/17.02 c (16,10) id[5][1] = 41
29.06/17.02 c (16,10) id[5][2] = 35
29.06/17.02 c (16,10) id[5][3] = 25
29.06/17.02 c (16,10) id[5][4] = 44
29.06/17.02 c (16,10) id[5][5] = 24
29.06/17.02 c (16,10) id[5][6] = 10
29.06/17.02 c (16,10) id[6][0] = 3
29.06/17.02 c (16,10) id[6][1] = 13
29.06/17.02 c (16,10) id[6][2] = 16
29.06/17.02 c (16,10) id[6][3] = 19
29.06/17.02 c (16,10) id[6][4] = 5
29.06/17.02 c (16,10) id[6][5] = 4
29.06/17.02 c (16,10) id[6][6] = 0
29.06/17.02 c (16,10) left[0][0] = 0
29.06/17.02 c (16,10) left[0][1] = 1
29.06/17.02 c (16,10) left[0][2] = 3
29.06/17.02 c (16,10) left[0][3] = 3
29.06/17.02 c (16,10) left[0][4] = 3
29.06/17.02 c (16,10) left[0][5] = 2
29.06/17.02 c (16,10) left[0][6] = 1
29.06/17.02 c (16,10) left[1][0] = 0
29.06/17.02 c (16,10) left[1][1] = 6
29.06/17.02 c (16,10) left[1][2] = 9
29.06/17.02 c (16,10) left[1][3] = 5
29.06/17.02 c (16,10) left[1][4] = 7
29.06/17.02 c (16,10) left[1][5] = 5
29.06/17.02 c (16,10) left[1][6] = 7
29.06/17.02 c (16,10) left[2][0] = 0
29.06/17.02 c (16,10) left[2][1] = 8
29.06/17.02 c (16,10) left[2][2] = 4
29.06/17.02 c (16,10) left[2][3] = 7
29.06/17.02 c (16,10) left[2][4] = 6
29.06/17.02 c (16,10) left[2][5] = 9
29.06/17.02 c (16,10) left[2][6] = 4
29.06/17.02 c (16,10) left[3][0] = 0
29.06/17.02 c (16,10) left[3][1] = 4
29.06/17.02 c (16,10) left[3][2] = 5
29.06/17.02 c (16,10) left[3][3] = 4
29.06/17.02 c (16,10) left[3][4] = 6
29.06/17.02 c (16,10) left[3][5] = 6
29.06/17.02 c (16,10) left[3][6] = 8
29.06/17.02 c (16,10) left[4][0] = 0
29.06/17.02 c (16,10) left[4][1] = 9
29.06/17.02 c (16,10) left[4][2] = 9
29.06/17.02 c (16,10) left[4][3] = 9
29.06/17.02 c (16,10) left[4][4] = 6
29.06/17.02 c (16,10) left[4][5] = 8
29.06/17.02 c (16,10) left[4][6] = 7
29.06/17.02 c (16,10) left[5][0] = 0
29.06/17.02 c (16,10) left[5][1] = 6
29.06/17.02 c (16,10) left[5][2] = 6
29.06/17.02 c (16,10) left[5][3] = 4
29.06/17.02 c (16,10) left[5][4] = 7
29.06/17.02 c (16,10) left[5][5] = 8
29.06/17.02 c (16,10) left[5][6] = 4
29.06/17.02 c (16,10) left[6][0] = 0
29.06/17.02 c (16,10) left[6][1] = 2
29.06/17.02 c (16,10) left[6][2] = 2
29.06/17.02 c (16,10) left[6][3] = 3
29.06/17.02 c (16,10) left[6][4] = 1
29.06/17.02 c (16,10) left[6][5] = 1
29.06/17.02 c (16,10) left[6][6] = 1
29.06/17.02 c (16,10) right[0] = 0
29.06/17.02 c (16,10) right[1] = 0
29.06/17.02 c (16,10) right[2] = 0
29.06/17.02 c (16,10) right[3] = 0
29.06/17.02 c (16,10) right[4] = 0
29.06/17.02 c (16,10) right[5] = 0
29.06/17.02 c (16,10) right[6] = 0
29.06/17.02 c (16,10) top[0][0] = 0
29.06/17.02 c (16,10) top[0][1] = 0
29.06/17.02 c (16,10) top[0][2] = 0
29.06/17.02 c (16,10) top[0][3] = 0
29.06/17.02 c (16,10) top[0][4] = 0
29.06/17.02 c (16,10) top[0][5] = 0
29.06/17.02 c (16,10) top[0][6] = 0
29.06/17.02 c (16,10) top[1][0] = 3
29.06/17.02 c (16,10) top[1][1] = 9
29.06/17.02 c (16,10) top[1][2] = 8
29.06/17.02 c (16,10) top[1][3] = 6
29.06/17.02 c (16,10) top[1][4] = 5
29.06/17.02 c (16,10) top[1][5] = 8
29.06/17.02 c (16,10) top[1][6] = 2
29.06/17.02 c (16,10) top[2][0] = 1
29.06/17.02 c (16,10) top[2][1] = 5
29.06/17.02 c (16,10) top[2][2] = 4
29.06/17.02 c (16,10) top[2][3] = 7
29.06/17.02 c (16,10) top[2][4] = 9
29.06/17.02 c (16,10) top[2][5] = 5
29.06/17.02 c (16,10) top[2][6] = 1
29.06/17.02 c (16,10) top[3][0] = 3
29.06/17.02 c (16,10) top[3][1] = 5
29.06/17.02 c (16,10) top[3][2] = 7
29.06/17.02 c (16,10) top[3][3] = 8
29.06/17.02 c (16,10) top[3][4] = 7
29.06/17.02 c (16,10) top[3][5] = 8
29.06/17.02 c (16,10) top[3][6] = 3
29.06/17.02 c (16,10) top[4][0] = 2
29.06/17.02 c (16,10) top[4][1] = 7
29.06/17.02 c (16,10) top[4][2] = 6
29.06/17.02 c (16,10) top[4][3] = 9
29.06/17.02 c (16,10) top[4][4] = 4
29.06/17.02 c (16,10) top[4][5] = 7
29.06/17.02 c (16,10) top[4][6] = 2
29.06/17.02 c (16,10) top[5][0] = 1
29.06/17.02 c (16,10) top[5][1] = 5
29.06/17.02 c (16,10) top[5][2] = 8
29.06/17.02 c (16,10) top[5][3] = 4
29.06/17.02 c (16,10) top[5][4] = 9
29.06/17.02 c (16,10) top[5][5] = 4
29.06/17.02 c (16,10) top[5][6] = 2
29.06/17.02 c (16,10) top[6][0] = 3
29.06/17.02 c (16,10) top[6][1] = 8
29.06/17.02 c (16,10) top[6][2] = 9
29.06/17.02 c (16,10) top[6][3] = 5
29.06/17.02 c (16,10) top[6][4] = 6
29.06/17.02 c (16,10) top[6][5] = 5
29.06/17.02 c (16,10) top[6][6] = 2
29.06/17.02 s SATISFIABLE
29.06/17.02 v <instantiation>
29.06/17.02 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[0][5] id[0][6] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[1][5] id[1][6] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[2][5] id[2][6] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[3][5] id[3][6] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[4][5] id[4][6] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[5][5] id[5][6] id[6][0] id[6][1] id[6][2] id[6][3] id[6][4] id[6][5] id[6][6] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[0][5] top[0][6] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[1][5] top[1][6] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[2][5] top[2][6] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[3][5] top[3][6] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[4][5] top[4][6] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[5][5] top[5][6] top[6][0] top[6][1] top[6][2] top[6][3] top[6][4] top[6][5] top[6][6] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[0][5] left[0][6] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[1][5] left[1][6] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[2][5] left[2][6] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[3][5] left[3][6] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[4][5] left[4][6] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[5][5] left[5][6] left[6][0] left[6][1] left[6][2] left[6][3] left[6][4] left[6][5] left[6][6] bot[0] bot[1] bot[2] bot[3] bot[4] bot[5] bot[6] right[0] right[1] right[2] right[3] right[4] right[5] right[6]</list>
29.06/17.02 v <values>1 23 22 21 11 8 2 20 42 36 40 39 38 7 9 28 26 45 48 33 17 18 27 29 31 30 46 14 15 43 47 37 34 32 12 6 41 35 25 44 24 10 3 13 16 19 5 4 0 0 0 0 0 0 0 0 3 9 8 6 5 8 2 1 5 4 7 9 5 1 3 5 7 8 7 8 3 2 7 6 9 4 7 2 1 5 8 4 9 4 2 3 8 9 5 6 5 2 0 1 3 3 3 2 1 0 6 9 5 7 5 7 0 8 4 7 6 9 4 0 4 5 4 6 6 8 0 9 9 9 6 8 7 0 6 6 4 7 8 4 0 2 2 3 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
29.06/17.02 v </instantiation>
29.06/17.02 c (16,10) Show results End
29.06/17.02 c (16,10) Heap : 1682 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
29.06/17.02 c (16,10) 0,0,8,9,9,9,10,16,16,STOP-AFTER(ALL)
29.06/17.02 c END-Prog: Thu Jul 26 14:09:20 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 (9830 MiB free)
memory of node 1: 16384 MiB (10245 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296200-1532606943/watcher-4296200-1532606943 -o /tmp/evaluation-result-4296200-1532606943/solver-4296200-1532606943 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532605409-9419 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296200-1532606943.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=10846, runsolver pid=10843
[startup+0.100166 s]*
/proc/loadavg: 2.52 2.26 2.16 3/215 10861
/proc/meminfo: memFree=20435844/32770624 swapFree=67108860/67108860
[pid=10846] ppid=10843 vsize=15011656 memory=69692 CPUtime=0.12 cores=0,2,4,6
/proc/10846/stat : 10846 (java) S 10843 10846 8644 0 -1 1077944320 7154 0 0 0 10 2 0 0 20 0 15 0 78257563 15371935744 17423 33554432000 4194304 4196468 140732276780032 140732276762576 140324932566775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
/proc/10846/statm: 3752914 17423 2770 1 0 3715374 0
[pid=10846/tid=10848] ppid=10843 vsize=15011656 memory=-8124385377558760573 CPUtime=0.09 cores=0,2,4,6
/proc/10846/task/10848/stat : 10848 (java) R 10843 10846 8644 0 -1 4202560 5310 0 0 0 8 1 0 0 20 0 15 0 78257563 15371935744 17489 33554432000 4194304 4196468 140732276780032 140324904378760 140324912843600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10849] ppid=10843 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10849/stat : 10849 (java) S 10843 10846 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 17489 33554432000 4194304 4196468 140732276780032 140324936808848 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10850] ppid=10843 vsize=15011656 memory=139879542646400 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10850/stat : 10850 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 17555 33554432000 4194304 4196468 140732276780032 140324770187536 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10851] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10851/stat : 10851 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 17555 33554432000 4194304 4196468 140732276780032 140324392393360 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10852] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10852/stat : 10852 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 17555 33554432000 4194304 4196468 140732276780032 140324391340560 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10853] ppid=10843 vsize=15011656 memory=139879542646400 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10853/stat : 10853 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257566 15371935744 17555 33554432000 4194304 4196468 140732276780032 140323970779760 140324932577922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10854] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10854/stat : 10854 (java) S 10843 10846 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78257567 15371935744 17555 33554432000 4194304 4196468 140732276780032 140323560875296 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10855] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10855/stat : 10855 (java) S 10843 10846 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78257567 15371935744 17555 33554432000 4194304 4196468 140732276780032 140323426653808 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10856] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10856/stat : 10856 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78257569 15371935744 17555 33554432000 4194304 4196468 140732276780032 140323052149328 140324932585371 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10857] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10857/stat : 10857 (java) S 10843 10846 8644 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 78257569 15371935744 17555 33554432000 4194304 4196468 140732276780032 140323969726576 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10858] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10858/stat : 10858 (java) S 10843 10846 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78257569 15371935744 17555 33554432000 4194304 4196468 140732276780032 140323968673776 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10859] ppid=10843 vsize=15011656 memory=139879542646400 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10859/stat : 10859 (java) S 10843 10846 8644 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 78257569 15371935744 17555 33554432000 4194304 4196468 140732276780032 140323967621488 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10860] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10860/stat : 10860 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78257570 15371935744 17555 33554432000 4194304 4196468 140732276780032 140322554243552 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10861] ppid=10843 vsize=15011656 memory=139879542646400 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10861/stat : 10861 (java) S 10843 10846 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78257570 15371935744 17555 33554432000 4194304 4196468 140732276780032 140323966569392 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 69692 KiB
[startup+0.210282 s]*
/proc/loadavg: 2.52 2.26 2.16 3/215 10861
/proc/meminfo: memFree=20419296/32770624 swapFree=67108860/67108860
[pid=10846] ppid=10843 vsize=15011656 memory=85280 CPUtime=0.25 cores=0,2,4,6
/proc/10846/stat : 10846 (java) S 10843 10846 8644 0 -1 1077944320 11313 0 0 0 22 3 0 0 20 0 15 0 78257563 15371935744 21320 33554432000 4194304 4196468 140732276780032 140732276762576 140324932566775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
/proc/10846/statm: 3752914 21320 2881 1 0 3715374 0
[pid=10846/tid=10848] ppid=10843 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/10846/task/10848/stat : 10848 (java) R 10843 10846 8644 0 -1 4202560 9144 0 0 0 18 2 0 0 20 0 15 0 78257563 15371935744 21320 33554432000 4194304 4196468 140732276780032 140324904351952 140324932578710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10849] ppid=10843 vsize=15011656 memory=343 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10849/stat : 10849 (java) S 10843 10846 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 21320 33554432000 4194304 4196468 140732276780032 140324936808848 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10850] ppid=10843 vsize=15011656 memory=139879543113034 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10850/stat : 10850 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 21320 33554432000 4194304 4196468 140732276780032 140324770187536 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10851] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10851/stat : 10851 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 21320 33554432000 4194304 4196468 140732276780032 140324392393360 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10852] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10852/stat : 10852 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 21320 33554432000 4194304 4196468 140732276780032 140324391340560 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10853] ppid=10843 vsize=15011656 memory=139879542646400 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10853/stat : 10853 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257566 15371935744 21320 33554432000 4194304 4196468 140732276780032 140323970779760 140324932577922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10854] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10854/stat : 10854 (java) S 10843 10846 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78257567 15371935744 21320 33554432000 4194304 4196468 140732276780032 140323560875296 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10855] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10855/stat : 10855 (java) S 10843 10846 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78257567 15371935744 21320 33554432000 4194304 4196468 140732276780032 140323426653808 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10856] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10856/stat : 10856 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78257569 15371935744 21320 33554432000 4194304 4196468 140732276780032 140323052149328 140324932585371 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10857] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10857/stat : 10857 (java) S 10843 10846 8644 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 78257569 15371935744 21320 33554432000 4194304 4196468 140732276780032 140323969726576 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10858] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10858/stat : 10858 (java) S 10843 10846 8644 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 78257569 15371935744 21320 33554432000 4194304 4196468 140732276780032 140323968673776 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10859] ppid=10843 vsize=15011656 memory=139879542646400 CPUtime=0.02 cores=0,2,4,6
/proc/10846/task/10859/stat : 10859 (java) R 10843 10846 8644 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 78257569 15371935744 21320 33554432000 4194304 4196468 140732276780032 140323967621488 140324911525111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10860] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10860/stat : 10860 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78257570 15371935744 21320 33554432000 4194304 4196468 140732276780032 140322554243552 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10861] ppid=10843 vsize=15011656 memory=139879542646400 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10861/stat : 10861 (java) S 10843 10846 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78257570 15371935744 21320 33554432000 4194304 4196468 140732276780032 140323966569392 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85280 KiB
[startup+0.310133 s]*
/proc/loadavg: 2.52 2.26 2.16 3/215 10861
/proc/meminfo: memFree=20415512/32770624 swapFree=67108860/67108860
[pid=10846] ppid=10843 vsize=15011656 memory=89216 CPUtime=0.42 cores=0,2,4,6
/proc/10846/stat : 10846 (java) S 10843 10846 8644 0 -1 1077944320 11877 0 0 0 39 3 0 0 20 0 15 0 78257563 15371935744 22304 33554432000 4194304 4196468 140732276780032 140732276762576 140324932566775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
/proc/10846/statm: 3752914 22304 3016 1 0 3715374 0
[pid=10846/tid=10848] ppid=10843 vsize=15011656 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/10846/task/10848/stat : 10848 (java) R 10843 10846 8644 0 -1 4202560 9444 0 0 0 27 2 0 0 20 0 15 0 78257563 15371935744 22304 33554432000 4194304 4196468 140732276780032 140324904370704 140324914130344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10849] ppid=10843 vsize=15011656 memory=4294977868 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10849/stat : 10849 (java) S 10843 10846 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 22304 33554432000 4194304 4196468 140732276780032 140324936808848 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10850] ppid=10843 vsize=15011656 memory=139879543105894 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10850/stat : 10850 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 22304 33554432000 4194304 4196468 140732276780032 140324770187536 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10851] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10851/stat : 10851 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 22304 33554432000 4194304 4196468 140732276780032 140324392393360 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10852] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10852/stat : 10852 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15371935744 22304 33554432000 4194304 4196468 140732276780032 140324391340560 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10853] ppid=10843 vsize=15011656 memory=139879542646400 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10853/stat : 10853 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257566 15371935744 22304 33554432000 4194304 4196468 140732276780032 140323970779760 140324932577922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10854] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10854/stat : 10854 (java) S 10843 10846 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78257567 15371935744 22304 33554432000 4194304 4196468 140732276780032 140323560875296 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10855] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10855/stat : 10855 (java) S 10843 10846 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78257567 15371935744 22304 33554432000 4194304 4196468 140732276780032 140323426653808 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10856] ppid=10843 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10856/stat : 10856 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78257569 15371935744 22304 33554432000 4194304 4196468 140732276780032 140323052149328 140324932585371 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10857] ppid=10843 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10846/task/10857/stat : 10857 (java) S 10843 10846 8644 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 78257569 15371935744 22304 33554432000 4194304 4196468 140732276780032 140323969726576 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10858] ppid=10843 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10846/task/10858/stat : 10858 (java) S 10843 10846 8644 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 15 0 78257569 15371935744 22304 33554432000 4194304 4196468 140732276780032 140323968673776 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10859] ppid=10843 vsize=15011656 memory=139879542646400 CPUtime=0.07 cores=0,2,4,6
/proc/10846/task/10859/stat : 10859 (java) S 10843 10846 8644 0 -1 1077944384 435 0 0 0 7 0 0 0 20 0 15 0 78257569 15371935744 22304 33554432000 4194304 4196468 140732276780032 140323967621488 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10860] ppid=10843 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10860/stat : 10860 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78257570 15371935744 22304 33554432000 4194304 4196468 140732276780032 140322554243552 140324932576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10861] ppid=10843 vsize=15011656 memory=139879542646400 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10861/stat : 10861 (java) S 10843 10846 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78257570 15371935744 22304 33554432000 4194304 4196468 140732276780032 140323966569392 140324932577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89216 KiB
[startup+0.700672 s]
/proc/loadavg: 2.52 2.26 2.16 3/215 10861
/proc/meminfo: memFree=20394048/32770624 swapFree=67108860/67108860
[pid=10846] ppid=10843 vsize=15019976 memory=128284 CPUtime=0.99 cores=0,2,4,6
/proc/10846/stat : 10846 (java) S 10843 10846 8644 0 -1 1077944320 18349 0 0 0 94 5 0 0 20 0 15 0 78257563 15380455424 32071 33554432000 4194304 4196468 140732276780032 140732276762576 140324932566775 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
/proc/10846/statm: 3754994 32071 3136 1 0 3716398 0
[pid=10846/tid=10848] ppid=10843 vsize=15019976 memory=186492714499524 CPUtime=0.67 cores=0,2,4,6
/proc/10846/task/10848/stat : 10848 (java) R 10843 10846 8644 0 -1 4202560 15389 0 0 0 63 4 0 0 20 0 15 0 78257563 15380455424 32071 33554432000 4194304 4196468 140732276780032 140324904392480 140324932588701 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10849] ppid=10843 vsize=15019976 memory=462675 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10849/stat : 10849 (java) S 10843 10846 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78257565 15380455424 32071 33554432000 4194304 4196468 140732276780032 140324936808848 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10850] ppid=10843 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10850/stat : 10850 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15380455424 32071 33554432000 4194304 4196468 140732276780032 140324770187536 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10851] ppid=10843 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10851/stat : 10851 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15380455424 32071 33554432000 4194304 4196468 140732276780032 140324392393360 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10852] ppid=10843 vsize=15019976 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10852/stat : 10852 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15380455424 32071 33554432000 4194304 4196468 140732276780032 140324391340560 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10853] ppid=10843 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10853/stat : 10853 (java) S 10843 10846 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78257566 15380455424 32071 33554432000 4194304 4196468 140732276780032 140323970779760 140324932577922 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10854] ppid=10843 vsize=15019976 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10854/stat : 10854 (java) S 10843 10846 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78257567 15380455424 32071 33554432000 4194304 4196468 140732276780032 140323560875296 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10855] ppid=10843 vsize=15019976 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10855/stat : 10855 (java) S 10843 10846 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78257567 15380455424 32071 33554432000 4194304 4196468 140732276780032 140323426653808 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10856] ppid=10843 vsize=15019976 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10856/stat : 10856 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78257569 15380455424 32071 33554432000 4194304 4196468 140732276780032 140323052149328 140324932585371 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10857] ppid=10843 vsize=15019976 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10846/task/10857/stat : 10857 (java) S 10843 10846 8644 0 -1 1077944384 792 0 0 0 8 0 0 0 20 0 15 0 78257569 15380455424 32071 33554432000 4194304 4196468 140732276780032 140323969726576 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10858] ppid=10843 vsize=15019976 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10846/task/10858/stat : 10858 (java) R 10843 10846 8644 0 -1 4202560 177 0 0 0 5 0 0 0 20 0 15 0 78257569 15380455424 32071 33554432000 4194304 4196468 140732276780032 140323968663568 140324918590664 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10859] ppid=10843 vsize=15019976 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/10846/task/10859/stat : 10859 (java) S 10843 10846 8644 0 -1 1077944384 629 0 0 0 15 0 0 0 20 0 15 0 78257569 15380455424 32071 33554432000 4194304 4196468 140732276780032 140323967621488 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10860] ppid=10843 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10860/stat : 10860 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78257570 15380455424 32071 33554432000 4194304 4196468 140732276780032 140322554243552 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10861] ppid=10843 vsize=15019976 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10861/stat : 10861 (java) S 10843 10846 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78257570 15380455424 32071 33554432000 4194304 4196468 140732276780032 140323966569392 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 128284 KiB
[startup+1.5007 s]
/proc/loadavg: 2.64 2.29 2.17 6/215 10861
/proc/meminfo: memFree=20351800/32770624 swapFree=67108860/67108860
[pid=10846] ppid=10843 vsize=15022100 memory=192224 CPUtime=3.48 cores=0,2,4,6
/proc/10846/stat : 10846 (java) S 10843 10846 8644 0 -1 1077944320 25415 0 0 0 340 8 0 0 20 0 15 0 78257563 15382630400 48056 33554432000 4194304 4196468 140732276780032 140732276762576 140324932566775 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
/proc/10846/statm: 3755525 48056 3203 1 0 3716910 0
[pid=10846/tid=10848] ppid=10843 vsize=15022100 memory=10799 CPUtime=1.47 cores=0,2,4,6
/proc/10846/task/10848/stat : 10848 (java) R 10843 10846 8644 0 -1 4202560 17234 0 0 0 142 5 0 0 20 0 15 0 78257563 15382630400 48056 33554432000 4194304 4196468 140732276780032 140324904398080 140324434861352 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10849] ppid=10843 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10849/stat : 10849 (java) S 10843 10846 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78257565 15382630400 48056 33554432000 4194304 4196468 140732276780032 140324936808848 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10850] ppid=10843 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10850/stat : 10850 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15382630400 48056 33554432000 4194304 4196468 140732276780032 140324770187536 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10851] ppid=10843 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10851/stat : 10851 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15382630400 48056 33554432000 4194304 4196468 140732276780032 140324392393360 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10852] ppid=10843 vsize=15022100 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10852/stat : 10852 (java) S 10843 10846 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78257565 15382630400 48056 33554432000 4194304 4196468 140732276780032 140324391340560 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10853] ppid=10843 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10853/stat : 10853 (java) S 10843 10846 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78257566 15382630400 48056 33554432000 4194304 4196468 140732276780032 140323970779760 140324932577922 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
################
# More data... #
################
[pid=10846/tid=10858] ppid=10843 vsize=15683912 memory=2680 CPUtime=4.86 cores=0,2,4,6
/proc/10846/task/10858/stat : 10858 (java) S 10843 10846 8644 0 -1 1077944384 4423 0 0 0 485 1 0 0 20 0 19 0 78257569 16060325888 783841 33554432000 4194304 4196468 140732276780032 140323968673776 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10859] ppid=10843 vsize=15683912 memory=3135364 CPUtime=1.44 cores=0,2,4,6
/proc/10846/task/10859/stat : 10859 (java) S 10843 10846 8644 0 -1 1077944384 5512 0 0 0 142 2 0 0 20 0 19 0 78257569 16060325888 783841 33554432000 4194304 4196468 140732276780032 140323967621488 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10860] ppid=10843 vsize=15683912 memory=18224 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10860/stat : 10860 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78257570 16060325888 783841 33554432000 4194304 4196468 140732276780032 140322554243552 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10861] ppid=10843 vsize=15683912 memory=3135364 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10861/stat : 10861 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78257570 16060325888 783841 33554432000 4194304 4196468 140732276780032 140323966569392 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10863] ppid=10843 vsize=15683912 memory=18224 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10863/stat : 10863 (java) S 10843 10846 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78258687 16060325888 783841 33554432000 4194304 4196468 140732276780032 140324769134016 140324932591385 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10865] ppid=10843 vsize=15683912 memory=13573716680378929 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10865/stat : 10865 (java) S 10843 10846 8644 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 78258687 16060325888 783841 33554432000 4194304 4196468 140732276780032 140322017357744 140324932588701 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10866] ppid=10843 vsize=15683912 memory=9920 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10866/stat : 10866 (java) S 10843 10846 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78258687 16060325888 783841 33554432000 4194304 4196468 140732276780032 140322151578928 140324932588701 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10867] ppid=10843 vsize=15683912 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10867/stat : 10867 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78258689 16060325888 783841 33554432000 4194304 4196468 140732276780032 140321748933536 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
Current children cumulated CPU time: 26.37 s
Current children cumulated vsize: 15726568 KiB
Current children cumulated memory: 3160620 KiB
[startup+16.0008 s]*
/proc/loadavg: 2.42 2.26 2.17 3/220 10867
/proc/meminfo: memFree=16944616/32770624 swapFree=67108860/67108860
[pid=10846] ppid=10843 vsize=15683912 memory=3130112 CPUtime=23.22 cores=0,2,4,6
/proc/10846/stat : 10846 (java) S 10843 10846 8644 0 -1 1077944320 36397 0 0 0 2266 56 0 0 20 0 19 0 78257563 16060325888 782528 33554432000 4194304 4196468 140732276780032 140732276762576 140324932566775 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
/proc/10846/statm: 3920978 782528 3238 1 0 3881834 0
[pid=10862] ppid=10846 vsize=47076 memory=28436 CPUtime=4.76 cores=0,2,4,6
/proc/10862/stat : 10862 (minisat_release) R 10846 10846 8644 0 -1 4202496 12926 0 0 0 474 2 0 0 20 0 1 0 78258687 48205824 7109 33554432000 4194304 4308513 140724525126688 140724525124104 140603040023565 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 8523776 140724525130415 140724525130926 140724525130926 140724525133765 0
/proc/10862/statm: 11769 7109 353 28 0 8009 0
[pid=10846/tid=10848] ppid=10843 vsize=15683912 memory=-7824251494390651235 CPUtime=11.07 cores=0,2,4,6
/proc/10846/task/10848/stat : 10848 (java) S 10843 10846 8644 0 -1 1077944384 19875 0 0 0 1062 45 0 0 20 0 19 0 78257563 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324904406016 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10849] ppid=10843 vsize=15683912 memory=4872558044660077418 CPUtime=0.13 cores=0,2,4,6
/proc/10846/task/10849/stat : 10849 (java) S 10843 10846 8644 0 -1 1077944384 88 0 0 0 13 0 0 0 20 0 19 0 78257565 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324936808848 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10850] ppid=10843 vsize=15683912 memory=42052 CPUtime=0.13 cores=0,2,4,6
/proc/10846/task/10850/stat : 10850 (java) S 10843 10846 8644 0 -1 1077944384 58 0 0 0 13 0 0 0 20 0 19 0 78257565 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324770187536 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10851] ppid=10843 vsize=15683912 memory=44260 CPUtime=0.13 cores=0,2,4,6
/proc/10846/task/10851/stat : 10851 (java) S 10843 10846 8644 0 -1 1077944384 98 0 0 0 13 0 0 0 20 0 19 0 78257565 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324392393360 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10852] ppid=10843 vsize=15683912 memory=22273 CPUtime=0.13 cores=0,2,4,6
/proc/10846/task/10852/stat : 10852 (java) S 10843 10846 8644 0 -1 1077944384 124 0 0 0 13 0 0 0 20 0 19 0 78257565 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324391340560 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10853] ppid=10843 vsize=15683912 memory=4420 CPUtime=0.01 cores=0,2,4,6
/proc/10846/task/10853/stat : 10853 (java) S 10843 10846 8644 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 78257566 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323970779760 140324932577922 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10854] ppid=10843 vsize=15683912 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10854/stat : 10854 (java) S 10843 10846 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 78257567 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323560875360 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10855] ppid=10843 vsize=15683912 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10855/stat : 10855 (java) S 10843 10846 8644 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 78257567 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323426653808 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10856] ppid=10843 vsize=15683912 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10856/stat : 10856 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78257569 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323052149328 140324932585371 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10857] ppid=10843 vsize=15683912 memory=956 CPUtime=5.19 cores=0,2,4,6
/proc/10846/task/10857/stat : 10857 (java) S 10843 10846 8644 0 -1 1077944384 4767 0 0 0 518 1 0 0 20 0 19 0 78257569 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323969726576 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10858] ppid=10843 vsize=15683912 memory=2424 CPUtime=4.86 cores=0,2,4,6
/proc/10846/task/10858/stat : 10858 (java) S 10843 10846 8644 0 -1 1077944384 4423 0 0 0 485 1 0 0 20 0 19 0 78257569 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323968673776 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10859] ppid=10843 vsize=15683912 memory=1576 CPUtime=1.44 cores=0,2,4,6
/proc/10846/task/10859/stat : 10859 (java) S 10843 10846 8644 0 -1 1077944384 5512 0 0 0 142 2 0 0 20 0 19 0 78257569 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323967621488 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10860] ppid=10843 vsize=15683912 memory=928 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10860/stat : 10860 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78257570 16060325888 782528 33554432000 4194304 4196468 140732276780032 140322554243552 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10861] ppid=10843 vsize=15683912 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10861/stat : 10861 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78257570 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323966569392 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10863] ppid=10843 vsize=15683912 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10863/stat : 10863 (java) S 10843 10846 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78258687 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324769134016 140324932591385 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10865] ppid=10843 vsize=15683912 memory=2200 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10865/stat : 10865 (java) S 10843 10846 8644 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 78258687 16060325888 782528 33554432000 4194304 4196468 140732276780032 140322017357744 140324932588701 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10866] ppid=10843 vsize=15683912 memory=7892 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10866/stat : 10866 (java) S 10843 10846 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78258687 16060325888 782528 33554432000 4194304 4196468 140732276780032 140322151578928 140324932588701 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10867] ppid=10843 vsize=15683912 memory=840 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10867/stat : 10867 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78258689 16060325888 782528 33554432000 4194304 4196468 140732276780032 140321748933536 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
Current children cumulated CPU time: 27.98 s
Current children cumulated vsize: 15730988 KiB
Current children cumulated memory: 3158548 KiB
[startup+16.8008 s]
/proc/loadavg: 2.42 2.26 2.17 3/220 10867
/proc/meminfo: memFree=16944616/32770624 swapFree=67108860/67108860
[pid=10846] ppid=10843 vsize=15683912 memory=3130112 CPUtime=23.22 cores=0,2,4,6
/proc/10846/stat : 10846 (java) S 10843 10846 8644 0 -1 1077944320 36398 0 0 0 2266 56 0 0 20 0 19 0 78257563 16060325888 782528 33554432000 4194304 4196468 140732276780032 140732276762576 140324932566775 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
/proc/10846/statm: 3920978 782528 3238 1 0 3881834 0
[pid=10862] ppid=10846 vsize=54256 memory=29832 CPUtime=5.55 cores=0,2,4,6
/proc/10862/stat : 10862 (minisat_release) R 10846 10846 8644 0 -1 4202496 13566 0 0 0 553 2 0 0 20 0 1 0 78258687 55558144 7458 33554432000 4194304 4308513 140724525126688 140724525124104 4250466 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 8523776 140724525130415 140724525130926 140724525130926 140724525133765 0
/proc/10862/statm: 13564 7458 353 28 0 9804 0
[pid=10846/tid=10848] ppid=10843 vsize=15683912 memory=4104 CPUtime=11.07 cores=0,2,4,6
/proc/10846/task/10848/stat : 10848 (java) S 10843 10846 8644 0 -1 1077944384 19875 0 0 0 1062 45 0 0 20 0 19 0 78257563 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324904406016 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10849] ppid=10843 vsize=15683912 memory=2692 CPUtime=0.13 cores=0,2,4,6
/proc/10846/task/10849/stat : 10849 (java) S 10843 10846 8644 0 -1 1077944384 88 0 0 0 13 0 0 0 20 0 19 0 78257565 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324936808848 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10850] ppid=10843 vsize=15683912 memory=2672 CPUtime=0.13 cores=0,2,4,6
/proc/10846/task/10850/stat : 10850 (java) S 10843 10846 8644 0 -1 1077944384 58 0 0 0 13 0 0 0 20 0 19 0 78257565 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324770187536 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10851] ppid=10843 vsize=15683912 memory=-7824251494390651235 CPUtime=0.13 cores=0,2,4,6
/proc/10846/task/10851/stat : 10851 (java) S 10843 10846 8644 0 -1 1077944384 98 0 0 0 13 0 0 0 20 0 19 0 78257565 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324392393360 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10852] ppid=10843 vsize=15683912 memory=4612 CPUtime=0.13 cores=0,2,4,6
/proc/10846/task/10852/stat : 10852 (java) S 10843 10846 8644 0 -1 1077944384 124 0 0 0 13 0 0 0 20 0 19 0 78257565 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324391340560 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10853] ppid=10843 vsize=15683912 memory=9920 CPUtime=0.01 cores=0,2,4,6
/proc/10846/task/10853/stat : 10853 (java) S 10843 10846 8644 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 78257566 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323970779760 140324932577922 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10854] ppid=10843 vsize=15683912 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10854/stat : 10854 (java) S 10843 10846 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 78257567 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323560875360 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10855] ppid=10843 vsize=15683912 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10855/stat : 10855 (java) S 10843 10846 8644 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 78257567 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323426653808 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10856] ppid=10843 vsize=15683912 memory=8532 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10856/stat : 10856 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78257569 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323052149328 140324932585371 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10857] ppid=10843 vsize=15683912 memory=792 CPUtime=5.19 cores=0,2,4,6
/proc/10846/task/10857/stat : 10857 (java) S 10843 10846 8644 0 -1 1077944384 4768 0 0 0 518 1 0 0 20 0 19 0 78257569 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323969726576 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10858] ppid=10843 vsize=15683912 memory=3130112 CPUtime=4.86 cores=0,2,4,6
/proc/10846/task/10858/stat : 10858 (java) S 10843 10846 8644 0 -1 1077944384 4423 0 0 0 485 1 0 0 20 0 19 0 78257569 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323968673776 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10859] ppid=10843 vsize=15683912 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/10846/task/10859/stat : 10859 (java) S 10843 10846 8644 0 -1 1077944384 5512 0 0 0 142 2 0 0 20 0 19 0 78257569 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323967621488 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10860] ppid=10843 vsize=15683912 memory=7440052414025066321 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10860/stat : 10860 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78257570 16060325888 782528 33554432000 4194304 4196468 140732276780032 140322554243552 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10861] ppid=10843 vsize=15683912 memory=6154568436181133674 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10861/stat : 10861 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78257570 16060325888 782528 33554432000 4194304 4196468 140732276780032 140323966569392 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10863] ppid=10843 vsize=15683912 memory=9126232286719478932 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10863/stat : 10863 (java) S 10843 10846 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78258687 16060325888 782528 33554432000 4194304 4196468 140732276780032 140324769134016 140324932591385 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10865] ppid=10843 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10865/stat : 10865 (java) S 10843 10846 8644 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 78258687 16060325888 782528 33554432000 4194304 4196468 140732276780032 140322017357744 140324932588701 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10866] ppid=10843 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10866/stat : 10866 (java) S 10843 10846 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78258687 16060325888 782528 33554432000 4194304 4196468 140732276780032 140322151578928 140324932588701 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10867] ppid=10843 vsize=15683912 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/10846/task/10867/stat : 10867 (java) S 10843 10846 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78258689 16060325888 782528 33554432000 4194304 4196468 140732276780032 140321748933536 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
Current children cumulated CPU time: 28.77 s
Current children cumulated vsize: 15738168 KiB
Current children cumulated memory: 3159944 KiB
[startup+17.0029 s]*
/proc/loadavg: 2.42 2.26 2.17 5/217 10867
/proc/meminfo: memFree=16966696/32770624 swapFree=67108860/67108860
[pid=10846] ppid=10843 vsize=15552836 memory=3130396 CPUtime=29.06 cores=0,2,4,6
/proc/10846/stat : 10846 (java) S 10843 10846 8644 0 -1 1077944320 36467 13941 0 0 2277 56 571 2 20 0 17 0 78257563 15926104064 782599 33554432000 4194304 4196468 140732276780032 140732276762576 140324932566775 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
/proc/10846/statm: 3888209 782599 3238 1 0 3849065 0
[pid=10846/tid=10848] ppid=10843 vsize=15552836 memory=7022364594140610616 CPUtime=16.81 cores=0,2,4,6
/proc/10846/task/10848/stat : 10848 (java) R 10843 10846 8644 0 -1 4202560 19890 13941 0 0 1063 45 571 2 20 0 17 0 78257563 15926104064 782599 33554432000 4194304 4196468 140732276780032 140324904406016 140324440114432 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10849] ppid=10843 vsize=15552836 memory=343 CPUtime=5.86 cores=0,2,4,6
/proc/10846/task/10849/stat : 10849 (java) S 10843 10846 8644 0 -1 1077944384 88 13941 0 0 13 0 571 2 20 0 17 0 78257565 15926104064 782599 33554432000 4194304 4196468 140732276780032 140324936808848 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10850] ppid=10843 vsize=15552836 memory=139879543113034 CPUtime=5.86 cores=0,2,4,6
/proc/10846/task/10850/stat : 10850 (java) S 10843 10846 8644 0 -1 1077944384 58 13941 0 0 13 0 571 2 20 0 17 0 78257565 15926104064 782599 33554432000 4194304 4196468 140732276780032 140324770187536 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10851] ppid=10843 vsize=15552836 memory=6944656592455359580 CPUtime=5.86 cores=0,2,4,6
/proc/10846/task/10851/stat : 10851 (java) S 10843 10846 8644 0 -1 1077944384 98 13941 0 0 13 0 571 2 20 0 17 0 78257565 15926104064 782599 33554432000 4194304 4196468 140732276780032 140324392393360 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10852] ppid=10843 vsize=15552836 memory=3472328296227680299 CPUtime=5.86 cores=0,2,4,6
/proc/10846/task/10852/stat : 10852 (java) S 10843 10846 8644 0 -1 1077944384 124 13941 0 0 13 0 571 2 20 0 17 0 78257565 15926104064 782599 33554432000 4194304 4196468 140732276780032 140324391340560 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10853] ppid=10843 vsize=15552836 memory=3472468175770326700 CPUtime=5.74 cores=0,2,4,6
/proc/10846/task/10853/stat : 10853 (java) S 10843 10846 8644 0 -1 1077944384 32 13941 0 0 1 0 571 2 20 0 17 0 78257566 15926104064 782599 33554432000 4194304 4196468 140732276780032 140323970779760 140324932577922 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10854] ppid=10843 vsize=15552836 memory=7160575464710631028 CPUtime=5.73 cores=0,2,4,6
/proc/10846/task/10854/stat : 10854 (java) S 10843 10846 8644 0 -1 1077944384 14 13941 0 0 0 0 571 2 20 0 17 0 78257567 15926104064 782599 33554432000 4194304 4196468 140732276780032 140323560875360 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10855] ppid=10843 vsize=15552836 memory=0 CPUtime=5.73 cores=0,2,4,6
/proc/10846/task/10855/stat : 10855 (java) S 10843 10846 8644 0 -1 1077944384 24 13941 0 0 0 0 571 2 20 0 17 0 78257567 15926104064 782599 33554432000 4194304 4196468 140732276780032 140323426653808 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10856] ppid=10843 vsize=15552836 memory=0 CPUtime=5.73 cores=0,2,4,6
/proc/10846/task/10856/stat : 10856 (java) S 10843 10846 8644 0 -1 1077944384 3 13941 0 0 0 0 571 2 20 0 17 0 78257569 15926104064 782599 33554432000 4194304 4196468 140732276780032 140323052149328 140324932585371 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10857] ppid=10843 vsize=15552836 memory=0 CPUtime=10.95 cores=0,2,4,6
/proc/10846/task/10857/stat : 10857 (java) R 10843 10846 8644 0 -1 4202560 4768 13941 0 0 521 1 571 2 20 0 17 0 78257569 15926104064 782599 33554432000 4194304 4196468 140732276780032 140323969705392 140324913160549 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10858] ppid=10843 vsize=15552836 memory=-1 CPUtime=10.62 cores=0,2,4,6
/proc/10846/task/10858/stat : 10858 (java) R 10843 10846 8644 0 -1 4202560 4430 13941 0 0 488 1 571 2 20 0 17 0 78257569 15926104064 782599 33554432000 4194304 4196468 140732276780032 140323968666592 140324912259852 0 4 0 25189583 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10859] ppid=10843 vsize=15552836 memory=139879542646400 CPUtime=7.18 cores=0,2,4,6
/proc/10846/task/10859/stat : 10859 (java) R 10843 10846 8644 0 -1 1077944384 5523 13941 0 0 143 2 571 2 20 0 17 0 78257569 15926104064 782599 33554432000 4194304 4196468 140732276780032 140323967621488 140324932577922 0 4 0 25189583 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10860] ppid=10843 vsize=15552836 memory=-1 CPUtime=5.73 cores=0,2,4,6
/proc/10846/task/10860/stat : 10860 (java) S 10843 10846 8644 0 -1 1077944384 3 13941 0 0 0 0 571 2 20 0 17 0 78257570 15926104064 782599 33554432000 4194304 4196468 140732276780032 140322554243552 140324932576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10861] ppid=10843 vsize=15552836 memory=139879542646400 CPUtime=5.73 cores=0,2,4,6
/proc/10846/task/10861/stat : 10861 (java) S 10843 10846 8644 0 -1 1077944384 3 13941 0 0 0 0 571 2 20 0 17 0 78257570 15926104064 782599 33554432000 4194304 4196468 140732276780032 140323966569392 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10863] ppid=10843 vsize=15552836 memory=139879542646399 CPUtime=5.73 cores=0,2,4,6
/proc/10846/task/10863/stat : 10863 (java) S 10843 10846 8644 0 -1 1077944384 27 13941 0 0 0 0 571 2 20 0 17 0 78258687 15926104064 782599 33554432000 4194304 4196468 140732276780032 140324769133200 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
[pid=10846/tid=10867] ppid=10843 vsize=15552836 memory=0 CPUtime=5.73 cores=0,2,4,6
/proc/10846/task/10867/stat : 10867 (java) S 10843 10846 8644 0 -1 1077944384 13 13941 0 0 0 0 571 2 20 0 17 0 78258689 15926104064 782599 33554432000 4194304 4196468 140732276780032 140321748935344 140324932577922 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8138752 140732276786163 140732276786441 140732276786441 140732276789199 0
Current children cumulated CPU time: 29.06 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 3130396 KiB
Child status: 0
Real time (s): 17.0529
CPU time (s): 29.1447
CPU user time (s): 28.5301
CPU system time (s): 0.614608
CPU usage (%): 170.907
Max. virtual memory (cumulated for all children) (KiB): 15738168
Max. memory (cumulated for all children) (KiB): 3163600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.5301
system time used= 0.614608
maximum resident set size= 3135364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5276
involuntary context switches= 86
# summary of solver processes directly reported to runsolver:
# pid: 10846
# total CPU time (s): 29.1447
# total CPU user time (s): 28.5301
# total CPU system time (s): 0.614608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.123825 second user time and 0.21857 second system time
The end