0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Jul 26 11:48:13 CEST 2018
0.67/0.54 c PID: 8811
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.06/1.02 c (0,0) Parsing End
2.06/1.02 c (0,0) CSP: 161 int (0 aux), 0 bool (0 aux), 78 ctr, max domain size 49
2.06/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.06/1.03 c (0,0) Constraint Name Generate Begin
2.06/1.03 c (0,0) Ctr:HOME/instance-4296199-1532598492.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.06/1.03 c (0,0) Constraint Name Generate End
2.06/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.06/1.03 c (0,0) CSP to CSPinCNF Begin
7.07/2.60 c (2,2) translated 8 (10%) constraints
9.46/3.45 c (2,2) translated 16 (20%) constraints
11.23/4.17 c (3,3) translated 24 (30%) constraints
12.70/4.86 c (4,4) translated 32 (40%) constraints
13.37/5.44 c (4,4) translated 39 (50%) constraints
13.99/6.09 c (5,5) translated 47 (60%) constraints
14.42/6.43 c (5,5) translated 55 (70%) constraints
14.42/6.43 c (5,5) translated 63 (80%) constraints
14.42/6.43 c (5,5) translated 71 (90%) constraints
14.42/6.43 c (5,5) translated 78 (100%) constraints
15.20/6.82 c (6,6) STATISTICS1:HOME/instance-4296199-1532598492.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,
15.20/6.82 c (6,6) ===========================================
15.20/6.82 c (6,6) Both Encoding selects:
15.20/6.82 c (6,6) Order
15.20/6.82 c (6,6) ===========================================
16.10/7.11 c (6,6) translated 8348 (10%) constraints
16.37/7.30 c (6,6) translated 16696 (20%) constraints
16.74/7.42 c (6,6) translated 25044 (30%) constraints
16.83/7.54 c (7,6) translated 33391 (40%) constraints
16.94/7.67 c (7,7) translated 41739 (50%) constraints
17.04/7.79 c (7,7) translated 50087 (60%) constraints
17.24/7.92 c (7,7) translated 58434 (70%) constraints
17.43/8.04 c (7,7) translated 66782 (80%) constraints
17.53/8.17 c (7,7) translated 75130 (90%) constraints
18.27/8.44 c (7,7) translated 83477 (100%) constraints
18.27/8.44 c (7,7) CSP to CSPinCNF End
18.27/8.45 c (7,7) CSP: 161 int (0 aux), 13377 bool (13377 aux), 83505 ctr, max domain size 49
18.27/8.45 c (7,7) Heap : 189 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.27/8.45 c (7,7) CSPinCNF Propagation Begin
20.34/9.59 c (9,8) 4653 values, 25765 unsatisfiable literals, and 26757 valid clauses are removed
20.34/9.59 c (9,8) CSPinCNF Propagation End
20.57/9.60 c (9,8) CSP: 4134 int (3973 aux), 9404 bool (9404 aux), 56748 ctr, max domain size 49
20.57/9.60 c (9,8) Heap : 852 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.57/9.60 c (9,8) Simplify CSPinCNF Begin
20.85/9.73 c (9,9) Simplify CSPinCNF End
20.85/9.74 c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
20.85/9.74 c (9,9) Heap : 907 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.85/9.74 c (9,9) Calculate Precise Domain Begin
20.85/9.74 c (9,9) 0 values are removed by re-calculation
20.85/9.74 c (9,9) Calculate Precise Domain End
20.85/9.74 c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
20.85/9.74 c (9,9) Heap : 907 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.85/9.74 c (9,9) CSPinCNF to SatSolver Begin
22.07/10.13 c (9,9) 5910 (10 %) CSP clauses are encoded (14184 SAT variables, 69860 SAT clauses)
22.07/10.17 c (9,9) 11820 (20 %) CSP clauses are encoded (14184 SAT variables, 75770 SAT clauses)
22.35/10.22 c (9,9) 17730 (30 %) CSP clauses are encoded (14184 SAT variables, 81680 SAT clauses)
22.35/10.25 c (9,9) 23640 (40 %) CSP clauses are encoded (14184 SAT variables, 87590 SAT clauses)
22.35/10.27 c (9,9) 29550 (50 %) CSP clauses are encoded (14184 SAT variables, 93500 SAT clauses)
22.50/10.30 c (9,9) 35460 (60 %) CSP clauses are encoded (14184 SAT variables, 99410 SAT clauses)
22.50/10.33 c (9,9) 41370 (70 %) CSP clauses are encoded (14184 SAT variables, 105320 SAT clauses)
22.50/10.36 c (9,9) 47280 (80 %) CSP clauses are encoded (14184 SAT variables, 111230 SAT clauses)
22.50/10.39 c (9,9) 53190 (90 %) CSP clauses are encoded (14184 SAT variables, 117140 SAT clauses)
22.60/10.41 c (9,9) 59100 (100 %) CSP clauses are encoded (14184 SAT variables, 123050 SAT clauses)
22.60/10.41 c (9,9) CSPinCNF to SatSolver End
22.60/10.41 c (9,9) Heap : 1293 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.16/10.65 c (10,9) STATISTICS2:HOME/instance-4296199-1532598492.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.16/10.65 c (10,9) SatSolver.solve Begin
23.16/10.65 c (10,9) 14184 bool, 123051 clause
23.16/10.65 c (10,9) 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-4296199-1532598492.xml-scop-8811.cnf HOME/instance-4296199-1532598492.xml-scop-8811.cnf.out
28.95/16.36 c (15,0) c This is COMiniSatPS.
28.95/16.36 c (15,0) c WARNING: for repeatability, setting FPU to use double precision
28.95/16.36 c (15,0) c ============================[ Problem Statistics ]=============================
28.95/16.36 c (15,0) c | |
28.95/16.36 c (15,0) c | Number of variables: 14184 |
28.95/16.36 c (15,0) c | Number of clauses: 123051 |
28.95/16.36 c (15,0) c | Parse time: 0.03 s |
28.95/16.36 c (15,0) c | Eliminated clauses: 0.19 Mb |
28.95/16.36 c (15,0) c Reduced to 9333 vars, 107449 cls (grow=0)
28.95/16.36 c (15,0) c No iterative elimination performed. (vars=9333, c/v ratio=11.5)
28.95/16.36 c (15,0) c | Simplification time: 0.12 s |
28.95/16.36 c (15,0) c | |
28.95/16.36 c (15,0) c ============================[ Search Statistics ]==============================
28.95/16.36 c (15,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
28.95/16.36 c (15,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
28.95/16.36 c (15,0) c ===============================================================================
28.95/16.36 c (15,0) c ===============================================================================
28.95/16.36 c (15,0) c restarts : 83
28.95/16.36 c (15,0) c conflicts : 30582 (5391 /sec)
28.95/16.36 c (15,0) c decisions : 89381 (0.00 % random) (15757 /sec)
28.95/16.36 c (15,0) c propagations : 18189080 (3206516 /sec)
28.95/16.36 c (15,0) c conflict literals : 2710964 (37.34 % deleted)
28.95/16.36 c (15,0) c CPU time : 5.67254 s
28.95/16.36 c (15,0)
28.95/16.36 c (15,0) s SATISFIABLE
28.95/16.38 c (15,10) SatSolver.solve End
28.95/16.38 c (15,10) Heap : 1682 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
28.95/16.38 c (15,10) Show results Begin
29.15/16.40 c (15,10) bot[0] = 0
29.15/16.40 c (15,10) bot[1] = 0
29.15/16.40 c (15,10) bot[2] = 0
29.15/16.40 c (15,10) bot[3] = 0
29.15/16.40 c (15,10) bot[4] = 0
29.15/16.40 c (15,10) bot[5] = 0
29.15/16.40 c (15,10) bot[6] = 0
29.15/16.40 c (15,10) id[0][0] = 1
29.15/16.40 c (15,10) id[0][1] = 23
29.15/16.40 c (15,10) id[0][2] = 22
29.15/16.40 c (15,10) id[0][3] = 21
29.15/16.40 c (15,10) id[0][4] = 11
29.15/16.40 c (15,10) id[0][5] = 8
29.15/16.40 c (15,10) id[0][6] = 2
29.15/16.40 c (15,10) id[1][0] = 20
29.15/16.40 c (15,10) id[1][1] = 42
29.15/16.40 c (15,10) id[1][2] = 36
29.15/16.40 c (15,10) id[1][3] = 40
29.15/16.40 c (15,10) id[1][4] = 39
29.15/16.40 c (15,10) id[1][5] = 38
29.15/16.40 c (15,10) id[1][6] = 7
29.15/16.40 c (15,10) id[2][0] = 9
29.15/16.40 c (15,10) id[2][1] = 28
29.15/16.40 c (15,10) id[2][2] = 26
29.15/16.40 c (15,10) id[2][3] = 45
29.15/16.40 c (15,10) id[2][4] = 48
29.15/16.40 c (15,10) id[2][5] = 33
29.15/16.40 c (15,10) id[2][6] = 17
29.15/16.40 c (15,10) id[3][0] = 18
29.15/16.40 c (15,10) id[3][1] = 27
29.15/16.40 c (15,10) id[3][2] = 29
29.15/16.40 c (15,10) id[3][3] = 31
29.15/16.40 c (15,10) id[3][4] = 30
29.15/16.40 c (15,10) id[3][5] = 46
29.15/16.40 c (15,10) id[3][6] = 14
29.15/16.40 c (15,10) id[4][0] = 15
29.15/16.40 c (15,10) id[4][1] = 43
29.15/16.40 c (15,10) id[4][2] = 47
29.15/16.40 c (15,10) id[4][3] = 37
29.15/16.40 c (15,10) id[4][4] = 34
29.15/16.40 c (15,10) id[4][5] = 32
29.15/16.40 c (15,10) id[4][6] = 12
29.15/16.40 c (15,10) id[5][0] = 6
29.15/16.40 c (15,10) id[5][1] = 41
29.15/16.40 c (15,10) id[5][2] = 35
29.15/16.40 c (15,10) id[5][3] = 25
29.15/16.40 c (15,10) id[5][4] = 44
29.15/16.40 c (15,10) id[5][5] = 24
29.15/16.40 c (15,10) id[5][6] = 10
29.15/16.40 c (15,10) id[6][0] = 3
29.15/16.40 c (15,10) id[6][1] = 13
29.15/16.40 c (15,10) id[6][2] = 16
29.15/16.40 c (15,10) id[6][3] = 19
29.15/16.40 c (15,10) id[6][4] = 5
29.15/16.40 c (15,10) id[6][5] = 4
29.15/16.40 c (15,10) id[6][6] = 0
29.15/16.40 c (15,10) left[0][0] = 0
29.15/16.40 c (15,10) left[0][1] = 1
29.15/16.40 c (15,10) left[0][2] = 3
29.15/16.40 c (15,10) left[0][3] = 3
29.15/16.40 c (15,10) left[0][4] = 3
29.15/16.40 c (15,10) left[0][5] = 2
29.15/16.40 c (15,10) left[0][6] = 1
29.15/16.40 c (15,10) left[1][0] = 0
29.15/16.40 c (15,10) left[1][1] = 6
29.15/16.40 c (15,10) left[1][2] = 9
29.15/16.40 c (15,10) left[1][3] = 5
29.15/16.40 c (15,10) left[1][4] = 7
29.15/16.40 c (15,10) left[1][5] = 5
29.15/16.40 c (15,10) left[1][6] = 7
29.15/16.40 c (15,10) left[2][0] = 0
29.15/16.40 c (15,10) left[2][1] = 8
29.15/16.40 c (15,10) left[2][2] = 4
29.15/16.40 c (15,10) left[2][3] = 7
29.15/16.40 c (15,10) left[2][4] = 6
29.15/16.40 c (15,10) left[2][5] = 9
29.15/16.40 c (15,10) left[2][6] = 4
29.15/16.40 c (15,10) left[3][0] = 0
29.15/16.40 c (15,10) left[3][1] = 4
29.15/16.40 c (15,10) left[3][2] = 5
29.15/16.40 c (15,10) left[3][3] = 4
29.15/16.40 c (15,10) left[3][4] = 6
29.15/16.40 c (15,10) left[3][5] = 6
29.15/16.40 c (15,10) left[3][6] = 8
29.15/16.40 c (15,10) left[4][0] = 0
29.15/16.40 c (15,10) left[4][1] = 9
29.15/16.40 c (15,10) left[4][2] = 9
29.15/16.40 c (15,10) left[4][3] = 9
29.15/16.40 c (15,10) left[4][4] = 6
29.15/16.40 c (15,10) left[4][5] = 8
29.15/16.40 c (15,10) left[4][6] = 7
29.15/16.40 c (15,10) left[5][0] = 0
29.15/16.40 c (15,10) left[5][1] = 6
29.15/16.40 c (15,10) left[5][2] = 6
29.15/16.40 c (15,10) left[5][3] = 4
29.15/16.40 c (15,10) left[5][4] = 7
29.15/16.40 c (15,10) left[5][5] = 8
29.15/16.40 c (15,10) left[5][6] = 4
29.15/16.40 c (15,10) left[6][0] = 0
29.15/16.40 c (15,10) left[6][1] = 2
29.15/16.40 c (15,10) left[6][2] = 2
29.15/16.40 c (15,10) left[6][3] = 3
29.15/16.40 c (15,10) left[6][4] = 1
29.15/16.40 c (15,10) left[6][5] = 1
29.15/16.40 c (15,10) left[6][6] = 1
29.15/16.40 c (15,10) right[0] = 0
29.15/16.40 c (15,10) right[1] = 0
29.15/16.40 c (15,10) right[2] = 0
29.15/16.40 c (15,10) right[3] = 0
29.15/16.40 c (15,10) right[4] = 0
29.15/16.40 c (15,10) right[5] = 0
29.15/16.40 c (15,10) right[6] = 0
29.15/16.40 c (15,10) top[0][0] = 0
29.15/16.40 c (15,10) top[0][1] = 0
29.15/16.40 c (15,10) top[0][2] = 0
29.15/16.40 c (15,10) top[0][3] = 0
29.15/16.40 c (15,10) top[0][4] = 0
29.15/16.40 c (15,10) top[0][5] = 0
29.15/16.40 c (15,10) top[0][6] = 0
29.15/16.40 c (15,10) top[1][0] = 3
29.15/16.40 c (15,10) top[1][1] = 9
29.15/16.40 c (15,10) top[1][2] = 8
29.15/16.40 c (15,10) top[1][3] = 6
29.15/16.40 c (15,10) top[1][4] = 5
29.15/16.40 c (15,10) top[1][5] = 8
29.15/16.40 c (15,10) top[1][6] = 2
29.15/16.40 c (15,10) top[2][0] = 1
29.15/16.40 c (15,10) top[2][1] = 5
29.15/16.40 c (15,10) top[2][2] = 4
29.15/16.40 c (15,10) top[2][3] = 7
29.15/16.40 c (15,10) top[2][4] = 9
29.15/16.40 c (15,10) top[2][5] = 5
29.15/16.40 c (15,10) top[2][6] = 1
29.15/16.40 c (15,10) top[3][0] = 3
29.15/16.40 c (15,10) top[3][1] = 5
29.15/16.40 c (15,10) top[3][2] = 7
29.15/16.40 c (15,10) top[3][3] = 8
29.15/16.40 c (15,10) top[3][4] = 7
29.15/16.40 c (15,10) top[3][5] = 8
29.15/16.40 c (15,10) top[3][6] = 3
29.15/16.40 c (15,10) top[4][0] = 2
29.15/16.40 c (15,10) top[4][1] = 7
29.15/16.40 c (15,10) top[4][2] = 6
29.15/16.40 c (15,10) top[4][3] = 9
29.15/16.40 c (15,10) top[4][4] = 4
29.15/16.40 c (15,10) top[4][5] = 7
29.15/16.40 c (15,10) top[4][6] = 2
29.15/16.40 c (15,10) top[5][0] = 1
29.15/16.40 c (15,10) top[5][1] = 5
29.15/16.40 c (15,10) top[5][2] = 8
29.15/16.40 c (15,10) top[5][3] = 4
29.15/16.40 c (15,10) top[5][4] = 9
29.15/16.40 c (15,10) top[5][5] = 4
29.15/16.40 c (15,10) top[5][6] = 2
29.15/16.40 c (15,10) top[6][0] = 3
29.15/16.40 c (15,10) top[6][1] = 8
29.15/16.40 c (15,10) top[6][2] = 9
29.15/16.40 c (15,10) top[6][3] = 5
29.15/16.40 c (15,10) top[6][4] = 6
29.15/16.40 c (15,10) top[6][5] = 5
29.15/16.40 c (15,10) top[6][6] = 2
29.15/16.40 s SATISFIABLE
29.15/16.40 v <instantiation>
29.15/16.40 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.15/16.40 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.15/16.40 v </instantiation>
29.15/16.40 c (15,10) Show results End
29.15/16.40 c (15,10) Heap : 1682 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
29.15/16.40 c (15,10) 0,0,7,9,9,9,9,15,15,STOP-AFTER(ALL)
29.15/16.40 c END-Prog: Thu Jul 26 11:48:29 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 (4381 MiB free)
memory of node 1: 16384 MiB (7800 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296199-1532598492/watcher-4296199-1532598492 -o /tmp/evaluation-result-4296199-1532598492/solver-4296199-1532598492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532594602-7725 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296199-1532598492.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=8811, runsolver pid=8808
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 1.76 2.00 2.02 3/220 8826
/proc/meminfo: memFree=12412932/32770624 swapFree=67108860/67108860
[pid=8811] ppid=8808 vsize=15011656 memory=74680 CPUtime=0.11 cores=1,3,5,7
/proc/8811/stat : 8811 (java) S 8808 8811 6157 0 -1 1077944320 6363 0 0 0 9 2 0 0 20 0 15 0 77412411 15371935744 18670 33554432000 4194304 4196468 140735597634256 140735597616800 139929969045239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
/proc/8811/statm: 3752914 18670 2779 1 0 3715374 0
[pid=8811/tid=8813] ppid=8808 vsize=15011656 memory=-8393745925659800667 CPUtime=0.08 cores=1,3,5,7
/proc/8811/task/8813/stat : 8813 (java) R 8808 8811 6157 0 -1 4202560 4680 0 0 0 7 1 0 0 20 0 15 0 77412411 15371935744 18934 33554432000 4194304 4196468 140735597634256 139929940871568 139929949321053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8814] ppid=8808 vsize=15011656 memory=3472468740676068560 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8814/stat : 8814 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 18934 33554432000 4194304 4196468 140735597634256 139929973287696 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8815] ppid=8808 vsize=15011656 memory=140611780916864 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8815/stat : 8815 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 18934 33554432000 4194304 4196468 140735597634256 139929772063632 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8816] ppid=8808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8816/stat : 8816 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 18934 33554432000 4194304 4196468 140735597634256 139929771011088 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8817] ppid=8808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8817/stat : 8817 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 18934 33554432000 4194304 4196468 140735597634256 139929769958544 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8818] ppid=8808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8818/stat : 8818 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412414 15371935744 18934 33554432000 4194304 4196468 140735597634256 139928939735024 139929969056386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8819] ppid=8808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8819/stat : 8819 (java) S 8808 8811 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77412415 15371935744 18934 33554432000 4194304 4196468 140735597634256 139928558101408 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8820] ppid=8808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8820/stat : 8820 (java) S 8808 8811 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77412415 15371935744 18934 33554432000 4194304 4196468 140735597634256 139928289666032 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8821] ppid=8808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8821/stat : 8821 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 19000 33554432000 4194304 4196468 140735597634256 139927915157712 139929969063835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8822] ppid=8808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8822/stat : 8822 (java) S 8808 8811 6157 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 19000 33554432000 4194304 4196468 140735597634256 139928938682864 139929969056386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8823] ppid=8808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8823/stat : 8823 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 19000 33554432000 4194304 4196468 140735597634256 139928937630320 139929969056386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8824] ppid=8808 vsize=15011656 memory=140611780916864 CPUtime=0.01 cores=1,3,5,7
/proc/8811/task/8824/stat : 8824 (java) S 8808 8811 6157 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 77412418 15371935744 19000 33554432000 4194304 4196468 140735597634256 139928936577776 139929969056386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8825] ppid=8808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8825/stat : 8825 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 19000 33554432000 4194304 4196468 140735597634256 139927417252960 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8826] ppid=8808 vsize=15011656 memory=140611780916864 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8826/stat : 8826 (java) S 8808 8811 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 19000 33554432000 4194304 4196468 140735597634256 139928935524656 139929969056386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74680 KiB
[startup+0.211408 s]*
/proc/loadavg: 1.76 2.00 2.02 3/220 8826
/proc/meminfo: memFree=12399184/32770624 swapFree=67108860/67108860
[pid=8811] ppid=8808 vsize=15011656 memory=86980 CPUtime=0.26 cores=1,3,5,7
/proc/8811/stat : 8811 (java) S 8808 8811 6157 0 -1 1077944320 9589 0 0 0 23 3 0 0 20 0 15 0 77412411 15371935744 21745 33554432000 4194304 4196468 140735597634256 140735597616800 139929969045239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
/proc/8811/statm: 3752914 21745 2943 1 0 3715374 0
[pid=8811/tid=8813] ppid=8808 vsize=15011656 memory=-8340259002029870941 CPUtime=0.2 cores=1,3,5,7
/proc/8811/task/8813/stat : 8813 (java) R 8808 8811 6157 0 -1 4202560 7492 0 0 0 18 2 0 0 20 0 15 0 77412411 15371935744 21745 33554432000 4194304 4196468 140735597634256 139929940871152 139929969057174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8814] ppid=8808 vsize=15011656 memory=5793855862790810041 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8814/stat : 8814 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 21745 33554432000 4194304 4196468 140735597634256 139929973287696 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8815] ppid=8808 vsize=15011656 memory=140611780916864 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8815/stat : 8815 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 21745 33554432000 4194304 4196468 140735597634256 139929772063632 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8816] ppid=8808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8816/stat : 8816 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 21745 33554432000 4194304 4196468 140735597634256 139929771011088 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8817] ppid=8808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8817/stat : 8817 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 21745 33554432000 4194304 4196468 140735597634256 139929769958544 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8818] ppid=8808 vsize=15011656 memory=140611780916864 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8818/stat : 8818 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412414 15371935744 21745 33554432000 4194304 4196468 140735597634256 139928939735024 139929969056386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8819] ppid=8808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8819/stat : 8819 (java) S 8808 8811 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77412415 15371935744 21745 33554432000 4194304 4196468 140735597634256 139928558101408 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8820] ppid=8808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8820/stat : 8820 (java) S 8808 8811 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77412415 15371935744 21745 33554432000 4194304 4196468 140735597634256 139928289666032 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8821] ppid=8808 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8821/stat : 8821 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 21745 33554432000 4194304 4196468 140735597634256 139927915157712 139929969063835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8822] ppid=8808 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8811/task/8822/stat : 8822 (java) S 8808 8811 6157 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 77412418 15371935744 21745 33554432000 4194304 4196468 140735597634256 139928938674368 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8823] ppid=8808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8823/stat : 8823 (java) R 8808 8811 6157 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 21745 33554432000 4194304 4196468 140735597634256 139928937630320 139929952941251 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8824] ppid=8808 vsize=15011656 memory=140611780916864 CPUtime=0.03 cores=1,3,5,7
/proc/8811/task/8824/stat : 8824 (java) S 8808 8811 6157 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 77412418 15371935744 21745 33554432000 4194304 4196468 140735597634256 139928936577872 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8825] ppid=8808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8825/stat : 8825 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 21745 33554432000 4194304 4196468 140735597634256 139927417252960 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8826] ppid=8808 vsize=15011656 memory=140611780916864 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8826/stat : 8826 (java) S 8808 8811 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 21745 33554432000 4194304 4196468 140735597634256 139928935524656 139929969056386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86980 KiB
[startup+0.310544 s]*
/proc/loadavg: 1.76 2.00 2.02 3/220 8826
/proc/meminfo: memFree=12396268/32770624 swapFree=67108860/67108860
[pid=8811] ppid=8808 vsize=15011656 memory=90188 CPUtime=0.43 cores=1,3,5,7
/proc/8811/stat : 8811 (java) S 8808 8811 6157 0 -1 1077944320 10125 0 0 0 39 4 0 0 20 0 15 0 77412411 15371935744 22547 33554432000 4194304 4196468 140735597634256 140735597616800 139929969045239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
/proc/8811/statm: 3752914 22547 2978 1 0 3715374 0
[pid=8811/tid=8813] ppid=8808 vsize=15011656 memory=-8340259002029870941 CPUtime=0.3 cores=1,3,5,7
/proc/8811/task/8813/stat : 8813 (java) R 8808 8811 6157 0 -1 4202560 7865 0 0 0 27 3 0 0 20 0 15 0 77412411 15371935744 22547 33554432000 4194304 4196468 140735597634256 139929940849392 139929950608799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8814] ppid=8808 vsize=15011656 memory=5793855862790810041 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8814/stat : 8814 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 22547 33554432000 4194304 4196468 140735597634256 139929973287696 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8815] ppid=8808 vsize=15011656 memory=281223440265856 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8815/stat : 8815 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 22547 33554432000 4194304 4196468 140735597634256 139929772063632 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8816] ppid=8808 vsize=15011656 memory=281223318725632 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8816/stat : 8816 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 22547 33554432000 4194304 4196468 140735597634256 139929771011088 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8817] ppid=8808 vsize=15011656 memory=140611659349007 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8817/stat : 8817 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15371935744 22547 33554432000 4194304 4196468 140735597634256 139929769958544 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8818] ppid=8808 vsize=15011656 memory=281223440272768 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8818/stat : 8818 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412414 15371935744 22547 33554432000 4194304 4196468 140735597634256 139928939735024 139929969056386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8819] ppid=8808 vsize=15011656 memory=140611659353615 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8819/stat : 8819 (java) S 8808 8811 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77412415 15371935744 22547 33554432000 4194304 4196468 140735597634256 139928558101408 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8820] ppid=8808 vsize=15011656 memory=140611659363645 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8820/stat : 8820 (java) S 8808 8811 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77412415 15371935744 22547 33554432000 4194304 4196468 140735597634256 139928289666032 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8821] ppid=8808 vsize=15011656 memory=140611659366334 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8821/stat : 8821 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 22547 33554432000 4194304 4196468 140735597634256 139927915157712 139929969063835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8822] ppid=8808 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8811/task/8822/stat : 8822 (java) S 8808 8811 6157 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 77412418 15371935744 22547 33554432000 4194304 4196468 140735597634256 139928938682864 139929969056386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8823] ppid=8808 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8811/task/8823/stat : 8823 (java) S 8808 8811 6157 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 15 0 77412418 15371935744 22547 33554432000 4194304 4196468 140735597634256 139928937630320 139929969056386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8824] ppid=8808 vsize=15011656 memory=140611780916864 CPUtime=0.07 cores=1,3,5,7
/proc/8811/task/8824/stat : 8824 (java) R 8808 8811 6157 0 -1 4202560 312 0 0 0 7 0 0 0 20 0 15 0 77412418 15371935744 22547 33554432000 4194304 4196468 140735597634256 139928936577776 139929955024125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8825] ppid=8808 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8825/stat : 8825 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 22547 33554432000 4194304 4196468 140735597634256 139927417252960 139929969055445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8826] ppid=8808 vsize=15011656 memory=140611780991544 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8826/stat : 8826 (java) S 8808 8811 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77412418 15371935744 22547 33554432000 4194304 4196468 140735597634256 139928935524656 139929969056386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90188 KiB
[startup+0.701411 s]
/proc/loadavg: 1.76 2.00 2.02 3/220 8826
/proc/meminfo: memFree=12371960/32770624 swapFree=67108860/67108860
[pid=8811] ppid=8808 vsize=15020052 memory=129568 CPUtime=0.99 cores=1,3,5,7
/proc/8811/stat : 8811 (java) S 8808 8811 6157 0 -1 1077944320 17138 0 0 0 92 7 0 0 20 0 15 0 77412411 15380533248 32392 33554432000 4194304 4196468 140735597634256 140735597616800 139929969045239 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
/proc/8811/statm: 3755013 32392 3123 1 0 3716398 0
[pid=8811/tid=8813] ppid=8808 vsize=15020052 memory=55 CPUtime=0.67 cores=1,3,5,7
/proc/8811/task/8813/stat : 8813 (java) R 8808 8811 6157 0 -1 4202560 14480 0 0 0 62 5 0 0 20 0 15 0 77412411 15380533248 32392 33554432000 4194304 4196468 140735597634256 139929940878976 139929969067165 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8814] ppid=8808 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8814/stat : 8814 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15380533248 32392 33554432000 4194304 4196468 140735597634256 139929973287696 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8815] ppid=8808 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8815/stat : 8815 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15380533248 32392 33554432000 4194304 4196468 140735597634256 139929772063632 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8816] ppid=8808 vsize=15020052 memory=7886766292050916917 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8816/stat : 8816 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412413 15380533248 32392 33554432000 4194304 4196468 140735597634256 139929771011088 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8817] ppid=8808 vsize=15020052 memory=5787495302107849536 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8817/stat : 8817 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15380533248 32392 33554432000 4194304 4196468 140735597634256 139929769958544 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8818] ppid=8808 vsize=15020052 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8818/stat : 8818 (java) S 8808 8811 6157 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77412414 15380533248 32392 33554432000 4194304 4196468 140735597634256 139928939735024 139929969056386 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8819] ppid=8808 vsize=15020052 memory=8540 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8819/stat : 8819 (java) S 8808 8811 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77412415 15380533248 32392 33554432000 4194304 4196468 140735597634256 139928558101408 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8820] ppid=8808 vsize=15020052 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8820/stat : 8820 (java) S 8808 8811 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77412415 15380533248 32392 33554432000 4194304 4196468 140735597634256 139928289666032 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8821] ppid=8808 vsize=15020052 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8821/stat : 8821 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412418 15380533248 32392 33554432000 4194304 4196468 140735597634256 139927915157712 139929969063835 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8822] ppid=8808 vsize=15020052 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/8811/task/8822/stat : 8822 (java) R 8808 8811 6157 0 -1 4202560 619 0 0 0 8 0 0 0 20 0 15 0 77412418 15380533248 32392 33554432000 4194304 4196468 140735597634256 139928938668704 139929950589683 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8823] ppid=8808 vsize=15020052 memory=1012 CPUtime=0.05 cores=1,3,5,7
/proc/8811/task/8823/stat : 8823 (java) S 8808 8811 6157 0 -1 1077944384 250 0 0 0 5 0 0 0 20 0 15 0 77412418 15380533248 32392 33554432000 4194304 4196468 140735597634256 139928937630320 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8824] ppid=8808 vsize=15020052 memory=1436 CPUtime=0.16 cores=1,3,5,7
/proc/8811/task/8824/stat : 8824 (java) R 8808 8811 6157 0 -1 4202560 445 0 0 0 16 0 0 0 20 0 15 0 77412418 15380533248 32392 33554432000 4194304 4196468 140735597634256 139928936577776 139929962142075 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8825] ppid=8808 vsize=15020052 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8825/stat : 8825 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412418 15380533248 32392 33554432000 4194304 4196468 140735597634256 139927417252960 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8826] ppid=8808 vsize=15020052 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8826/stat : 8826 (java) S 8808 8811 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77412418 15380533248 32392 33554432000 4194304 4196468 140735597634256 139928935524656 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129568 KiB
[startup+1.50141 s]
/proc/loadavg: 1.70 1.98 2.01 6/220 8826
/proc/meminfo: memFree=12324068/32770624 swapFree=67108860/67108860
[pid=8811] ppid=8808 vsize=15024148 memory=199108 CPUtime=3.59 cores=1,3,5,7
/proc/8811/stat : 8811 (java) S 8808 8811 6157 0 -1 1077944320 23706 0 0 0 349 10 0 0 20 0 15 0 77412411 15384727552 49777 33554432000 4194304 4196468 140735597634256 140735597616800 139929969045239 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
/proc/8811/statm: 3756037 49777 3201 1 0 3717422 0
[pid=8811/tid=8813] ppid=8808 vsize=15024148 memory=4140 CPUtime=1.47 cores=1,3,5,7
/proc/8811/task/8813/stat : 8813 (java) R 8808 8811 6157 0 -1 4202560 16021 0 0 0 140 7 0 0 20 0 15 0 77412411 15384727552 49777 33554432000 4194304 4196468 140735597634256 139929940878896 139929954310063 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8814] ppid=8808 vsize=15024148 memory=23052 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8814/stat : 8814 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15384727552 49777 33554432000 4194304 4196468 140735597634256 139929973287696 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8815] ppid=8808 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8815/stat : 8815 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15384727552 49777 33554432000 4194304 4196468 140735597634256 139929772063632 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8816] ppid=8808 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8816/stat : 8816 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77412413 15384727552 49777 33554432000 4194304 4196468 140735597634256 139929771011088 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8817] ppid=8808 vsize=15024148 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8817/stat : 8817 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77412413 15384727552 49777 33554432000 4194304 4196468 140735597634256 139929769958544 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8818] ppid=8808 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8818/stat : 8818 (java) S 8808 8811 6157 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77412414 15384727552 49777 33554432000 4194304 4196468 140735597634256 139928939735024 139929969056386 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
################
# More data... #
################
[pid=8811/tid=8823] ppid=8808 vsize=15683912 memory=3848 CPUtime=5.65 cores=1,3,5,7
/proc/8811/task/8823/stat : 8823 (java) S 8808 8811 6157 0 -1 1077944384 8185 0 0 0 564 1 0 0 20 0 19 0 77412418 16060325888 784609 33554432000 4194304 4196468 140735597634256 139928937630320 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8824] ppid=8808 vsize=15683912 memory=4104 CPUtime=1.41 cores=1,3,5,7
/proc/8811/task/8824/stat : 8824 (java) S 8808 8811 6157 0 -1 1077944384 5589 0 0 0 139 2 0 0 20 0 19 0 77412418 16060325888 784609 33554432000 4194304 4196468 140735597634256 139928936577776 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8825] ppid=8808 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8825/stat : 8825 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77412418 16060325888 784609 33554432000 4194304 4196468 140735597634256 139927417252960 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8826] ppid=8808 vsize=15683912 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8826/stat : 8826 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77412418 16060325888 784609 33554432000 4194304 4196468 140735597634256 139928935524656 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8828] ppid=8808 vsize=15683912 memory=15258134151170443 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8828/stat : 8828 (java) S 8808 8811 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77413478 16060325888 784609 33554432000 4194304 4196468 140735597634256 139929028240448 139929969069849 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8830] ppid=8808 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8830/stat : 8830 (java) S 8808 8811 6157 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 77413479 16060325888 784609 33554432000 4194304 4196468 140735597634256 139926880366128 139929969067165 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8831] ppid=8808 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8831/stat : 8831 (java) S 8808 8811 6157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 77413479 16060325888 784609 33554432000 4194304 4196468 140735597634256 139926611934896 139929969067165 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8832] ppid=8808 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8832/stat : 8832 (java) S 8808 8811 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 77413480 16060325888 784609 33554432000 4194304 4196468 140735597634256 139927014596128 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
Current children cumulated CPU time: 27.05 s
Current children cumulated vsize: 15730988 KiB
Current children cumulated memory: 3164840 KiB
[startup+15.2009 s]
/proc/loadavg: 1.83 2.00 2.02 3/225 8832
/proc/meminfo: memFree=9311644/32770624 swapFree=67108860/67108860
[pid=8811] ppid=8808 vsize=15683912 memory=3131036 CPUtime=23.33 cores=1,3,5,7
/proc/8811/stat : 8811 (java) S 8808 8811 6157 0 -1 1077944320 38842 0 0 0 2263 70 0 0 20 0 19 0 77412411 16060325888 782759 33554432000 4194304 4196468 140735597634256 140735597616800 139929969045239 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
/proc/8811/statm: 3920978 782759 3239 1 0 3881834 0
[pid=8827] ppid=8811 vsize=47076 memory=28676 CPUtime=4.52 cores=1,3,5,7
/proc/8827/stat : 8827 (minisat_release) R 8811 8811 6157 0 -1 4202496 13492 0 0 0 451 1 0 0 20 0 1 0 77413478 48205824 7169 33554432000 4194304 4308513 140721486662192 140721486659096 140651047778561 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 39989248 140721486664369 140721486664878 140721486664878 140721486667717 0
/proc/8827/statm: 11769 7169 353 28 0 8009 0
[pid=8811/tid=8813] ppid=8808 vsize=15683912 memory=1200 CPUtime=10.51 cores=1,3,5,7
/proc/8811/task/8813/stat : 8813 (java) S 8808 8811 6157 0 -1 1077944384 18639 0 0 0 1001 50 0 0 20 0 19 0 77412411 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929940884480 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8814] ppid=8808 vsize=15683912 memory=15876 CPUtime=0.14 cores=1,3,5,7
/proc/8811/task/8814/stat : 8814 (java) S 8808 8811 6157 0 -1 1077944384 116 0 0 0 11 3 0 0 20 0 19 0 77412413 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929973287696 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8815] ppid=8808 vsize=15683912 memory=13552 CPUtime=0.14 cores=1,3,5,7
/proc/8811/task/8815/stat : 8815 (java) S 8808 8811 6157 0 -1 1077944384 115 0 0 0 11 3 0 0 20 0 19 0 77412413 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929772063632 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8816] ppid=8808 vsize=15683912 memory=13044 CPUtime=0.14 cores=1,3,5,7
/proc/8811/task/8816/stat : 8816 (java) S 8808 8811 6157 0 -1 1077944384 96 0 0 0 11 3 0 0 20 0 19 0 77412413 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929771011088 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8817] ppid=8808 vsize=15683912 memory=792 CPUtime=0.14 cores=1,3,5,7
/proc/8811/task/8817/stat : 8817 (java) S 8808 8811 6157 0 -1 1077944384 57 0 0 0 11 3 0 0 20 0 19 0 77412413 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929769958544 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8818] ppid=8808 vsize=15683912 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8818/stat : 8818 (java) S 8808 8811 6157 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 77412414 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928939735024 139929969056386 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8819] ppid=8808 vsize=15683912 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8819/stat : 8819 (java) S 8808 8811 6157 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 77412415 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928558101472 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8820] ppid=8808 vsize=15683912 memory=8540 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8820/stat : 8820 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77412415 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928289666032 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8821] ppid=8808 vsize=15683912 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8821/stat : 8821 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139927915157712 139929969063835 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8822] ppid=8808 vsize=15683912 memory=5412 CPUtime=5.11 cores=1,3,5,7
/proc/8811/task/8822/stat : 8822 (java) S 8808 8811 6157 0 -1 1077944384 4613 0 0 0 509 2 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928938682864 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8823] ppid=8808 vsize=15683912 memory=4612 CPUtime=5.65 cores=1,3,5,7
/proc/8811/task/8823/stat : 8823 (java) S 8808 8811 6157 0 -1 1077944384 8185 0 0 0 564 1 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928937630320 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8824] ppid=8808 vsize=15683912 memory=1012 CPUtime=1.41 cores=1,3,5,7
/proc/8811/task/8824/stat : 8824 (java) S 8808 8811 6157 0 -1 1077944384 5589 0 0 0 139 2 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928936577776 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8825] ppid=8808 vsize=15683912 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8825/stat : 8825 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139927417252960 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8826] ppid=8808 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8826/stat : 8826 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928935524656 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8828] ppid=8808 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8828/stat : 8828 (java) S 8808 8811 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77413478 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929028240448 139929969069849 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8830] ppid=8808 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8830/stat : 8830 (java) S 8808 8811 6157 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 77413479 16060325888 782759 33554432000 4194304 4196468 140735597634256 139926880366128 139929969067165 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8831] ppid=8808 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8831/stat : 8831 (java) S 8808 8811 6157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 77413479 16060325888 782759 33554432000 4194304 4196468 140735597634256 139926611934896 139929969067165 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8832] ppid=8808 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8832/stat : 8832 (java) S 8808 8811 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 77413480 16060325888 782759 33554432000 4194304 4196468 140735597634256 139927014596128 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
Current children cumulated CPU time: 27.85 s
Current children cumulated vsize: 15730988 KiB
Current children cumulated memory: 3159712 KiB
[startup+16.0009 s]*
/proc/loadavg: 1.92 2.02 2.02 3/225 8832
/proc/meminfo: memFree=9317864/32770624 swapFree=67108860/67108860
[pid=8811] ppid=8808 vsize=15683912 memory=3131036 CPUtime=23.33 cores=1,3,5,7
/proc/8811/stat : 8811 (java) S 8808 8811 6157 0 -1 1077944320 38843 0 0 0 2263 70 0 0 20 0 19 0 77412411 16060325888 782759 33554432000 4194304 4196468 140735597634256 140735597616800 139929969045239 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
/proc/8811/statm: 3920978 782759 3239 1 0 3881834 0
[pid=8827] ppid=8811 vsize=47076 memory=29488 CPUtime=5.33 cores=1,3,5,7
/proc/8827/stat : 8827 (minisat_release) R 8811 8811 6157 0 -1 4202496 13991 0 0 0 532 1 0 0 20 0 1 0 77413478 48205824 7372 33554432000 4194304 4308513 140721486662192 140721486659608 4289173 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 39989248 140721486664369 140721486664878 140721486664878 140721486667717 0
/proc/8827/statm: 11769 7372 353 28 0 8009 0
[pid=8811/tid=8813] ppid=8808 vsize=15683912 memory=-5059952977386882957 CPUtime=10.51 cores=1,3,5,7
/proc/8811/task/8813/stat : 8813 (java) S 8808 8811 6157 0 -1 1077944384 18639 0 0 0 1001 50 0 0 20 0 19 0 77412411 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929940884480 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8814] ppid=8808 vsize=15683912 memory=281223319356224 CPUtime=0.14 cores=1,3,5,7
/proc/8811/task/8814/stat : 8814 (java) S 8808 8811 6157 0 -1 1077944384 116 0 0 0 11 3 0 0 20 0 19 0 77412413 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929973287696 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8815] ppid=8808 vsize=15683912 memory=140611659685728 CPUtime=0.14 cores=1,3,5,7
/proc/8811/task/8815/stat : 8815 (java) S 8808 8811 6157 0 -1 1077944384 115 0 0 0 11 3 0 0 20 0 19 0 77412413 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929772063632 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8816] ppid=8808 vsize=15683912 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/8811/task/8816/stat : 8816 (java) S 8808 8811 6157 0 -1 1077944384 96 0 0 0 11 3 0 0 20 0 19 0 77412413 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929771011088 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8817] ppid=8808 vsize=15683912 memory=-7003737579269690708 CPUtime=0.14 cores=1,3,5,7
/proc/8811/task/8817/stat : 8817 (java) S 8808 8811 6157 0 -1 1077944384 57 0 0 0 11 3 0 0 20 0 19 0 77412413 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929769958544 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8818] ppid=8808 vsize=15683912 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8818/stat : 8818 (java) S 8808 8811 6157 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 77412414 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928939735024 139929969056386 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8819] ppid=8808 vsize=15683912 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8819/stat : 8819 (java) S 8808 8811 6157 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 77412415 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928558101472 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8820] ppid=8808 vsize=15683912 memory=932 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8820/stat : 8820 (java) S 8808 8811 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77412415 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928289666032 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8821] ppid=8808 vsize=15683912 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8821/stat : 8821 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139927915157712 139929969063835 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8822] ppid=8808 vsize=15683912 memory=4124 CPUtime=5.11 cores=1,3,5,7
/proc/8811/task/8822/stat : 8822 (java) S 8808 8811 6157 0 -1 1077944384 4613 0 0 0 509 2 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928938682864 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8823] ppid=8808 vsize=15683912 memory=2200 CPUtime=5.65 cores=1,3,5,7
/proc/8811/task/8823/stat : 8823 (java) S 8808 8811 6157 0 -1 1077944384 8186 0 0 0 564 1 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928937630320 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8824] ppid=8808 vsize=15683912 memory=7288 CPUtime=1.41 cores=1,3,5,7
/proc/8811/task/8824/stat : 8824 (java) S 8808 8811 6157 0 -1 1077944384 5589 0 0 0 139 2 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928936577776 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8825] ppid=8808 vsize=15683912 memory=840 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8825/stat : 8825 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139927417252960 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8826] ppid=8808 vsize=15683912 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8826/stat : 8826 (java) S 8808 8811 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77412418 16060325888 782759 33554432000 4194304 4196468 140735597634256 139928935524656 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8828] ppid=8808 vsize=15683912 memory=916 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8828/stat : 8828 (java) S 8808 8811 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77413478 16060325888 782759 33554432000 4194304 4196468 140735597634256 139929028240448 139929969069849 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8830] ppid=8808 vsize=15683912 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8830/stat : 8830 (java) S 8808 8811 6157 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 77413479 16060325888 782759 33554432000 4194304 4196468 140735597634256 139926880366128 139929969067165 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8831] ppid=8808 vsize=15683912 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8831/stat : 8831 (java) S 8808 8811 6157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 77413479 16060325888 782759 33554432000 4194304 4196468 140735597634256 139926611934896 139929969067165 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8832] ppid=8808 vsize=15683912 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/8811/task/8832/stat : 8832 (java) S 8808 8811 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 77413480 16060325888 782759 33554432000 4194304 4196468 140735597634256 139927014596128 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
Current children cumulated CPU time: 28.66 s
Current children cumulated vsize: 15730988 KiB
Current children cumulated memory: 3160524 KiB
[startup+16.4013 s]
/proc/loadavg: 1.92 2.02 2.02 3/225 8832
/proc/meminfo: memFree=9317864/32770624 swapFree=67108860/67108860
[pid=8811] ppid=8808 vsize=15552836 memory=3129684 CPUtime=29.15 cores=1,3,5,7
/proc/8811/stat : 8811 (java) S 8808 8811 6157 0 -1 1077944320 38962 14523 0 0 2276 70 567 2 20 0 17 0 77412411 15926104064 782421 33554432000 4194304 4196468 140735597634256 140735597616800 139929969045239 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
/proc/8811/statm: 3888209 782421 3256 1 0 3849065 0
[pid=8811/tid=8813] ppid=8808 vsize=15552836 memory=4140 CPUtime=16.22 cores=1,3,5,7
/proc/8811/task/8813/stat : 8813 (java) R 8808 8811 6157 0 -1 4202560 18661 14523 0 0 1003 50 567 2 20 0 17 0 77412411 15926104064 782421 33554432000 4194304 4196468 140735597634256 139929940881120 140735598634946 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8814] ppid=8808 vsize=15552836 memory=23052 CPUtime=5.83 cores=1,3,5,7
/proc/8811/task/8814/stat : 8814 (java) S 8808 8811 6157 0 -1 1077944384 116 14523 0 0 11 3 567 2 20 0 17 0 77412413 15926104064 782421 33554432000 4194304 4196468 140735597634256 139929973287696 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8815] ppid=8808 vsize=15552836 memory=1296 CPUtime=5.83 cores=1,3,5,7
/proc/8811/task/8815/stat : 8815 (java) S 8808 8811 6157 0 -1 1077944384 115 14523 0 0 11 3 567 2 20 0 17 0 77412413 15926104064 782421 33554432000 4194304 4196468 140735597634256 139929772063632 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8816] ppid=8808 vsize=15552836 memory=2400 CPUtime=5.83 cores=1,3,5,7
/proc/8811/task/8816/stat : 8816 (java) S 8808 8811 6157 0 -1 1077944384 96 14523 0 0 11 3 567 2 20 0 17 0 77412413 15926104064 782421 33554432000 4194304 4196468 140735597634256 139929771011088 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8817] ppid=8808 vsize=15552836 memory=1836 CPUtime=5.83 cores=1,3,5,7
/proc/8811/task/8817/stat : 8817 (java) S 8808 8811 6157 0 -1 1077944384 57 14523 0 0 11 3 567 2 20 0 17 0 77412413 15926104064 782421 33554432000 4194304 4196468 140735597634256 139929769958544 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8818] ppid=8808 vsize=15552836 memory=13044 CPUtime=5.69 cores=1,3,5,7
/proc/8811/task/8818/stat : 8818 (java) S 8808 8811 6157 0 -1 1077944384 67 14523 0 0 0 0 567 2 20 0 17 0 77412414 15926104064 782421 33554432000 4194304 4196468 140735597634256 139928939735024 139929969056386 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8819] ppid=8808 vsize=15552836 memory=792 CPUtime=5.69 cores=1,3,5,7
/proc/8811/task/8819/stat : 8819 (java) S 8808 8811 6157 0 -1 1077944384 15 14523 0 0 0 0 567 2 20 0 17 0 77412415 15926104064 782421 33554432000 4194304 4196468 140735597634256 139928558101472 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8820] ppid=8808 vsize=15552836 memory=1952 CPUtime=5.69 cores=1,3,5,7
/proc/8811/task/8820/stat : 8820 (java) S 8808 8811 6157 0 -1 1077944384 2 14523 0 0 0 0 567 2 20 0 17 0 77412415 15926104064 782421 33554432000 4194304 4196468 140735597634256 139928289666032 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8821] ppid=8808 vsize=15552836 memory=1232 CPUtime=5.69 cores=1,3,5,7
/proc/8811/task/8821/stat : 8821 (java) S 8808 8811 6157 0 -1 1077944384 3 14523 0 0 0 0 567 2 20 0 17 0 77412418 15926104064 782421 33554432000 4194304 4196468 140735597634256 139927915157712 139929969063835 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8822] ppid=8808 vsize=15552836 memory=29112 CPUtime=10.83 cores=1,3,5,7
/proc/8811/task/8822/stat : 8822 (java) R 8808 8811 6157 0 -1 4202560 4617 14523 0 0 512 2 567 2 20 0 17 0 77412418 15926104064 782421 33554432000 4194304 4196468 140735597634256 139928938668016 139929950569764 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8823] ppid=8808 vsize=15552836 memory=28452 CPUtime=11.38 cores=1,3,5,7
/proc/8811/task/8823/stat : 8823 (java) R 8808 8811 6157 0 -1 1077944384 8191 14523 0 0 568 1 567 2 20 0 17 0 77412418 15926104064 782421 33554432000 4194304 4196468 140735597634256 139928937620432 139929969055445 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8824] ppid=8808 vsize=15552836 memory=232 CPUtime=7.13 cores=1,3,5,7
/proc/8811/task/8824/stat : 8824 (java) R 8808 8811 6157 0 -1 4202560 5611 14523 0 0 142 2 567 2 20 0 17 0 77412418 15926104064 782421 33554432000 4194304 4196468 140735597634256 139928936577776 139929950944976 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8825] ppid=8808 vsize=15552836 memory=0 CPUtime=5.69 cores=1,3,5,7
/proc/8811/task/8825/stat : 8825 (java) S 8808 8811 6157 0 -1 1077944384 3 14523 0 0 0 0 567 2 20 0 17 0 77412418 15926104064 782421 33554432000 4194304 4196468 140735597634256 139927417252960 139929969055445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8826] ppid=8808 vsize=15552836 memory=2528 CPUtime=5.69 cores=1,3,5,7
/proc/8811/task/8826/stat : 8826 (java) S 8808 8811 6157 0 -1 1077944384 3 14523 0 0 0 0 567 2 20 0 17 0 77412418 15926104064 782421 33554432000 4194304 4196468 140735597634256 139928935524656 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8828] ppid=8808 vsize=15552836 memory=0 CPUtime=5.69 cores=1,3,5,7
/proc/8811/task/8828/stat : 8828 (java) S 8808 8811 6157 0 -1 1077944384 27 14523 0 0 0 0 567 2 20 0 17 0 77413478 15926104064 782421 33554432000 4194304 4196468 140735597634256 139929028239632 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
[pid=8811/tid=8832] ppid=8808 vsize=15552836 memory=17828 CPUtime=5.69 cores=1,3,5,7
/proc/8811/task/8832/stat : 8832 (java) S 8808 8811 6157 0 -1 1077944384 31 14523 0 0 0 0 567 2 20 0 17 0 77413480 15926104064 782421 33554432000 4194304 4196468 140735597634256 139927014597936 139929969056386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17432576 140735597638644 140735597638921 140735597638921 140735597641679 0
Current children cumulated CPU time: 29.15 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 3129684 KiB
Child status: 0
Real time (s): 16.4322
CPU time (s): 29.2006
CPU user time (s): 28.4548
CPU system time (s): 0.745775
CPU usage (%): 177.704
Max. virtual memory (cumulated for all children) (KiB): 15738168
Max. memory (cumulated for all children) (KiB): 3167112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.4548
system time used= 0.745775
maximum resident set size= 3139892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53517
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= 5098
involuntary context switches= 96
# summary of solver processes directly reported to runsolver:
# pid: 8811
# total CPU time (s): 29.2006
# total CPU user time (s): 28.4548
# total CPU system time (s): 0.745775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14302 second user time and 0.193561 second system time
The end