0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 08:08:48 CEST 2018
0.66/0.55 c PID: 6311
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.41/0.95 c (0,0) Parsing End
1.41/0.95 c (0,0) CSP: 145 int (0 aux), 0 bool (0 aux), 85 ctr, max domain size 45
1.41/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/0.95 c (0,0) Constraint Name Generate Begin
1.41/0.96 c (0,0) Ctr:HOME/instance-4295760-1532585327.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.41/0.96 c (0,0) Constraint Name Generate End
1.41/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/0.96 c (0,0) CSP to CSPinCNF Begin
3.18/1.60 c (1,1) translated 9 (10%) constraints
3.49/1.78 c (1,1) translated 17 (20%) constraints
4.11/1.95 c (1,1) translated 26 (30%) constraints
4.44/2.08 c (1,1) translated 34 (40%) constraints
5.02/2.21 c (1,1) translated 43 (50%) constraints
5.39/2.37 c (1,1) translated 51 (60%) constraints
6.40/2.60 c (2,2) translated 60 (70%) constraints
7.36/2.97 c (2,2) translated 68 (80%) constraints
7.36/2.97 c (2,2) translated 77 (90%) constraints
7.36/2.97 c (2,2) translated 85 (100%) constraints
7.36/2.97 c (2,2) STATISTICS1:HOME/instance-4295760-1532585327.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,3620,15016,524288,45,45,20,524288:100;131072:100;45:780;16:18;9:455;1:210,45:8960;9:11390;2:23070;1:1125,45:2;10:155;9:45;8:45;7:45;6:45;5:45;4:3195;3:4240;2:7030;1:169,20:100;18:100;5:18;2:1445;1:39860;0:45,
7.36/2.97 c (2,2) ===========================================
7.36/2.97 c (2,2) Order
7.36/2.97 c (2,2) ===========================================
7.36/2.97 c (2,2) translated 1502 (10%) constraints
7.36/2.97 c (2,2) translated 3004 (20%) constraints
7.36/2.99 c (2,2) translated 4505 (30%) constraints
7.68/3.03 c (2,2) translated 6007 (40%) constraints
7.68/3.07 c (2,2) translated 7508 (50%) constraints
7.99/3.11 c (2,2) translated 9010 (60%) constraints
7.99/3.15 c (2,2) translated 10512 (70%) constraints
8.27/3.20 c (2,2) translated 12013 (80%) constraints
8.60/3.36 c (2,2) translated 13515 (90%) constraints
9.36/3.54 c (3,3) translated 15016 (100%) constraints
9.36/3.54 c (3,3) CSP to CSPinCNF End
9.36/3.55 c (3,3) CSP: 545 int (400 aux), 4520 bool (4520 aux), 17770 ctr, max domain size 43
9.36/3.55 c (3,3) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
9.36/3.55 c (3,3) CSPinCNF Propagation Begin
10.29/3.81 c (3,3) 1205 values, 3964 unsatisfiable literals, and 3051 valid clauses are removed
10.29/3.81 c (3,3) CSPinCNF Propagation End
10.29/3.81 c (3,3) CSP: 1385 int (1240 aux), 3680 bool (3680 aux), 14719 ctr, max domain size 43
10.29/3.81 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.29/3.81 c (3,3) Simplify CSPinCNF Begin
10.58/3.92 c (3,3) Simplify CSPinCNF End
10.58/3.92 c (3,3) CSP: 1385 int (1240 aux), 6290 bool (6290 aux), 17329 ctr, max domain size 43
10.58/3.92 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.58/3.92 c (3,3) Calculate Precise Domain Begin
10.58/3.96 c (3,3) 10 values are removed by re-calculation
10.58/3.96 c (3,3) Calculate Precise Domain End
10.58/3.96 c (3,3) CSP: 1385 int (1240 aux), 6290 bool (6290 aux), 17329 ctr, max domain size 43
10.58/3.96 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
10.58/3.96 c (3,3) CSPinCNF to SatSolver Begin
10.88/4.07 c (3,3) 1733 (10 %) CSP clauses are encoded (9595 SAT variables, 4527 SAT clauses)
10.88/4.09 c (3,3) 3466 (20 %) CSP clauses are encoded (9595 SAT variables, 6260 SAT clauses)
11.15/4.12 c (3,3) 5199 (30 %) CSP clauses are encoded (9595 SAT variables, 7993 SAT clauses)
11.15/4.14 c (3,3) 6932 (40 %) CSP clauses are encoded (9595 SAT variables, 9726 SAT clauses)
11.15/4.16 c (3,3) 8665 (50 %) CSP clauses are encoded (9595 SAT variables, 11459 SAT clauses)
11.75/4.32 c (3,3) 10398 (60 %) CSP clauses are encoded (9595 SAT variables, 35704 SAT clauses)
12.05/4.49 c (3,3) 12131 (70 %) CSP clauses are encoded (9595 SAT variables, 77925 SAT clauses)
12.31/4.54 c (4,3) 13864 (80 %) CSP clauses are encoded (9595 SAT variables, 88273 SAT clauses)
12.59/4.60 c (4,4) 15597 (90 %) CSP clauses are encoded (9595 SAT variables, 93756 SAT clauses)
12.59/4.67 c (4,4) 17329 (100 %) CSP clauses are encoded (9595 SAT variables, 102815 SAT clauses)
12.59/4.67 c (4,4) CSPinCNF to SatSolver End
12.59/4.67 c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.21/4.81 c (4,4) STATISTICS2:HOME/instance-4295760-1532585327.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,7675,17329,128,43,9,8,128:70;64:210;43:1560;32:70;16:106;15:28;10:7;9:387;8:680;6:3;4:70;1:240,43:10230;9:9120;8:2440;7:70;5:70;4:30;3:830;2:27225;1:1140,9:80;8:80;7:40;6:40;5:58;4:2840;3:3185;2:10185;1:821,8:200;7:400;5:16;3:200;2:2615;1:40845,
13.21/4.81 c (4,4) SatSolver.solve Begin
13.21/4.81 c (4,4) 9595 bool, 102823 clause
13.21/4.81 c (4,4) 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-4295760-1532585327.xml-scop-6311.cnf HOME/instance-4295760-1532585327.xml-scop-6311.cnf.out
14.49/5.89 c (5,0) c This is COMiniSatPS.
14.49/5.89 c (5,0) c WARNING: for repeatability, setting FPU to use double precision
14.49/5.89 c (5,0) c ============================[ Problem Statistics ]=============================
14.49/5.89 c (5,0) c | |
14.49/5.89 c (5,0) c | Number of variables: 9595 |
14.49/5.89 c (5,0) c | Number of clauses: 102823 |
14.49/5.89 c (5,0) c | Parse time: 0.03 s |
14.49/5.89 c (5,0) c | Eliminated clauses: 0.15 Mb |
14.49/5.89 c (5,0) c Reduced to 5102 vars, 91705 cls (grow=0)
14.49/5.89 c (5,0) c No iterative elimination performed. (vars=5102, c/v ratio=18.0)
14.49/5.89 c (5,0) c | Simplification time: 0.13 s |
14.49/5.89 c (5,0) c | |
14.49/5.89 c (5,0) c ============================[ Search Statistics ]==============================
14.49/5.90 c (5,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
14.49/5.90 c (5,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
14.49/5.90 c (5,0) c ===============================================================================
14.49/5.90 c (5,0) c ===============================================================================
14.49/5.90 c (5,0) c restarts : 94
14.49/5.90 c (5,0) c conflicts : 12598 (11956 /sec)
14.49/5.90 c (5,0) c decisions : 41694 (0.00 % random) (39570 /sec)
14.49/5.90 c (5,0) c propagations : 3498981 (3320737 /sec)
14.49/5.90 c (5,0) c conflict literals : 273864 (15.10 % deleted)
14.49/5.90 c (5,0) c CPU time : 1.05368 s
14.49/5.90 c (5,0)
14.49/5.90 c (5,0) s SATISFIABLE
14.60/5.91 c (5,4) SatSolver.solve End
14.60/5.91 c (5,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
14.60/5.91 c (5,4) Show results Begin
14.60/5.92 c (5,4) a[0][0] = 1
14.60/5.92 c (5,4) a[0][1] = 8
14.60/5.92 c (5,4) a[0][2] = 6
14.60/5.92 c (5,4) a[0][3] = 9
14.60/5.92 c (5,4) a[0][4] = 5
14.60/5.92 c (5,4) a[0][5] = 5
14.60/5.92 c (5,4) a[0][6] = 4
14.60/5.92 c (5,4) a[0][7] = 9
14.60/5.92 c (5,4) a[0][8] = 8
14.60/5.92 c (5,4) a[1][0] = 3
14.60/5.92 c (5,4) a[1][1] = 2
14.60/5.92 c (5,4) a[1][2] = 8
14.60/5.92 c (5,4) a[1][3] = 7
14.60/5.92 c (5,4) a[1][4] = 9
14.60/5.92 c (5,4) a[1][5] = 4
14.60/5.92 c (5,4) a[1][6] = 8
14.60/5.92 c (5,4) a[1][7] = 6
14.60/5.92 c (5,4) a[1][8] = 7
14.60/5.92 c (5,4) a[2][0] = 5
14.60/5.92 c (5,4) a[2][1] = 4
14.60/5.92 c (5,4) a[2][2] = 7
14.60/5.92 c (5,4) a[2][3] = 6
14.60/5.92 c (5,4) a[2][4] = 6
14.60/5.92 c (5,4) a[2][5] = 9
14.60/5.92 c (5,4) a[2][6] = 3
14.60/5.92 c (5,4) a[2][7] = 8
14.60/5.92 c (5,4) a[2][8] = 9
14.60/5.92 c (5,4) a[3][0] = 7
14.60/5.92 c (5,4) a[3][1] = 9
14.60/5.92 c (5,4) a[3][2] = 3
14.60/5.92 c (5,4) a[3][3] = 4
14.60/5.92 c (5,4) a[3][4] = 8
14.60/5.92 c (5,4) a[3][5] = 8
14.60/5.92 c (5,4) a[3][6] = 9
14.60/5.92 c (5,4) a[3][7] = 7
14.60/5.92 c (5,4) a[3][8] = 2
14.60/5.92 c (5,4) a[4][0] = 9
14.60/5.92 c (5,4) a[4][1] = 5
14.60/5.92 c (5,4) a[4][2] = 9
14.60/5.92 c (5,4) a[4][3] = 8
14.60/5.92 c (5,4) a[4][4] = 7
14.60/5.92 c (5,4) a[4][5] = 6
14.60/5.92 c (5,4) a[4][6] = 7
14.60/5.92 c (5,4) a[4][7] = 5
14.60/5.93 c (5,4) a[4][8] = 6
14.60/5.93 c (5,4) ad[0] = 7
14.60/5.93 c (5,4) ad[1] = 9
14.60/5.93 c (5,4) ad[2] = 8
14.60/5.93 c (5,4) ad[3] = 5
14.60/5.93 c (5,4) ad[4] = 3
14.60/5.93 c (5,4) h[0][0] = 0
14.60/5.93 c (5,4) h[0][1] = 7
14.60/5.93 c (5,4) h[0][2] = 1
14.60/5.93 c (5,4) h[0][3] = 2
14.60/5.93 c (5,4) h[0][4] = 0
14.60/5.93 c (5,4) h[0][5] = 3
14.60/5.93 c (5,4) h[0][6] = 2
14.60/5.93 c (5,4) h[0][7] = 3
14.60/5.93 c (5,4) h[0][8] = 4
14.60/5.93 c (5,4) h[1][0] = 2
14.60/5.93 c (5,4) h[1][1] = 0
14.60/5.93 c (5,4) h[1][2] = 5
14.60/5.93 c (5,4) h[1][3] = 3
14.60/5.93 c (5,4) h[1][4] = 1
14.60/5.93 c (5,4) h[1][5] = 1
14.60/5.93 c (5,4) h[1][6] = 6
14.60/5.93 c (5,4) h[1][7] = 4
14.60/5.93 c (5,4) h[1][8] = 5
14.60/5.93 c (5,4) h[2][0] = 4
14.60/5.93 c (5,4) h[2][1] = 3
14.60/5.93 c (5,4) h[2][2] = 2
14.60/5.93 c (5,4) h[2][3] = 5
14.60/5.93 c (5,4) h[2][4] = 2
14.60/5.93 c (5,4) h[2][5] = 7
14.60/5.93 c (5,4) h[2][6] = 1
14.60/5.93 c (5,4) h[2][7] = 0
14.60/5.93 c (5,4) h[2][8] = 0
14.60/5.93 c (5,4) h[3][0] = 6
14.60/5.93 c (5,4) h[3][1] = 6
14.60/5.93 c (5,4) h[3][2] = 0
14.60/5.93 c (5,4) h[3][3] = 0
14.60/5.93 c (5,4) h[3][4] = 3
14.60/5.93 c (5,4) h[3][5] = 2
14.60/5.93 c (5,4) h[3][6] = 5
14.60/5.93 c (5,4) h[3][7] = 1
14.60/5.93 c (5,4) h[3][8] = 1
14.60/5.93 c (5,4) h[4][0] = 8
14.60/5.93 c (5,4) h[4][1] = 1
14.60/5.93 c (5,4) h[4][2] = 4
14.60/5.93 c (5,4) h[4][3] = 1
14.60/5.93 c (5,4) h[4][4] = 4
14.60/5.93 c (5,4) h[4][5] = 0
14.60/5.93 c (5,4) h[4][6] = 0
14.60/5.93 c (5,4) h[4][7] = 2
14.60/5.93 c (5,4) h[4][8] = 3
14.60/5.93 c (5,4) hd[0] = 6
14.60/5.93 c (5,4) hd[1] = 0
14.60/5.93 c (5,4) hd[2] = 1
14.60/5.93 c (5,4) hd[3] = 4
14.60/5.93 c (5,4) hd[4] = 2
14.60/5.93 c (5,4) m[0][0] = 0
14.60/5.93 c (5,4) m[0][1] = 42
14.60/5.93 c (5,4) m[0][2] = 13
14.60/5.93 c (5,4) m[0][3] = 23
14.60/5.93 c (5,4) m[0][4] = 4
14.60/5.93 c (5,4) m[0][5] = 25
14.60/5.93 c (5,4) m[0][6] = 18
14.60/5.93 c (5,4) m[0][7] = 29
14.60/5.93 c (5,4) m[0][8] = 33
14.60/5.93 c (5,4) m[1][0] = 17
14.60/5.93 c (5,4) m[1][1] = 1
14.60/5.93 c (5,4) m[1][2] = 37
14.60/5.93 c (5,4) m[1][3] = 27
14.60/5.93 c (5,4) m[1][4] = 16
14.60/5.93 c (5,4) m[1][5] = 11
14.60/5.93 c (5,4) m[1][6] = 40
14.60/5.93 c (5,4) m[1][7] = 31
14.60/5.93 c (5,4) m[1][8] = 36
14.60/5.93 c (5,4) m[2][0] = 30
14.60/5.93 c (5,4) m[2][1] = 24
14.60/5.93 c (5,4) m[2][2] = 21
14.60/5.93 c (5,4) m[2][3] = 35
14.60/5.93 c (5,4) m[2][4] = 20
14.60/5.93 c (5,4) m[2][5] = 43
14.60/5.93 c (5,4) m[2][6] = 10
14.60/5.93 c (5,4) m[2][7] = 7
14.60/5.93 c (5,4) m[2][8] = 8
14.60/5.93 c (5,4) m[3][0] = 39
14.60/5.93 c (5,4) m[3][1] = 41
14.60/5.93 c (5,4) m[3][2] = 2
14.60/5.93 c (5,4) m[3][3] = 3
14.60/5.93 c (5,4) m[3][4] = 28
14.60/5.93 c (5,4) m[3][5] = 22
14.60/5.93 c (5,4) m[3][6] = 38
14.60/5.93 c (5,4) m[3][7] = 14
14.60/5.93 c (5,4) m[3][8] = 9
14.60/5.93 c (5,4) m[4][0] = 44
14.60/5.93 c (5,4) m[4][1] = 12
14.60/5.93 c (5,4) m[4][2] = 34
14.60/5.93 c (5,4) m[4][3] = 15
14.60/5.93 c (5,4) m[4][4] = 32
14.60/5.93 c (5,4) m[4][5] = 5
14.60/5.93 c (5,4) m[4][6] = 6
14.60/5.93 c (5,4) m[4][7] = 19
14.60/5.93 c (5,4) m[4][8] = 26
14.60/5.93 s SATISFIABLE
14.60/5.93 v <instantiation>
14.60/5.93 v <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] hd[0] hd[1] hd[2] hd[3] hd[4] ad[0] ad[1] ad[2] ad[3] ad[4]</list>
14.60/5.93 v <values>0 7 1 2 0 3 2 3 4 2 0 5 3 1 1 6 4 5 4 3 2 5 2 7 1 0 0 6 6 0 0 3 2 5 1 1 8 1 4 1 4 0 0 2 3 1 8 6 9 5 5 4 9 8 3 2 8 7 9 4 8 6 7 5 4 7 6 6 9 3 8 9 7 9 3 4 8 8 9 7 2 9 5 9 8 7 6 7 5 6 0 42 13 23 4 25 18 29 33 17 1 37 27 16 11 40 31 36 30 24 21 35 20 43 10 7 8 39 41 2 3 28 22 38 14 9 44 12 34 15 32 5 6 19 26 6 0 1 4 2 7 9 8 5 3</values>
14.60/5.93 v </instantiation>
14.60/5.93 c (5,4) Show results End
14.60/5.93 c (5,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
14.60/5.93 c (5,4) 0,0,3,3,3,3,4,5,5,STOP-AFTER(ALL)
14.60/5.93 c END-Prog: Thu Jul 26 08:08:53 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 (4822 MiB free)
memory of node 1: 16384 MiB (13996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295760-1532585327/watcher-4295760-1532585327 -o /tmp/evaluation-result-4295760-1532585327/solver-4295760-1532585327 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295760-1532585327.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=6311, runsolver pid=6308
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 1.99 2.05 2.05 3/215 6326
/proc/meminfo: memFree=19208592/32770624 swapFree=67108860/67108860
[pid=6311] ppid=6308 vsize=15011656 memory=73176 CPUtime=0.11 cores=1,3,5,7
/proc/6311/stat : 6311 (java) S 6308 6311 32649 0 -1 1077944320 6463 0 0 0 9 2 0 0 20 0 15 0 76095993 15371935744 18294 33554432000 4194304 4196468 140737098888960 140737098871504 140678381940471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
/proc/6311/statm: 3752914 18294 2782 1 0 3715374 0
[pid=6311/tid=6313] ppid=6308 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/6311/task/6313/stat : 6313 (java) R 6308 6311 32649 0 -1 4202560 4844 0 0 0 8 1 0 0 20 0 15 0 76095994 15371935744 18558 33554432000 4194304 4196468 140737098888960 140678353752456 140678362216299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6314] ppid=6308 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6314/stat : 6314 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 18558 33554432000 4194304 4196468 140737098888960 140678386182416 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6315] ppid=6308 vsize=15011656 memory=140384077293184 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6315/stat : 6315 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 18624 33554432000 4194304 4196468 140737098888960 140678177266064 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6316] ppid=6308 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6316/stat : 6316 (java) S 6308 6311 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 18624 33554432000 4194304 4196468 140737098888960 140678176213520 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6317] ppid=6308 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6317/stat : 6317 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 18624 33554432000 4194304 4196468 140737098888960 140678175160976 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6318] ppid=6308 vsize=15011656 memory=140384077293184 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6318/stat : 6318 (java) S 6308 6311 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76095997 15371935744 18624 33554432000 4194304 4196468 140737098888960 140677352491504 140678381951618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6319] ppid=6308 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6319/stat : 6319 (java) S 6308 6311 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76095997 15371935744 18624 33554432000 4194304 4196468 140737098888960 140676956153248 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6320] ppid=6308 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6320/stat : 6320 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095997 15371935744 18624 33554432000 4194304 4196468 140737098888960 140676687717872 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6321] ppid=6308 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6321/stat : 6321 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 18624 33554432000 4194304 4196468 140737098888960 140676313209552 140678381959067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6322] ppid=6308 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6322/stat : 6322 (java) S 6308 6311 32649 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 18624 33554432000 4194304 4196468 140737098888960 140677351438320 140678381951618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6323] ppid=6308 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6323/stat : 6323 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 18624 33554432000 4194304 4196468 140737098888960 140677350385776 140678381951618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6324] ppid=6308 vsize=15011656 memory=140384077293184 CPUtime=0.01 cores=1,3,5,7
/proc/6311/task/6324/stat : 6324 (java) S 6308 6311 32649 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 76096000 15371935744 18624 33554432000 4194304 4196468 140737098888960 140677349333232 140678381951618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6325] ppid=6308 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6325/stat : 6325 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 18624 33554432000 4194304 4196468 140737098888960 140675815303776 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6326] ppid=6308 vsize=15011656 memory=140384077293184 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6326/stat : 6326 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 18624 33554432000 4194304 4196468 140737098888960 140677348281136 140678381951618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73176 KiB
[startup+0.210435 s]*
/proc/loadavg: 1.99 2.05 2.05 3/215 6326
/proc/meminfo: memFree=19193136/32770624 swapFree=67108860/67108860
[pid=6311] ppid=6308 vsize=15011656 memory=86020 CPUtime=0.26 cores=1,3,5,7
/proc/6311/stat : 6311 (java) S 6308 6311 32649 0 -1 1077944320 9925 0 0 0 23 3 0 0 20 0 15 0 76095993 15371935744 21505 33554432000 4194304 4196468 140737098888960 140737098871504 140678381940471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
/proc/6311/statm: 3752914 21505 2891 1 0 3715374 0
[pid=6311/tid=6313] ppid=6308 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/6311/task/6313/stat : 6313 (java) R 6308 6311 32649 0 -1 4202560 7828 0 0 0 18 2 0 0 20 0 15 0 76095994 15371935744 21505 33554432000 4194304 4196468 140737098888960 140678353766864 140677845479179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6314] ppid=6308 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6314/stat : 6314 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 21505 33554432000 4194304 4196468 140737098888960 140678386182416 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6315] ppid=6308 vsize=15011656 memory=4049219708003755680 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6315/stat : 6315 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 21505 33554432000 4194304 4196468 140737098888960 140678177266064 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6316] ppid=6308 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6316/stat : 6316 (java) S 6308 6311 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 21505 33554432000 4194304 4196468 140737098888960 140678176213520 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6317] ppid=6308 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6317/stat : 6317 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 21505 33554432000 4194304 4196468 140737098888960 140678175160976 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6318] ppid=6308 vsize=15011656 memory=140384077293184 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6318/stat : 6318 (java) S 6308 6311 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76095997 15371935744 21505 33554432000 4194304 4196468 140737098888960 140677352491504 140678381951618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6319] ppid=6308 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6319/stat : 6319 (java) S 6308 6311 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76095997 15371935744 21505 33554432000 4194304 4196468 140737098888960 140676956153248 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6320] ppid=6308 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6320/stat : 6320 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095997 15371935744 21505 33554432000 4194304 4196468 140737098888960 140676687717872 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6321] ppid=6308 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6321/stat : 6321 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 21505 33554432000 4194304 4196468 140737098888960 140676313209552 140678381959067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6322] ppid=6308 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6322/stat : 6322 (java) R 6308 6311 32649 0 -1 4202560 446 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 21505 33554432000 4194304 4196468 140737098888960 140677351438320 140678365166112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6323] ppid=6308 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6323/stat : 6323 (java) R 6308 6311 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 21505 33554432000 4194304 4196468 140737098888960 140677350379008 140678381950677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6324] ppid=6308 vsize=15011656 memory=140384077293184 CPUtime=0.03 cores=1,3,5,7
/proc/6311/task/6324/stat : 6324 (java) R 6308 6311 32649 0 -1 4202560 302 0 0 0 3 0 0 0 20 0 15 0 76096000 15371935744 21505 33554432000 4194304 4196468 140737098888960 140677349333232 140678381961818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6325] ppid=6308 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6325/stat : 6325 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 21505 33554432000 4194304 4196468 140737098888960 140675815303776 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6326] ppid=6308 vsize=15011656 memory=140384077293184 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6326/stat : 6326 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 21505 33554432000 4194304 4196468 140737098888960 140677348281136 140678381951618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86020 KiB
[startup+0.3105 s]*
/proc/loadavg: 1.99 2.05 2.05 4/215 6326
/proc/meminfo: memFree=19189104/32770624 swapFree=67108860/67108860
[pid=6311] ppid=6308 vsize=15011656 memory=89512 CPUtime=0.43 cores=1,3,5,7
/proc/6311/stat : 6311 (java) S 6308 6311 32649 0 -1 1077944320 10452 0 0 0 40 3 0 0 20 0 15 0 76095993 15371935744 22378 33554432000 4194304 4196468 140737098888960 140737098871504 140678381940471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
/proc/6311/statm: 3752914 22378 2999 1 0 3715374 0
[pid=6311/tid=6313] ppid=6308 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/6311/task/6313/stat : 6313 (java) R 6308 6311 32649 0 -1 4202560 8207 0 0 0 27 2 0 0 20 0 15 0 76095994 15371935744 22378 33554432000 4194304 4196468 140737098888960 140678353768096 140678381961818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6314] ppid=6308 vsize=15011656 memory=4294967363 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6314/stat : 6314 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 22378 33554432000 4194304 4196468 140737098888960 140678386182416 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6315] ppid=6308 vsize=15011656 memory=140384077293184 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6315/stat : 6315 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 22378 33554432000 4194304 4196468 140737098888960 140678177266064 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6316] ppid=6308 vsize=15011656 memory=280767917919136 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6316/stat : 6316 (java) S 6308 6311 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 22378 33554432000 4194304 4196468 140737098888960 140678176213520 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6317] ppid=6308 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6317/stat : 6317 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15371935744 22378 33554432000 4194304 4196468 140737098888960 140678175160976 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6318] ppid=6308 vsize=15011656 memory=280768036255056 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6318/stat : 6318 (java) S 6308 6311 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76095997 15371935744 22378 33554432000 4194304 4196468 140737098888960 140677352491504 140678381951618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6319] ppid=6308 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6319/stat : 6319 (java) S 6308 6311 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76095997 15371935744 22378 33554432000 4194304 4196468 140737098888960 140676956153248 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6320] ppid=6308 vsize=15011656 memory=64996 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6320/stat : 6320 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095997 15371935744 22378 33554432000 4194304 4196468 140737098888960 140676687717872 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6321] ppid=6308 vsize=15011656 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6321/stat : 6321 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 22378 33554432000 4194304 4196468 140737098888960 140676313209552 140678381959067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6322] ppid=6308 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6311/task/6322/stat : 6322 (java) S 6308 6311 32649 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 76096000 15371935744 22378 33554432000 4194304 4196468 140737098888960 140677351438320 140678381951618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6323] ppid=6308 vsize=15011656 memory=140383958996623 CPUtime=0.03 cores=1,3,5,7
/proc/6311/task/6323/stat : 6323 (java) S 6308 6311 32649 0 -1 1077944384 131 0 0 0 3 0 0 0 20 0 15 0 76096000 15371935744 22378 33554432000 4194304 4196468 140737098888960 140677350385776 140678381951618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6324] ppid=6308 vsize=15011656 memory=280768036275808 CPUtime=0.07 cores=1,3,5,7
/proc/6311/task/6324/stat : 6324 (java) R 6308 6311 32649 0 -1 4202560 326 0 0 0 7 0 0 0 20 0 15 0 76096000 15371935744 22378 33554432000 4194304 4196468 140737098888960 140677349333232 140678360895221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6325] ppid=6308 vsize=15011656 memory=140383958978063 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6325/stat : 6325 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 22378 33554432000 4194304 4196468 140737098888960 140675815303776 140678381950677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6326] ppid=6308 vsize=15011656 memory=140384077293193 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6326/stat : 6326 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096000 15371935744 22378 33554432000 4194304 4196468 140737098888960 140677348281136 140678381951618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89512 KiB
[startup+0.701228 s]
/proc/loadavg: 1.99 2.05 2.05 3/215 6326
/proc/meminfo: memFree=19162316/32770624 swapFree=67108860/67108860
[pid=6311] ppid=6308 vsize=15020052 memory=129980 CPUtime=1 cores=1,3,5,7
/proc/6311/stat : 6311 (java) S 6308 6311 32649 0 -1 1077944320 17733 0 0 0 95 5 0 0 20 0 15 0 76095993 15380533248 32495 33554432000 4194304 4196468 140737098888960 140737098871504 140678381940471 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
/proc/6311/statm: 3755013 32495 3159 1 0 3716398 0
[pid=6311/tid=6313] ppid=6308 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6311/task/6313/stat : 6313 (java) R 6308 6311 32649 0 -1 4202560 14966 0 0 0 63 4 0 0 20 0 15 0 76095994 15380533248 32495 33554432000 4194304 4196468 140737098888960 140678353775456 140678368115967 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6314] ppid=6308 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6314/stat : 6314 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15380533248 32495 33554432000 4194304 4196468 140737098888960 140678386182416 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6315] ppid=6308 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6315/stat : 6315 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15380533248 32495 33554432000 4194304 4196468 140737098888960 140678177266064 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6316] ppid=6308 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6316/stat : 6316 (java) S 6308 6311 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76095995 15380533248 32495 33554432000 4194304 4196468 140737098888960 140678176213520 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6317] ppid=6308 vsize=15020052 memory=167519562247181 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6317/stat : 6317 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15380533248 32495 33554432000 4194304 4196468 140737098888960 140678175160976 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6318] ppid=6308 vsize=15020052 memory=446415 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6318/stat : 6318 (java) S 6308 6311 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76095997 15380533248 32495 33554432000 4194304 4196468 140737098888960 140677352491504 140678381951618 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6319] ppid=6308 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6319/stat : 6319 (java) S 6308 6311 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76095997 15380533248 32495 33554432000 4194304 4196468 140737098888960 140676956153248 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6320] ppid=6308 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6320/stat : 6320 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095997 15380533248 32495 33554432000 4194304 4196468 140737098888960 140676687717872 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6321] ppid=6308 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6321/stat : 6321 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15380533248 32495 33554432000 4194304 4196468 140737098888960 140676313209552 140678381959067 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6322] ppid=6308 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6311/task/6322/stat : 6322 (java) R 6308 6311 32649 0 -1 4202560 718 0 0 0 8 0 0 0 20 0 15 0 76096000 15380533248 32495 33554432000 4194304 4196468 140737098888960 140677351426160 140678367050053 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6323] ppid=6308 vsize=15020052 memory=-3535359994705171810 CPUtime=0.06 cores=1,3,5,7
/proc/6311/task/6323/stat : 6323 (java) R 6308 6311 32649 0 -1 4202560 222 0 0 0 6 0 0 0 20 0 15 0 76096000 15380533248 32495 33554432000 4194304 4196468 140737098888960 140677350382144 140678361390642 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6324] ppid=6308 vsize=15020052 memory=8330969454845486047 CPUtime=0.16 cores=1,3,5,7
/proc/6311/task/6324/stat : 6324 (java) S 6308 6311 32649 0 -1 1077944384 490 0 0 0 16 0 0 0 20 0 15 0 76096000 15380533248 32495 33554432000 4194304 4196468 140737098888960 140677349333232 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6325] ppid=6308 vsize=15020052 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6325/stat : 6325 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15380533248 32495 33554432000 4194304 4196468 140737098888960 140675815303776 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6326] ppid=6308 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6326/stat : 6326 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096000 15380533248 32495 33554432000 4194304 4196468 140737098888960 140677348281136 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129980 KiB
[startup+1.51026 s]
/proc/loadavg: 1.99 2.05 2.05 4/215 6326
/proc/meminfo: memFree=19127876/32770624 swapFree=67108860/67108860
[pid=6311] ppid=6308 vsize=15024148 memory=178484 CPUtime=2.91 cores=1,3,5,7
/proc/6311/stat : 6311 (java) S 6308 6311 32649 0 -1 1077944320 21621 0 0 0 282 9 0 0 20 0 15 0 76095993 15384727552 44621 33554432000 4194304 4196468 140737098888960 140737098871504 140678381940471 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
/proc/6311/statm: 3756037 44621 3202 1 0 3717422 0
[pid=6311/tid=6313] ppid=6308 vsize=15024148 memory=7452163702295647595 CPUtime=1.47 cores=1,3,5,7
/proc/6311/task/6313/stat : 6313 (java) R 6308 6311 32649 0 -1 4202560 16264 0 0 0 141 6 0 0 20 0 15 0 76095994 15384727552 44621 33554432000 4194304 4196468 140737098888960 140678353773288 140677852694124 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6314] ppid=6308 vsize=15024148 memory=7086529915161962597 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6314/stat : 6314 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15384727552 44621 33554432000 4194304 4196468 140737098888960 140678386182416 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6315] ppid=6308 vsize=15024148 memory=7086527737546696294 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6315/stat : 6315 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15384727552 44621 33554432000 4194304 4196468 140737098888960 140678177266064 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6316] ppid=6308 vsize=15024148 memory=55 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6316/stat : 6316 (java) S 6308 6311 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76095995 15384727552 44621 33554432000 4194304 4196468 140737098888960 140678176213520 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6317] ppid=6308 vsize=15024148 memory=10799 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6317/stat : 6317 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76095995 15384727552 44621 33554432000 4194304 4196468 140737098888960 140678175160976 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6318] ppid=6308 vsize=15024148 memory=6442213902160126816 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6318/stat : 6318 (java) S 6308 6311 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76095997 15384727552 44621 33554432000 4194304 4196468 140737098888960 140677352491504 140678381951618 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
################
# More data... #
################
[pid=6311/tid=6321] ppid=6308 vsize=15028312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6321/stat : 6321 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15388991488 289086 33554432000 4194304 4196468 140737098888960 140676313209552 140678381959067 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6322] ppid=6308 vsize=15028312 memory=0 CPUtime=3.5 cores=1,3,5,7
/proc/6311/task/6322/stat : 6322 (java) R 6308 6311 32649 0 -1 4202560 4214 0 0 0 348 2 0 0 20 0 15 0 76096000 15388991488 289086 33554432000 4194304 4196468 140737098888960 140677351425136 140678366828328 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6323] ppid=6308 vsize=15028312 memory=55 CPUtime=3.45 cores=1,3,5,7
/proc/6311/task/6323/stat : 6323 (java) R 6308 6311 32649 0 -1 4202560 1722 0 0 0 344 1 0 0 20 0 15 0 76096000 15388991488 289086 33554432000 4194304 4196468 140737098888960 140677350366496 140678361790929 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6324] ppid=6308 vsize=15028312 memory=8025788814060840276 CPUtime=1.47 cores=1,3,5,7
/proc/6311/task/6324/stat : 6324 (java) S 6308 6311 32649 0 -1 1077944384 4292 0 0 0 145 2 0 0 20 0 15 0 76096000 15388991488 289086 33554432000 4194304 4196468 140737098888960 140677349333232 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6325] ppid=6308 vsize=15028312 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6325/stat : 6325 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15388991488 289086 33554432000 4194304 4196468 140737098888960 140675815303776 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6326] ppid=6308 vsize=15028312 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6326/stat : 6326 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096000 15388991488 289086 33554432000 4194304 4196468 140737098888960 140677348281136 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
Current children cumulated CPU time: 13.21 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 1156344 KiB
[startup+5.60081 s]
/proc/loadavg: 1.99 2.05 2.05 5/220 6332
/proc/meminfo: memFree=18037548/32770624 swapFree=67108860/67108860
[pid=6311] ppid=6308 vsize=15814988 memory=1180220 CPUtime=13.53 cores=1,3,5,7
/proc/6311/stat : 6311 (java) S 6308 6311 32649 0 -1 1077944320 29228 0 0 0 1324 29 0 0 20 0 19 0 76095993 16194547712 295055 33554432000 4194304 4196468 140737098888960 140737098871504 140678381940471 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
/proc/6311/statm: 3953747 295055 3229 1 0 3914603 0
[pid=6327] ppid=6311 vsize=30304 memory=13916 CPUtime=0.76 cores=1,3,5,7
/proc/6327/stat : 6327 (minisat_release) R 6311 6311 32649 0 -1 4202496 4590 0 0 0 75 1 0 0 20 0 1 0 76096476 31031296 3479 33554432000 4194304 4308513 140722725910544 140722725907688 4289173 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 31875072 140722725913265 140722725913774 140722725913774 140722725916613 0
/proc/6327/statm: 7576 3479 352 28 0 3816 0
[pid=6311/tid=6313] ppid=6308 vsize=15814988 memory=0 CPUtime=4.83 cores=1,3,5,7
/proc/6311/task/6313/stat : 6313 (java) S 6308 6311 32649 0 -1 1077944384 17617 0 0 0 461 22 0 0 20 0 19 0 76095994 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678353779712 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6314] ppid=6308 vsize=15814988 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6314/stat : 6314 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678386182416 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6315] ppid=6308 vsize=15814988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6315/stat : 6315 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678177266064 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6316] ppid=6308 vsize=15814988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6316/stat : 6316 (java) S 6308 6311 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678176213520 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6317] ppid=6308 vsize=15814988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6317/stat : 6317 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678175160976 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6318] ppid=6308 vsize=15814988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6318/stat : 6318 (java) S 6308 6311 32649 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 76095997 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677352491504 140678381951618 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6319] ppid=6308 vsize=15814988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6319/stat : 6319 (java) S 6308 6311 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76095997 16194547712 295055 33554432000 4194304 4196468 140737098888960 140676956153248 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6320] ppid=6308 vsize=15814988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6320/stat : 6320 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76095997 16194547712 295055 33554432000 4194304 4196468 140737098888960 140676687717872 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6321] ppid=6308 vsize=15814988 memory=5865754249065943142 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6321/stat : 6321 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140676313209552 140678381959067 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6322] ppid=6308 vsize=15814988 memory=6945507666079274341 CPUtime=3.61 cores=1,3,5,7
/proc/6311/task/6322/stat : 6322 (java) S 6308 6311 32649 0 -1 1077944384 4214 0 0 0 359 2 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677351438320 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6323] ppid=6308 vsize=15814988 memory=7591205679296769383 CPUtime=3.57 cores=1,3,5,7
/proc/6311/task/6323/stat : 6323 (java) S 6308 6311 32649 0 -1 1077944384 1723 0 0 0 356 1 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677350385776 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6324] ppid=6308 vsize=15814988 memory=7584172172082901604 CPUtime=1.48 cores=1,3,5,7
/proc/6311/task/6324/stat : 6324 (java) S 6308 6311 32649 0 -1 1077944384 4297 0 0 0 146 2 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677349333232 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6325] ppid=6308 vsize=15814988 memory=7668012111147524688 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6325/stat : 6325 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140675815303776 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6326] ppid=6308 vsize=15814988 memory=7739834345441486674 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6326/stat : 6326 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677348281136 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6328] ppid=6308 vsize=15814988 memory=7523071198212214892 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6328/stat : 6328 (java) S 6308 6311 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 76096477 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677426386496 140678381965081 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6330] ppid=6308 vsize=15814988 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6330/stat : 6330 (java) S 6308 6311 32649 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 76096478 16194547712 295055 33554432000 4194304 4196468 140737098888960 140675278422064 140678381962397 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6331] ppid=6308 vsize=15814988 memory=-9102473451428748661 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6331/stat : 6331 (java) S 6308 6311 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 76096478 16194547712 295055 33554432000 4194304 4196468 140737098888960 140675009985712 140678381962397 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6332] ppid=6308 vsize=15814988 memory=-7385037593950845031 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6332/stat : 6332 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76096481 16194547712 295055 33554432000 4194304 4196468 140737098888960 140674607340576 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
Current children cumulated CPU time: 14.29 s
Current children cumulated vsize: 15845292 KiB
Current children cumulated memory: 1194136 KiB
[startup+5.80081 s]
/proc/loadavg: 1.99 2.05 2.05 5/220 6332
/proc/meminfo: memFree=18037548/32770624 swapFree=67108860/67108860
[pid=6311] ppid=6308 vsize=15814988 memory=1180220 CPUtime=13.53 cores=1,3,5,7
/proc/6311/stat : 6311 (java) S 6308 6311 32649 0 -1 1077944320 29228 0 0 0 1324 29 0 0 20 0 19 0 76095993 16194547712 295055 33554432000 4194304 4196468 140737098888960 140737098871504 140678381940471 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
/proc/6311/statm: 3953747 295055 3229 1 0 3914603 0
[pid=6327] ppid=6311 vsize=34656 memory=16220 CPUtime=0.96 cores=1,3,5,7
/proc/6327/stat : 6327 (minisat_release) R 6311 6311 32649 0 -1 4202496 4664 0 0 0 95 1 0 0 20 0 1 0 76096476 35487744 4055 33554432000 4194304 4308513 140722725910544 140722725907448 4275992 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 31875072 140722725913265 140722725913774 140722725913774 140722725916613 0
/proc/6327/statm: 8664 4055 354 28 0 4904 0
[pid=6311/tid=6313] ppid=6308 vsize=15814988 memory=6944613755445342871 CPUtime=4.83 cores=1,3,5,7
/proc/6311/task/6313/stat : 6313 (java) S 6308 6311 32649 0 -1 1077944384 17617 0 0 0 461 22 0 0 20 0 19 0 76095994 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678353779712 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6314] ppid=6308 vsize=15814988 memory=-9181546051567709026 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6314/stat : 6314 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678386182416 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6315] ppid=6308 vsize=15814988 memory=-7025448733113094249 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6315/stat : 6315 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678177266064 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6316] ppid=6308 vsize=15814988 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6316/stat : 6316 (java) S 6308 6311 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678176213520 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6317] ppid=6308 vsize=15814988 memory=23028 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6317/stat : 6317 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678175160976 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6318] ppid=6308 vsize=15814988 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6318/stat : 6318 (java) S 6308 6311 32649 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 76095997 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677352491504 140678381951618 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6319] ppid=6308 vsize=15814988 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6319/stat : 6319 (java) S 6308 6311 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76095997 16194547712 295055 33554432000 4194304 4196468 140737098888960 140676956153248 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6320] ppid=6308 vsize=15814988 memory=6498285520076 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6320/stat : 6320 (java) S 6308 6311 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76095997 16194547712 295055 33554432000 4194304 4196468 140737098888960 140676687717872 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6321] ppid=6308 vsize=15814988 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6321/stat : 6321 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140676313209552 140678381959067 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6322] ppid=6308 vsize=15814988 memory=13573716680378929 CPUtime=3.61 cores=1,3,5,7
/proc/6311/task/6322/stat : 6322 (java) S 6308 6311 32649 0 -1 1077944384 4214 0 0 0 359 2 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677351438320 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6323] ppid=6308 vsize=15814988 memory=6943526294502006880 CPUtime=3.57 cores=1,3,5,7
/proc/6311/task/6323/stat : 6323 (java) S 6308 6311 32649 0 -1 1077944384 1723 0 0 0 356 1 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677350385776 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6324] ppid=6308 vsize=15814988 memory=-7452431979323206951 CPUtime=1.48 cores=1,3,5,7
/proc/6311/task/6324/stat : 6324 (java) S 6308 6311 32649 0 -1 1077944384 4297 0 0 0 146 2 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677349333232 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6325] ppid=6308 vsize=15814988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6325/stat : 6325 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140675815303776 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6326] ppid=6308 vsize=15814988 memory=-7313654673739556905 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6326/stat : 6326 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677348281136 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6328] ppid=6308 vsize=15814988 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6328/stat : 6328 (java) S 6308 6311 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 76096477 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677426386496 140678381965081 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6330] ppid=6308 vsize=15814988 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6330/stat : 6330 (java) S 6308 6311 32649 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 76096478 16194547712 295055 33554432000 4194304 4196468 140737098888960 140675278422064 140678381962397 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6331] ppid=6308 vsize=15814988 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6331/stat : 6331 (java) S 6308 6311 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 76096478 16194547712 295055 33554432000 4194304 4196468 140737098888960 140675009985712 140678381962397 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6332] ppid=6308 vsize=15814988 memory=-5587106306044206369 CPUtime=0 cores=1,3,5,7
/proc/6311/task/6332/stat : 6332 (java) S 6308 6311 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76096481 16194547712 295055 33554432000 4194304 4196468 140737098888960 140674607340576 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
Current children cumulated CPU time: 14.49 s
Current children cumulated vsize: 15849644 KiB
Current children cumulated memory: 1196440 KiB
[startup+5.9023 s]
/proc/loadavg: 1.99 2.05 2.05 5/220 6332
/proc/meminfo: memFree=18037548/32770624 swapFree=67108860/67108860
[pid=6311] ppid=6308 vsize=15814988 memory=1180220 CPUtime=14.6 cores=1,3,5,7
/proc/6311/stat : 6311 (java) S 6308 6311 32649 0 -1 1077944320 29248 4697 0 0 1325 29 105 1 20 0 19 0 76095993 16194547712 295055 33554432000 4194304 4196468 140737098888960 140737098871504 140678381940471 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
/proc/6311/statm: 3953747 295055 3229 1 0 3914603 0
[pid=6311/tid=6313] ppid=6308 vsize=15814988 memory=54271206764890 CPUtime=5.89 cores=1,3,5,7
/proc/6311/task/6313/stat : 6313 (java) S 6308 6311 32649 0 -1 1077944384 17617 4697 0 0 461 22 105 1 20 0 19 0 76095994 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678353779712 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6314] ppid=6308 vsize=15814988 memory=55 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6314/stat : 6314 (java) S 6308 6311 32649 0 -1 1077944384 1 4697 0 0 0 0 105 1 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678386182416 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6315] ppid=6308 vsize=15814988 memory=10799 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6315/stat : 6315 (java) S 6308 6311 32649 0 -1 1077944384 1 4697 0 0 0 0 105 1 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678177266064 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6316] ppid=6308 vsize=15814988 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6316/stat : 6316 (java) S 6308 6311 32649 0 -1 1077944384 2 4697 0 0 0 0 105 1 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678176213520 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6317] ppid=6308 vsize=15814988 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6317/stat : 6317 (java) S 6308 6311 32649 0 -1 1077944384 1 4697 0 0 0 0 105 1 20 0 19 0 76095995 16194547712 295055 33554432000 4194304 4196468 140737098888960 140678175160976 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6318] ppid=6308 vsize=15814988 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6318/stat : 6318 (java) R 6308 6311 32649 0 -1 1077944384 23 4697 0 0 0 0 105 1 20 0 19 0 76095997 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677352491504 140678381951618 0 0 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6319] ppid=6308 vsize=15814988 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6319/stat : 6319 (java) S 6308 6311 32649 0 -1 1077944384 13 4697 0 0 0 0 105 1 20 0 19 0 76095997 16194547712 295055 33554432000 4194304 4196468 140737098888960 140676956153248 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6320] ppid=6308 vsize=15814988 memory=967 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6320/stat : 6320 (java) S 6308 6311 32649 0 -1 1077944384 1 4697 0 0 0 0 105 1 20 0 19 0 76095997 16194547712 295055 33554432000 4194304 4196468 140737098888960 140676687717872 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6321] ppid=6308 vsize=15814988 memory=356 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6321/stat : 6321 (java) S 6308 6311 32649 0 -1 1077944384 3 4697 0 0 0 0 105 1 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140676313209552 140678381959067 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6322] ppid=6308 vsize=15814988 memory=0 CPUtime=4.67 cores=1,3,5,7
/proc/6311/task/6322/stat : 6322 (java) R 6308 6311 32649 0 -1 4202560 4214 4697 0 0 359 2 105 1 20 0 19 0 76096000 16194547712 295055 33554432000 4194304 4196468 140737098888960 140677351438320 140678361129920 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6323] ppid=6308 vsize=15814988 memory=0 CPUtime=4.63 cores=1,3,5,7
/proc/6311/task/6323/stat : 6323 (java) S 6308 6311 32649 0 -1 1077944384 1723 4697 0 0 356 1 105 1 20 0 19 0 76096000 16194547712 295567 33554432000 4194304 4196468 140737098888960 140677350377056 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6324] ppid=6308 vsize=15814988 memory=0 CPUtime=2.54 cores=1,3,5,7
/proc/6311/task/6324/stat : 6324 (java) R 6308 6311 32649 0 -1 1077944384 4299 4697 0 0 146 2 105 1 20 0 19 0 76096000 16194547712 295567 33554432000 4194304 4196468 140737098888960 140677349332992 140678381950677 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6325] ppid=6308 vsize=15814988 memory=-5921431000321636112 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6325/stat : 6325 (java) S 6308 6311 32649 0 -1 1077944384 3 4697 0 0 0 0 105 1 20 0 19 0 76096000 16194547712 295567 33554432000 4194304 4196468 140737098888960 140675815303776 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6326] ppid=6308 vsize=15814988 memory=450329 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6326/stat : 6326 (java) S 6308 6311 32649 0 -1 1077944384 3 4697 0 0 0 0 105 1 20 0 19 0 76096000 16194547712 295567 33554432000 4194304 4196468 140737098888960 140677348281136 140678381951618 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6328] ppid=6308 vsize=15814988 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6328/stat : 6328 (java) R 6308 6311 32649 0 -1 4202560 23 4697 0 0 0 0 105 1 20 0 19 0 76096477 16194547712 295567 33554432000 4194304 4196468 140737098888960 140677426384912 140677845440568 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6330] ppid=6308 vsize=15814988 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6330/stat : 6330 (java) S 6308 6311 32649 0 -1 1077944384 5 4697 0 0 0 0 105 1 20 0 19 0 76096478 16194547712 295567 33554432000 4194304 4196468 140737098888960 140675278425792 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6331] ppid=6308 vsize=15814988 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6331/stat : 6331 (java) R 6308 6311 32649 0 -1 4202560 2 4697 0 0 0 0 105 1 20 0 19 0 76096478 16194547712 295567 33554432000 4194304 4196468 140737098888960 140675009995744 140678374657767 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
[pid=6311/tid=6332] ppid=6308 vsize=15814988 memory=283 CPUtime=1.06 cores=1,3,5,7
/proc/6311/task/6332/stat : 6332 (java) S 6308 6311 32649 0 -1 1077944384 3 4697 0 0 0 0 105 1 20 0 19 0 76096481 16194547712 295062 33554432000 4194304 4196468 140737098888960 140674607340336 140678381950677 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33017856 140737098896371 140737098896649 140737098896649 140737098899407 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 15814988 KiB
Current children cumulated memory: 1180220 KiB
Child status: 0
Real time (s): 5.94827
CPU time (s): 14.7278
CPU user time (s): 14.4031
CPU system time (s): 0.324674
CPU usage (%): 247.597
Max. virtual memory (cumulated for all children) (KiB): 15849644
Max. memory (cumulated for all children) (KiB): 1196440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4031
system time used= 0.324674
maximum resident set size= 1182268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5275
involuntary context switches= 48
# summary of solver processes directly reported to runsolver:
# pid: 6311
# total CPU time (s): 14.7278
# total CPU user time (s): 14.4031
# total CPU system time (s): 0.324674
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060793 second user time and 0.101323 second system time
The end