0.66/0.53
0.66/0.53 scop order+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Mon Jul 23 13:46:54 CEST 2018
0.66/0.55 c PID: 6113
0.66/0.56 c IP: 172.20.3.105
0.66/0.56 c HOST: node105.alineos.net
0.66/0.56 c (0,0) Parsing Begin
5.32/2.03 c (1,1) Parsing End
5.32/2.04 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 34
5.32/2.04 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.32/2.04 c (1,1) Constraint Name Generate Begin
5.32/2.07 c (1,1) Ctr:HOME/instance-4293493-1532346414.xml,Dist:Eq:IntVar:Le:Num
5.32/2.07 c (1,1) Constraint Name Generate End
5.32/2.07 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.32/2.07 c (1,1) CSP to CSPinCNF Begin
6.33/2.34 c (1,1) translated 411 (10%) constraints
6.72/2.42 c (1,1) translated 821 (20%) constraints
6.72/2.47 c (1,1) translated 1231 (30%) constraints
7.03/2.52 c (1,1) translated 1642 (40%) constraints
7.03/2.56 c (2,2) translated 2052 (50%) constraints
7.33/2.61 c (2,2) translated 2462 (60%) constraints
7.33/2.65 c (2,2) translated 2873 (70%) constraints
7.33/2.69 c (2,2) translated 3283 (80%) constraints
7.64/2.72 c (2,2) translated 3693 (90%) constraints
7.97/2.83 c (2,2) translated 4103 (100%) constraints
8.32/2.95 c (2,2) STATISTICS1:HOME/instance-4293493-1532346414.xml,Dist:Eq:IntVar:Le:Num,680,4783,34,34,2,2,34:3314;27:5144;22:344;19:24;6:60,34:9348;27:7956;22:364;19:40;6:64,2:4103;1:680,2:8886,
8.32/2.95 c (2,2) ===========================================
8.32/2.95 c (2,2) Order
8.32/2.95 c (2,2) ===========================================
8.32/2.98 c (2,2) translated 479 (10%) constraints
8.32/2.99 c (2,2) translated 957 (20%) constraints
8.68/3.01 c (2,2) translated 1435 (30%) constraints
8.68/3.02 c (2,2) translated 1914 (40%) constraints
8.68/3.04 c (2,2) translated 2392 (50%) constraints
8.68/3.05 c (2,2) translated 2870 (60%) constraints
8.68/3.07 c (2,2) translated 3349 (70%) constraints
8.68/3.08 c (2,2) translated 3827 (80%) constraints
8.68/3.09 c (2,2) translated 4305 (90%) constraints
8.68/3.11 c (2,2) translated 4783 (100%) constraints
9.02/3.12 c (2,2) CSP to CSPinCNF End
9.02/3.12 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 34
9.02/3.12 c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.02/3.12 c (2,2) CSPinCNF Propagation Begin
10.84/4.28 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
10.84/4.28 c (3,3) CSPinCNF Propagation End
10.84/4.28 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 34
10.84/4.28 c (3,3) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.84/4.28 c (3,3) Simplify CSPinCNF Begin
11.55/4.54 c (4,3) Simplify CSPinCNF End
11.55/4.54 c (4,3) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 34
11.55/4.54 c (4,3) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
11.55/4.54 c (4,3) Calculate Precise Domain Begin
11.55/4.55 c (4,3) 0 values are removed by re-calculation
11.55/4.55 c (4,3) Calculate Precise Domain End
11.55/4.55 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 34
11.55/4.55 c (4,4) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
11.55/4.55 c (4,4) CSPinCNF to SatSolver Begin
12.55/4.82 c (4,4) 1299 (10 %) CSP clauses are encoded (28058 SAT variables, 44559 SAT clauses)
12.86/4.92 c (4,4) 2598 (20 %) CSP clauses are encoded (28058 SAT variables, 69267 SAT clauses)
12.86/5.00 c (4,4) 3897 (30 %) CSP clauses are encoded (28058 SAT variables, 91036 SAT clauses)
13.13/5.09 c (4,4) 5196 (40 %) CSP clauses are encoded (28058 SAT variables, 115352 SAT clauses)
13.34/5.18 c (4,4) 6495 (50 %) CSP clauses are encoded (28058 SAT variables, 140976 SAT clauses)
13.54/5.26 c (4,4) 7794 (60 %) CSP clauses are encoded (28058 SAT variables, 166525 SAT clauses)
13.68/5.33 c (4,4) 9093 (70 %) CSP clauses are encoded (28058 SAT variables, 191557 SAT clauses)
13.80/5.40 c (4,4) 10392 (80 %) CSP clauses are encoded (28058 SAT variables, 216610 SAT clauses)
13.80/5.47 c (4,4) 11691 (90 %) CSP clauses are encoded (28058 SAT variables, 240321 SAT clauses)
13.97/5.52 c (4,4) 12989 (100 %) CSP clauses are encoded (28058 SAT variables, 259394 SAT clauses)
13.97/5.52 c (4,4) CSPinCNF to SatSolver End
13.97/5.52 c (4,4) Heap : 2478 MiB used (max 10795 MiB), NonHeap : 37 MiB used (max 0 MiB)
14.26/5.60 c (5,5) STATISTICS2:HOME/instance-4293493-1532346414.xml,Dist:Eq:IntVar:Le:Num,8886,12989,34,34,2,2,34:3314;27:5144;22:344;19:24;6:60,34:9348;27:7956;22:364;19:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
14.26/5.60 c (5,5) SatSolver.solve Begin
14.26/5.60 c (5,5) 28058 bool, 259406 clause
14.26/5.60 c (5,5) 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-4293493-1532346414.xml-scop-6113.cnf HOME/instance-4293493-1532346414.xml-scop-6113.cnf.out
14.99/6.03 c (5,0) c This is COMiniSatPS.
14.99/6.03 c (5,0) c WARNING: for repeatability, setting FPU to use double precision
14.99/6.03 c (5,0) c ============================[ Problem Statistics ]=============================
14.99/6.03 c (5,0) c | |
14.99/6.03 c (5,0) c | Number of variables: 28058 |
14.99/6.03 c (5,0) c | Number of clauses: 259406 |
14.99/6.03 c (5,0) c | Parse time: 0.10 s |
14.99/6.03 c (5,0) c | Eliminated clauses: 0.08 Mb |
14.99/6.03 c (5,0) c Reduced to 23854 vars, 255142 cls (grow=0)
14.99/6.03 c (5,0) c No iterative elimination performed. (vars=23854, c/v ratio=10.7)
14.99/6.03 c (5,0) c | Simplification time: 0.27 s |
14.99/6.03 c (5,0) c | |
14.99/6.03 c (5,0) c ============================[ Search Statistics ]==============================
14.99/6.03 c (5,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
14.99/6.03 c (5,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
14.99/6.03 c (5,0) c ===============================================================================
14.99/6.03 c (5,0) c ===============================================================================
14.99/6.03 c (5,0) c restarts : 2
14.99/6.03 c (5,0) c conflicts : 685 (1721 /sec)
14.99/6.03 c (5,0) c decisions : 2167 (0.00 % random) (5444 /sec)
14.99/6.03 c (5,0) c propagations : 101969 (256192 /sec)
14.99/6.03 c (5,0) c conflict literals : 5637 (20.94 % deleted)
14.99/6.03 c (5,0) c CPU time : 0.398018 s
14.99/6.03 c (5,0)
14.99/6.03 c (5,0) s UNSATISFIABLE
14.99/6.04 c (5,5) SatSolver.solve End
14.99/6.04 c (5,5) Heap : 2760 MiB used (max 10795 MiB), NonHeap : 38 MiB used (max 0 MiB)
14.99/6.04 c (5,5) Show results Begin
14.99/6.04 s UNSATISFIABLE
14.99/6.04 c (5,5) Show results End
14.99/6.04 c (5,5) Heap : 2760 MiB used (max 10795 MiB), NonHeap : 38 MiB used (max 0 MiB)
14.99/6.04 c (5,5) 1,1,2,3,4,4,4,5,5,STOP-AFTER(ALL)
14.99/6.04 c END-Prog: Mon Jul 23 13:47:00 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 (4338 MiB free)
memory of node 1: 16384 MiB (10541 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293493-1532346414/watcher-4293493-1532346414 -o /tmp/evaluation-result-4293493-1532346414/solver-4293493-1532346414 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293493-1532346414.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
Current StackSize limit: 8192 KiB
solver pid=6113, runsolver pid=6110
[startup+0.100061 s]*
/proc/loadavg: 2.77 2.20 2.11 3/220 6128
/proc/meminfo: memFree=15176820/32770624 swapFree=67108860/67108860
[pid=6113] ppid=6110 vsize=15011656 memory=73128 CPUtime=0.11 cores=0,2,4,6
/proc/6113/stat : 6113 (java) S 6110 6113 2271 0 -1 1077944320 6969 0 0 0 9 2 0 0 20 0 15 0 52204552 15371935744 18282 33554432000 4194304 4196468 140730911970976 140730911953520 140149464301303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
/proc/6113/statm: 3752914 18282 2782 1 0 3715374 0
[pid=6113/tid=6115] ppid=6110 vsize=15011656 memory=4137293624778003347 CPUtime=0.09 cores=0,2,4,6
/proc/6113/task/6115/stat : 6115 (java) R 6110 6113 2271 0 -1 4202560 5198 0 0 0 7 2 0 0 20 0 15 0 52204553 15371935744 18414 33554432000 4194304 4196468 140730911970976 140149436113288 140149444577010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6116] ppid=6110 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6116/stat : 6116 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 18414 33554432000 4194304 4196468 140730911970976 140149468544016 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6117] ppid=6110 vsize=15011656 memory=139849641133696 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6117/stat : 6117 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 18414 33554432000 4194304 4196468 140730911970976 140149282700432 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6118] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6118/stat : 6118 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 18414 33554432000 4194304 4196468 140730911970976 140149281647376 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6119] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6119/stat : 6119 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 18414 33554432000 4194304 4196468 140730911970976 140149280594832 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6120] ppid=6110 vsize=15011656 memory=139849641133696 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6120/stat : 6120 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204556 15371935744 18480 33554432000 4194304 4196468 140730911970976 140148804131056 140149464312450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6121] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6121/stat : 6121 (java) S 6110 6113 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52204556 15371935744 18480 33554432000 4194304 4196468 140730911970976 140148037641376 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6122] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6122/stat : 6122 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204557 15371935744 18480 33554432000 4194304 4196468 140730911970976 140147802759920 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6123] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6123/stat : 6123 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 18480 33554432000 4194304 4196468 140730911970976 140147428251600 140149464319899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6124] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6124/stat : 6124 (java) S 6110 6113 2271 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 18480 33554432000 4194304 4196468 140730911970976 140148803078896 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6125] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6125/stat : 6125 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 18480 33554432000 4194304 4196468 140730911970976 140148802026352 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6126] ppid=6110 vsize=15011656 memory=139849641133696 CPUtime=0.01 cores=0,2,4,6
/proc/6113/task/6126/stat : 6126 (java) S 6110 6113 2271 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 52204559 15371935744 18480 33554432000 4194304 4196468 140730911970976 140148800973296 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6127] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6127/stat : 6127 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 18480 33554432000 4194304 4196468 140730911970976 140146930346848 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6128] ppid=6110 vsize=15011656 memory=139849641133696 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6128/stat : 6128 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 18480 33554432000 4194304 4196468 140730911970976 140148799920688 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73128 KiB
[startup+0.211126 s]*
/proc/loadavg: 2.77 2.20 2.11 3/220 6128
/proc/meminfo: memFree=15162516/32770624 swapFree=67108860/67108860
[pid=6113] ppid=6110 vsize=15011656 memory=86500 CPUtime=0.25 cores=0,2,4,6
/proc/6113/stat : 6113 (java) S 6110 6113 2271 0 -1 1077944320 10476 0 0 0 22 3 0 0 20 0 15 0 52204552 15371935744 21625 33554432000 4194304 4196468 140730911970976 140730911953520 140149464301303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
/proc/6113/statm: 3752914 21625 2936 1 0 3715374 0
[pid=6113/tid=6115] ppid=6110 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/6113/task/6115/stat : 6115 (java) R 6110 6113 2271 0 -1 4202560 8384 0 0 0 17 2 0 0 20 0 15 0 52204553 15371935744 21625 33554432000 4194304 4196468 140730911970976 140149436121216 140149464313238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6116] ppid=6110 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6116/stat : 6116 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 21625 33554432000 4194304 4196468 140730911970976 140149468544016 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6117] ppid=6110 vsize=15011656 memory=139849641148762 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6117/stat : 6117 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 21625 33554432000 4194304 4196468 140730911970976 140149282700432 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6118] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6118/stat : 6118 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 21625 33554432000 4194304 4196468 140730911970976 140149281647376 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6119] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6119/stat : 6119 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 21625 33554432000 4194304 4196468 140730911970976 140149280594832 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6120] ppid=6110 vsize=15011656 memory=139849641133696 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6120/stat : 6120 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204556 15371935744 21625 33554432000 4194304 4196468 140730911970976 140148804131056 140149464312450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6121] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6121/stat : 6121 (java) S 6110 6113 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52204556 15371935744 21625 33554432000 4194304 4196468 140730911970976 140148037641376 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6122] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6122/stat : 6122 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204557 15371935744 21625 33554432000 4194304 4196468 140730911970976 140147802759920 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6123] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6123/stat : 6123 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 21625 33554432000 4194304 4196468 140730911970976 140147428251600 140149464319899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6124] ppid=6110 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6113/task/6124/stat : 6124 (java) S 6110 6113 2271 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 52204559 15371935744 21625 33554432000 4194304 4196468 140730911970976 140148803078896 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6125] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6125/stat : 6125 (java) S 6110 6113 2271 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 21625 33554432000 4194304 4196468 140730911970976 140148802026352 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6126] ppid=6110 vsize=15011656 memory=139849641133696 CPUtime=0.02 cores=0,2,4,6
/proc/6113/task/6126/stat : 6126 (java) R 6110 6113 2271 0 -1 4202560 283 0 0 0 2 0 0 0 20 0 15 0 52204559 15371935744 21625 33554432000 4194304 4196468 140730911970976 140148800973296 140149464313238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6127] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6127/stat : 6127 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 21625 33554432000 4194304 4196468 140730911970976 140146930346848 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6128] ppid=6110 vsize=15011656 memory=139849641133696 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6128/stat : 6128 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 21625 33554432000 4194304 4196468 140730911970976 140148799920688 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86500 KiB
[startup+0.310299 s]*
/proc/loadavg: 2.77 2.20 2.11 3/220 6128
/proc/meminfo: memFree=15159476/32770624 swapFree=67108860/67108860
[pid=6113] ppid=6110 vsize=15011656 memory=89708 CPUtime=0.42 cores=0,2,4,6
/proc/6113/stat : 6113 (java) S 6110 6113 2271 0 -1 1077944320 11005 0 0 0 39 3 0 0 20 0 15 0 52204552 15371935744 22427 33554432000 4194304 4196468 140730911970976 140730911953520 140149464301303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
/proc/6113/statm: 3752914 22427 2975 1 0 3715374 0
[pid=6113/tid=6115] ppid=6110 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/6113/task/6115/stat : 6115 (java) R 6110 6113 2271 0 -1 4202560 8746 0 0 0 26 3 0 0 20 0 15 0 52204553 15371935744 22427 33554432000 4194304 4196468 140730911970976 140149436105456 140149445864832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6116] ppid=6110 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6116/stat : 6116 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 22427 33554432000 4194304 4196468 140730911970976 140149468544016 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6117] ppid=6110 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6117/stat : 6117 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 22427 33554432000 4194304 4196468 140730911970976 140149282700432 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6118] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6118/stat : 6118 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 22427 33554432000 4194304 4196468 140730911970976 140149281647376 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6119] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6119/stat : 6119 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204554 15371935744 22427 33554432000 4194304 4196468 140730911970976 140149280594832 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6120] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6120/stat : 6120 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204556 15371935744 22427 33554432000 4194304 4196468 140730911970976 140148804131056 140149464312450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6121] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6121/stat : 6121 (java) S 6110 6113 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52204556 15371935744 22427 33554432000 4194304 4196468 140730911970976 140148037641376 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6122] ppid=6110 vsize=15011656 memory=139849641133696 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6122/stat : 6122 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204557 15371935744 22427 33554432000 4194304 4196468 140730911970976 140147802759920 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6123] ppid=6110 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6123/stat : 6123 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 22427 33554432000 4194304 4196468 140730911970976 140147428251600 140149464319899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6124] ppid=6110 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6113/task/6124/stat : 6124 (java) S 6110 6113 2271 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 15 0 52204559 15371935744 22427 33554432000 4194304 4196468 140730911970976 140148803078896 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6125] ppid=6110 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6113/task/6125/stat : 6125 (java) S 6110 6113 2271 0 -1 1077944384 179 0 0 0 2 0 0 0 20 0 15 0 52204559 15371935744 22427 33554432000 4194304 4196468 140730911970976 140148802026352 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6126] ppid=6110 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6113/task/6126/stat : 6126 (java) S 6110 6113 2271 0 -1 1077944384 302 0 0 0 7 0 0 0 20 0 15 0 52204559 15371935744 22427 33554432000 4194304 4196468 140730911970976 140148800973296 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6127] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6127/stat : 6127 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 22427 33554432000 4194304 4196468 140730911970976 140146930346848 140149464311509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6128] ppid=6110 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6128/stat : 6128 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204559 15371935744 22427 33554432000 4194304 4196468 140730911970976 140148799920688 140149464312450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89708 KiB
[startup+0.701175 s]
/proc/loadavg: 2.77 2.20 2.11 3/220 6128
/proc/meminfo: memFree=15136160/32770624 swapFree=67108860/67108860
[pid=6113] ppid=6110 vsize=15017928 memory=127184 CPUtime=1.01 cores=0,2,4,6
/proc/6113/stat : 6113 (java) S 6110 6113 2271 0 -1 1077944320 17980 0 0 0 96 5 0 0 20 0 15 0 52204552 15378358272 31796 33554432000 4194304 4196468 140730911970976 140730911953520 140149464301303 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
/proc/6113/statm: 3754482 31796 3146 1 0 3715886 0
[pid=6113/tid=6115] ppid=6110 vsize=15017928 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/6113/task/6115/stat : 6115 (java) R 6110 6113 2271 0 -1 4202560 15230 0 0 0 63 4 0 0 20 0 15 0 52204553 15378358272 31796 33554432000 4194304 4196468 140730911970976 140149436137504 140148962766368 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6116] ppid=6110 vsize=15017928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6116/stat : 6116 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15378358272 31796 33554432000 4194304 4196468 140730911970976 140149468544016 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6117] ppid=6110 vsize=15017928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6117/stat : 6117 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15378358272 31796 33554432000 4194304 4196468 140730911970976 140149282700432 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6118] ppid=6110 vsize=15017928 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6118/stat : 6118 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15378358272 31796 33554432000 4194304 4196468 140730911970976 140149281647376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6119] ppid=6110 vsize=15017928 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6119/stat : 6119 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204554 15378358272 31796 33554432000 4194304 4196468 140730911970976 140149280594832 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6120] ppid=6110 vsize=15017928 memory=279699008038688 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6120/stat : 6120 (java) S 6110 6113 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52204556 15378358272 31796 33554432000 4194304 4196468 140730911970976 140148804131056 140149464312450 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6121] ppid=6110 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6121/stat : 6121 (java) S 6110 6113 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52204556 15378358272 31796 33554432000 4194304 4196468 140730911970976 140148037641376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6122] ppid=6110 vsize=15017928 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6122/stat : 6122 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204557 15378358272 31796 33554432000 4194304 4196468 140730911970976 140147802759920 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6123] ppid=6110 vsize=15017928 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6123/stat : 6123 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15378358272 31796 33554432000 4194304 4196468 140730911970976 140147428251600 140149464319899 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6124] ppid=6110 vsize=15017928 memory=8380 CPUtime=0.08 cores=0,2,4,6
/proc/6113/task/6124/stat : 6124 (java) R 6110 6113 2271 0 -1 1077944384 664 0 0 0 8 0 0 0 20 0 15 0 52204559 15378358272 31796 33554432000 4194304 4196468 140730911970976 140148803065744 140149464311509 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6125] ppid=6110 vsize=15017928 memory=7307210974946176466 CPUtime=0.07 cores=0,2,4,6
/proc/6113/task/6125/stat : 6125 (java) R 6110 6113 2271 0 -1 4202560 292 0 0 0 7 0 0 0 20 0 15 0 52204559 15378358272 31796 33554432000 4194304 4196468 140730911970976 140148802016272 140149449982742 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6126] ppid=6110 vsize=15017928 memory=7302135314614015847 CPUtime=0.17 cores=0,2,4,6
/proc/6113/task/6126/stat : 6126 (java) R 6110 6113 2271 0 -1 4202560 454 0 0 0 17 0 0 0 20 0 15 0 52204559 15378358272 31796 33554432000 4194304 4196468 140730911970976 140148800972480 140149464313238 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6127] ppid=6110 vsize=15017928 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6127/stat : 6127 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15378358272 31796 33554432000 4194304 4196468 140730911970976 140146930346848 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6128] ppid=6110 vsize=15017928 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6128/stat : 6128 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204559 15378358272 31796 33554432000 4194304 4196468 140730911970976 140148799920688 140149464312450 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 127184 KiB
[startup+1.50609 s]
/proc/loadavg: 2.77 2.20 2.11 6/220 6128
/proc/meminfo: memFree=14916108/32770624 swapFree=67108860/67108860
[pid=6113] ppid=6110 vsize=15022100 memory=389876 CPUtime=3.69 cores=0,2,4,6
/proc/6113/stat : 6113 (java) S 6110 6113 2271 0 -1 1077944320 22078 0 0 0 359 10 0 0 20 0 15 0 52204552 15382630400 97469 33554432000 4194304 4196468 140730911970976 140730911953520 140149464301303 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
/proc/6113/statm: 3755525 97469 3203 1 0 3716910 0
[pid=6113/tid=6115] ppid=6110 vsize=15022100 memory=288230377108275491 CPUtime=1.47 cores=0,2,4,6
/proc/6113/task/6115/stat : 6115 (java) R 6110 6113 2271 0 -1 4202560 16519 0 0 0 139 8 0 0 20 0 15 0 52204553 15382630400 97469 33554432000 4194304 4196468 140730911970976 140149436137888 140148960515766 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6116] ppid=6110 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6116/stat : 6116 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15382630400 97469 33554432000 4194304 4196468 140730911970976 140149468544016 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6117] ppid=6110 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6117/stat : 6117 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15382630400 97469 33554432000 4194304 4196468 140730911970976 140149282700432 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6118] ppid=6110 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6118/stat : 6118 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15382630400 97469 33554432000 4194304 4196468 140730911970976 140149281647376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6119] ppid=6110 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6119/stat : 6119 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204554 15382630400 97469 33554432000 4194304 4196468 140730911970976 140149280594832 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6120] ppid=6110 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6120/stat : 6120 (java) S 6110 6113 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52204556 15382630400 97469 33554432000 4194304 4196468 140730911970976 140148804131056 140149464312450 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
################
# More data... #
################
[pid=6113] ppid=6110 vsize=15024148 memory=709852 CPUtime=9.34 cores=0,2,4,6
/proc/6113/stat : 6113 (java) S 6110 6113 2271 0 -1 1077944320 29046 0 0 0 918 16 0 0 20 0 15 0 52204552 15384727552 177463 33554432000 4194304 4196468 140730911970976 140730911953520 140149464301303 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
/proc/6113/statm: 3756037 177463 3214 1 0 3717422 0
[pid=6113/tid=6115] ppid=6110 vsize=15024148 memory=8112282956445269571 CPUtime=3.16 cores=0,2,4,6
/proc/6113/task/6115/stat : 6115 (java) R 6110 6113 2271 0 -1 4202560 17217 0 0 0 303 13 0 0 20 0 15 0 52204553 15384727552 177463 33554432000 4194304 4196468 140730911970976 140149436139392 140148966490740 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6116] ppid=6110 vsize=15024148 memory=3 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6116/stat : 6116 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15384727552 177463 33554432000 4194304 4196468 140730911970976 140149468544016 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6117] ppid=6110 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6117/stat : 6117 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15384727552 177463 33554432000 4194304 4196468 140730911970976 140149282700432 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6118] ppid=6110 vsize=15024148 memory=4343 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6118/stat : 6118 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15384727552 177463 33554432000 4194304 4196468 140730911970976 140149281647376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6119] ppid=6110 vsize=15024148 memory=151 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6119/stat : 6119 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204554 15384727552 177463 33554432000 4194304 4196468 140730911970976 140149280594832 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6120] ppid=6110 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6120/stat : 6120 (java) S 6110 6113 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52204556 15384727552 177463 33554432000 4194304 4196468 140730911970976 140148804131056 140149464312450 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6121] ppid=6110 vsize=15024148 memory=1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6121/stat : 6121 (java) S 6110 6113 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52204556 15384727552 177463 33554432000 4194304 4196468 140730911970976 140148037641376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6122] ppid=6110 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6122/stat : 6122 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204557 15384727552 177463 33554432000 4194304 4196468 140730911970976 140147802759920 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6123] ppid=6110 vsize=15024148 memory=1410 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6123/stat : 6123 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15384727552 177975 33554432000 4194304 4196468 140730911970976 140147428251600 140149464319899 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6124] ppid=6110 vsize=15024148 memory=334 CPUtime=2.44 cores=0,2,4,6
/proc/6113/task/6124/stat : 6124 (java) R 6110 6113 2271 0 -1 4202560 4466 0 0 0 244 0 0 0 20 0 15 0 52204559 15384727552 177975 33554432000 4194304 4196468 140730911970976 140148803064992 140149448211728 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6125] ppid=6110 vsize=15024148 memory=0 CPUtime=2.42 cores=0,2,4,6
/proc/6113/task/6125/stat : 6125 (java) R 6110 6113 2271 0 -1 4202560 1844 0 0 0 242 0 0 0 20 0 15 0 52204559 15384727552 177975 33554432000 4194304 4196468 140730911970976 140148802015824 140149443517233 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6126] ppid=6110 vsize=15024148 memory=86 CPUtime=1.29 cores=0,2,4,6
/proc/6113/task/6126/stat : 6126 (java) S 6110 6113 2271 0 -1 1077944384 4177 0 0 0 128 1 0 0 20 0 15 0 52204559 15384727552 177975 33554432000 4194304 4196468 140730911970976 140148800973296 140149464312450 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6127] ppid=6110 vsize=15024148 memory=150 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6127/stat : 6127 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15384727552 177975 33554432000 4194304 4196468 140730911970976 140146930346848 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6128] ppid=6110 vsize=15024148 memory=158592 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6128/stat : 6128 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15384727552 177975 33554432000 4194304 4196468 140730911970976 140148799920688 140149464312450 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
Current children cumulated CPU time: 9.34 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 709852 KiB
[startup+4.80065 s]
/proc/loadavg: 2.70 2.20 2.11 3/220 6128
/proc/meminfo: memFree=13695936/32770624 swapFree=67108860/67108860
[pid=6113] ppid=6110 vsize=15026264 memory=2009564 CPUtime=12.55 cores=0,2,4,6
/proc/6113/stat : 6113 (java) S 6110 6113 2271 0 -1 1077944320 30599 0 0 0 1217 38 0 0 20 0 15 0 52204552 15386894336 502391 33554432000 4194304 4196468 140730911970976 140730911953520 140149464301303 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
/proc/6113/statm: 3756566 502391 3231 1 0 3717422 0
[pid=6113/tid=6115] ppid=6110 vsize=15026264 memory=0 CPUtime=4.75 cores=0,2,4,6
/proc/6113/task/6115/stat : 6115 (java) R 6110 6113 2271 0 -1 4202560 18213 0 0 0 442 33 0 0 20 0 15 0 52204553 15386894336 502391 33554432000 4194304 4196468 140730911970976 140149436136160 140149464313238 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6116] ppid=6110 vsize=15026264 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6116/stat : 6116 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15386894336 502391 33554432000 4194304 4196468 140730911970976 140149468544016 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6117] ppid=6110 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6117/stat : 6117 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15386894336 502391 33554432000 4194304 4196468 140730911970976 140149282700432 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6118] ppid=6110 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6118/stat : 6118 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15386894336 502391 33554432000 4194304 4196468 140730911970976 140149281647376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6119] ppid=6110 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6119/stat : 6119 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204554 15386894336 502391 33554432000 4194304 4196468 140730911970976 140149280594832 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6120] ppid=6110 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6120/stat : 6120 (java) S 6110 6113 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52204556 15386894336 502391 33554432000 4194304 4196468 140730911970976 140148804131056 140149464312450 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6121] ppid=6110 vsize=15026264 memory=1107468 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6121/stat : 6121 (java) S 6110 6113 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52204556 15386894336 502391 33554432000 4194304 4196468 140730911970976 140148037641376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6122] ppid=6110 vsize=15026264 memory=6935651454851507028 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6122/stat : 6122 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204557 15386894336 502391 33554432000 4194304 4196468 140730911970976 140147802759920 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6123] ppid=6110 vsize=15026264 memory=6935654753386390356 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6123/stat : 6123 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15386894336 502391 33554432000 4194304 4196468 140730911970976 140147428251600 140149464319899 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6124] ppid=6110 vsize=15026264 memory=4639641446577099620 CPUtime=3.16 cores=0,2,4,6
/proc/6113/task/6124/stat : 6124 (java) R 6110 6113 2271 0 -1 4202560 4610 0 0 0 316 0 0 0 20 0 15 0 52204559 15386894336 502391 33554432000 4194304 4196468 140730911970976 140148803070224 140149445622977 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6125] ppid=6110 vsize=15026264 memory=6935650355339879252 CPUtime=3.13 cores=0,2,4,6
/proc/6113/task/6125/stat : 6125 (java) R 6110 6113 2271 0 -1 4202560 2009 0 0 0 313 0 0 0 20 0 15 0 52204559 15386894336 502391 33554432000 4194304 4196468 140730911970976 140148802010704 140149447769204 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6126] ppid=6110 vsize=15026264 memory=6935652554363134804 CPUtime=1.46 cores=0,2,4,6
/proc/6113/task/6126/stat : 6126 (java) R 6110 6113 2271 0 -1 1077944384 4425 0 0 0 144 2 0 0 20 0 15 0 52204559 15386894336 502391 33554432000 4194304 4196468 140730911970976 140148800973296 140149464312450 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6127] ppid=6110 vsize=15026264 memory=7374759118635290704 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6127/stat : 6127 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15386894336 502391 33554432000 4194304 4196468 140730911970976 140146930346848 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6128] ppid=6110 vsize=15026264 memory=7230643926331379792 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6128/stat : 6128 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15386894336 502391 33554432000 4194304 4196468 140730911970976 140148799920688 140149464312450 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 2009564 KiB
[startup+5.60113 s]
/proc/loadavg: 2.70 2.20 2.11 4/220 6128
/proc/meminfo: memFree=13111268/32770624 swapFree=67108860/67108860
[pid=6113] ppid=6110 vsize=15026264 memory=2578084 CPUtime=14.26 cores=0,2,4,6
/proc/6113/stat : 6113 (java) S 6110 6113 2271 0 -1 1077944320 32243 0 0 0 1378 48 0 0 20 0 15 0 52204552 15386894336 644521 33554432000 4194304 4196468 140730911970976 140730911953520 140149464301303 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
/proc/6113/statm: 3756566 644521 3231 1 0 3717422 0
[pid=6113/tid=6115] ppid=6110 vsize=15026264 memory=1704 CPUtime=5.55 cores=0,2,4,6
/proc/6113/task/6115/stat : 6115 (java) R 6110 6113 2271 0 -1 4202560 18513 0 0 0 512 43 0 0 20 0 15 0 52204553 15386894336 644521 33554432000 4194304 4196468 140730911970976 140149436139088 140148973737439 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6116] ppid=6110 vsize=15026264 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6116/stat : 6116 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15386894336 644521 33554432000 4194304 4196468 140730911970976 140149468544016 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6117] ppid=6110 vsize=15026264 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6117/stat : 6117 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15386894336 644521 33554432000 4194304 4196468 140730911970976 140149282700432 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6118] ppid=6110 vsize=15026264 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6118/stat : 6118 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204554 15386894336 644521 33554432000 4194304 4196468 140730911970976 140149281647376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6119] ppid=6110 vsize=15026264 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6119/stat : 6119 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52204554 15386894336 644521 33554432000 4194304 4196468 140730911970976 140149280594832 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6120] ppid=6110 vsize=15026264 memory=8380 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6120/stat : 6120 (java) S 6110 6113 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52204556 15386894336 644521 33554432000 4194304 4196468 140730911970976 140148804131056 140149464312450 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6121] ppid=6110 vsize=15026264 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6121/stat : 6121 (java) S 6110 6113 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52204556 15386894336 644521 33554432000 4194304 4196468 140730911970976 140148037641376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6122] ppid=6110 vsize=15026264 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6122/stat : 6122 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52204557 15386894336 644521 33554432000 4194304 4196468 140730911970976 140147802759920 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6123] ppid=6110 vsize=15026264 memory=1894596 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6123/stat : 6123 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15386894336 644521 33554432000 4194304 4196468 140730911970976 140147428251600 140149464319899 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6124] ppid=6110 vsize=15026264 memory=15868 CPUtime=3.46 cores=0,2,4,6
/proc/6113/task/6124/stat : 6124 (java) R 6110 6113 2271 0 -1 4202560 4657 0 0 0 346 0 0 0 20 0 15 0 52204559 15386894336 644521 33554432000 4194304 4196468 140730911970976 140148803068496 140149443520496 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6125] ppid=6110 vsize=15026264 memory=4052 CPUtime=3.69 cores=0,2,4,6
/proc/6113/task/6125/stat : 6125 (java) R 6110 6113 2271 0 -1 4202560 3239 0 0 0 369 0 0 0 20 0 15 0 52204559 15386894336 644521 33554432000 4194304 4196468 140730911970976 140148802016160 140149445493392 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6126] ppid=6110 vsize=15026264 memory=18448 CPUtime=1.51 cores=0,2,4,6
/proc/6113/task/6126/stat : 6126 (java) S 6110 6113 2271 0 -1 1077944384 4492 0 0 0 149 2 0 0 20 0 15 0 52204559 15386894336 644521 33554432000 4194304 4196468 140730911970976 140148800973296 140149464312450 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6127] ppid=6110 vsize=15026264 memory=10256 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6127/stat : 6127 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15386894336 644521 33554432000 4194304 4196468 140730911970976 140146930346848 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6128] ppid=6110 vsize=15026264 memory=644 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6128/stat : 6128 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52204559 15386894336 644521 33554432000 4194304 4196468 140730911970976 140148799920688 140149464312450 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
Current children cumulated CPU time: 14.26 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 2578084 KiB
[startup+6.00079 s]*
/proc/loadavg: 2.70 2.20 2.11 3/225 6134
/proc/meminfo: memFree=12611492/32770624 swapFree=67108860/67108860
[pid=6113] ppid=6110 vsize=15683912 memory=2594900 CPUtime=14.61 cores=0,2,4,6
/proc/6113/stat : 6113 (java) S 6110 6113 2271 0 -1 1077944320 32963 0 0 0 1413 48 0 0 20 0 19 0 52204552 16060325888 648725 33554432000 4194304 4196468 140730911970976 140730911953520 140149464301303 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
/proc/6113/statm: 3920978 648725 3237 1 0 3881834 0
[pid=6129] ppid=6113 vsize=47876 memory=29092 CPUtime=0.38 cores=0,2,4,6
/proc/6129/stat : 6129 (minisat_release) R 6113 6113 2271 0 -1 4202496 8868 0 0 0 37 1 0 0 20 0 1 0 52205115 49025024 7273 33554432000 4194304 4308513 140730130645680 140730130642824 4276028 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 18251776 140730130649777 140730130650286 140730130650286 140730130653125 0
/proc/6129/statm: 11969 7273 334 28 0 8209 0
[pid=6113/tid=6115] ppid=6110 vsize=15683912 memory=-5059952977386882957 CPUtime=5.62 cores=0,2,4,6
/proc/6113/task/6115/stat : 6115 (java) S 6110 6113 2271 0 -1 1077944384 18788 0 0 0 519 43 0 0 20 0 19 0 52204553 16060325888 648725 33554432000 4194304 4196468 140730911970976 140149436140544 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6116] ppid=6110 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6116/stat : 6116 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52204554 16060325888 648725 33554432000 4194304 4196468 140730911970976 140149468544016 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6117] ppid=6110 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6117/stat : 6117 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52204554 16060325888 648725 33554432000 4194304 4196468 140730911970976 140149282700432 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6118] ppid=6110 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6118/stat : 6118 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52204554 16060325888 648725 33554432000 4194304 4196468 140730911970976 140149281647376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6119] ppid=6110 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6119/stat : 6119 (java) S 6110 6113 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52204554 16060325888 648725 33554432000 4194304 4196468 140730911970976 140149280594832 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6120] ppid=6110 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6120/stat : 6120 (java) S 6110 6113 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 52204556 16060325888 648725 33554432000 4194304 4196468 140730911970976 140148804131056 140149464312450 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6121] ppid=6110 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6121/stat : 6121 (java) S 6110 6113 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52204556 16060325888 648725 33554432000 4194304 4196468 140730911970976 140148037641376 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6122] ppid=6110 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6122/stat : 6122 (java) S 6110 6113 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52204557 16060325888 648725 33554432000 4194304 4196468 140730911970976 140147802759920 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6123] ppid=6110 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6123/stat : 6123 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52204559 16060325888 648725 33554432000 4194304 4196468 140730911970976 140147428251600 140149464319899 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6124] ppid=6110 vsize=15683912 memory=-1 CPUtime=3.6 cores=0,2,4,6
/proc/6113/task/6124/stat : 6124 (java) S 6110 6113 2271 0 -1 1077944384 4805 0 0 0 359 1 0 0 20 0 19 0 52204559 16060325888 648725 33554432000 4194304 4196468 140730911970976 140148803078896 140149464312450 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6125] ppid=6110 vsize=15683912 memory=139849641133696 CPUtime=3.82 cores=0,2,4,6
/proc/6113/task/6125/stat : 6125 (java) S 6110 6113 2271 0 -1 1077944384 3472 0 0 0 382 0 0 0 20 0 19 0 52204559 16060325888 648725 33554432000 4194304 4196468 140730911970976 140148802026352 140149464312450 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6126] ppid=6110 vsize=15683912 memory=-1 CPUtime=1.52 cores=0,2,4,6
/proc/6113/task/6126/stat : 6126 (java) S 6110 6113 2271 0 -1 1077944384 4502 0 0 0 150 2 0 0 20 0 19 0 52204559 16060325888 648725 33554432000 4194304 4196468 140730911970976 140148800973296 140149464312450 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6127] ppid=6110 vsize=15683912 memory=139849641133696 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6127/stat : 6127 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52204559 16060325888 648725 33554432000 4194304 4196468 140730911970976 140146930346848 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6128] ppid=6110 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6128/stat : 6128 (java) S 6110 6113 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52204559 16060325888 648725 33554432000 4194304 4196468 140730911970976 140148799920688 140149464312450 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6130] ppid=6110 vsize=15683912 memory=139849641133696 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6130/stat : 6130 (java) S 6110 6113 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52205115 16060325888 648725 33554432000 4194304 4196468 140730911970976 140148876780864 140149464325913 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6132] ppid=6110 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6132/stat : 6132 (java) S 6110 6113 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52205115 16060325888 648725 33554432000 4194304 4196468 140730911970976 140146393464112 140149464323229 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6133] ppid=6110 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6133/stat : 6133 (java) S 6110 6113 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52205115 16060325888 648725 33554432000 4194304 4196468 140730911970976 140146125029296 140149464323229 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
[pid=6113/tid=6134] ppid=6110 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6113/task/6134/stat : 6134 (java) S 6110 6113 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52205118 16060325888 648725 33554432000 4194304 4196468 140730911970976 140146661908256 140149464311509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29392896 140730911974387 140730911974665 140730911974665 140730911977423 0
Current children cumulated CPU time: 14.99 s
Current children cumulated vsize: 15731788 KiB
Current children cumulated memory: 2623992 KiB
Child status: 0
Real time (s): 6.06005
CPU time (s): 15.0649
CPU user time (s): 14.5456
CPU system time (s): 0.519364
CPU usage (%): 248.594
Max. virtual memory (cumulated for all children) (KiB): 15731788
Max. memory (cumulated for all children) (KiB): 2623992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5456
system time used= 0.519364
maximum resident set size= 2595716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41914
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4004
involuntary context switches= 58
# summary of solver processes directly reported to runsolver:
# pid: 6113
# total CPU time (s): 15.0649
# total CPU user time (s): 14.5456
# total CPU system time (s): 0.519364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064737 second user time and 0.105197 second system time
The end