0.59/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Jul 26 11:38:05 CEST 2018
0.67/0.54 c PID: 4600
0.67/0.54 c IP: 172.20.3.134
0.67/0.54 c HOST: node134.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.06/1.02 c (0,0) Parsing End
2.06/1.03 c (0,0) CSP: 165 int (0 aux), 0 bool (0 aux), 81 ctr, max domain size 50
2.06/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.06/1.03 c (0,0) Constraint Name Generate Begin
2.06/1.04 c (0,0) Ctr:HOME/instance-4296091-1532597884.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.06/1.04 c (0,0) Constraint Name Generate End
2.06/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.06/1.04 c (0,0) CSP to CSPinCNF Begin
6.90/2.64 c (2,2) translated 9 (10%) constraints
9.26/3.48 c (2,2) translated 17 (20%) constraints
10.69/4.18 c (3,3) translated 25 (30%) constraints
11.52/4.84 c (4,4) translated 33 (40%) constraints
12.31/5.49 c (4,4) translated 41 (50%) constraints
13.04/6.15 c (5,5) translated 49 (60%) constraints
13.28/6.39 c (5,5) translated 57 (70%) constraints
13.28/6.39 c (5,5) translated 65 (80%) constraints
13.28/6.40 c (5,5) translated 73 (90%) constraints
13.28/6.40 c (5,5) translated 81 (100%) constraints
14.12/6.81 c (6,6) STATISTICS1:HOME/instance-4296091-1532597884.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.12/6.81 c (6,6) ===========================================
14.12/6.81 c (6,6) Both Encoding selects:
14.12/6.81 c (6,6) Order
14.12/6.81 c (6,6) ===========================================
14.75/7.10 c (6,6) translated 8581 (10%) constraints
15.28/7.25 c (6,6) translated 17162 (20%) constraints
15.41/7.39 c (6,6) translated 25743 (30%) constraints
15.66/7.52 c (7,6) translated 34323 (40%) constraints
15.75/7.66 c (7,7) translated 42904 (50%) constraints
15.96/7.80 c (7,7) translated 51485 (60%) constraints
16.06/7.94 c (7,7) translated 60065 (70%) constraints
16.82/8.22 c (7,7) translated 68646 (80%) constraints
16.92/8.35 c (7,7) translated 77227 (90%) constraints
17.02/8.48 c (7,7) translated 85807 (100%) constraints
17.02/8.48 c (7,7) CSP to CSPinCNF End
17.02/8.49 c (7,7) CSP: 165 int (0 aux), 13700 bool (13700 aux), 85837 ctr, max domain size 50
17.02/8.49 c (7,7) Heap : 242 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.02/8.49 c (7,7) CSPinCNF Propagation Begin
19.66/9.92 c (9,9) 5181 values, 28333 unsatisfiable literals, and 29646 valid clauses are removed
19.66/9.92 c (9,9) CSPinCNF Propagation End
19.66/9.93 c (9,9) CSP: 4634 int (4469 aux), 9231 bool (9231 aux), 56191 ctr, max domain size 50
19.66/9.93 c (9,9) Heap : 959 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.66/9.93 c (9,9) Simplify CSPinCNF Begin
19.94/10.07 c (9,9) Simplify CSPinCNF End
19.94/10.08 c (9,9) CSP: 4634 int (4469 aux), 11681 bool (11681 aux), 58641 ctr, max domain size 50
19.94/10.08 c (9,9) Heap : 1015 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.94/10.08 c (9,9) Calculate Precise Domain Begin
19.94/10.08 c (9,9) 0 values are removed by re-calculation
19.94/10.08 c (9,9) Calculate Precise Domain End
19.94/10.08 c (9,9) CSP: 4634 int (4469 aux), 11681 bool (11681 aux), 58641 ctr, max domain size 50
19.94/10.08 c (9,9) Heap : 1015 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.94/10.08 c (9,9) CSPinCNF to SatSolver Begin
21.34/10.50 c (9,9) 5865 (10 %) CSP clauses are encoded (14184 SAT variables, 74370 SAT clauses)
21.34/10.55 c (10,9) 11729 (20 %) CSP clauses are encoded (14184 SAT variables, 80234 SAT clauses)
21.34/10.58 c (10,9) 17593 (30 %) CSP clauses are encoded (14184 SAT variables, 86098 SAT clauses)
21.61/10.61 c (10,9) 23457 (40 %) CSP clauses are encoded (14184 SAT variables, 91962 SAT clauses)
21.61/10.64 c (10,9) 29321 (50 %) CSP clauses are encoded (14184 SAT variables, 97826 SAT clauses)
21.61/10.67 c (10,9) 35185 (60 %) CSP clauses are encoded (14184 SAT variables, 103690 SAT clauses)
21.61/10.69 c (10,9) 41049 (70 %) CSP clauses are encoded (14184 SAT variables, 109554 SAT clauses)
21.72/10.72 c (10,10) 46913 (80 %) CSP clauses are encoded (14184 SAT variables, 115418 SAT clauses)
21.72/10.75 c (10,10) 52777 (90 %) CSP clauses are encoded (14184 SAT variables, 121282 SAT clauses)
21.72/10.78 c (10,10) 58641 (100 %) CSP clauses are encoded (14184 SAT variables, 127146 SAT clauses)
21.72/10.78 c (10,10) CSPinCNF to SatSolver End
21.72/10.78 c (10,10) Heap : 1456 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.36/11.00 c (10,10) STATISTICS2:HOME/instance-4296091-1532597884.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.36/11.00 c (10,10) SatSolver.solve Begin
22.36/11.00 c (10,10) 14184 bool, 127147 clause
22.36/11.00 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-4296091-1532597884.xml-scop-4600.cnf HOME/instance-4296091-1532597884.xml-scop-4600.cnf.out
25.72/14.36 c (13,0) c This is COMiniSatPS.
25.72/14.36 c (13,0) c WARNING: for repeatability, setting FPU to use double precision
25.72/14.36 c (13,0) c ============================[ Problem Statistics ]=============================
25.72/14.36 c (13,0) c | |
25.72/14.36 c (13,0) c | Number of variables: 14184 |
25.72/14.36 c (13,0) c | Number of clauses: 127147 |
25.72/14.36 c (13,0) c | Parse time: 0.03 s |
25.72/14.36 c (13,0) c | Eliminated clauses: 0.18 Mb |
25.72/14.36 c (13,0) c Reduced to 9338 vars, 111546 cls (grow=0)
25.72/14.36 c (13,0) c No iterative elimination performed. (vars=9338, c/v ratio=11.9)
25.72/14.36 c (13,0) c | Simplification time: 0.13 s |
25.72/14.36 c (13,0) c | |
25.72/14.36 c (13,0) c ============================[ Search Statistics ]==============================
25.72/14.36 c (13,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
25.72/14.36 c (13,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
25.72/14.36 c (13,0) c ===============================================================================
25.72/14.36 c (13,0) c ===============================================================================
25.72/14.36 c (13,0) c restarts : 83
25.72/14.36 c (13,0) c conflicts : 21944 (6600 /sec)
25.72/14.36 c (13,0) c decisions : 71592 (0.00 % random) (21534 /sec)
25.72/14.36 c (13,0) c propagations : 11989976 (3606396 /sec)
25.72/14.36 c (13,0) c conflict literals : 1609214 (34.30 % deleted)
25.72/14.36 c (13,0) c CPU time : 3.32464 s
25.72/14.36 c (13,0)
25.72/14.36 c (13,0) s SATISFIABLE
25.72/14.38 c (13,10) SatSolver.solve End
25.72/14.38 c (13,10) Heap : 1790 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
25.72/14.38 c (13,10) Show results Begin
25.72/14.40 c (13,10) bot[0] = 0
25.72/14.40 c (13,10) bot[1] = 0
25.72/14.40 c (13,10) bot[2] = 0
25.72/14.40 c (13,10) bot[3] = 0
25.72/14.40 c (13,10) bot[4] = 0
25.72/14.40 c (13,10) id[0][0] = 3
25.72/14.40 c (13,10) id[0][1] = 18
25.72/14.40 c (13,10) id[0][2] = 23
25.72/14.40 c (13,10) id[0][3] = 14
25.72/14.40 c (13,10) id[0][4] = 0
25.72/14.40 c (13,10) id[1][0] = 22
25.72/14.40 c (13,10) id[1][1] = 32
25.72/14.40 c (13,10) id[1][2] = 30
25.72/14.40 c (13,10) id[1][3] = 28
25.72/14.40 c (13,10) id[1][4] = 4
25.72/14.40 c (13,10) id[2][0] = 8
25.72/14.40 c (13,10) id[2][1] = 49
25.72/14.40 c (13,10) id[2][2] = 48
25.72/14.40 c (13,10) id[2][3] = 40
25.72/14.40 c (13,10) id[2][4] = 9
25.72/14.40 c (13,10) id[3][0] = 5
25.72/14.40 c (13,10) id[3][1] = 43
25.72/14.40 c (13,10) id[3][2] = 26
25.72/14.40 c (13,10) id[3][3] = 39
25.72/14.40 c (13,10) id[3][4] = 24
25.72/14.40 c (13,10) id[4][0] = 17
25.72/14.40 c (13,10) id[4][1] = 33
25.72/14.40 c (13,10) id[4][2] = 27
25.72/14.40 c (13,10) id[4][3] = 45
25.72/14.40 c (13,10) id[4][4] = 11
25.72/14.40 c (13,10) id[5][0] = 13
25.72/14.40 c (13,10) id[5][1] = 31
25.72/14.40 c (13,10) id[5][2] = 36
25.72/14.40 c (13,10) id[5][3] = 37
25.72/14.40 c (13,10) id[5][4] = 7
25.72/14.40 c (13,10) id[6][0] = 21
25.72/14.40 c (13,10) id[6][1] = 46
25.72/14.40 c (13,10) id[6][2] = 47
25.72/14.40 c (13,10) id[6][3] = 29
25.72/14.40 c (13,10) id[6][4] = 15
25.72/14.40 c (13,10) id[7][0] = 12
25.72/14.40 c (13,10) id[7][1] = 34
25.72/14.40 c (13,10) id[7][2] = 44
25.72/14.40 c (13,10) id[7][3] = 38
25.72/14.40 c (13,10) id[7][4] = 10
25.72/14.40 c (13,10) id[8][0] = 16
25.72/14.40 c (13,10) id[8][1] = 42
25.72/14.40 c (13,10) id[8][2] = 41
25.72/14.40 c (13,10) id[8][3] = 35
25.72/14.40 c (13,10) id[8][4] = 19
25.72/14.40 c (13,10) id[9][0] = 1
25.72/14.40 c (13,10) id[9][1] = 6
25.72/14.40 c (13,10) id[9][2] = 20
25.72/14.40 c (13,10) id[9][3] = 25
25.72/14.40 c (13,10) id[9][4] = 2
25.72/14.40 c (13,10) left[0][0] = 0
25.72/14.40 c (13,10) left[0][1] = 3
25.72/14.40 c (13,10) left[0][2] = 2
25.72/14.40 c (13,10) left[0][3] = 3
25.72/14.40 c (13,10) left[0][4] = 2
25.72/14.40 c (13,10) left[1][0] = 0
25.72/14.40 c (13,10) left[1][1] = 7
25.72/14.40 c (13,10) left[1][2] = 4
25.72/14.40 c (13,10) left[1][3] = 5
25.72/14.40 c (13,10) left[1][4] = 5
25.72/14.40 c (13,10) left[2][0] = 0
25.72/14.40 c (13,10) left[2][1] = 8
25.72/14.40 c (13,10) left[2][2] = 8
25.72/14.40 c (13,10) left[2][3] = 6
25.72/14.40 c (13,10) left[2][4] = 9
25.72/14.40 c (13,10) left[3][0] = 0
25.72/14.40 c (13,10) left[3][1] = 5
25.72/14.40 c (13,10) left[3][2] = 5
25.72/14.40 c (13,10) left[3][3] = 4
25.72/14.40 c (13,10) left[3][4] = 8
25.72/14.40 c (13,10) left[4][0] = 0
25.72/14.40 c (13,10) left[4][1] = 9
25.72/14.40 c (13,10) left[4][2] = 4
25.72/14.40 c (13,10) left[4][3] = 5
25.72/14.40 c (13,10) left[4][4] = 9
25.72/14.40 c (13,10) left[5][0] = 0
25.72/14.40 c (13,10) left[5][1] = 4
25.72/14.40 c (13,10) left[5][2] = 6
25.72/14.40 c (13,10) left[5][3] = 4
25.72/14.40 c (13,10) left[5][4] = 7
25.72/14.40 c (13,10) left[6][0] = 0
25.72/14.40 c (13,10) left[6][1] = 6
25.72/14.40 c (13,10) left[6][2] = 7
25.72/14.40 c (13,10) left[6][3] = 6
25.72/14.40 c (13,10) left[6][4] = 6
25.72/14.40 c (13,10) left[7][0] = 0
25.72/14.40 c (13,10) left[7][1] = 4
25.72/14.40 c (13,10) left[7][2] = 5
25.72/14.40 c (13,10) left[7][3] = 9
25.72/14.40 c (13,10) left[7][4] = 9
25.72/14.40 c (13,10) left[8][0] = 0
25.72/14.40 c (13,10) left[8][1] = 7
25.72/14.40 c (13,10) left[8][2] = 5
25.72/14.40 c (13,10) left[8][3] = 6
25.72/14.40 c (13,10) left[8][4] = 4
25.72/14.40 c (13,10) left[9][0] = 0
25.72/14.40 c (13,10) left[9][1] = 1
25.72/14.40 c (13,10) left[9][2] = 3
25.72/14.40 c (13,10) left[9][3] = 3
25.72/14.40 c (13,10) left[9][4] = 2
25.72/14.40 c (13,10) right[0] = 0
25.72/14.40 c (13,10) right[1] = 0
25.72/14.40 c (13,10) right[2] = 0
25.72/14.40 c (13,10) right[3] = 0
25.72/14.40 c (13,10) right[4] = 0
25.72/14.40 c (13,10) right[5] = 0
25.72/14.40 c (13,10) right[6] = 0
25.72/14.40 c (13,10) right[7] = 0
25.72/14.40 c (13,10) right[8] = 0
25.72/14.40 c (13,10) right[9] = 0
25.72/14.40 c (13,10) top[0][0] = 0
25.72/14.40 c (13,10) top[0][1] = 0
25.72/14.40 c (13,10) top[0][2] = 0
25.72/14.40 c (13,10) top[0][3] = 0
25.72/14.40 c (13,10) top[0][4] = 0
25.72/14.40 c (13,10) top[1][0] = 3
25.72/14.40 c (13,10) top[1][1] = 9
25.72/14.40 c (13,10) top[1][2] = 7
25.72/14.40 c (13,10) top[1][3] = 5
25.72/14.40 c (13,10) top[1][4] = 1
25.72/14.40 c (13,10) top[2][0] = 1
25.72/14.40 c (13,10) top[2][1] = 7
25.72/14.40 c (13,10) top[2][2] = 9
25.72/14.40 c (13,10) top[2][3] = 4
25.72/14.40 c (13,10) top[2][4] = 1
25.72/14.40 c (13,10) top[3][0] = 1
25.72/14.40 c (13,10) top[3][1] = 8
25.72/14.40 c (13,10) top[3][2] = 7
25.72/14.40 c (13,10) top[3][3] = 9
25.72/14.40 c (13,10) top[3][4] = 1
25.72/14.40 c (13,10) top[4][0] = 2
25.72/14.40 c (13,10) top[4][1] = 7
25.72/14.40 c (13,10) top[4][2] = 4
25.72/14.40 c (13,10) top[4][3] = 9
25.72/14.40 c (13,10) top[4][4] = 3
25.72/14.40 c (13,10) top[5][0] = 2
25.72/14.40 c (13,10) top[5][1] = 7
25.72/14.40 c (13,10) top[5][2] = 8
25.72/14.40 c (13,10) top[5][3] = 8
25.72/14.40 c (13,10) top[5][4] = 1
25.72/14.40 c (13,10) top[6][0] = 3
25.72/14.40 c (13,10) top[6][1] = 6
25.72/14.40 c (13,10) top[6][2] = 8
25.72/14.40 c (13,10) top[6][3] = 6
25.72/14.40 c (13,10) top[6][4] = 1
25.72/14.40 c (13,10) top[7][0] = 2
25.72/14.40 c (13,10) top[7][1] = 8
25.72/14.40 c (13,10) top[7][2] = 7
25.72/14.40 c (13,10) top[7][3] = 4
25.72/14.40 c (13,10) top[7][4] = 2
25.72/14.40 c (13,10) top[8][0] = 2
25.72/14.40 c (13,10) top[8][1] = 8
25.72/14.40 c (13,10) top[8][2] = 6
25.72/14.40 c (13,10) top[8][3] = 6
25.72/14.40 c (13,10) top[8][4] = 1
25.72/14.40 c (13,10) top[9][0] = 2
25.72/14.40 c (13,10) top[9][1] = 5
25.72/14.40 c (13,10) top[9][2] = 5
25.72/14.40 c (13,10) top[9][3] = 8
25.72/14.40 c (13,10) top[9][4] = 3
25.72/14.40 s SATISFIABLE
25.72/14.40 v <instantiation>
25.72/14.40 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.72/14.40 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.72/14.40 v </instantiation>
25.72/14.40 c (13,10) Show results End
25.72/14.40 c (13,10) Heap : 1790 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.72/14.40 c (13,10) 0,0,7,9,9,9,10,13,13,STOP-AFTER(ALL)
25.72/14.40 c END-Prog: Thu Jul 26 11:38:19 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 (9131 MiB free)
memory of node 1: 16384 MiB (7858 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296091-1532597884/watcher-4296091-1532597884 -o /tmp/evaluation-result-4296091-1532597884/solver-4296091-1532597884 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532597865-4306 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296091-1532597884.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4600, runsolver pid=4597
Current StackSize limit: 8192 KiB
[startup+0.100172 s]*
/proc/loadavg: 1.63 1.18 1.37 5/219 4615
/proc/meminfo: memFree=17336160/32770624 swapFree=67108860/67108860
[pid=4600] ppid=4597 vsize=15011656 memory=74232 CPUtime=0.11 cores=0,2,4,6
/proc/4600/stat : 4600 (java) S 4597 4600 4275 0 -1 1077944320 7234 0 0 0 9 2 0 0 20 0 15 0 77351634 15371935744 18558 33554432000 4194304 4196468 140730755657232 140730755639776 140038465867511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
/proc/4600/statm: 3752914 18558 2782 1 0 3715374 0
[pid=4600/tid=4602] ppid=4597 vsize=15011656 memory=-8825472478611338432 CPUtime=0.09 cores=0,2,4,6
/proc/4600/task/4602/stat : 4602 (java) R 4597 4600 4275 0 -1 4202560 5597 0 0 0 7 2 0 0 20 0 15 0 77351634 15371935744 18822 33554432000 4194304 4196468 140730755657232 140038437693840 140038446143218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4603] ppid=4597 vsize=15011656 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4603/stat : 4603 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 18822 33554432000 4194304 4196468 140730755657232 140038470110352 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4604] ppid=4597 vsize=15011656 memory=140282034996864 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4604/stat : 4604 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 18822 33554432000 4194304 4196468 140730755657232 140038284266512 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4605] ppid=4597 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4605/stat : 4605 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 18822 33554432000 4194304 4196468 140730755657232 140038283213712 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4606] ppid=4597 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4606/stat : 4606 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 18822 33554432000 4194304 4196468 140730755657232 140038282160912 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4607] ppid=4597 vsize=15011656 memory=140282034996864 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4607/stat : 4607 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351637 15371935744 18822 33554432000 4194304 4196468 140730755657232 140037806070128 140038465878658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4608] ppid=4597 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4608/stat : 4608 (java) S 4597 4600 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77351638 15371935744 18888 33554432000 4194304 4196468 140730755657232 140037073134624 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4609] ppid=4597 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4609/stat : 4609 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351638 15371935744 18888 33554432000 4194304 4196468 140730755657232 140036804698992 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4610] ppid=4597 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4610/stat : 4610 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 18888 33554432000 4194304 4196468 140730755657232 140036430190416 140038465886107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4611] ppid=4597 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4611/stat : 4611 (java) S 4597 4600 4275 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 18888 33554432000 4194304 4196468 140730755657232 140037805017968 140038465878658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4612] ppid=4597 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4612/stat : 4612 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 18888 33554432000 4194304 4196468 140730755657232 140037803965168 140038465878658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4613] ppid=4597 vsize=15011656 memory=140282034996864 CPUtime=0.01 cores=0,2,4,6
/proc/4600/task/4613/stat : 4613 (java) S 4597 4600 4275 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 77351641 15371935744 18888 33554432000 4194304 4196468 140730755657232 140037802912368 140038465878658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4614] ppid=4597 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4614/stat : 4614 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 18888 33554432000 4194304 4196468 140730755657232 140035932285664 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4615] ppid=4597 vsize=15011656 memory=140282034996864 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4615/stat : 4615 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 18888 33554432000 4194304 4196468 140730755657232 140037801859760 140038465878658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74232 KiB
[startup+0.210823 s]*
/proc/loadavg: 1.63 1.18 1.37 5/219 4615
/proc/meminfo: memFree=17317744/32770624 swapFree=67108860/67108860
[pid=4600] ppid=4597 vsize=15011656 memory=86264 CPUtime=0.26 cores=0,2,4,6
/proc/4600/stat : 4600 (java) S 4597 4600 4275 0 -1 1077944320 10500 0 0 0 23 3 0 0 20 0 15 0 77351634 15371935744 21566 33554432000 4194304 4196468 140730755657232 140730755639776 140038465867511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
/proc/4600/statm: 3752914 21566 2895 1 0 3715374 0
[pid=4600/tid=4602] ppid=4597 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4600/task/4602/stat : 4602 (java) R 4597 4600 4275 0 -1 4202560 8406 0 0 0 18 2 0 0 20 0 15 0 77351634 15371935744 21566 33554432000 4194304 4196468 140730755657232 140038437692880 140038449911141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4603] ppid=4597 vsize=15011656 memory=364 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4603/stat : 4603 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 21566 33554432000 4194304 4196468 140730755657232 140038470110352 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4604] ppid=4597 vsize=15011656 memory=288370658186708608 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4604/stat : 4604 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 21566 33554432000 4194304 4196468 140730755657232 140038284266512 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4605] ppid=4597 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4605/stat : 4605 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 21566 33554432000 4194304 4196468 140730755657232 140038283213712 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4606] ppid=4597 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4606/stat : 4606 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 21566 33554432000 4194304 4196468 140730755657232 140038282160912 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4607] ppid=4597 vsize=15011656 memory=140282034996864 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4607/stat : 4607 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351637 15371935744 21566 33554432000 4194304 4196468 140730755657232 140037806070128 140038465878658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4608] ppid=4597 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4608/stat : 4608 (java) S 4597 4600 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77351638 15371935744 21566 33554432000 4194304 4196468 140730755657232 140037073134624 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4609] ppid=4597 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4609/stat : 4609 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351638 15371935744 21566 33554432000 4194304 4196468 140730755657232 140036804698992 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4610] ppid=4597 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4610/stat : 4610 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 21566 33554432000 4194304 4196468 140730755657232 140036430190416 140038465886107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4611] ppid=4597 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4600/task/4611/stat : 4611 (java) R 4597 4600 4275 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 15 0 77351641 15371935744 21566 33554432000 4194304 4196468 140730755657232 140037805017968 140038465878658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4612] ppid=4597 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4600/task/4612/stat : 4612 (java) R 4597 4600 4275 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 15 0 77351641 15371935744 21566 33554432000 4194304 4196468 140730755657232 140037803965168 140038449079741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4613] ppid=4597 vsize=15011656 memory=140282034996864 CPUtime=0.03 cores=0,2,4,6
/proc/4600/task/4613/stat : 4613 (java) R 4597 4600 4275 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 15 0 77351641 15371935744 21566 33554432000 4194304 4196468 140730755657232 140037802912368 140038444828786 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4614] ppid=4597 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4614/stat : 4614 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 21566 33554432000 4194304 4196468 140730755657232 140035932285664 140038465877717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4615] ppid=4597 vsize=15011656 memory=140282034996864 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4615/stat : 4615 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 21566 33554432000 4194304 4196468 140730755657232 140037801859760 140038465878658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86264 KiB
[startup+0.449165 s]*
/proc/loadavg: 1.63 1.18 1.37 6/219 4615
/proc/meminfo: memFree=17296680/32770624 swapFree=67108860/67108860
[pid=4600] ppid=4597 vsize=15011656 memory=111016 CPUtime=0.59 cores=0,2,4,6
/proc/4600/stat : 4600 (java) S 4597 4600 4275 0 -1 1077944320 15862 0 0 0 55 4 0 0 20 0 15 0 77351634 15371935744 27754 33554432000 4194304 4196468 140730755657232 140730755639776 140038465867511 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
/proc/4600/statm: 3752914 27754 3003 1 0 3715374 0
[pid=4600/tid=4602] ppid=4597 vsize=15011656 memory=7022364594140610616 CPUtime=0.44 cores=0,2,4,6
/proc/4600/task/4602/stat : 4602 (java) R 4597 4600 4275 0 -1 4202560 13595 0 0 0 40 4 0 0 20 0 15 0 77351634 15371935744 27768 33554432000 4194304 4196468 140730755657232 140038437664944 140038449947998 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4603] ppid=4597 vsize=15011656 memory=4294980952 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4603/stat : 4603 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 27768 33554432000 4194304 4196468 140730755657232 140038470110352 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4604] ppid=4597 vsize=15011656 memory=288370658186708608 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4604/stat : 4604 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 27768 33554432000 4194304 4196468 140730755657232 140038284266512 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4605] ppid=4597 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4605/stat : 4605 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 27768 33554432000 4194304 4196468 140730755657232 140038283213712 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4606] ppid=4597 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4606/stat : 4606 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351636 15371935744 27768 33554432000 4194304 4196468 140730755657232 140038282160912 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4607] ppid=4597 vsize=15011656 memory=140282034996864 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4607/stat : 4607 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351637 15371935744 27768 33554432000 4194304 4196468 140730755657232 140037806070128 140038465878658 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4608] ppid=4597 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4608/stat : 4608 (java) S 4597 4600 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77351638 15371935744 27768 33554432000 4194304 4196468 140730755657232 140037073134624 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4609] ppid=4597 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4609/stat : 4609 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351638 15371935744 27768 33554432000 4194304 4196468 140730755657232 140036804698992 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4610] ppid=4597 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4610/stat : 4610 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 27768 33554432000 4194304 4196468 140730755657232 140036430190416 140038465886107 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4611] ppid=4597 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4600/task/4611/stat : 4611 (java) S 4597 4600 4275 0 -1 1077944384 521 0 0 0 3 0 0 0 20 0 15 0 77351641 15371935744 27768 33554432000 4194304 4196468 140730755657232 140037805017968 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4612] ppid=4597 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4600/task/4612/stat : 4612 (java) S 4597 4600 4275 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 15 0 77351641 15371935744 27768 33554432000 4194304 4196468 140730755657232 140037803965168 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4613] ppid=4597 vsize=15011656 memory=140282034996864 CPUtime=0.09 cores=0,2,4,6
/proc/4600/task/4613/stat : 4613 (java) S 4597 4600 4275 0 -1 1077944384 317 0 0 0 9 0 0 0 20 0 15 0 77351641 15371935744 27768 33554432000 4194304 4196468 140730755657232 140037802912368 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4614] ppid=4597 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4614/stat : 4614 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 27768 33554432000 4194304 4196468 140730755657232 140035932285664 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4615] ppid=4597 vsize=15011656 memory=140282034996864 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4615/stat : 4615 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351641 15371935744 27768 33554432000 4194304 4196468 140730755657232 140037801859760 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 111016 KiB
[startup+0.710609 s]
/proc/loadavg: 1.63 1.18 1.37 7/219 4615
/proc/meminfo: memFree=17284584/32770624 swapFree=67108860/67108860
[pid=4600] ppid=4597 vsize=15020052 memory=130256 CPUtime=1.04 cores=0,2,4,6
/proc/4600/stat : 4600 (java) S 4597 4600 4275 0 -1 1077944320 18248 0 0 0 99 5 0 0 20 0 15 0 77351634 15380533248 32564 33554432000 4194304 4196468 140730755657232 140730755639776 140038465867511 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
/proc/4600/statm: 3755013 32564 3177 1 0 3716398 0
[pid=4600/tid=4602] ppid=4597 vsize=15020052 memory=288230583233164649 CPUtime=0.69 cores=0,2,4,6
/proc/4600/task/4602/stat : 4602 (java) R 4597 4600 4275 0 -1 4202560 15529 0 0 0 64 5 0 0 20 0 15 0 77351634 15380533248 32564 33554432000 4194304 4196468 140730755657232 140038437700896 140038465889437 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4603] ppid=4597 vsize=15020052 memory=15535215410332047 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4603/stat : 4603 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351636 15380533248 32564 33554432000 4194304 4196468 140730755657232 140038470110352 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4604] ppid=4597 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4604/stat : 4604 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351636 15380533248 32564 33554432000 4194304 4196468 140730755657232 140038284266512 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4605] ppid=4597 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4605/stat : 4605 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351636 15380533248 32564 33554432000 4194304 4196468 140730755657232 140038283213712 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4606] ppid=4597 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4606/stat : 4606 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351636 15380533248 32564 33554432000 4194304 4196468 140730755657232 140038282160912 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4607] ppid=4597 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4607/stat : 4607 (java) S 4597 4600 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77351637 15380533248 32564 33554432000 4194304 4196468 140730755657232 140037806070128 140038465878658 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4608] ppid=4597 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4608/stat : 4608 (java) S 4597 4600 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77351638 15380533248 32564 33554432000 4194304 4196468 140730755657232 140037073134624 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4609] ppid=4597 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4609/stat : 4609 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351638 15380533248 32564 33554432000 4194304 4196468 140730755657232 140036804698992 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4610] ppid=4597 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4610/stat : 4610 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77351641 15380533248 32564 33554432000 4194304 4196468 140730755657232 140036430190416 140038465886107 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4611] ppid=4597 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4600/task/4611/stat : 4611 (java) R 4597 4600 4275 0 -1 1077944384 595 0 0 0 7 0 0 0 20 0 15 0 77351641 15380533248 32564 33554432000 4194304 4196468 140730755657232 140037805017968 140038465878658 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4612] ppid=4597 vsize=15020052 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4600/task/4612/stat : 4612 (java) R 4597 4600 4275 0 -1 4202560 330 0 0 0 10 0 0 0 20 0 15 0 77351641 15380533248 32564 33554432000 4194304 4196468 140730755657232 140037803965168 140038447388902 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4613] ppid=4597 vsize=15020052 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/4600/task/4613/stat : 4613 (java) R 4597 4600 4275 0 -1 4202560 453 0 0 0 17 0 0 0 20 0 15 0 77351641 15380533248 32564 33554432000 4194304 4196468 140730755657232 140037802912368 140038465888858 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4614] ppid=4597 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4614/stat : 4614 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77351641 15380533248 32564 33554432000 4194304 4196468 140730755657232 140035932285664 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4615] ppid=4597 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4615/stat : 4615 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351641 15380533248 32564 33554432000 4194304 4196468 140730755657232 140037801859760 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130256 KiB
[startup+1.50621 s]
/proc/loadavg: 1.63 1.18 1.37 4/219 4615
/proc/meminfo: memFree=17051792/32770624 swapFree=67108860/67108860
[pid=4600] ppid=4597 vsize=15024148 memory=195244 CPUtime=3.47 cores=0,2,4,6
/proc/4600/stat : 4600 (java) S 4597 4600 4275 0 -1 1077944320 23567 0 0 0 340 7 0 0 20 0 15 0 77351634 15384727552 48811 33554432000 4194304 4196468 140730755657232 140730755639776 140038465867511 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
/proc/4600/statm: 3756037 48811 3205 1 0 3717422 0
[pid=4600/tid=4602] ppid=4597 vsize=15024148 memory=-2247047206207641111 CPUtime=1.46 cores=0,2,4,6
/proc/4600/task/4602/stat : 4602 (java) R 4597 4600 4275 0 -1 4202560 16650 0 0 0 141 5 0 0 20 0 15 0 77351634 15384727552 48811 33554432000 4194304 4196468 140730755657232 140038437698400 140037970066377 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4603] ppid=4597 vsize=15024148 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4603/stat : 4603 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351636 15384727552 48811 33554432000 4194304 4196468 140730755657232 140038470110352 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4604] ppid=4597 vsize=15024148 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4604/stat : 4604 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351636 15384727552 48811 33554432000 4194304 4196468 140730755657232 140038284266512 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4605] ppid=4597 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4605/stat : 4605 (java) S 4597 4600 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77351636 15384727552 48811 33554432000 4194304 4196468 140730755657232 140038283213712 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4606] ppid=4597 vsize=15024148 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4606/stat : 4606 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77351636 15384727552 48811 33554432000 4194304 4196468 140730755657232 140038282160912 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4607] ppid=4597 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4607/stat : 4607 (java) S 4597 4600 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77351637 15384727552 48811 33554432000 4194304 4196468 140730755657232 140037806070128 140038465878658 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
################
# More data... #
################
[pid=4600/tid=4610] ppid=4597 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4610/stat : 4610 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140036430190416 140038465886107 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4611] ppid=4597 vsize=15683912 memory=140281886781280 CPUtime=4.78 cores=0,2,4,6
/proc/4600/task/4611/stat : 4611 (java) S 4597 4600 4275 0 -1 1077944384 4091 0 0 0 477 1 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037805017968 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4612] ppid=4597 vsize=15683912 memory=3472464180067951120 CPUtime=4.84 cores=0,2,4,6
/proc/4600/task/4612/stat : 4612 (java) S 4597 4600 4275 0 -1 1077944384 6400 0 0 0 483 1 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037803965168 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4613] ppid=4597 vsize=15683912 memory=6944656592455097440 CPUtime=1.34 cores=0,2,4,6
/proc/4600/task/4613/stat : 4613 (java) S 4597 4600 4275 0 -1 1077944384 5428 0 0 0 133 1 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037802912368 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4614] ppid=4597 vsize=15683912 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4614/stat : 4614 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035932285664 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4615] ppid=4597 vsize=15683912 memory=-8321906040205309120 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4615/stat : 4615 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037801859760 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4699] ppid=4597 vsize=15683912 memory=-6528659786915370398 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4699/stat : 4699 (java) S 4597 4600 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77352737 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037878727872 140038465892121 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4701] ppid=4597 vsize=15683912 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4701/stat : 4701 (java) S 4597 4600 4275 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 77352737 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035395398832 140038465889437 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4702] ppid=4597 vsize=15683912 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4702/stat : 4702 (java) S 4597 4600 4275 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 77352737 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035529621552 140038465889437 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4703] ppid=4597 vsize=15683912 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4703/stat : 4703 (java) S 4597 4600 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 77352739 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035126976160 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
Current children cumulated CPU time: 25.12 s
Current children cumulated vsize: 15726736 KiB
Current children cumulated memory: 3151544 KiB
[startup+14.1009 s]*
/proc/loadavg: 2.07 1.30 1.41 3/224 4703
/proc/meminfo: memFree=14843616/32770624 swapFree=67108860/67108860
[pid=4600] ppid=4597 vsize=15683912 memory=3127088 CPUtime=22.45 cores=0,2,4,6
/proc/4600/stat : 4600 (java) S 4597 4600 4275 0 -1 1077944320 37040 0 0 0 2179 66 0 0 20 0 19 0 77351634 16060325888 781772 33554432000 4194304 4196468 140730755657232 140730755639776 140038465867511 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
/proc/4600/statm: 3920978 781772 3236 1 0 3881834 0
[pid=4698] ppid=4600 vsize=47244 memory=25300 CPUtime=3.08 cores=0,2,4,6
/proc/4698/stat : 4698 (minisat_release) R 4600 4600 4275 0 -1 4202496 8328 0 0 0 307 1 0 0 20 0 1 0 77352736 48377856 6325 33554432000 4194304 4308513 140724573386992 140724573383992 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 19226624 140724573389489 140724573389998 140724573389998 140724573392837 0
/proc/4698/statm: 11811 6325 353 28 0 8051 0
[pid=4600/tid=4602] ppid=4597 vsize=15683912 memory=3054156605267020675 CPUtime=10.87 cores=0,2,4,6
/proc/4600/task/4602/stat : 4602 (java) S 4597 4600 4275 0 -1 1077944384 19424 0 0 0 1039 48 0 0 20 0 19 0 77351634 16060325888 781772 33554432000 4194304 4196468 140730755657232 140038437706752 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4603] ppid=4597 vsize=15683912 memory=7948963741541478447 CPUtime=0.13 cores=0,2,4,6
/proc/4600/task/4603/stat : 4603 (java) S 4597 4600 4275 0 -1 1077944384 77 0 0 0 10 3 0 0 20 0 19 0 77351636 16060325888 781772 33554432000 4194304 4196468 140730755657232 140038470110352 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4604] ppid=4597 vsize=15683912 memory=7666928009913919575 CPUtime=0.14 cores=0,2,4,6
/proc/4600/task/4604/stat : 4604 (java) S 4597 4600 4275 0 -1 1077944384 52 0 0 0 11 3 0 0 20 0 19 0 77351636 16060325888 781772 33554432000 4194304 4196468 140730755657232 140038284266512 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4605] ppid=4597 vsize=15683912 memory=3833182515006289456 CPUtime=0.14 cores=0,2,4,6
/proc/4600/task/4605/stat : 4605 (java) S 4597 4600 4275 0 -1 1077944384 80 0 0 0 11 3 0 0 20 0 19 0 77351636 16060325888 781772 33554432000 4194304 4196468 140730755657232 140038283213712 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4606] ppid=4597 vsize=15683912 memory=3540024784615406518 CPUtime=0.14 cores=0,2,4,6
/proc/4600/task/4606/stat : 4606 (java) S 4597 4600 4275 0 -1 1077944384 61 0 0 0 11 3 0 0 20 0 19 0 77351636 16060325888 781772 33554432000 4194304 4196468 140730755657232 140038282160912 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4607] ppid=4597 vsize=15683912 memory=3472332698300855089 CPUtime=0.01 cores=0,2,4,6
/proc/4600/task/4607/stat : 4607 (java) S 4597 4600 4275 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 19 0 77351637 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037806070128 140038465878658 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4608] ppid=4597 vsize=15683912 memory=6371283290110586217 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4608/stat : 4608 (java) S 4597 4600 4275 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 77351638 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037073134688 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4609] ppid=4597 vsize=15683912 memory=6299802978650451056 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4609/stat : 4609 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77351638 16060325888 781772 33554432000 4194304 4196468 140730755657232 140036804698992 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4610] ppid=4597 vsize=15683912 memory=280563773865728 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4610/stat : 4610 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140036430190416 140038465886107 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4611] ppid=4597 vsize=15683912 memory=0 CPUtime=4.78 cores=0,2,4,6
/proc/4600/task/4611/stat : 4611 (java) S 4597 4600 4275 0 -1 1077944384 4091 0 0 0 477 1 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037805017968 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4612] ppid=4597 vsize=15683912 memory=0 CPUtime=4.84 cores=0,2,4,6
/proc/4600/task/4612/stat : 4612 (java) S 4597 4600 4275 0 -1 1077944384 6400 0 0 0 483 1 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037803965168 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4613] ppid=4597 vsize=15683912 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/4600/task/4613/stat : 4613 (java) S 4597 4600 4275 0 -1 1077944384 5428 0 0 0 133 1 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037802912368 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4614] ppid=4597 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4614/stat : 4614 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035932285664 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4615] ppid=4597 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4615/stat : 4615 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037801859760 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4699] ppid=4597 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4699/stat : 4699 (java) S 4597 4600 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77352737 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037878727872 140038465892121 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4701] ppid=4597 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4701/stat : 4701 (java) S 4597 4600 4275 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 77352737 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035395398832 140038465889437 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4702] ppid=4597 vsize=15683912 memory=-3621219749712857441 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4702/stat : 4702 (java) S 4597 4600 4275 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 77352737 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035529621552 140038465889437 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4703] ppid=4597 vsize=15683912 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4703/stat : 4703 (java) S 4597 4600 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 77352739 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035126976160 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 15731156 KiB
Current children cumulated memory: 3152388 KiB
[startup+14.3009 s]
/proc/loadavg: 2.07 1.30 1.41 3/224 4703
/proc/meminfo: memFree=14843616/32770624 swapFree=67108860/67108860
[pid=4600] ppid=4597 vsize=15683912 memory=3127088 CPUtime=22.45 cores=0,2,4,6
/proc/4600/stat : 4600 (java) S 4597 4600 4275 0 -1 1077944320 37040 0 0 0 2179 66 0 0 20 0 19 0 77351634 16060325888 781772 33554432000 4194304 4196468 140730755657232 140730755639776 140038465867511 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
/proc/4600/statm: 3920978 781772 3236 1 0 3881834 0
[pid=4698] ppid=4600 vsize=47244 memory=27596 CPUtime=3.27 cores=0,2,4,6
/proc/4698/stat : 4698 (minisat_release) R 4600 4600 4275 0 -1 4202496 8388 0 0 0 326 1 0 0 20 0 1 0 77352736 48377856 6899 33554432000 4194304 4308513 140724573386992 140724573383992 4275992 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 19226624 140724573389489 140724573389998 140724573389998 140724573392837 0
/proc/4698/statm: 11811 6899 353 28 0 8051 0
[pid=4600/tid=4602] ppid=4597 vsize=15683912 memory=15257064687536258 CPUtime=10.87 cores=0,2,4,6
/proc/4600/task/4602/stat : 4602 (java) S 4597 4600 4275 0 -1 1077944384 19424 0 0 0 1039 48 0 0 20 0 19 0 77351634 16060325888 781772 33554432000 4194304 4196468 140730755657232 140038437706752 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4603] ppid=4597 vsize=15683912 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4600/task/4603/stat : 4603 (java) S 4597 4600 4275 0 -1 1077944384 77 0 0 0 10 3 0 0 20 0 19 0 77351636 16060325888 781772 33554432000 4194304 4196468 140730755657232 140038470110352 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4604] ppid=4597 vsize=15683912 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/4600/task/4604/stat : 4604 (java) S 4597 4600 4275 0 -1 1077944384 52 0 0 0 11 3 0 0 20 0 19 0 77351636 16060325888 781772 33554432000 4194304 4196468 140730755657232 140038284266512 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4605] ppid=4597 vsize=15683912 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/4600/task/4605/stat : 4605 (java) S 4597 4600 4275 0 -1 1077944384 80 0 0 0 11 3 0 0 20 0 19 0 77351636 16060325888 781772 33554432000 4194304 4196468 140730755657232 140038283213712 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4606] ppid=4597 vsize=15683912 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/4600/task/4606/stat : 4606 (java) S 4597 4600 4275 0 -1 1077944384 61 0 0 0 11 3 0 0 20 0 19 0 77351636 16060325888 781772 33554432000 4194304 4196468 140730755657232 140038282160912 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4607] ppid=4597 vsize=15683912 memory=280563772555504 CPUtime=0.01 cores=0,2,4,6
/proc/4600/task/4607/stat : 4607 (java) S 4597 4600 4275 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 19 0 77351637 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037806070128 140038465878658 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4608] ppid=4597 vsize=15683912 memory=7373916931418121834 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4608/stat : 4608 (java) S 4597 4600 4275 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 77351638 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037073134688 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4609] ppid=4597 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4609/stat : 4609 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77351638 16060325888 781772 33554432000 4194304 4196468 140730755657232 140036804698992 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4610] ppid=4597 vsize=15683912 memory=7014751519667409509 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4610/stat : 4610 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140036430190416 140038465886107 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4611] ppid=4597 vsize=15683912 memory=7738993313115040367 CPUtime=4.78 cores=0,2,4,6
/proc/4600/task/4611/stat : 4611 (java) S 4597 4600 4275 0 -1 1077944384 4091 0 0 0 477 1 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037805017968 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4612] ppid=4597 vsize=15683912 memory=7596559192738982759 CPUtime=4.84 cores=0,2,4,6
/proc/4600/task/4612/stat : 4612 (java) S 4597 4600 4275 0 -1 1077944384 6400 0 0 0 483 1 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037803965168 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4613] ppid=4597 vsize=15683912 memory=6010425776822829154 CPUtime=1.34 cores=0,2,4,6
/proc/4600/task/4613/stat : 4613 (java) S 4597 4600 4275 0 -1 1077944384 5428 0 0 0 133 1 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037802912368 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4614] ppid=4597 vsize=15683912 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4614/stat : 4614 (java) S 4597 4600 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035932285664 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4615] ppid=4597 vsize=15683912 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4615/stat : 4615 (java) S 4597 4600 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77351641 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037801859760 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4699] ppid=4597 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4699/stat : 4699 (java) S 4597 4600 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77352737 16060325888 781772 33554432000 4194304 4196468 140730755657232 140037878727872 140038465892121 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4701] ppid=4597 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4701/stat : 4701 (java) S 4597 4600 4275 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 77352737 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035395398832 140038465889437 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4702] ppid=4597 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4702/stat : 4702 (java) S 4597 4600 4275 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 77352737 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035529621552 140038465889437 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4703] ppid=4597 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4600/task/4703/stat : 4703 (java) S 4597 4600 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 77352739 16060325888 781772 33554432000 4194304 4196468 140730755657232 140035126976160 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
Current children cumulated CPU time: 25.72 s
Current children cumulated vsize: 15731156 KiB
Current children cumulated memory: 3154684 KiB
[startup+14.4042 s]
/proc/loadavg: 2.07 1.30 1.41 3/224 4703
/proc/meminfo: memFree=14843616/32770624 swapFree=67108860/67108860
[pid=4600] ppid=4597 vsize=15552836 memory=3127520 CPUtime=25.93 cores=0,2,4,6
/proc/4600/stat : 4600 (java) S 4597 4600 4275 0 -1 1077944320 37102 8463 0 0 2193 67 332 1 20 0 17 0 77351634 15926104064 781879 33554432000 4194304 4196468 140730755657232 140730755639776 140038465867511 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
/proc/4600/statm: 3855440 781879 3237 1 0 3816296 0
[pid=4600/tid=4602] ppid=4597 vsize=15420732 memory=2245 CPUtime=14.21 cores=0,2,4,6
/proc/4600/task/4602/stat : 4602 (java) S 4597 4600 4275 0 -1 1077944384 19449 8463 0 0 1040 48 332 1 20 0 16 0 77351634 15790829568 781884 33554432000 4194304 4196468 140730755657232 140038437710992 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4603] ppid=4597 vsize=15420732 memory=39608188412932 CPUtime=3.46 cores=0,2,4,6
/proc/4600/task/4603/stat : 4603 (java) S 4597 4600 4275 0 -1 1077944384 77 8463 0 0 10 3 332 1 20 0 15 0 77351636 15790829568 781884 33554432000 4194304 4196468 140730755657232 140038470110352 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4604] ppid=4597 vsize=15420732 memory=23136 CPUtime=3.47 cores=0,2,4,6
/proc/4600/task/4604/stat : 4604 (java) S 4597 4600 4275 0 -1 1077944384 52 8463 0 0 11 3 332 1 20 0 15 0 77351636 15790829568 781884 33554432000 4194304 4196468 140730755657232 140038284266512 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4605] ppid=4597 vsize=15420732 memory=2396 CPUtime=3.47 cores=0,2,4,6
/proc/4600/task/4605/stat : 4605 (java) S 4597 4600 4275 0 -1 1077944384 80 8463 0 0 11 3 332 1 20 0 15 0 77351636 15790829568 781884 33554432000 4194304 4196468 140730755657232 140038283213712 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4606] ppid=4597 vsize=15420732 memory=1292 CPUtime=3.47 cores=0,2,4,6
/proc/4600/task/4606/stat : 4606 (java) S 4597 4600 4275 0 -1 1077944384 61 8463 0 0 11 3 332 1 20 0 15 0 77351636 15790829568 781884 33554432000 4194304 4196468 140730755657232 140038282160912 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4607] ppid=4597 vsize=15420732 memory=0 CPUtime=3.34 cores=0,2,4,6
/proc/4600/task/4607/stat : 4607 (java) R 4597 4600 4275 0 -1 1077944384 22 8463 0 0 1 0 332 1 20 0 15 0 77351637 15790829568 781884 33554432000 4194304 4196468 140730755657232 140037806070128 140038465878658 0 0 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4608] ppid=4597 vsize=15420732 memory=6371283290110586217 CPUtime=3.33 cores=0,2,4,6
/proc/4600/task/4608/stat : 4608 (java) S 4597 4600 4275 0 -1 1077944384 15 8463 0 0 0 0 332 1 20 0 15 0 77351638 15790829568 781884 33554432000 4194304 4196468 140730755657232 140037073134688 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4609] ppid=4597 vsize=15420732 memory=2552336 CPUtime=3.33 cores=0,2,4,6
/proc/4600/task/4609/stat : 4609 (java) S 4597 4600 4275 0 -1 1077944384 2 8463 0 0 0 0 332 1 20 0 15 0 77351638 15790829568 781884 33554432000 4194304 4196468 140730755657232 140036804698992 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4611] ppid=4597 vsize=15420732 memory=0 CPUtime=8.14 cores=0,2,4,6
/proc/4600/task/4611/stat : 4611 (java) R 4597 4600 4275 0 -1 4202560 4094 8463 0 0 480 1 332 1 20 0 15 0 77351641 15790829568 781884 33554432000 4194304 4196468 140730755657232 140037805002928 140038447412475 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4612] ppid=4597 vsize=15420732 memory=-7313654673739556905 CPUtime=8.21 cores=0,2,4,6
/proc/4600/task/4612/stat : 4612 (java) R 4597 4600 4275 0 -1 4202560 6400 8463 0 0 487 1 332 1 20 0 15 0 77351641 15790829568 781884 33554432000 4194304 4196468 140730755657232 140037803953040 140038450260462 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4613] ppid=4597 vsize=15420732 memory=0 CPUtime=4.7 cores=0,2,4,6
/proc/4600/task/4613/stat : 4613 (java) R 4597 4600 4275 0 -1 4202560 5441 8463 0 0 136 1 332 1 20 0 15 0 77351641 15790829568 781884 33554432000 4194304 4196468 140730755657232 140037802905344 140038444736705 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4614] ppid=4597 vsize=15420732 memory=2241 CPUtime=3.33 cores=0,2,4,6
/proc/4600/task/4614/stat : 4614 (java) S 4597 4600 4275 0 -1 1077944384 3 8463 0 0 0 0 332 1 20 0 15 0 77351641 15790829568 781884 33554432000 4194304 4196468 140730755657232 140035932285664 140038465877717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4699] ppid=4597 vsize=15420732 memory=6944656592455359580 CPUtime=3.33 cores=0,2,4,6
/proc/4600/task/4699/stat : 4699 (java) S 4597 4600 4275 0 -1 1077944384 25 8463 0 0 0 0 332 1 20 0 15 0 77352737 15790829568 781884 33554432000 4194304 4196468 140730755657232 140037878727056 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
[pid=4600/tid=4703] ppid=4597 vsize=15420732 memory=2396 CPUtime=3.33 cores=0,2,4,6
/proc/4600/task/4703/stat : 4703 (java) S 4597 4600 4275 0 -1 1077944384 11 8463 0 0 0 0 332 1 20 0 15 0 77352739 15790829568 781884 33554432000 4194304 4196468 140730755657232 140035126977968 140038465878658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19238912 140730755662836 140730755663113 140730755663113 140730755665871 0
Current children cumulated CPU time: 25.93 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 3127520 KiB
Child status: 0
Real time (s): 14.4348
CPU time (s): 25.9871
CPU user time (s): 25.2814
CPU system time (s): 0.705682
CPU usage (%): 180.031
Max. virtual memory (cumulated for all children) (KiB): 15731156
Max. memory (cumulated for all children) (KiB): 3154684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.2814
system time used= 0.705682
maximum resident set size= 3128060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5300
involuntary context switches= 81
# summary of solver processes directly reported to runsolver:
# pid: 4600
# total CPU time (s): 25.9871
# total CPU user time (s): 25.2814
# total CPU system time (s): 0.705682
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.124892 second user time and 0.182095 second system time
The end