0.55/0.51
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Thu Jul 26 13:44:14 CEST 2018
0.66/0.54 c PID: 9800
0.66/0.54 c IP: 172.20.3.150
0.66/0.54 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.09/1.02 c (0,0) Parsing End
2.09/1.03 c (0,0) CSP: 165 int (0 aux), 0 bool (0 aux), 81 ctr, max domain size 50
2.09/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.09/1.03 c (0,0) Constraint Name Generate Begin
2.09/1.03 c (0,0) Ctr:HOME/instance-4296092-1532605453.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.09/1.03 c (0,0) Constraint Name Generate End
2.09/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.09/1.03 c (0,0) CSP to CSPinCNF Begin
7.41/2.71 c (2,2) translated 9 (10%) constraints
9.48/3.49 c (2,2) translated 17 (20%) constraints
10.91/4.18 c (3,3) translated 25 (30%) constraints
11.74/4.84 c (4,4) translated 33 (40%) constraints
12.48/5.49 c (4,4) translated 41 (50%) constraints
13.26/6.14 c (5,5) translated 49 (60%) constraints
13.45/6.39 c (5,5) translated 57 (70%) constraints
13.45/6.39 c (5,5) translated 65 (80%) constraints
13.45/6.39 c (5,5) translated 73 (90%) constraints
13.45/6.39 c (5,5) translated 81 (100%) constraints
14.36/6.83 c (6,6) STATISTICS1:HOME/instance-4296092-1532605453.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,13865,85807,50,50,51,2,50:1225,50:7450;10:90390;2:149100;1:15190,51:50;50:2;5:900;4:33450;3:18450;2:32925;1:30,2:1225;1:259710;0:50,
14.36/6.83 c (6,6) ===========================================
14.36/6.83 c (6,6) Order
14.36/6.83 c (6,6) ===========================================
14.93/7.09 c (6,6) translated 8581 (10%) constraints
15.46/7.24 c (6,6) translated 17162 (20%) constraints
15.62/7.37 c (6,6) translated 25743 (30%) constraints
15.83/7.50 c (6,6) translated 34323 (40%) constraints
15.93/7.63 c (7,7) translated 42904 (50%) constraints
16.03/7.77 c (7,7) translated 51485 (60%) constraints
16.77/8.03 c (7,7) translated 60065 (70%) constraints
16.87/8.16 c (7,7) translated 68646 (80%) constraints
16.96/8.28 c (7,7) translated 77227 (90%) constraints
17.16/8.40 c (7,7) translated 85807 (100%) constraints
17.16/8.40 c (7,7) CSP to CSPinCNF End
17.16/8.41 c (7,7) CSP: 165 int (0 aux), 13700 bool (13700 aux), 85837 ctr, max domain size 50
17.16/8.41 c (7,7) Heap : 291 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.16/8.41 c (7,7) CSPinCNF Propagation Begin
19.52/9.87 c (9,9) 5181 values, 28333 unsatisfiable literals, and 29646 valid clauses are removed
19.52/9.87 c (9,9) CSPinCNF Propagation End
19.52/9.88 c (9,9) CSP: 4634 int (4469 aux), 9231 bool (9231 aux), 56191 ctr, max domain size 50
19.52/9.88 c (9,9) Heap : 1002 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
19.52/9.88 c (9,9) Simplify CSPinCNF Begin
20.06/10.03 c (9,9) Simplify CSPinCNF End
20.06/10.03 c (9,9) CSP: 4634 int (4469 aux), 11681 bool (11681 aux), 58641 ctr, max domain size 50
20.06/10.03 c (9,9) Heap : 1056 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.06/10.03 c (9,9) Calculate Precise Domain Begin
20.06/10.04 c (9,9) 0 values are removed by re-calculation
20.06/10.04 c (9,9) Calculate Precise Domain End
20.06/10.04 c (9,9) CSP: 4634 int (4469 aux), 11681 bool (11681 aux), 58641 ctr, max domain size 50
20.06/10.04 c (9,9) Heap : 1056 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.06/10.04 c (9,9) CSPinCNF to SatSolver Begin
21.18/10.45 c (9,9) 5865 (10 %) CSP clauses are encoded (14184 SAT variables, 74370 SAT clauses)
21.46/10.51 c (9,9) 11729 (20 %) CSP clauses are encoded (14184 SAT variables, 80234 SAT clauses)
21.46/10.53 c (10,9) 17593 (30 %) CSP clauses are encoded (14184 SAT variables, 86098 SAT clauses)
21.46/10.56 c (10,9) 23457 (40 %) CSP clauses are encoded (14184 SAT variables, 91962 SAT clauses)
21.46/10.59 c (10,9) 29321 (50 %) CSP clauses are encoded (14184 SAT variables, 97826 SAT clauses)
21.65/10.62 c (10,9) 35185 (60 %) CSP clauses are encoded (14184 SAT variables, 103690 SAT clauses)
21.65/10.65 c (10,9) 41049 (70 %) CSP clauses are encoded (14184 SAT variables, 109554 SAT clauses)
21.65/10.68 c (10,9) 46913 (80 %) CSP clauses are encoded (14184 SAT variables, 115418 SAT clauses)
21.75/10.71 c (10,10) 52777 (90 %) CSP clauses are encoded (14184 SAT variables, 121282 SAT clauses)
21.75/10.74 c (10,10) 58641 (100 %) CSP clauses are encoded (14184 SAT variables, 127146 SAT clauses)
21.75/10.74 c (10,10) CSPinCNF to SatSolver End
21.75/10.74 c (10,10) Heap : 1493 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
22.25/10.98 c (10,10) STATISTICS2:HOME/instance-4296092-1532605453.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,16315,58641,50,50,50,2,50:552;26:1518;4:380,50:4752;26:3278;10:66925;4:420;2:99738,50:25;26:22;24:1;5:474;4:19989;3:12231;2:25899,2:2450;1:170213,
22.25/10.98 c (10,10) SatSolver.solve Begin
22.25/10.98 c (10,10) 14184 bool, 127147 clause
22.25/10.98 c (10,10) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4296092-1532605453.xml-scop-9800.cnf HOME/instance-4296092-1532605453.xml-scop-9800.cnf.out
25.68/14.27 c (13,0) c This is COMiniSatPS.
25.68/14.27 c (13,0) c WARNING: for repeatability, setting FPU to use double precision
25.68/14.27 c (13,0) c ============================[ Problem Statistics ]=============================
25.68/14.27 c (13,0) c | |
25.68/14.27 c (13,0) c | Number of variables: 14184 |
25.68/14.27 c (13,0) c | Number of clauses: 127147 |
25.68/14.27 c (13,0) c | Parse time: 0.04 s |
25.68/14.27 c (13,0) c | Eliminated clauses: 0.18 Mb |
25.68/14.27 c (13,0) c Reduced to 9338 vars, 111546 cls (grow=0)
25.68/14.27 c (13,0) c No iterative elimination performed. (vars=9338, c/v ratio=11.9)
25.68/14.27 c (13,0) c | Simplification time: 0.12 s |
25.68/14.27 c (13,0) c | |
25.68/14.27 c (13,0) c ============================[ Search Statistics ]==============================
25.68/14.27 c (13,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
25.68/14.27 c (13,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
25.68/14.27 c (13,0) c ===============================================================================
25.68/14.27 c (13,0) c ===============================================================================
25.68/14.27 c (13,0) c restarts : 83
25.68/14.27 c (13,0) c conflicts : 21944 (6742 /sec)
25.68/14.27 c (13,0) c decisions : 71592 (0.00 % random) (21995 /sec)
25.68/14.27 c (13,0) c propagations : 11989976 (3683689 /sec)
25.68/14.27 c (13,0) c conflict literals : 1609214 (34.30 % deleted)
25.68/14.27 c (13,0) c CPU time : 3.25488 s
25.68/14.27 c (13,0)
25.68/14.27 c (13,0) s SATISFIABLE
25.68/14.29 c (13,10) SatSolver.solve End
25.68/14.29 c (13,10) Heap : 1787 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
25.68/14.29 c (13,10) Show results Begin
25.86/14.31 c (13,10) bot[0] = 0
25.86/14.31 c (13,10) bot[1] = 0
25.86/14.31 c (13,10) bot[2] = 0
25.86/14.31 c (13,10) bot[3] = 0
25.86/14.31 c (13,10) bot[4] = 0
25.86/14.31 c (13,10) id[0][0] = 3
25.86/14.31 c (13,10) id[0][1] = 18
25.86/14.31 c (13,10) id[0][2] = 23
25.86/14.31 c (13,10) id[0][3] = 14
25.86/14.31 c (13,10) id[0][4] = 0
25.86/14.31 c (13,10) id[1][0] = 22
25.86/14.31 c (13,10) id[1][1] = 32
25.86/14.31 c (13,10) id[1][2] = 30
25.86/14.31 c (13,10) id[1][3] = 28
25.86/14.31 c (13,10) id[1][4] = 4
25.86/14.31 c (13,10) id[2][0] = 8
25.86/14.31 c (13,10) id[2][1] = 49
25.86/14.31 c (13,10) id[2][2] = 48
25.86/14.31 c (13,10) id[2][3] = 40
25.86/14.31 c (13,10) id[2][4] = 9
25.86/14.31 c (13,10) id[3][0] = 5
25.86/14.31 c (13,10) id[3][1] = 43
25.86/14.31 c (13,10) id[3][2] = 26
25.86/14.31 c (13,10) id[3][3] = 39
25.86/14.31 c (13,10) id[3][4] = 24
25.86/14.31 c (13,10) id[4][0] = 17
25.86/14.31 c (13,10) id[4][1] = 33
25.86/14.31 c (13,10) id[4][2] = 27
25.86/14.31 c (13,10) id[4][3] = 45
25.86/14.31 c (13,10) id[4][4] = 11
25.86/14.31 c (13,10) id[5][0] = 13
25.86/14.31 c (13,10) id[5][1] = 31
25.86/14.31 c (13,10) id[5][2] = 36
25.86/14.31 c (13,10) id[5][3] = 37
25.86/14.31 c (13,10) id[5][4] = 7
25.86/14.31 c (13,10) id[6][0] = 21
25.86/14.31 c (13,10) id[6][1] = 46
25.86/14.31 c (13,10) id[6][2] = 47
25.86/14.31 c (13,10) id[6][3] = 29
25.86/14.31 c (13,10) id[6][4] = 15
25.86/14.31 c (13,10) id[7][0] = 12
25.86/14.31 c (13,10) id[7][1] = 34
25.86/14.31 c (13,10) id[7][2] = 44
25.86/14.31 c (13,10) id[7][3] = 38
25.86/14.31 c (13,10) id[7][4] = 10
25.86/14.31 c (13,10) id[8][0] = 16
25.86/14.31 c (13,10) id[8][1] = 42
25.86/14.31 c (13,10) id[8][2] = 41
25.86/14.31 c (13,10) id[8][3] = 35
25.86/14.31 c (13,10) id[8][4] = 19
25.86/14.31 c (13,10) id[9][0] = 1
25.86/14.31 c (13,10) id[9][1] = 6
25.86/14.31 c (13,10) id[9][2] = 20
25.86/14.31 c (13,10) id[9][3] = 25
25.86/14.31 c (13,10) id[9][4] = 2
25.86/14.31 c (13,10) left[0][0] = 0
25.86/14.31 c (13,10) left[0][1] = 3
25.86/14.31 c (13,10) left[0][2] = 2
25.86/14.31 c (13,10) left[0][3] = 3
25.86/14.31 c (13,10) left[0][4] = 2
25.86/14.31 c (13,10) left[1][0] = 0
25.86/14.31 c (13,10) left[1][1] = 7
25.86/14.31 c (13,10) left[1][2] = 4
25.86/14.31 c (13,10) left[1][3] = 5
25.86/14.31 c (13,10) left[1][4] = 5
25.86/14.31 c (13,10) left[2][0] = 0
25.86/14.31 c (13,10) left[2][1] = 8
25.86/14.31 c (13,10) left[2][2] = 8
25.86/14.31 c (13,10) left[2][3] = 6
25.86/14.31 c (13,10) left[2][4] = 9
25.86/14.31 c (13,10) left[3][0] = 0
25.86/14.31 c (13,10) left[3][1] = 5
25.86/14.31 c (13,10) left[3][2] = 5
25.86/14.31 c (13,10) left[3][3] = 4
25.86/14.31 c (13,10) left[3][4] = 8
25.86/14.31 c (13,10) left[4][0] = 0
25.86/14.31 c (13,10) left[4][1] = 9
25.86/14.31 c (13,10) left[4][2] = 4
25.86/14.31 c (13,10) left[4][3] = 5
25.86/14.31 c (13,10) left[4][4] = 9
25.86/14.31 c (13,10) left[5][0] = 0
25.86/14.31 c (13,10) left[5][1] = 4
25.86/14.31 c (13,10) left[5][2] = 6
25.86/14.31 c (13,10) left[5][3] = 4
25.86/14.31 c (13,10) left[5][4] = 7
25.86/14.31 c (13,10) left[6][0] = 0
25.86/14.31 c (13,10) left[6][1] = 6
25.86/14.31 c (13,10) left[6][2] = 7
25.86/14.31 c (13,10) left[6][3] = 6
25.86/14.31 c (13,10) left[6][4] = 6
25.86/14.31 c (13,10) left[7][0] = 0
25.86/14.31 c (13,10) left[7][1] = 4
25.86/14.31 c (13,10) left[7][2] = 5
25.86/14.31 c (13,10) left[7][3] = 9
25.86/14.31 c (13,10) left[7][4] = 9
25.86/14.31 c (13,10) left[8][0] = 0
25.86/14.31 c (13,10) left[8][1] = 7
25.86/14.31 c (13,10) left[8][2] = 5
25.86/14.31 c (13,10) left[8][3] = 6
25.86/14.31 c (13,10) left[8][4] = 4
25.86/14.31 c (13,10) left[9][0] = 0
25.86/14.31 c (13,10) left[9][1] = 1
25.86/14.31 c (13,10) left[9][2] = 3
25.86/14.31 c (13,10) left[9][3] = 3
25.86/14.31 c (13,10) left[9][4] = 2
25.86/14.31 c (13,10) right[0] = 0
25.86/14.31 c (13,10) right[1] = 0
25.86/14.31 c (13,10) right[2] = 0
25.86/14.31 c (13,10) right[3] = 0
25.86/14.31 c (13,10) right[4] = 0
25.86/14.31 c (13,10) right[5] = 0
25.86/14.31 c (13,10) right[6] = 0
25.86/14.31 c (13,10) right[7] = 0
25.86/14.31 c (13,10) right[8] = 0
25.86/14.31 c (13,10) right[9] = 0
25.86/14.31 c (13,10) top[0][0] = 0
25.86/14.31 c (13,10) top[0][1] = 0
25.86/14.31 c (13,10) top[0][2] = 0
25.86/14.31 c (13,10) top[0][3] = 0
25.86/14.31 c (13,10) top[0][4] = 0
25.86/14.31 c (13,10) top[1][0] = 3
25.86/14.31 c (13,10) top[1][1] = 9
25.86/14.31 c (13,10) top[1][2] = 7
25.86/14.31 c (13,10) top[1][3] = 5
25.86/14.31 c (13,10) top[1][4] = 1
25.86/14.31 c (13,10) top[2][0] = 1
25.86/14.31 c (13,10) top[2][1] = 7
25.86/14.31 c (13,10) top[2][2] = 9
25.86/14.31 c (13,10) top[2][3] = 4
25.86/14.31 c (13,10) top[2][4] = 1
25.86/14.31 c (13,10) top[3][0] = 1
25.86/14.31 c (13,10) top[3][1] = 8
25.86/14.31 c (13,10) top[3][2] = 7
25.86/14.31 c (13,10) top[3][3] = 9
25.86/14.31 c (13,10) top[3][4] = 1
25.86/14.31 c (13,10) top[4][0] = 2
25.86/14.31 c (13,10) top[4][1] = 7
25.86/14.31 c (13,10) top[4][2] = 4
25.86/14.31 c (13,10) top[4][3] = 9
25.86/14.31 c (13,10) top[4][4] = 3
25.86/14.31 c (13,10) top[5][0] = 2
25.86/14.31 c (13,10) top[5][1] = 7
25.86/14.31 c (13,10) top[5][2] = 8
25.86/14.31 c (13,10) top[5][3] = 8
25.86/14.31 c (13,10) top[5][4] = 1
25.86/14.31 c (13,10) top[6][0] = 3
25.86/14.31 c (13,10) top[6][1] = 6
25.86/14.31 c (13,10) top[6][2] = 8
25.86/14.31 c (13,10) top[6][3] = 6
25.86/14.31 c (13,10) top[6][4] = 1
25.86/14.31 c (13,10) top[7][0] = 2
25.86/14.31 c (13,10) top[7][1] = 8
25.86/14.31 c (13,10) top[7][2] = 7
25.86/14.31 c (13,10) top[7][3] = 4
25.86/14.31 c (13,10) top[7][4] = 2
25.86/14.31 c (13,10) top[8][0] = 2
25.86/14.31 c (13,10) top[8][1] = 8
25.86/14.31 c (13,10) top[8][2] = 6
25.86/14.31 c (13,10) top[8][3] = 6
25.86/14.31 c (13,10) top[8][4] = 1
25.86/14.31 c (13,10) top[9][0] = 2
25.86/14.31 c (13,10) top[9][1] = 5
25.86/14.31 c (13,10) top[9][2] = 5
25.86/14.31 c (13,10) top[9][3] = 8
25.86/14.31 c (13,10) top[9][4] = 3
25.86/14.31 s SATISFIABLE
25.86/14.31 v <instantiation>
25.86/14.31 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[6][0] id[6][1] id[6][2] id[6][3] id[6][4] id[7][0] id[7][1] id[7][2] id[7][3] id[7][4] id[8][0] id[8][1] id[8][2] id[8][3] id[8][4] id[9][0] id[9][1] id[9][2] id[9][3] id[9][4] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[6][0] top[6][1] top[6][2] top[6][3] top[6][4] top[7][0] top[7][1] top[7][2] top[7][3] top[7][4] top[8][0] top[8][1] top[8][2] top[8][3] top[8][4] top[9][0] top[9][1] top[9][2] top[9][3] top[9][4] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[6][0] left[6][1] left[6][2] left[6][3] left[6][4] left[7][0] left[7][1] left[7][2] left[7][3] left[7][4] left[8][0] left[8][1] left[8][2] left[8][3] left[8][4] left[9][0] left[9][1] left[9][2] left[9][3] left[9][4] bot[0] bot[1] bot[2] bot[3] bot[4] right[0] right[1] right[2] right[3] right[4] right[5] right[6] right[7] right[8] right[9]</list>
25.86/14.31 v <values>3 18 23 14 0 22 32 30 28 4 8 49 48 40 9 5 43 26 39 24 17 33 27 45 11 13 31 36 37 7 21 46 47 29 15 12 34 44 38 10 16 42 41 35 19 1 6 20 25 2 0 0 0 0 0 3 9 7 5 1 1 7 9 4 1 1 8 7 9 1 2 7 4 9 3 2 7 8 8 1 3 6 8 6 1 2 8 7 4 2 2 8 6 6 1 2 5 5 8 3 0 3 2 3 2 0 7 4 5 5 0 8 8 6 9 0 5 5 4 8 0 9 4 5 9 0 4 6 4 7 0 6 7 6 6 0 4 5 9 9 0 7 5 6 4 0 1 3 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
25.86/14.31 v </instantiation>
25.86/14.31 c (13,10) Show results End
25.86/14.31 c (13,10) Heap : 1787 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
25.86/14.31 c (13,10) 0,0,7,9,9,9,10,13,13,STOP-AFTER(ALL)
25.86/14.31 c END-Prog: Thu Jul 26 13:44:28 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 (6605 MiB free)
memory of node 1: 16384 MiB (13986 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296092-1532605453/watcher-4296092-1532605453 -o /tmp/evaluation-result-4296092-1532605453/solver-4296092-1532605453 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532605409-9420 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296092-1532605453.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
Current StackSize limit: 8192 KiB
solver pid=9800, runsolver pid=9797
[startup+0.100119 s]*
/proc/loadavg: 2.32 2.09 2.07 3/221 9815
/proc/meminfo: memFree=21025984/32770624 swapFree=67108860/67108860
[pid=9800] ppid=9797 vsize=15011656 memory=72696 CPUtime=0.11 cores=1,3,5,7
/proc/9800/stat : 9800 (java) S 9797 9800 8644 0 -1 1077944320 6381 0 0 0 9 2 0 0 20 0 15 0 78108611 15371935744 18174 33554432000 4194304 4196468 140726722289072 140726722271616 140227774996215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
/proc/9800/statm: 3752914 18174 2780 1 0 3715374 0
[pid=9800/tid=9802] ppid=9797 vsize=15011656 memory=4571615007105717139 CPUtime=0.09 cores=1,3,5,7
/proc/9800/task/9802/stat : 9802 (java) R 9797 9800 8644 0 -1 4202560 4658 0 0 0 8 1 0 0 20 0 15 0 78108612 15371935744 18372 33554432000 4194304 4196468 140726722289072 140227746832960 140227755271975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9803] ppid=9797 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9803/stat : 9803 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 18372 33554432000 4194304 4196468 140726722289072 140227779239056 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9804] ppid=9797 vsize=15011656 memory=140351881524864 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9804/stat : 9804 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 18372 33554432000 4194304 4196468 140726722289072 140227597327376 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9805] ppid=9797 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9805/stat : 9805 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 18438 33554432000 4194304 4196468 140726722289072 140227596274576 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9806] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9806/stat : 9806 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 18438 33554432000 4194304 4196468 140726722289072 140227234048784 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9807] ppid=9797 vsize=15011656 memory=140351881524864 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9807/stat : 9807 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108615 15371935744 18438 33554432000 4194304 4196468 140726722289072 140226745805168 140227775007362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9808] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9808/stat : 9808 (java) S 9797 9800 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78108615 15371935744 18438 33554432000 4194304 4196468 140726722289072 140226387239968 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9809] ppid=9797 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9809/stat : 9809 (java) S 9797 9800 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78108615 15371935744 18438 33554432000 4194304 4196468 140726722289072 140226253017968 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9810] ppid=9797 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9810/stat : 9810 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 18438 33554432000 4194304 4196468 140726722289072 140225878513488 140227775014811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9811] ppid=9797 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9811/stat : 9811 (java) S 9797 9800 8644 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 18438 33554432000 4194304 4196468 140726722289072 140226744753008 140227775007362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9812] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9812/stat : 9812 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 18438 33554432000 4194304 4196468 140726722289072 140226743700208 140227775007362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9813] ppid=9797 vsize=15011656 memory=140351881524864 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9813/stat : 9813 (java) S 9797 9800 8644 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 18438 33554432000 4194304 4196468 140726722289072 140226742647408 140227775007362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9814] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9814/stat : 9814 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 18438 33554432000 4194304 4196468 140726722289072 140225380608736 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9815] ppid=9797 vsize=15011656 memory=140351881524864 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9815/stat : 9815 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 18438 33554432000 4194304 4196468 140726722289072 140226741594800 140227775007362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72696 KiB
[startup+0.210478 s]*
/proc/loadavg: 2.32 2.09 2.07 3/221 9815
/proc/meminfo: memFree=21012280/32770624 swapFree=67108860/67108860
[pid=9800] ppid=9797 vsize=15011656 memory=84728 CPUtime=0.26 cores=1,3,5,7
/proc/9800/stat : 9800 (java) S 9797 9800 8644 0 -1 1077944320 9622 0 0 0 23 3 0 0 20 0 15 0 78108611 15371935744 21182 33554432000 4194304 4196468 140726722289072 140726722271616 140227774996215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
/proc/9800/statm: 3752914 21182 2887 1 0 3715374 0
[pid=9800/tid=9802] ppid=9797 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/9800/task/9802/stat : 9802 (java) R 9797 9800 8644 0 -1 4202560 7505 0 0 0 18 2 0 0 20 0 15 0 78108612 15371935744 21182 33554432000 4194304 4196468 140726722289072 140227746819824 140227276566300 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9803] ppid=9797 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9803/stat : 9803 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 21182 33554432000 4194304 4196468 140726722289072 140227779239056 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9804] ppid=9797 vsize=15011656 memory=3906230421981935264 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9804/stat : 9804 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 21182 33554432000 4194304 4196468 140726722289072 140227597327376 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9805] ppid=9797 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9805/stat : 9805 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 21182 33554432000 4194304 4196468 140726722289072 140227596274576 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9806] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9806/stat : 9806 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 21182 33554432000 4194304 4196468 140726722289072 140227234048784 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9807] ppid=9797 vsize=15011656 memory=140351881524864 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9807/stat : 9807 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108615 15371935744 21182 33554432000 4194304 4196468 140726722289072 140226745805168 140227775007362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9808] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9808/stat : 9808 (java) S 9797 9800 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78108615 15371935744 21182 33554432000 4194304 4196468 140726722289072 140226387239968 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9809] ppid=9797 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9809/stat : 9809 (java) S 9797 9800 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78108615 15371935744 21182 33554432000 4194304 4196468 140726722289072 140226253017968 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9810] ppid=9797 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9810/stat : 9810 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 21182 33554432000 4194304 4196468 140726722289072 140225878513488 140227775014811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9811] ppid=9797 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9800/task/9811/stat : 9811 (java) S 9797 9800 8644 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 15 0 78108618 15371935744 21182 33554432000 4194304 4196468 140726722289072 140226744753008 140227775007362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9812] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9812/stat : 9812 (java) S 9797 9800 8644 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 21182 33554432000 4194304 4196468 140726722289072 140226743700208 140227775007362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9813] ppid=9797 vsize=15011656 memory=140351881524864 CPUtime=0.03 cores=1,3,5,7
/proc/9800/task/9813/stat : 9813 (java) R 9797 9800 8644 0 -1 4202560 282 0 0 0 3 0 0 0 20 0 15 0 78108618 15371935744 21182 33554432000 4194304 4196468 140726722289072 140226742647408 140227767233342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9814] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9814/stat : 9814 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 21182 33554432000 4194304 4196468 140726722289072 140225380608736 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9815] ppid=9797 vsize=15011656 memory=140351881524864 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9815/stat : 9815 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 21182 33554432000 4194304 4196468 140726722289072 140226741594800 140227775007362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84728 KiB
[startup+0.310693 s]*
/proc/loadavg: 2.32 2.09 2.07 4/221 9815
/proc/meminfo: memFree=21008688/32770624 swapFree=67108860/67108860
[pid=9800] ppid=9797 vsize=15011656 memory=88196 CPUtime=0.42 cores=1,3,5,7
/proc/9800/stat : 9800 (java) S 9797 9800 8644 0 -1 1077944320 10144 0 0 0 39 3 0 0 20 0 15 0 78108611 15371935744 22049 33554432000 4194304 4196468 140726722289072 140726722271616 140227774996215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
/proc/9800/statm: 3752914 22049 2990 1 0 3715374 0
[pid=9800/tid=9802] ppid=9797 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/9800/task/9802/stat : 9802 (java) R 9797 9800 8644 0 -1 4202560 7884 0 0 0 27 2 0 0 20 0 15 0 78108612 15371935744 22049 33554432000 4194304 4196468 140726722289072 140227746823840 140227755272029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9803] ppid=9797 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9803/stat : 9803 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 22049 33554432000 4194304 4196468 140726722289072 140227779239056 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9804] ppid=9797 vsize=15011656 memory=140351881544977 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9804/stat : 9804 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 22049 33554432000 4194304 4196468 140726722289072 140227597327376 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9805] ppid=9797 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9805/stat : 9805 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 22049 33554432000 4194304 4196468 140726722289072 140227596274576 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9806] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9806/stat : 9806 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108613 15371935744 22049 33554432000 4194304 4196468 140726722289072 140227234048784 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9807] ppid=9797 vsize=15011656 memory=140351881524864 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9807/stat : 9807 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108615 15371935744 22049 33554432000 4194304 4196468 140726722289072 140226745805168 140227775007362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9808] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9808/stat : 9808 (java) S 9797 9800 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78108615 15371935744 22049 33554432000 4194304 4196468 140726722289072 140226387239968 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9809] ppid=9797 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9809/stat : 9809 (java) S 9797 9800 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78108615 15371935744 22049 33554432000 4194304 4196468 140726722289072 140226253017968 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9810] ppid=9797 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9810/stat : 9810 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 22049 33554432000 4194304 4196468 140726722289072 140225878513488 140227775014811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9811] ppid=9797 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9800/task/9811/stat : 9811 (java) R 9797 9800 8644 0 -1 4202560 487 0 0 0 2 0 0 0 20 0 15 0 78108618 15371935744 22049 33554432000 4194304 4196468 140726722289072 140226744753008 140227767285664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9812] ppid=9797 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9800/task/9812/stat : 9812 (java) R 9797 9800 8644 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 15 0 78108618 15371935744 22049 33554432000 4194304 4196468 140726722289072 140226743700208 140227775007362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9813] ppid=9797 vsize=15011656 memory=140351881524864 CPUtime=0.07 cores=1,3,5,7
/proc/9800/task/9813/stat : 9813 (java) S 9797 9800 8644 0 -1 1077944384 301 0 0 0 7 0 0 0 20 0 15 0 78108618 15371935744 22049 33554432000 4194304 4196468 140726722289072 140226742647408 140227775007362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9814] ppid=9797 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9814/stat : 9814 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 22049 33554432000 4194304 4196468 140726722289072 140225380608736 140227775006421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9815] ppid=9797 vsize=15011656 memory=140351881524864 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9815/stat : 9815 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108618 15371935744 22049 33554432000 4194304 4196468 140726722289072 140226741594800 140227775007362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88196 KiB
[startup+0.701193 s]
/proc/loadavg: 2.32 2.09 2.07 3/221 9815
/proc/meminfo: memFree=20984628/32770624 swapFree=67108860/67108860
[pid=9800] ppid=9797 vsize=15020052 memory=128100 CPUtime=1.02 cores=1,3,5,7
/proc/9800/stat : 9800 (java) S 9797 9800 8644 0 -1 1077944320 17237 0 0 0 96 6 0 0 20 0 15 0 78108611 15380533248 32025 33554432000 4194304 4196468 140726722289072 140726722271616 140227774996215 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
/proc/9800/statm: 3755013 32025 3175 1 0 3716398 0
[pid=9800/tid=9802] ppid=9797 vsize=15020052 memory=182472490891694 CPUtime=0.67 cores=1,3,5,7
/proc/9800/task/9802/stat : 9802 (java) R 9797 9800 8644 0 -1 4202560 14483 0 0 0 63 4 0 0 20 0 15 0 78108612 15380533248 32025 33554432000 4194304 4196468 140726722289072 140227746827456 140227775008150 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9803] ppid=9797 vsize=15020052 memory=462420 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9803/stat : 9803 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108613 15380533248 32025 33554432000 4194304 4196468 140726722289072 140227779239056 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9804] ppid=9797 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9804/stat : 9804 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108613 15380533248 32025 33554432000 4194304 4196468 140726722289072 140227597327376 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9805] ppid=9797 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9805/stat : 9805 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108613 15380533248 32025 33554432000 4194304 4196468 140726722289072 140227596274576 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9806] ppid=9797 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9806/stat : 9806 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108613 15380533248 32025 33554432000 4194304 4196468 140726722289072 140227234048784 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9807] ppid=9797 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9807/stat : 9807 (java) S 9797 9800 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78108615 15380533248 32025 33554432000 4194304 4196468 140726722289072 140226745805168 140227775007362 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9808] ppid=9797 vsize=15020052 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9808/stat : 9808 (java) S 9797 9800 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78108615 15380533248 32025 33554432000 4194304 4196468 140726722289072 140226387239968 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9809] ppid=9797 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9809/stat : 9809 (java) S 9797 9800 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78108615 15380533248 32025 33554432000 4194304 4196468 140726722289072 140226253017968 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9810] ppid=9797 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9810/stat : 9810 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78108618 15380533248 32025 33554432000 4194304 4196468 140726722289072 140225878513488 140227775014811 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9811] ppid=9797 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9800/task/9811/stat : 9811 (java) S 9797 9800 8644 0 -1 1077944384 730 0 0 0 9 0 0 0 20 0 15 0 78108618 15380533248 32025 33554432000 4194304 4196468 140726722289072 140226744753008 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9812] ppid=9797 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9800/task/9812/stat : 9812 (java) R 9797 9800 8644 0 -1 4202560 229 0 0 0 7 0 0 0 20 0 15 0 78108618 15380533248 32025 33554432000 4194304 4196468 140726722289072 140226743681224 140227756523350 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9813] ppid=9797 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/9800/task/9813/stat : 9813 (java) R 9797 9800 8644 0 -1 1077944384 434 0 0 0 16 0 0 0 20 0 15 0 78108618 15380533248 32025 33554432000 4194304 4196468 140726722289072 140226742647408 140227775007362 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9814] ppid=9797 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9814/stat : 9814 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78108618 15380533248 32025 33554432000 4194304 4196468 140726722289072 140225380608736 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9815] ppid=9797 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9815/stat : 9815 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108618 15380533248 32025 33554432000 4194304 4196468 140726722289072 140226741594800 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 128100 KiB
[startup+1.50112 s]
/proc/loadavg: 2.32 2.09 2.07 5/221 9815
/proc/meminfo: memFree=20935060/32770624 swapFree=67108860/67108860
[pid=9800] ppid=9797 vsize=15024148 memory=193416 CPUtime=3.63 cores=1,3,5,7
/proc/9800/stat : 9800 (java) S 9797 9800 8644 0 -1 1077944320 24579 0 0 0 354 9 0 0 20 0 15 0 78108611 15384727552 48354 33554432000 4194304 4196468 140726722289072 140726722271616 140227774996215 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
/proc/9800/statm: 3756037 48354 3204 1 0 3717422 0
[pid=9800/tid=9802] ppid=9797 vsize=15024148 memory=7157735280230291049 CPUtime=1.46 cores=1,3,5,7
/proc/9800/task/9802/stat : 9802 (java) R 9797 9800 8644 0 -1 4202560 16221 0 0 0 140 6 0 0 20 0 15 0 78108612 15384727552 48354 33554432000 4194304 4196468 140726722289072 140227746829040 140227276473057 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9803] ppid=9797 vsize=15024148 memory=7014751519650436713 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9803/stat : 9803 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108613 15384727552 48354 33554432000 4194304 4196468 140726722289072 140227779239056 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9804] ppid=9797 vsize=15024148 memory=7811609454765625445 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9804/stat : 9804 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108613 15384727552 48354 33554432000 4194304 4196468 140726722289072 140227597327376 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9805] ppid=9797 vsize=15024148 memory=7234565978932602471 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9805/stat : 9805 (java) S 9797 9800 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78108613 15384727552 48354 33554432000 4194304 4196468 140726722289072 140227596274576 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9806] ppid=9797 vsize=15024148 memory=7589240748751479616 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9806/stat : 9806 (java) S 9797 9800 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78108613 15384727552 48354 33554432000 4194304 4196468 140726722289072 140227234048784 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9807] ppid=9797 vsize=15024148 memory=7377831257337654377 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9807/stat : 9807 (java) S 9797 9800 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78108615 15384727552 48354 33554432000 4194304 4196468 140726722289072 140226745805168 140227775007362 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
################
# More data... #
################
[pid=9800/tid=9812] ppid=9797 vsize=15683912 memory=1944 CPUtime=4.65 cores=1,3,5,7
/proc/9800/task/9812/stat : 9812 (java) S 9797 9800 8644 0 -1 1077944384 4561 0 0 0 464 1 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226743700208 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9813] ppid=9797 vsize=15683912 memory=1428 CPUtime=1.4 cores=1,3,5,7
/proc/9800/task/9813/stat : 9813 (java) S 9797 9800 8644 0 -1 1077944384 6187 0 0 0 137 3 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226742647408 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9814] ppid=9797 vsize=15683912 memory=8532 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9814/stat : 9814 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140225380608736 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9815] ppid=9797 vsize=15683912 memory=792 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9815/stat : 9815 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226741594800 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9817] ppid=9797 vsize=15683912 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9817/stat : 9817 (java) S 9797 9800 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78109711 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226857243840 140227775020825 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9819] ppid=9797 vsize=15683912 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9819/stat : 9819 (java) S 9797 9800 8644 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 78109711 16060325888 780962 33554432000 4194304 4196468 140726722289072 140224843721904 140227775018141 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9820] ppid=9797 vsize=15683912 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9820/stat : 9820 (java) S 9797 9800 8644 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 78109711 16060325888 780962 33554432000 4194304 4196468 140726722289072 140224977944624 140227775018141 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9821] ppid=9797 vsize=15683912 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9821/stat : 9821 (java) S 9797 9800 8644 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 78109713 16060325888 780962 33554432000 4194304 4196468 140726722289072 140224575299232 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
Current children cumulated CPU time: 25.08 s
Current children cumulated vsize: 15726740 KiB
Current children cumulated memory: 3149216 KiB
[startup+14.0009 s]*
/proc/loadavg: 2.27 2.09 2.07 3/226 9821
/proc/meminfo: memFree=17932812/32770624 swapFree=67108860/67108860
[pid=9800] ppid=9797 vsize=15683912 memory=3123848 CPUtime=22.49 cores=1,3,5,7
/proc/9800/stat : 9800 (java) S 9797 9800 8644 0 -1 1077944320 37224 0 0 0 2179 70 0 0 20 0 19 0 78108611 16060325888 780962 33554432000 4194304 4196468 140726722289072 140726722271616 140227774996215 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
/proc/9800/statm: 3920978 780962 3241 1 0 3881834 0
[pid=9816] ppid=9800 vsize=47248 memory=26128 CPUtime=3 cores=1,3,5,7
/proc/9816/stat : 9816 (minisat_release) R 9800 9800 8644 0 -1 4202496 7974 0 0 0 299 1 0 0 20 0 1 0 78109711 48381952 6532 33554432000 4194304 4308513 140731507687456 140731507684872 4275825 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 39165952 140731507696305 140731507696814 140731507696814 140731507699653 0
/proc/9816/statm: 11812 6532 353 28 0 8052 0
[pid=9800/tid=9802] ppid=9797 vsize=15683912 memory=-5059952977386882957 CPUtime=10.85 cores=1,3,5,7
/proc/9800/task/9802/stat : 9802 (java) S 9797 9800 8644 0 -1 1077944384 19003 0 0 0 1035 50 0 0 20 0 19 0 78108612 16060325888 780962 33554432000 4194304 4196468 140726722289072 140227746835456 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9803] ppid=9797 vsize=15683912 memory=4872558044660077418 CPUtime=0.13 cores=1,3,5,7
/proc/9800/task/9803/stat : 9803 (java) S 9797 9800 8644 0 -1 1077944384 84 0 0 0 10 3 0 0 20 0 19 0 78108613 16060325888 780962 33554432000 4194304 4196468 140726722289072 140227779239056 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9804] ppid=9797 vsize=15683912 memory=280703494130992 CPUtime=0.13 cores=1,3,5,7
/proc/9800/task/9804/stat : 9804 (java) S 9797 9800 8644 0 -1 1077944384 50 0 0 0 10 3 0 0 20 0 19 0 78108613 16060325888 780962 33554432000 4194304 4196468 140726722289072 140227597327376 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9805] ppid=9797 vsize=15683912 memory=280703494131056 CPUtime=0.13 cores=1,3,5,7
/proc/9800/task/9805/stat : 9805 (java) S 9797 9800 8644 0 -1 1077944384 56 0 0 0 10 3 0 0 20 0 19 0 78108613 16060325888 780962 33554432000 4194304 4196468 140726722289072 140227596274576 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9806] ppid=9797 vsize=15683912 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9800/task/9806/stat : 9806 (java) S 9797 9800 8644 0 -1 1077944384 79 0 0 0 10 3 0 0 20 0 19 0 78108613 16060325888 780962 33554432000 4194304 4196468 140726722289072 140227234048784 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9807] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9807/stat : 9807 (java) S 9797 9800 8644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 78108615 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226745805168 140227775007362 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9808] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9808/stat : 9808 (java) S 9797 9800 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 78108615 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226387240032 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9809] ppid=9797 vsize=15683912 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9809/stat : 9809 (java) S 9797 9800 8644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 78108615 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226253017968 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9810] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9810/stat : 9810 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140225878513488 140227775014811 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9811] ppid=9797 vsize=15683912 memory=0 CPUtime=4.98 cores=1,3,5,7
/proc/9800/task/9811/stat : 9811 (java) S 9797 9800 8644 0 -1 1077944384 5758 0 0 0 497 1 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226744753008 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9812] ppid=9797 vsize=15683912 memory=0 CPUtime=4.65 cores=1,3,5,7
/proc/9800/task/9812/stat : 9812 (java) S 9797 9800 8644 0 -1 1077944384 4561 0 0 0 464 1 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226743700208 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9813] ppid=9797 vsize=15683912 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/9800/task/9813/stat : 9813 (java) S 9797 9800 8644 0 -1 1077944384 6187 0 0 0 137 3 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226742647408 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9814] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9814/stat : 9814 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140225380608736 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9815] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9815/stat : 9815 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226741594800 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9817] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9817/stat : 9817 (java) S 9797 9800 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78109711 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226857243840 140227775020825 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9819] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9819/stat : 9819 (java) S 9797 9800 8644 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 78109711 16060325888 780962 33554432000 4194304 4196468 140726722289072 140224843721904 140227775018141 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9820] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9820/stat : 9820 (java) S 9797 9800 8644 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 78109711 16060325888 780962 33554432000 4194304 4196468 140726722289072 140224977944624 140227775018141 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9821] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9821/stat : 9821 (java) S 9797 9800 8644 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 78109713 16060325888 780962 33554432000 4194304 4196468 140726722289072 140224575299232 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 15731160 KiB
Current children cumulated memory: 3149976 KiB
[startup+14.2008 s]
/proc/loadavg: 2.27 2.09 2.07 3/226 9821
/proc/meminfo: memFree=17932812/32770624 swapFree=67108860/67108860
[pid=9800] ppid=9797 vsize=15683912 memory=3123848 CPUtime=22.49 cores=1,3,5,7
/proc/9800/stat : 9800 (java) S 9797 9800 8644 0 -1 1077944320 37224 0 0 0 2179 70 0 0 20 0 19 0 78108611 16060325888 780962 33554432000 4194304 4196468 140726722289072 140726722271616 140227774996215 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
/proc/9800/statm: 3920978 780962 3241 1 0 3881834 0
[pid=9816] ppid=9800 vsize=47248 memory=26376 CPUtime=3.19 cores=1,3,5,7
/proc/9816/stat : 9816 (minisat_release) R 9800 9800 8644 0 -1 4202496 8077 0 0 0 318 1 0 0 20 0 1 0 78109711 48381952 6594 33554432000 4194304 4308513 140731507687456 140731507684872 4289173 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 39165952 140731507696305 140731507696814 140731507696814 140731507699653 0
/proc/9816/statm: 11812 6594 353 28 0 8052 0
[pid=9800/tid=9802] ppid=9797 vsize=15683912 memory=13573716680378929 CPUtime=10.85 cores=1,3,5,7
/proc/9800/task/9802/stat : 9802 (java) S 9797 9800 8644 0 -1 1077944384 19003 0 0 0 1035 50 0 0 20 0 19 0 78108612 16060325888 780962 33554432000 4194304 4196468 140726722289072 140227746835456 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9803] ppid=9797 vsize=15683912 memory=6944656592455097440 CPUtime=0.13 cores=1,3,5,7
/proc/9800/task/9803/stat : 9803 (java) S 9797 9800 8644 0 -1 1077944384 84 0 0 0 10 3 0 0 20 0 19 0 78108613 16060325888 780962 33554432000 4194304 4196468 140726722289072 140227779239056 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9804] ppid=9797 vsize=15683912 memory=6943526294502006880 CPUtime=0.13 cores=1,3,5,7
/proc/9800/task/9804/stat : 9804 (java) S 9797 9800 8644 0 -1 1077944384 50 0 0 0 10 3 0 0 20 0 19 0 78108613 16060325888 780962 33554432000 4194304 4196468 140726722289072 140227597327376 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9805] ppid=9797 vsize=15683912 memory=7014751519650436713 CPUtime=0.13 cores=1,3,5,7
/proc/9800/task/9805/stat : 9805 (java) S 9797 9800 8644 0 -1 1077944384 56 0 0 0 10 3 0 0 20 0 19 0 78108613 16060325888 780962 33554432000 4194304 4196468 140726722289072 140227596274576 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9806] ppid=9797 vsize=15683912 memory=6371026043245651798 CPUtime=0.13 cores=1,3,5,7
/proc/9800/task/9806/stat : 9806 (java) S 9797 9800 8644 0 -1 1077944384 79 0 0 0 10 3 0 0 20 0 19 0 78108613 16060325888 780962 33554432000 4194304 4196468 140726722289072 140227234048784 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9807] ppid=9797 vsize=15683912 memory=7594311846504392294 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9807/stat : 9807 (java) S 9797 9800 8644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 78108615 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226745805168 140227775007362 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9808] ppid=9797 vsize=15683912 memory=5937503940876124257 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9808/stat : 9808 (java) S 9797 9800 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 78108615 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226387240032 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9809] ppid=9797 vsize=15683912 memory=7156906360065255782 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9809/stat : 9809 (java) S 9797 9800 8644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 78108615 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226253017968 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9810] ppid=9797 vsize=15683912 memory=6082513041216792163 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9810/stat : 9810 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140225878513488 140227775014811 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9811] ppid=9797 vsize=15683912 memory=6441370576508249454 CPUtime=4.98 cores=1,3,5,7
/proc/9800/task/9811/stat : 9811 (java) S 9797 9800 8644 0 -1 1077944384 5758 0 0 0 497 1 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226744753008 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9812] ppid=9797 vsize=15683912 memory=5938116408229062243 CPUtime=4.65 cores=1,3,5,7
/proc/9800/task/9812/stat : 9812 (java) S 9797 9800 8644 0 -1 1077944384 4561 0 0 0 464 1 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226743700208 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9813] ppid=9797 vsize=15683912 memory=280703493530296 CPUtime=1.4 cores=1,3,5,7
/proc/9800/task/9813/stat : 9813 (java) S 9797 9800 8644 0 -1 1077944384 6187 0 0 0 137 3 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226742647408 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9814] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9814/stat : 9814 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140225380608736 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9815] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9815/stat : 9815 (java) S 9797 9800 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78108618 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226741594800 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9817] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9817/stat : 9817 (java) S 9797 9800 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78109711 16060325888 780962 33554432000 4194304 4196468 140726722289072 140226857243840 140227775020825 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9819] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9819/stat : 9819 (java) S 9797 9800 8644 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 78109711 16060325888 780962 33554432000 4194304 4196468 140726722289072 140224843721904 140227775018141 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9820] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9820/stat : 9820 (java) S 9797 9800 8644 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 78109711 16060325888 780962 33554432000 4194304 4196468 140726722289072 140224977944624 140227775018141 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9821] ppid=9797 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9800/task/9821/stat : 9821 (java) S 9797 9800 8644 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 78109713 16060325888 780962 33554432000 4194304 4196468 140726722289072 140224575299232 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
Current children cumulated CPU time: 25.68 s
Current children cumulated vsize: 15731160 KiB
Current children cumulated memory: 3150224 KiB
[startup+14.3011 s]
/proc/loadavg: 2.27 2.09 2.07 3/226 9821
/proc/meminfo: memFree=17932812/32770624 swapFree=67108860/67108860
[pid=9800] ppid=9797 vsize=15552836 memory=3123860 CPUtime=25.86 cores=1,3,5,7
/proc/9800/stat : 9800 (java) S 9797 9800 8644 0 -1 1077944320 37266 8157 0 0 2189 70 326 1 20 0 17 0 78108611 15926104064 780965 33554432000 4194304 4196468 140726722289072 140726722271616 140227774996215 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
/proc/9800/statm: 3888209 780965 3241 1 0 3849065 0
[pid=9800/tid=9802] ppid=9797 vsize=15552836 memory=18980 CPUtime=14.13 cores=1,3,5,7
/proc/9800/task/9802/stat : 9802 (java) R 9797 9800 8644 0 -1 4202560 19014 8157 0 0 1036 50 326 1 20 0 17 0 78108612 15926104064 780965 33554432000 4194304 4196468 140726722289072 140227746825952 140227775017562 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9803] ppid=9797 vsize=15552836 memory=23480 CPUtime=3.4 cores=1,3,5,7
/proc/9800/task/9803/stat : 9803 (java) S 9797 9800 8644 0 -1 1077944384 84 8157 0 0 10 3 326 1 20 0 17 0 78108613 15926104064 780965 33554432000 4194304 4196468 140726722289072 140227779239056 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9804] ppid=9797 vsize=15552836 memory=1292 CPUtime=3.4 cores=1,3,5,7
/proc/9800/task/9804/stat : 9804 (java) S 9797 9800 8644 0 -1 1077944384 50 8157 0 0 10 3 326 1 20 0 17 0 78108613 15926104064 780965 33554432000 4194304 4196468 140726722289072 140227597327376 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9805] ppid=9797 vsize=15552836 memory=0 CPUtime=3.4 cores=1,3,5,7
/proc/9800/task/9805/stat : 9805 (java) S 9797 9800 8644 0 -1 1077944384 56 8157 0 0 10 3 326 1 20 0 17 0 78108613 15926104064 780965 33554432000 4194304 4196468 140726722289072 140227596274576 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9806] ppid=9797 vsize=15552836 memory=0 CPUtime=3.4 cores=1,3,5,7
/proc/9800/task/9806/stat : 9806 (java) S 9797 9800 8644 0 -1 1077944384 79 8157 0 0 10 3 326 1 20 0 17 0 78108613 15926104064 780965 33554432000 4194304 4196468 140726722289072 140227234048784 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9807] ppid=9797 vsize=15552836 memory=0 CPUtime=3.27 cores=1,3,5,7
/proc/9800/task/9807/stat : 9807 (java) S 9797 9800 8644 0 -1 1077944384 22 8157 0 0 0 0 326 1 20 0 17 0 78108615 15926104064 780965 33554432000 4194304 4196468 140726722289072 140226745805168 140227775007362 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9808] ppid=9797 vsize=15552836 memory=3061548 CPUtime=3.27 cores=1,3,5,7
/proc/9800/task/9808/stat : 9808 (java) S 9797 9800 8644 0 -1 1077944384 14 8157 0 0 0 0 326 1 20 0 17 0 78108615 15926104064 780965 33554432000 4194304 4196468 140726722289072 140226387240032 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9809] ppid=9797 vsize=15552836 memory=4136 CPUtime=3.27 cores=1,3,5,7
/proc/9800/task/9809/stat : 9809 (java) S 9797 9800 8644 0 -1 1077944384 22 8157 0 0 0 0 326 1 20 0 17 0 78108615 15926104064 780965 33554432000 4194304 4196468 140726722289072 140226253017968 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9810] ppid=9797 vsize=15552836 memory=2782832 CPUtime=3.27 cores=1,3,5,7
/proc/9800/task/9810/stat : 9810 (java) S 9797 9800 8644 0 -1 1077944384 3 8157 0 0 0 0 326 1 20 0 17 0 78108618 15926104064 780965 33554432000 4194304 4196468 140726722289072 140225878513488 140227775014811 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9811] ppid=9797 vsize=15552836 memory=4136 CPUtime=8.28 cores=1,3,5,7
/proc/9800/task/9811/stat : 9811 (java) R 9797 9800 8644 0 -1 4202560 5759 8157 0 0 500 1 326 1 20 0 17 0 78108618 15926104064 780965 33554432000 4194304 4196468 140726722289072 140226744743280 140227752971953 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9812] ppid=9797 vsize=15552836 memory=7892 CPUtime=7.95 cores=1,3,5,7
/proc/9800/task/9812/stat : 9812 (java) R 9797 9800 8644 0 -1 4202560 4561 8157 0 0 467 1 326 1 20 0 17 0 78108618 15926104064 780965 33554432000 4194304 4196468 140726722289072 140226743686304 140227752591008 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9813] ppid=9797 vsize=15552836 memory=840 CPUtime=4.69 cores=1,3,5,7
/proc/9800/task/9813/stat : 9813 (java) R 9797 9800 8644 0 -1 4202560 6194 8157 0 0 139 3 326 1 20 0 17 0 78108618 15926104064 780965 33554432000 4194304 4196468 140726722289072 140226742647216 140227759349768 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9814] ppid=9797 vsize=15552836 memory=1696 CPUtime=3.27 cores=1,3,5,7
/proc/9800/task/9814/stat : 9814 (java) S 9797 9800 8644 0 -1 1077944384 3 8157 0 0 0 0 326 1 20 0 17 0 78108618 15926104064 780965 33554432000 4194304 4196468 140726722289072 140225380608736 140227775006421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9815] ppid=9797 vsize=15552836 memory=920 CPUtime=3.27 cores=1,3,5,7
/proc/9800/task/9815/stat : 9815 (java) S 9797 9800 8644 0 -1 1077944384 3 8157 0 0 0 0 326 1 20 0 17 0 78108618 15926104064 780965 33554432000 4194304 4196468 140726722289072 140226741594800 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9817] ppid=9797 vsize=15552836 memory=3123848 CPUtime=3.27 cores=1,3,5,7
/proc/9800/task/9817/stat : 9817 (java) S 9797 9800 8644 0 -1 1077944384 24 8157 0 0 0 0 326 1 20 0 17 0 78109711 15926104064 780965 33554432000 4194304 4196468 140726722289072 140226857243024 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
[pid=9800/tid=9821] ppid=9797 vsize=15552836 memory=2200 CPUtime=3.27 cores=1,3,5,7
/proc/9800/task/9821/stat : 9821 (java) S 9797 9800 8644 0 -1 1077944384 9 8157 0 0 0 0 326 1 20 0 17 0 78109713 15926104064 780965 33554432000 4194304 4196468 140726722289072 140224575301040 140227775007362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37208064 140726722294771 140726722295049 140726722295049 140726722297807 0
Current children cumulated CPU time: 25.86 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 3123860 KiB
Child status: 0
Real time (s): 14.3451
CPU time (s): 25.9587
CPU user time (s): 25.21
CPU system time (s): 0.748662
CPU usage (%): 180.958
Max. virtual memory (cumulated for all children) (KiB): 15731160
Max. memory (cumulated for all children) (KiB): 3150224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.21
system time used= 0.748662
maximum resident set size= 3125036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5249
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 9800
# total CPU time (s): 25.9587
# total CPU user time (s): 25.21
# total CPU system time (s): 0.748662
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.119569 second user time and 0.182201 second system time
The end