0.66/0.52
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 14:04:48 CEST 2018
0.66/0.54 c PID: 10514
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
1.60/0.94 c (0,0) Parsing End
1.98/1.03 c (0,0) CSP: 85 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 25
1.98/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.98/1.03 c (0,0) Constraint Name Generate Begin
1.98/1.03 c (0,0) Ctr:HOME/instance-4296164-1532606687.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
1.98/1.03 c (0,0) Constraint Name Generate End
1.98/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.98/1.03 c (0,0) CSP to CSPinCNF Begin
4.12/1.77 c (1,1) translated 5 (10%) constraints
5.36/2.15 c (1,1) translated 10 (20%) constraints
5.94/2.37 c (1,1) translated 14 (30%) constraints
6.83/2.63 c (2,2) translated 19 (40%) constraints
7.44/2.81 c (2,2) translated 23 (50%) constraints
7.72/2.99 c (2,2) translated 28 (60%) constraints
7.72/2.99 c (2,2) translated 33 (70%) constraints
7.72/2.99 c (2,2) translated 37 (80%) constraints
7.72/2.99 c (2,2) translated 42 (90%) constraints
7.72/2.99 c (2,2) translated 46 (100%) constraints
8.66/3.20 c (2,2) STATISTICS1:HOME/instance-4296164-1532606687.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,3785,22072,25,25,26,2,25:300,25:1850;8:21040;2:38475;1:5280,26:25;25:2;5:250;4:8075;3:5000;2:8700;1:20,2:300;1:66065;0:25,
8.66/3.20 c (2,2) ===========================================
8.66/3.20 c (2,2) Order
8.66/3.20 c (2,2) ===========================================
9.02/3.31 c (2,2) translated 2208 (10%) constraints
9.02/3.37 c (2,2) translated 4415 (20%) constraints
9.33/3.42 c (2,2) translated 6622 (30%) constraints
9.33/3.47 c (2,2) translated 8829 (40%) constraints
9.63/3.51 c (2,2) translated 11036 (50%) constraints
9.63/3.56 c (3,3) translated 13244 (60%) constraints
9.63/3.60 c (3,3) translated 15451 (70%) constraints
9.99/3.64 c (3,3) translated 17658 (80%) constraints
9.99/3.69 c (3,3) translated 19865 (90%) constraints
10.29/3.75 c (3,3) translated 22072 (100%) constraints
10.29/3.75 c (3,3) CSP to CSPinCNF End
10.29/3.75 c (3,3) CSP: 85 int (0 aux), 3700 bool (3700 aux), 22092 ctr, max domain size 25
10.29/3.75 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
10.29/3.75 c (3,3) CSPinCNF Propagation Begin
11.85/4.25 c (3,3) 1529 values, 8631 unsatisfiable literals, and 8676 valid clauses are removed
11.85/4.25 c (3,3) CSPinCNF Propagation End
11.85/4.25 c (3,3) CSP: 1422 int (1337 aux), 2363 bool (2363 aux), 13416 ctr, max domain size 25
11.85/4.25 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.85/4.25 c (3,3) Simplify CSPinCNF Begin
12.18/4.31 c (3,3) Simplify CSPinCNF End
12.18/4.32 c (3,3) CSP: 1422 int (1337 aux), 2963 bool (2963 aux), 14016 ctr, max domain size 25
12.18/4.32 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.18/4.32 c (3,3) Calculate Precise Domain Begin
12.18/4.32 c (3,3) 0 values are removed by re-calculation
12.18/4.32 c (3,3) Calculate Precise Domain End
12.18/4.32 c (3,3) CSP: 1422 int (1337 aux), 2963 bool (2963 aux), 14016 ctr, max domain size 25
12.18/4.32 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.18/4.32 c (3,3) CSPinCNF to SatSolver Begin
12.54/4.47 c (3,3) 1402 (10 %) CSP clauses are encoded (3651 SAT variables, 9512 SAT clauses)
12.54/4.49 c (3,3) 2804 (20 %) CSP clauses are encoded (3651 SAT variables, 10914 SAT clauses)
12.88/4.51 c (3,3) 4205 (30 %) CSP clauses are encoded (3651 SAT variables, 12315 SAT clauses)
12.88/4.53 c (4,3) 5607 (40 %) CSP clauses are encoded (3651 SAT variables, 13717 SAT clauses)
12.88/4.55 c (4,4) 7008 (50 %) CSP clauses are encoded (3651 SAT variables, 15118 SAT clauses)
12.88/4.57 c (4,4) 8410 (60 %) CSP clauses are encoded (3651 SAT variables, 16520 SAT clauses)
12.88/4.59 c (4,4) 9812 (70 %) CSP clauses are encoded (3651 SAT variables, 17922 SAT clauses)
13.18/4.61 c (4,4) 11213 (80 %) CSP clauses are encoded (3651 SAT variables, 19323 SAT clauses)
13.18/4.62 c (4,4) 12615 (90 %) CSP clauses are encoded (3651 SAT variables, 20725 SAT clauses)
13.18/4.64 c (4,4) 14016 (100 %) CSP clauses are encoded (3651 SAT variables, 22126 SAT clauses)
13.18/4.64 c (4,4) CSPinCNF to SatSolver End
13.18/4.64 c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.50/4.73 c (4,4) STATISTICS2:HOME/instance-4296164-1532606687.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,4385,14016,25,25,25,2,25:72;16:348;4:180,25:882;16:948;8:15194;4:220;2:23732,25:10;16:12;9:1;5:120;4:4274;3:3031;2:6568,2:600;1:39776,
13.50/4.73 c (4,4) SatSolver.solve Begin
13.50/4.73 c (4,4) 3651 bool, 22127 clause
13.50/4.73 c (4,4) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4296164-1532606687.xml-scop-10514.cnf HOME/instance-4296164-1532606687.xml-scop-10514.cnf.out
14.33/5.05 c (4,0) c This is COMiniSatPS.
14.33/5.05 c (4,0) c WARNING: for repeatability, setting FPU to use double precision
14.33/5.05 c (4,0) c ============================[ Problem Statistics ]=============================
14.33/5.05 c (4,0) c | |
14.33/5.05 c (4,0) c | Number of variables: 3651 |
14.33/5.05 c (4,0) c | Number of clauses: 22127 |
14.33/5.05 c (4,0) c | Parse time: 0.01 s |
14.33/5.05 c (4,0) c | Eliminated clauses: 0.05 Mb |
14.33/5.05 c (4,0) c Reduced to 2096 vars, 16955 cls (grow=0)
14.33/5.05 c (4,0) c No iterative elimination performed. (vars=2096, c/v ratio=8.1)
14.33/5.05 c (4,0) c | Simplification time: 0.02 s |
14.33/5.05 c (4,0) c | |
14.33/5.05 c (4,0) c ============================[ Search Statistics ]==============================
14.33/5.05 c (4,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
14.33/5.05 c (4,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
14.33/5.05 c (4,0) c ===============================================================================
14.33/5.05 c (4,0) c ===============================================================================
14.33/5.05 c (4,0) c restarts : 33
14.33/5.05 c (4,0) c conflicts : 4978 (16886 /sec)
14.33/5.05 c (4,0) c decisions : 12647 (0.00 % random) (42900 /sec)
14.33/5.05 c (4,0) c propagations : 1143925 (3880290 /sec)
14.33/5.05 c (4,0) c conflict literals : 167258 (25.66 % deleted)
14.33/5.05 c (4,0) c CPU time : 0.294804 s
14.33/5.05 c (4,0)
14.33/5.05 c (4,0) s SATISFIABLE
14.33/5.06 c (4,4) SatSolver.solve End
14.33/5.06 c (4,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.33/5.06 c (4,4) Show results Begin
14.33/5.07 c (4,4) bot[0] = 0
14.33/5.07 c (4,4) bot[1] = 0
14.33/5.07 c (4,4) bot[2] = 0
14.33/5.07 c (4,4) bot[3] = 0
14.33/5.07 c (4,4) bot[4] = 0
14.33/5.07 c (4,4) id[0][0] = 1
14.33/5.07 c (4,4) id[0][1] = 14
14.33/5.07 c (4,4) id[0][2] = 5
14.33/5.07 c (4,4) id[0][3] = 4
14.33/5.07 c (4,4) id[0][4] = 3
14.33/5.07 c (4,4) id[1][0] = 6
14.33/5.07 c (4,4) id[1][1] = 18
14.33/5.07 c (4,4) id[1][2] = 16
14.33/5.07 c (4,4) id[1][3] = 17
14.33/5.07 c (4,4) id[1][4] = 10
14.33/5.07 c (4,4) id[2][0] = 11
14.33/5.07 c (4,4) id[2][1] = 22
14.33/5.07 c (4,4) id[2][2] = 23
14.33/5.07 c (4,4) id[2][3] = 19
14.33/5.07 c (4,4) id[2][4] = 9
14.33/5.07 c (4,4) id[3][0] = 13
14.33/5.07 c (4,4) id[3][1] = 20
14.33/5.07 c (4,4) id[3][2] = 21
14.33/5.07 c (4,4) id[3][3] = 24
14.33/5.07 c (4,4) id[3][4] = 15
14.33/5.07 c (4,4) id[4][0] = 0
14.33/5.07 c (4,4) id[4][1] = 7
14.33/5.07 c (4,4) id[4][2] = 12
14.33/5.07 c (4,4) id[4][3] = 8
14.33/5.07 c (4,4) id[4][4] = 2
14.33/5.07 c (4,4) left[0][0] = 0
14.33/5.07 c (4,4) left[0][1] = 2
14.33/5.07 c (4,4) left[0][2] = 3
14.33/5.07 c (4,4) left[0][3] = 1
14.33/5.07 c (4,4) left[0][4] = 1
14.33/5.07 c (4,4) left[1][0] = 0
14.33/5.07 c (4,4) left[1][1] = 5
14.33/5.07 c (4,4) left[1][2] = 4
14.33/5.07 c (4,4) left[1][3] = 5
14.33/5.07 c (4,4) left[1][4] = 6
14.33/5.07 c (4,4) left[2][0] = 0
14.33/5.07 c (4,4) left[2][1] = 7
14.33/5.07 c (4,4) left[2][2] = 5
14.33/5.07 c (4,4) left[2][3] = 7
14.33/5.07 c (4,4) left[2][4] = 5
14.33/5.07 c (4,4) left[3][0] = 0
14.33/5.07 c (4,4) left[3][1] = 6
14.33/5.07 c (4,4) left[3][2] = 6
14.33/5.07 c (4,4) left[3][3] = 7
14.33/5.07 c (4,4) left[3][4] = 7
14.33/5.07 c (4,4) left[4][0] = 0
14.33/5.07 c (4,4) left[4][1] = 1
14.33/5.07 c (4,4) left[4][2] = 3
14.33/5.07 c (4,4) left[4][3] = 1
14.33/5.07 c (4,4) left[4][4] = 2
14.33/5.07 c (4,4) right[0] = 0
14.33/5.07 c (4,4) right[1] = 0
14.33/5.07 c (4,4) right[2] = 0
14.33/5.07 c (4,4) right[3] = 0
14.33/5.07 c (4,4) right[4] = 0
14.33/5.07 c (4,4) top[0][0] = 0
14.33/5.07 c (4,4) top[0][1] = 0
14.33/5.07 c (4,4) top[0][2] = 0
14.33/5.07 c (4,4) top[0][3] = 0
14.33/5.07 c (4,4) top[0][4] = 0
14.33/5.07 c (4,4) top[1][0] = 1
14.33/5.07 c (4,4) top[1][1] = 6
14.33/5.07 c (4,4) top[1][2] = 4
14.33/5.07 c (4,4) top[1][3] = 4
14.33/5.07 c (4,4) top[1][4] = 3
14.33/5.07 c (4,4) top[2][0] = 2
14.33/5.07 c (4,4) top[2][1] = 5
14.33/5.07 c (4,4) top[2][2] = 6
14.33/5.07 c (4,4) top[2][3] = 4
14.33/5.07 c (4,4) top[2][4] = 2
14.33/5.07 c (4,4) top[3][0] = 3
14.33/5.07 c (4,4) top[3][1] = 4
14.33/5.07 c (4,4) top[3][2] = 7
14.33/5.07 c (4,4) top[3][3] = 7
14.33/5.07 c (4,4) top[3][4] = 2
14.33/5.07 c (4,4) top[4][0] = 1
14.33/5.07 c (4,4) top[4][1] = 5
14.33/5.07 c (4,4) top[4][2] = 4
14.33/5.07 c (4,4) top[4][3] = 6
14.33/5.07 c (4,4) top[4][4] = 3
14.33/5.07 s SATISFIABLE
14.33/5.07 v <instantiation>
14.33/5.07 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] 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] 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] bot[0] bot[1] bot[2] bot[3] bot[4] right[0] right[1] right[2] right[3] right[4]</list>
14.33/5.07 v <values>1 14 5 4 3 6 18 16 17 10 11 22 23 19 9 13 20 21 24 15 0 7 12 8 2 0 0 0 0 0 1 6 4 4 3 2 5 6 4 2 3 4 7 7 2 1 5 4 6 3 0 2 3 1 1 0 5 4 5 6 0 7 5 7 5 0 6 6 7 7 0 1 3 1 2 0 0 0 0 0 0 0 0 0 0</values>
14.33/5.07 v </instantiation>
14.33/5.07 c (4,4) Show results End
14.33/5.07 c (4,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.33/5.07 c (4,4) 0,0,3,3,3,3,4,4,4,STOP-AFTER(ALL)
14.33/5.07 c END-Prog: Thu Jul 26 14:04:52 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 (6256 MiB free)
memory of node 1: 16384 MiB (13984 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296164-1532606687/watcher-4296164-1532606687 -o /tmp/evaluation-result-4296164-1532606687/solver-4296164-1532606687 -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-4296164-1532606687.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10514, runsolver pid=10511
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 2.17 2.15 2.11 3/217 10529
/proc/meminfo: memFree=20665840/32770624 swapFree=67108860/67108860
[pid=10514] ppid=10511 vsize=15011656 memory=74152 CPUtime=0.11 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10511 10514 8644 0 -1 1077944320 6802 0 0 0 10 1 0 0 20 0 15 0 78231977 15371935744 18538 33554432000 4194304 4196468 140731155470320 140731155452864 139646766223095 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
/proc/10514/statm: 3752914 18538 2757 1 0 3715374 0
[pid=10514/tid=10516] ppid=10511 vsize=15011656 memory=-8484391872771690626 CPUtime=0.09 cores=1,3,5,7
/proc/10514/task/10516/stat : 10516 (java) R 10511 10514 8644 0 -1 4202560 5087 0 0 0 8 1 0 0 20 0 15 0 78231978 15371935744 18736 33554432000 4194304 4196468 140731155470320 139646738034872 139646746498816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10517] ppid=10511 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231979 15371935744 18736 33554432000 4194304 4196468 140731155470320 139646770465680 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10518] ppid=10511 vsize=15011656 memory=139982039578240 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15371935744 18736 33554432000 4194304 4196468 140731155470320 139646569241360 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10519] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15371935744 18802 33554432000 4194304 4196468 140731155470320 139646568189072 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10520] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231980 15371935744 18802 33554432000 4194304 4196468 140731155470320 139646224817168 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10521] ppid=10511 vsize=15011656 memory=139982039578240 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231981 15371935744 18802 33554432000 4194304 4196468 140731155470320 139645737171056 139646766234242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10522] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10511 10514 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78231981 15371935744 18802 33554432000 4194304 4196468 140731155470320 139645358695200 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10523] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231982 15371935744 18802 33554432000 4194304 4196468 140731155470320 139645090260080 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10524] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 18802 33554432000 4194304 4196468 140731155470320 139644715751504 139646766241691 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10525] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) S 10511 10514 8644 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 18802 33554432000 4194304 4196468 140731155470320 139645736118896 139646766234242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10526] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 18802 33554432000 4194304 4196468 140731155470320 139645735066096 139646766234242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10527] ppid=10511 vsize=15011656 memory=139982039578240 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) S 10511 10514 8644 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 78231984 15371935744 18802 33554432000 4194304 4196468 140731155470320 139645734013808 139646766234242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10528] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 18802 33554432000 4194304 4196468 140731155470320 139644217846752 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10529] ppid=10511 vsize=15011656 memory=139982039578240 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 18802 33554432000 4194304 4196468 140731155470320 139645732960688 139646766234242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74152 KiB
[startup+0.210383 s]*
/proc/loadavg: 2.17 2.15 2.11 3/217 10529
/proc/meminfo: memFree=20652384/32770624 swapFree=67108860/67108860
[pid=10514] ppid=10511 vsize=15011656 memory=86716 CPUtime=0.25 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10511 10514 8644 0 -1 1077944320 10099 0 0 0 23 2 0 0 20 0 15 0 78231977 15371935744 21679 33554432000 4194304 4196468 140731155470320 140731155452864 139646766223095 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
/proc/10514/statm: 3752914 21679 2915 1 0 3715374 0
[pid=10514/tid=10516] ppid=10511 vsize=15011656 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/10514/task/10516/stat : 10516 (java) R 10511 10514 8644 0 -1 4202560 8002 0 0 0 18 1 0 0 20 0 15 0 78231978 15371935744 21679 33554432000 4194304 4196468 140731155470320 139646738049488 139646248045267 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10517] ppid=10511 vsize=15011656 memory=343 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231979 15371935744 21679 33554432000 4194304 4196468 140731155470320 139646770465680 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10518] ppid=10511 vsize=15011656 memory=3472755250815989408 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15371935744 21679 33554432000 4194304 4196468 140731155470320 139646569241360 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10519] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15371935744 21679 33554432000 4194304 4196468 140731155470320 139646568189072 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10520] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231980 15371935744 21679 33554432000 4194304 4196468 140731155470320 139646224817168 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10521] ppid=10511 vsize=15011656 memory=139982039578240 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231981 15371935744 21679 33554432000 4194304 4196468 140731155470320 139645737171056 139646766234242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10522] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10511 10514 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78231981 15371935744 21679 33554432000 4194304 4196468 140731155470320 139645358695200 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10523] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231982 15371935744 21679 33554432000 4194304 4196468 140731155470320 139645090260080 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10524] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 21679 33554432000 4194304 4196468 140731155470320 139644715751504 139646766241691 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10525] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) R 10511 10514 8644 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 21679 33554432000 4194304 4196468 140731155470320 139645736118896 139646766234242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10526] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) R 10511 10514 8644 0 -1 4202560 167 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 21679 33554432000 4194304 4196468 140731155470320 139645735066096 139646745386256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10527] ppid=10511 vsize=15011656 memory=139982039578240 CPUtime=0.03 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) S 10511 10514 8644 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 78231984 15371935744 21679 33554432000 4194304 4196468 140731155470320 139645734013808 139646766234242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10528] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 21679 33554432000 4194304 4196468 140731155470320 139644217846752 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10529] ppid=10511 vsize=15011656 memory=139982039578240 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 21679 33554432000 4194304 4196468 140731155470320 139645732960688 139646766234242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86716 KiB
[startup+0.310507 s]*
/proc/loadavg: 2.17 2.15 2.11 3/217 10529
/proc/meminfo: memFree=20648724/32770624 swapFree=67108860/67108860
[pid=10514] ppid=10511 vsize=15011656 memory=90452 CPUtime=0.42 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10511 10514 8644 0 -1 1077944320 10649 0 0 0 40 2 0 0 20 0 15 0 78231977 15371935744 22613 33554432000 4194304 4196468 140731155470320 140731155452864 139646766223095 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
/proc/10514/statm: 3752914 22613 3031 1 0 3715374 0
[pid=10514/tid=10516] ppid=10511 vsize=15011656 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/10514/task/10516/stat : 10516 (java) R 10511 10514 8644 0 -1 4202560 8378 0 0 0 28 2 0 0 20 0 15 0 78231978 15371935744 22613 33554432000 4194304 4196468 140731155470320 139646738027248 139646750303582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10517] ppid=10511 vsize=15011656 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231979 15371935744 22613 33554432000 4194304 4196468 140731155470320 139646770465680 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10518] ppid=10511 vsize=15011656 memory=4049777853561206432 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15371935744 22613 33554432000 4194304 4196468 140731155470320 139646569241360 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10519] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15371935744 22613 33554432000 4194304 4196468 140731155470320 139646568189072 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10520] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231980 15371935744 22613 33554432000 4194304 4196468 140731155470320 139646224817168 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10521] ppid=10511 vsize=15011656 memory=139982039578240 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231981 15371935744 22613 33554432000 4194304 4196468 140731155470320 139645737171056 139646766234242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10522] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10511 10514 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78231981 15371935744 22613 33554432000 4194304 4196468 140731155470320 139645358695200 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10523] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231982 15371935744 22613 33554432000 4194304 4196468 140731155470320 139645090260080 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10524] ppid=10511 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 22613 33554432000 4194304 4196468 140731155470320 139644715751504 139646766241691 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10525] ppid=10511 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) S 10511 10514 8644 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 78231984 15371935744 22613 33554432000 4194304 4196468 140731155470320 139645736118896 139646766234242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10526] ppid=10511 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) S 10511 10514 8644 0 -1 1077944384 269 0 0 0 3 0 0 0 20 0 15 0 78231984 15371935744 22613 33554432000 4194304 4196468 140731155470320 139645735066096 139646766234242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10527] ppid=10511 vsize=15011656 memory=139982039578240 CPUtime=0.07 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) R 10511 10514 8644 0 -1 4202560 302 0 0 0 7 0 0 0 20 0 15 0 78231984 15371935744 22613 33554432000 4194304 4196468 140731155470320 139645734010744 139646745180750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10528] ppid=10511 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 22613 33554432000 4194304 4196468 140731155470320 139644217846752 139646766233301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10529] ppid=10511 vsize=15011656 memory=139982039578240 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231984 15371935744 22613 33554432000 4194304 4196468 140731155470320 139645732960688 139646766234242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90452 KiB
[startup+0.700663 s]
/proc/loadavg: 2.17 2.15 2.11 3/217 10529
/proc/meminfo: memFree=20624664/32770624 swapFree=67108860/67108860
[pid=10514] ppid=10511 vsize=15020052 memory=129832 CPUtime=1.01 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10511 10514 8644 0 -1 1077944320 17706 0 0 0 96 5 0 0 20 0 15 0 78231977 15380533248 32458 33554432000 4194304 4196468 140731155470320 140731155452864 139646766223095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
/proc/10514/statm: 3755013 32458 3160 1 0 3716398 0
[pid=10514/tid=10516] ppid=10511 vsize=15020052 memory=185169260592248 CPUtime=0.67 cores=1,3,5,7
/proc/10514/task/10516/stat : 10516 (java) R 10511 10514 8644 0 -1 4202560 15001 0 0 0 63 4 0 0 20 0 15 0 78231978 15380533248 32458 33554432000 4194304 4196468 140731155470320 139646738058208 139646750303582 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10517] ppid=10511 vsize=15020052 memory=462675 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231979 15380533248 32458 33554432000 4194304 4196468 140731155470320 139646770465680 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10518] ppid=10511 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15380533248 32458 33554432000 4194304 4196468 140731155470320 139646569241360 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10519] ppid=10511 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15380533248 32458 33554432000 4194304 4196468 140731155470320 139646568189072 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10520] ppid=10511 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231980 15380533248 32458 33554432000 4194304 4196468 140731155470320 139646224817168 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10521] ppid=10511 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10511 10514 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78231981 15380533248 32458 33554432000 4194304 4196468 140731155470320 139645737171056 139646766234242 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10522] ppid=10511 vsize=15020052 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10511 10514 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78231981 15380533248 32458 33554432000 4194304 4196468 140731155470320 139645358695200 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10523] ppid=10511 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231982 15380533248 32458 33554432000 4194304 4196468 140731155470320 139645090260080 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10524] ppid=10511 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15380533248 32458 33554432000 4194304 4196468 140731155470320 139644715751504 139646766241691 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10525] ppid=10511 vsize=15020052 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) R 10511 10514 8644 0 -1 4202560 437 0 0 0 5 0 0 0 20 0 15 0 78231984 15380533248 32458 33554432000 4194304 4196468 140731155470320 139645736106736 139646747767653 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10526] ppid=10511 vsize=15020052 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) R 10511 10514 8644 0 -1 4202560 492 0 0 0 10 0 0 0 20 0 15 0 78231984 15380533248 32458 33554432000 4194304 4196468 140731155470320 139645735066096 139646747766841 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10527] ppid=10511 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) S 10511 10514 8644 0 -1 1077944384 436 0 0 0 16 0 0 0 20 0 15 0 78231984 15380533248 32458 33554432000 4194304 4196468 140731155470320 139645734013808 139646766234242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10528] ppid=10511 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15380533248 32458 33554432000 4194304 4196468 140731155470320 139644217846752 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10529] ppid=10511 vsize=15020052 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231984 15380533248 32458 33554432000 4194304 4196468 140731155470320 139645732960688 139646766234242 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129832 KiB
[startup+1.50245 s]
/proc/loadavg: 2.17 2.15 2.11 5/217 10529
/proc/meminfo: memFree=20585748/32770624 swapFree=67108860/67108860
[pid=10514] ppid=10511 vsize=15024148 memory=183788 CPUtime=3.46 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10511 10514 8644 0 -1 1077944320 23752 0 0 0 338 8 0 0 20 0 15 0 78231977 15384727552 45947 33554432000 4194304 4196468 140731155470320 140731155452864 139646766223095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
/proc/10514/statm: 3756037 45947 3203 1 0 3717422 0
[pid=10514/tid=10516] ppid=10511 vsize=15024148 memory=10799 CPUtime=1.47 cores=1,3,5,7
/proc/10514/task/10516/stat : 10516 (java) R 10511 10514 8644 0 -1 4202560 16273 0 0 0 141 6 0 0 20 0 15 0 78231978 15384727552 45947 33554432000 4194304 4196468 140731155470320 139646738056944 139646766244442 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10517] ppid=10511 vsize=15024148 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231979 15384727552 45947 33554432000 4194304 4196468 140731155470320 139646770465680 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10518] ppid=10511 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15384727552 45947 33554432000 4194304 4196468 140731155470320 139646569241360 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10519] ppid=10511 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15384727552 45947 33554432000 4194304 4196468 140731155470320 139646568189072 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10520] ppid=10511 vsize=15024148 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231980 15384727552 45947 33554432000 4194304 4196468 140731155470320 139646224817168 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10521] ppid=10511 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10511 10514 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78231981 15384727552 45947 33554432000 4194304 4196468 140731155470320 139645737171056 139646766234242 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
################
# More data... #
################
[pid=10514] ppid=10511 vsize=15024148 memory=719428 CPUtime=8.66 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10511 10514 8644 0 -1 1077944320 26465 0 0 0 848 18 0 0 20 0 15 0 78231977 15384727552 179857 33554432000 4194304 4196468 140731155470320 140731155452864 139646766223095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
/proc/10514/statm: 3756037 179857 3210 1 0 3717422 0
[pid=10514/tid=10516] ppid=10511 vsize=15024148 memory=956 CPUtime=3.16 cores=1,3,5,7
/proc/10514/task/10516/stat : 10516 (java) R 10511 10514 8644 0 -1 4202560 16575 0 0 0 302 14 0 0 20 0 15 0 78231978 15384727552 180369 33554432000 4194304 4196468 140731155470320 139646738058256 139646253255260 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10517] ppid=10511 vsize=15024148 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231979 15384727552 180369 33554432000 4194304 4196468 140731155470320 139646770465680 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10518] ppid=10511 vsize=15024148 memory=6153431502485415267 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15384727552 180369 33554432000 4194304 4196468 140731155470320 139646569241360 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10519] ppid=10511 vsize=15024148 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15384727552 180369 33554432000 4194304 4196468 140731155470320 139646568189072 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10520] ppid=10511 vsize=15024148 memory=6154538792250073449 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231980 15384727552 180369 33554432000 4194304 4196468 140731155470320 139646224817168 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10521] ppid=10511 vsize=15024148 memory=8514726395715218844 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10511 10514 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78231981 15384727552 180369 33554432000 4194304 4196468 140731155470320 139645737171056 139646766234242 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10522] ppid=10511 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10511 10514 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78231981 15384727552 180369 33554432000 4194304 4196468 140731155470320 139645358695200 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10523] ppid=10511 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231982 15384727552 180369 33554432000 4194304 4196468 140731155470320 139645090260080 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10524] ppid=10511 vsize=15024148 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15384727552 180369 33554432000 4194304 4196468 140731155470320 139644715751504 139646766241691 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10525] ppid=10511 vsize=15024148 memory=0 CPUtime=2.24 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) R 10511 10514 8644 0 -1 4202560 2318 0 0 0 223 1 0 0 20 0 15 0 78231984 15384727552 180369 33554432000 4194304 4196468 140731155470320 139645736104920 139646749706553 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10526] ppid=10511 vsize=15024148 memory=4580 CPUtime=2.33 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) R 10511 10514 8644 0 -1 4202560 3352 0 0 0 232 1 0 0 20 0 15 0 78231984 15384727552 180369 33554432000 4194304 4196468 140731155470320 139645735051536 139646749633986 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10527] ppid=10511 vsize=15024148 memory=-1161699032755964503 CPUtime=0.89 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) S 10511 10514 8644 0 -1 1077944384 2879 0 0 0 89 0 0 0 20 0 15 0 78231984 15384727552 180369 33554432000 4194304 4196468 140731155470320 139645734013808 139646766234242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10528] ppid=10511 vsize=15024148 memory=279963819333344 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15384727552 180369 33554432000 4194304 4196468 140731155470320 139644217846752 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10529] ppid=10511 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231984 15384727552 180369 33554432000 4194304 4196468 140731155470320 139645732960688 139646766234242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 719428 KiB
[startup+4.00077 s]*
/proc/loadavg: 2.24 2.17 2.11 7/217 10529
/proc/meminfo: memFree=19779468/32770624 swapFree=67108860/67108860
[pid=10514] ppid=10511 vsize=15024148 memory=959228 CPUtime=11.27 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10511 10514 8644 0 -1 1077944320 31079 0 0 0 1104 23 0 0 20 0 15 0 78231977 15384727552 239807 33554432000 4194304 4196468 140731155470320 140731155452864 139646766223095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
/proc/10514/statm: 3756037 239807 3211 1 0 3717422 0
[pid=10514/tid=10516] ppid=10511 vsize=15024148 memory=6791534058613427641 CPUtime=3.97 cores=1,3,5,7
/proc/10514/task/10516/stat : 10516 (java) R 10511 10514 8644 0 -1 4202560 16771 0 0 0 379 18 0 0 20 0 15 0 78231978 15384727552 240319 33554432000 4194304 4196468 140731155470320 139646738057536 139646249245228 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10517] ppid=10511 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231979 15384727552 240319 33554432000 4194304 4196468 140731155470320 139646770465680 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10518] ppid=10511 vsize=15024148 memory=3762960379986030000 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15384727552 240319 33554432000 4194304 4196468 140731155470320 139646569241360 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10519] ppid=10511 vsize=15024148 memory=4639948313719891052 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231980 15384727552 240319 33554432000 4194304 4196468 140731155470320 139646568189072 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10520] ppid=10511 vsize=15024148 memory=279963819640528 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231980 15384727552 240319 33554432000 4194304 4196468 140731155470320 139646224817168 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10521] ppid=10511 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10511 10514 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78231981 15384727552 240319 33554432000 4194304 4196468 140731155470320 139645737171056 139646766234242 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10522] ppid=10511 vsize=15024148 memory=32 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10511 10514 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78231981 15384727552 240319 33554432000 4194304 4196468 140731155470320 139645358695200 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10523] ppid=10511 vsize=15024148 memory=288230596050954561 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78231982 15384727552 240319 33554432000 4194304 4196468 140731155470320 139645090260080 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10524] ppid=10511 vsize=15024148 memory=15825499331399675 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15384727552 240319 33554432000 4194304 4196468 140731155470320 139644715751504 139646766241691 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10525] ppid=10511 vsize=15024148 memory=0 CPUtime=3.03 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) R 10511 10514 8644 0 -1 4202560 4153 0 0 0 301 2 0 0 20 0 15 0 78231984 15384727552 240319 33554432000 4194304 4196468 140731155470320 139645736118592 139646746945039 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10526] ppid=10511 vsize=15024148 memory=-1 CPUtime=3.14 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) R 10511 10514 8644 0 -1 4202560 4187 0 0 0 313 1 0 0 20 0 15 0 78231984 15384727552 240319 33554432000 4194304 4196468 140731155470320 139645735050656 139646751121345 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10527] ppid=10511 vsize=15024148 memory=139982039578240 CPUtime=1.11 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) S 10511 10514 8644 0 -1 1077944384 4627 0 0 0 110 1 0 0 20 0 15 0 78231984 15384727552 240319 33554432000 4194304 4196468 140731155470320 139645734013808 139646766234242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10528] ppid=10511 vsize=15024148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78231984 15384727552 240319 33554432000 4194304 4196468 140731155470320 139644217846752 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10529] ppid=10511 vsize=15024148 memory=139982039578240 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) R 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78231984 15384727552 240319 33554432000 4194304 4196468 140731155470320 139645732960688 139646766234242 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
Current children cumulated CPU time: 11.27 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 959228 KiB
[startup+4.80306 s]
/proc/loadavg: 2.24 2.17 2.11 7/217 10529
/proc/meminfo: memFree=19779468/32770624 swapFree=67108860/67108860
[pid=10514] ppid=10511 vsize=15683912 memory=1207872 CPUtime=13.81 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10511 10514 8644 0 -1 1077944320 33357 0 0 0 1353 28 0 0 20 0 19 0 78231977 16060325888 301968 33554432000 4194304 4196468 140731155470320 140731155452864 139646766223095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
/proc/10514/statm: 3920978 301968 3227 1 0 3881834 0
[pid=10514/tid=10516] ppid=10511 vsize=15683912 memory=279963819448640 CPUtime=4.75 cores=1,3,5,7
/proc/10514/task/10516/stat : 10516 (java) R 10511 10514 8644 0 -1 4202560 17501 0 0 0 453 22 0 0 20 0 19 0 78231978 16060325888 301968 33554432000 4194304 4196468 140731155470320 139646738046368 139646751916561 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10517] ppid=10511 vsize=15683912 memory=279963819451136 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 78231979 16060325888 301968 33554432000 4194304 4196468 140731155470320 139646770465680 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10518] ppid=10511 vsize=15683912 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78231980 16060325888 301968 33554432000 4194304 4196468 140731155470320 139646569241360 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10519] ppid=10511 vsize=15683912 memory=14417029281095703 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78231980 16060325888 301968 33554432000 4194304 4196468 140731155470320 139646568189072 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10520] ppid=10511 vsize=15683912 memory=7236547281622689387 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 78231980 16060325888 301968 33554432000 4194304 4196468 140731155470320 139646224817168 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10521] ppid=10511 vsize=15683912 memory=6082221597268197474 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10511 10514 8644 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 78231981 16060325888 301968 33554432000 4194304 4196468 140731155470320 139645737171056 139646766234242 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10522] ppid=10511 vsize=15683912 memory=56 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10511 10514 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 78231981 16060325888 301968 33554432000 4194304 4196468 140731155470320 139645358695200 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10523] ppid=10511 vsize=15683912 memory=15252645300413821 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 78231982 16060325888 301968 33554432000 4194304 4196468 140731155470320 139645090260080 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10524] ppid=10511 vsize=15683912 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78231984 16060325888 301968 33554432000 4194304 4196468 140731155470320 139644715751504 139646766241691 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10525] ppid=10511 vsize=15683912 memory=920 CPUtime=3.81 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) R 10511 10514 8644 0 -1 4202560 5129 0 0 0 379 2 0 0 20 0 19 0 78231984 16060325888 301968 33554432000 4194304 4196468 140731155470320 139645736105328 139646749435312 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10526] ppid=10511 vsize=15683912 memory=139982039598241 CPUtime=3.92 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) R 10511 10514 8644 0 -1 4202560 4653 0 0 0 391 1 0 0 20 0 19 0 78231984 16060325888 301968 33554432000 4194304 4196468 140731155470320 139645735066096 139646750625720 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10527] ppid=10511 vsize=15683912 memory=6297835844906604903 CPUtime=1.28 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) R 10511 10514 8644 0 -1 1077944384 4678 0 0 0 127 1 0 0 20 0 19 0 78231984 16060325888 301968 33554432000 4194304 4196468 140731155470320 139645734013808 139646766234242 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10528] ppid=10511 vsize=15683912 memory=1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78231984 16060325888 301968 33554432000 4194304 4196468 140731155470320 139644217846752 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10529] ppid=10511 vsize=15683912 memory=279963819425888 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78231984 16060325888 301968 33554432000 4194304 4196468 140731155470320 139645732960688 139646766234242 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
Current children cumulated CPU time: 13.81 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 1207872 KiB
[startup+5.00075 s]*
/proc/loadavg: 2.24 2.17 2.11 4/222 10535
/proc/meminfo: memFree=19522904/32770624 swapFree=67108860/67108860
[pid=10514] ppid=10511 vsize=15683912 memory=1210308 CPUtime=14.08 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10511 10514 8644 0 -1 1077944320 34009 0 0 0 1380 28 0 0 20 0 19 0 78231977 16060325888 302577 33554432000 4194304 4196468 140731155470320 140731155452864 139646766223095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
/proc/10514/statm: 3920978 302577 3227 1 0 3881834 0
[pid=10530] ppid=10514 vsize=22468 memory=4988 CPUtime=0.25 cores=1,3,5,7
/proc/10530/stat : 10530 (minisat_release) R 10514 10514 8644 0 -1 4202496 1623 0 0 0 25 0 0 0 20 0 1 0 78232453 23007232 1247 33554432000 4194304 4308513 140733419746848 140733419743752 4266000 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 39755776 140733419754159 140733419754670 140733419754670 140733419757509 0
/proc/10530/statm: 5617 1247 347 28 0 1857 0
[pid=10514/tid=10516] ppid=10511 vsize=15683912 memory=8389772277269004345 CPUtime=4.76 cores=1,3,5,7
/proc/10514/task/10516/stat : 10516 (java) S 10511 10514 8644 0 -1 1077944384 17510 0 0 0 454 22 0 0 20 0 19 0 78231978 16060325888 302577 33554432000 4194304 4196468 140731155470320 139646738062336 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10517] ppid=10511 vsize=15683912 memory=297237812569440279 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 78231979 16060325888 302577 33554432000 4194304 4196468 140731155470320 139646770465680 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10518] ppid=10511 vsize=15683912 memory=3769905759020920864 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78231980 16060325888 302577 33554432000 4194304 4196468 140731155470320 139646569241360 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10519] ppid=10511 vsize=15683912 memory=3474301949664572470 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78231980 16060325888 302577 33554432000 4194304 4196468 140731155470320 139646568189072 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10520] ppid=10511 vsize=15683912 memory=2319529181206124208 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 78231980 16060325888 302577 33554432000 4194304 4196468 140731155470320 139646224817168 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10521] ppid=10511 vsize=15683912 memory=3467824627896561951 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10511 10514 8644 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 78231981 16060325888 302577 33554432000 4194304 4196468 140731155470320 139645737171056 139646766234242 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10522] ppid=10511 vsize=15683912 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10511 10514 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 78231981 16060325888 302577 33554432000 4194304 4196468 140731155470320 139645358695200 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10523] ppid=10511 vsize=15683912 memory=8099558360269548386 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10511 10514 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 78231982 16060325888 302577 33554432000 4194304 4196468 140731155470320 139645090260080 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10524] ppid=10511 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78231984 16060325888 302577 33554432000 4194304 4196468 140731155470320 139644715751504 139646766241691 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10525] ppid=10511 vsize=15683912 memory=3467831332325040175 CPUtime=4.02 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) R 10511 10514 8644 0 -1 4202560 5770 0 0 0 400 2 0 0 20 0 19 0 78231984 16060325888 302577 33554432000 4194304 4196468 140731155470320 139645736103664 139646747768264 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10526] ppid=10511 vsize=15683912 memory=139982039578240 CPUtime=3.98 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) S 10511 10514 8644 0 -1 1077944384 4654 0 0 0 397 1 0 0 20 0 19 0 78231984 16060325888 302577 33554432000 4194304 4196468 140731155470320 139645735066096 139646766234242 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10527] ppid=10511 vsize=15683912 memory=3539882221952315699 CPUtime=1.28 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) S 10511 10514 8644 0 -1 1077944384 4679 0 0 0 127 1 0 0 20 0 19 0 78231984 16060325888 302577 33554432000 4194304 4196468 140731155470320 139645734013808 139646766234242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10528] ppid=10511 vsize=15683912 memory=2319529185819864497 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10511 10514 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78231984 16060325888 302577 33554432000 4194304 4196468 140731155470320 139644217846752 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10529] ppid=10511 vsize=15683912 memory=4122822469376554035 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) S 10511 10514 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78231984 16060325888 302577 33554432000 4194304 4196468 140731155470320 139645732960688 139646766234242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10531] ppid=10511 vsize=15683912 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10531/stat : 10531 (java) S 10511 10514 8644 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 78232453 16060325888 302577 33554432000 4194304 4196468 140731155470320 139645828756416 139646766247705 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10533] ppid=10511 vsize=15683912 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10533/stat : 10533 (java) S 10511 10514 8644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 78232453 16060325888 302577 33554432000 4194304 4196468 140731155470320 139643680964016 139646766245021 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10534] ppid=10511 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10534/stat : 10534 (java) S 10511 10514 8644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 78232454 16060325888 302577 33554432000 4194304 4196468 140731155470320 139643278311216 139646766245021 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
[pid=10514/tid=10535] ppid=10511 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10535/stat : 10535 (java) S 10511 10514 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 78232456 16060325888 302577 33554432000 4194304 4196468 140731155470320 139643949407648 139646766233301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140731155473395 140731155473673 140731155473673 140731155476431 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 15706380 KiB
Current children cumulated memory: 1215296 KiB
Child status: 0
Real time (s): 5.10044
CPU time (s): 14.5191
CPU user time (s): 14.2162
CPU system time (s): 0.302961
CPU usage (%): 284.665
Max. virtual memory (cumulated for all children) (KiB): 15706380
Max. memory (cumulated for all children) (KiB): 1215296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2162
system time used= 0.302961
maximum resident set size= 1212620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3813
involuntary context switches= 49
# summary of solver processes directly reported to runsolver:
# pid: 10514
# total CPU time (s): 14.5191
# total CPU user time (s): 14.2162
# total CPU system time (s): 0.302961
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058909 second user time and 0.094853 second system time
The end