0.67/0.53
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 18:07:33 CEST 2018
0.67/0.55 c PID: 20358
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.44/1.00 c (0,0) Parsing End
1.44/1.01 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 459 ctr, max domain size 10
1.44/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.44/1.01 c (0,0) Constraint Name Generate Begin
1.68/1.02 c (0,0) Ctr:HOME/instance-4294774-1532362052.xml,ExtensionConflict:ExtensionSupport:IntVar
1.68/1.02 c (0,0) Constraint Name Generate End
1.68/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.02 c (0,0) CSP to CSPinCNF Begin
2.54/1.43 c (0,0) translated 46 (10%) constraints
2.86/1.50 c (0,0) translated 92 (20%) constraints
2.86/1.56 c (1,1) translated 138 (30%) constraints
3.16/1.62 c (1,1) translated 184 (40%) constraints
3.49/1.80 c (1,1) translated 230 (50%) constraints
3.82/1.85 c (1,1) translated 276 (60%) constraints
4.14/1.91 c (1,1) translated 322 (70%) constraints
4.14/1.96 c (1,1) translated 368 (80%) constraints
4.48/2.01 c (1,1) translated 414 (90%) constraints
4.48/2.05 c (1,1) translated 459 (100%) constraints
4.80/2.11 c (1,1) STATISTICS1:HOME/instance-4294774-1532362052.xml,ExtensionConflict:ExtensionSupport:IntVar,190,4770,-1,10,11,1,,10:17262;2:432,11:9;4:3969;3:144;2:648,1:17694;0:9,
4.80/2.11 c (1,1) ===========================================
4.80/2.11 c (1,1) Both Encoding selects:
4.80/2.11 c (1,1) Order
4.80/2.11 c (1,1) ===========================================
4.80/2.15 c (1,1) translated 477 (10%) constraints
4.80/2.17 c (1,1) translated 954 (20%) constraints
4.80/2.19 c (1,1) translated 1431 (30%) constraints
5.08/2.21 c (1,1) translated 1908 (40%) constraints
5.08/2.24 c (1,1) translated 2385 (50%) constraints
5.08/2.27 c (1,1) translated 2862 (60%) constraints
5.08/2.29 c (1,1) translated 3339 (70%) constraints
5.38/2.32 c (1,1) translated 3816 (80%) constraints
5.38/2.34 c (1,1) translated 4293 (90%) constraints
5.38/2.37 c (1,1) translated 4770 (100%) constraints
5.38/2.37 c (1,1) CSP to CSPinCNF End
5.38/2.37 c (1,1) CSP: 100 int (0 aux), 90 bool (90 aux), 4770 ctr, max domain size 10
5.38/2.37 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.38/2.37 c (1,1) CSPinCNF Propagation Begin
5.71/2.46 c (1,1) 0 values, 909 unsatisfiable literals, and 0 valid clauses are removed
5.71/2.46 c (1,1) CSPinCNF Propagation End
5.71/2.46 c (1,1) CSP: 100 int (0 aux), 90 bool (90 aux), 4770 ctr, max domain size 10
5.71/2.46 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.71/2.46 c (1,1) Simplify CSPinCNF Begin
5.71/2.48 c (1,1) Simplify CSPinCNF End
5.71/2.48 c (1,1) CSP: 100 int (0 aux), 90 bool (90 aux), 4770 ctr, max domain size 10
5.71/2.48 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.71/2.48 c (1,1) Calculate Precise Domain Begin
5.71/2.48 c (1,1) 0 values are removed by re-calculation
5.71/2.48 c (1,1) Calculate Precise Domain End
5.71/2.48 c (1,1) CSP: 100 int (0 aux), 90 bool (90 aux), 4770 ctr, max domain size 10
5.71/2.48 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.71/2.48 c (1,1) CSPinCNF to SatSolver Begin
6.04/2.54 c (2,1) 477 (10 %) CSP clauses are encoded (990 SAT variables, 1276 SAT clauses)
6.04/2.55 c (2,2) 954 (20 %) CSP clauses are encoded (990 SAT variables, 1753 SAT clauses)
6.04/2.56 c (2,2) 1431 (30 %) CSP clauses are encoded (990 SAT variables, 2230 SAT clauses)
6.04/2.57 c (2,2) 1908 (40 %) CSP clauses are encoded (990 SAT variables, 2707 SAT clauses)
6.04/2.58 c (2,2) 2385 (50 %) CSP clauses are encoded (990 SAT variables, 3184 SAT clauses)
6.04/2.59 c (2,2) 2862 (60 %) CSP clauses are encoded (990 SAT variables, 3661 SAT clauses)
6.37/2.60 c (2,2) 3339 (70 %) CSP clauses are encoded (990 SAT variables, 4138 SAT clauses)
6.37/2.61 c (2,2) 3816 (80 %) CSP clauses are encoded (990 SAT variables, 4615 SAT clauses)
6.37/2.62 c (2,2) 4293 (90 %) CSP clauses are encoded (990 SAT variables, 5092 SAT clauses)
6.37/2.63 c (2,2) 4770 (100 %) CSP clauses are encoded (990 SAT variables, 5569 SAT clauses)
6.37/2.63 c (2,2) CSPinCNF to SatSolver End
6.37/2.63 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.37/2.67 c (2,2) STATISTICS2:HOME/instance-4294774-1532362052.xml,ExtensionConflict:ExtensionSupport:IntVar,190,4770,-1,10,10,1,,10:16362;2:432,10:9;4:3519;3:144;2:1098,1:16794,
6.37/2.67 c (2,2) SatSolver.solve Begin
6.37/2.67 c (2,2) 990 bool, 5570 clause
6.37/2.67 c (2,2) 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-4294774-1532362052.xml-scop-20358.cnf HOME/instance-4294774-1532362052.xml-scop-20358.cnf.out
7.04/3.04 c (2,0) c This is COMiniSatPS.
7.04/3.04 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
7.04/3.04 c (2,0) c ============================[ Problem Statistics ]=============================
7.04/3.04 c (2,0) c | |
7.04/3.04 c (2,0) c | Number of variables: 990 |
7.04/3.04 c (2,0) c | Number of clauses: 5570 |
7.04/3.04 c (2,0) c | Parse time: 0.00 s |
7.04/3.04 c (2,0) c | Eliminated clauses: 0.00 Mb |
7.04/3.04 c (2,0) c Reduced to 891 vars, 5357 cls (grow=0)
7.04/3.04 c (2,0) c No iterative elimination performed. (vars=891, c/v ratio=6.0)
7.04/3.04 c (2,0) c | Simplification time: 0.00 s |
7.04/3.04 c (2,0) c | |
7.04/3.04 c (2,0) c ============================[ Search Statistics ]==============================
7.04/3.04 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
7.04/3.04 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.04/3.04 c (2,0) c ===============================================================================
7.04/3.04 c (2,0) c ===============================================================================
7.04/3.04 c (2,0) c restarts : 56
7.04/3.04 c (2,0) c conflicts : 44898 (128385 /sec)
7.04/3.04 c (2,0) c decisions : 79200 (0.00 % random) (226471 /sec)
7.04/3.04 c (2,0) c propagations : 625700 (1789176 /sec)
7.04/3.04 c (2,0) c conflict literals : 406688 (9.01 % deleted)
7.04/3.04 c (2,0) c CPU time : 0.349714 s
7.04/3.04 c (2,0)
7.04/3.04 c (2,0) s UNSATISFIABLE
7.04/3.04 c (2,2) SatSolver.solve End
7.04/3.04 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.04/3.04 c (2,2) Show results Begin
7.04/3.04 s UNSATISFIABLE
7.04/3.04 c (2,2) Show results End
7.04/3.04 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.04/3.04 c (2,2) 0,0,1,1,1,1,2,2,2,STOP-AFTER(ALL)
7.04/3.04 c END-Prog: Mon Jul 23 18:07:35 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 (5802 MiB free)
memory of node 1: 16384 MiB (8098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294774-1532362052/watcher-4294774-1532362052 -o /tmp/evaluation-result-4294774-1532362052/solver-4294774-1532362052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294774-1532362052.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=20358, runsolver pid=20355
[startup+0.100089 s]*
/proc/loadavg: 2.65 2.45 2.22 3/220 20373
/proc/meminfo: memFree=14174420/32770624 swapFree=67108860/67108860
[pid=20358] ppid=20355 vsize=15011656 memory=72656 CPUtime=0.12 cores=0,2,4,6
/proc/20358/stat : 20358 (java) S 20355 20358 8919 0 -1 1077944320 6315 0 0 0 11 1 0 0 20 0 15 0 53768394 15371935744 18164 33554432000 4194304 4196468 140734291810384 140734291792928 140524660178679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
/proc/20358/statm: 3752914 18164 2783 1 0 3715374 0
[pid=20358/tid=20360] ppid=20355 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/20358/task/20360/stat : 20360 (java) R 20355 20358 8919 0 -1 4202560 4546 0 0 0 8 1 0 0 20 0 15 0 53768395 15371935744 18296 33554432000 4194304 4196468 140734291810384 140524632005008 140524640454400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20361] ppid=20355 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20361/stat : 20361 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 18296 33554432000 4194304 4196468 140734291810384 140524664420752 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20362] ppid=20355 vsize=15011656 memory=140197831054976 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 18296 33554432000 4194304 4196468 140734291810384 140524486916368 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20363] ppid=20355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20363/stat : 20363 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 18296 33554432000 4194304 4196468 140734291810384 140524119255696 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20364] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20364/stat : 20364 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 18296 33554432000 4194304 4196468 140734291810384 140524118202896 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20365] ppid=20355 vsize=15011656 memory=140197831054976 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20365/stat : 20365 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53768398 15371935744 18296 33554432000 4194304 4196468 140734291810384 140523429890672 140524660189826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20366] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20366/stat : 20366 (java) S 20355 20358 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53768398 15371935744 18296 33554432000 4194304 4196468 140734291810384 140523343963424 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20367] ppid=20355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20367/stat : 20367 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768398 15371935744 18296 33554432000 4194304 4196468 140734291810384 140523075528304 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20368] ppid=20355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20368/stat : 20368 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 18296 33554432000 4194304 4196468 140734291810384 140522701019728 140524660197275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20369] ppid=20355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20369/stat : 20369 (java) S 20355 20358 8919 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 18362 33554432000 4194304 4196468 140734291810384 140523428837488 140524660189826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20370] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20370/stat : 20370 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 18362 33554432000 4194304 4196468 140734291810384 140523427784688 140524660189826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20371] ppid=20355 vsize=15011656 memory=140197831054976 CPUtime=0.01 cores=0,2,4,6
/proc/20358/task/20371/stat : 20371 (java) S 20355 20358 8919 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 53768401 15371935744 18362 33554432000 4194304 4196468 140734291810384 140523426732400 140524660189826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20372] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20372/stat : 20372 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 18362 33554432000 4194304 4196468 140734291810384 140522203113952 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20373] ppid=20355 vsize=15011656 memory=140197831054976 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20373/stat : 20373 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 18362 33554432000 4194304 4196468 140734291810384 140523425680304 140524660189826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72656 KiB
[startup+0.210298 s]*
/proc/loadavg: 2.65 2.45 2.22 3/220 20373
/proc/meminfo: memFree=14160716/32770624 swapFree=67108860/67108860
[pid=20358] ppid=20355 vsize=15011656 memory=85688 CPUtime=0.26 cores=0,2,4,6
/proc/20358/stat : 20358 (java) S 20355 20358 8919 0 -1 1077944320 9875 0 0 0 24 2 0 0 20 0 15 0 53768394 15371935744 21422 33554432000 4194304 4196468 140734291810384 140734291792928 140524660178679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
/proc/20358/statm: 3752914 21422 2886 1 0 3715374 0
[pid=20358/tid=20360] ppid=20355 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/20358/task/20360/stat : 20360 (java) R 20355 20358 8919 0 -1 4202560 7778 0 0 0 18 2 0 0 20 0 15 0 53768395 15371935744 21422 33554432000 4194304 4196468 140734291810384 140524631998384 140524644259166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20361] ppid=20355 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20361/stat : 20361 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 21422 33554432000 4194304 4196468 140734291810384 140524664420752 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20362] ppid=20355 vsize=15011656 memory=4051469148300973728 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 21422 33554432000 4194304 4196468 140734291810384 140524486916368 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20363] ppid=20355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20363/stat : 20363 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 21422 33554432000 4194304 4196468 140734291810384 140524119255696 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20364] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20364/stat : 20364 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 21422 33554432000 4194304 4196468 140734291810384 140524118202896 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20365] ppid=20355 vsize=15011656 memory=140197831054976 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20365/stat : 20365 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53768398 15371935744 21422 33554432000 4194304 4196468 140734291810384 140523429890672 140524660189826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20366] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20366/stat : 20366 (java) S 20355 20358 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53768398 15371935744 21422 33554432000 4194304 4196468 140734291810384 140523343963424 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20367] ppid=20355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20367/stat : 20367 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768398 15371935744 21422 33554432000 4194304 4196468 140734291810384 140523075528304 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20368] ppid=20355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20368/stat : 20368 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 21422 33554432000 4194304 4196468 140734291810384 140522701019728 140524660197275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20369] ppid=20355 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20358/task/20369/stat : 20369 (java) S 20355 20358 8919 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 15 0 53768401 15371935744 21422 33554432000 4194304 4196468 140734291810384 140523428837488 140524660189826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20370] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20370/stat : 20370 (java) S 20355 20358 8919 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 21422 33554432000 4194304 4196468 140734291810384 140523427784688 140524660189826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20371] ppid=20355 vsize=15011656 memory=140197831054976 CPUtime=0.03 cores=0,2,4,6
/proc/20358/task/20371/stat : 20371 (java) R 20355 20358 8919 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 15 0 53768401 15371935744 21422 33554432000 4194304 4196468 140734291810384 140523426732528 140524652133601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20372] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20372/stat : 20372 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 21422 33554432000 4194304 4196468 140734291810384 140522203113952 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20373] ppid=20355 vsize=15011656 memory=140197831054976 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20373/stat : 20373 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 21422 33554432000 4194304 4196468 140734291810384 140523425680304 140524660189826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85688 KiB
[startup+0.310293 s]*
/proc/loadavg: 2.65 2.45 2.22 3/220 20373
/proc/meminfo: memFree=14157056/32770624 swapFree=67108860/67108860
[pid=20358] ppid=20355 vsize=15011656 memory=89780 CPUtime=0.43 cores=0,2,4,6
/proc/20358/stat : 20358 (java) S 20355 20358 8919 0 -1 1077944320 10472 0 0 0 41 2 0 0 20 0 15 0 53768394 15371935744 22445 33554432000 4194304 4196468 140734291810384 140734291792928 140524660178679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
/proc/20358/statm: 3752914 22445 2992 1 0 3715374 0
[pid=20358/tid=20360] ppid=20355 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/20358/task/20360/stat : 20360 (java) R 20355 20358 8919 0 -1 4202560 8198 0 0 0 28 2 0 0 20 0 15 0 53768395 15371935744 22445 33554432000 4194304 4196468 140734291810384 140524631982832 140524644259166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20361] ppid=20355 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20361/stat : 20361 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 22445 33554432000 4194304 4196468 140734291810384 140524664420752 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20362] ppid=20355 vsize=15011656 memory=3906791010271696544 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 22445 33554432000 4194304 4196468 140734291810384 140524486916368 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20363] ppid=20355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20363/stat : 20363 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 22445 33554432000 4194304 4196468 140734291810384 140524119255696 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20364] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20364/stat : 20364 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53768396 15371935744 22445 33554432000 4194304 4196468 140734291810384 140524118202896 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20365] ppid=20355 vsize=15011656 memory=140197831054976 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20365/stat : 20365 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53768398 15371935744 22445 33554432000 4194304 4196468 140734291810384 140523429890672 140524660189826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20366] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20366/stat : 20366 (java) S 20355 20358 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53768398 15371935744 22445 33554432000 4194304 4196468 140734291810384 140523343963424 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20367] ppid=20355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20367/stat : 20367 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768398 15371935744 22445 33554432000 4194304 4196468 140734291810384 140523075528304 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20368] ppid=20355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20368/stat : 20368 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 22445 33554432000 4194304 4196468 140734291810384 140522701019728 140524660197275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20369] ppid=20355 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20358/task/20369/stat : 20369 (java) R 20355 20358 8919 0 -1 1077944384 557 0 0 0 3 0 0 0 20 0 15 0 53768401 15371935744 22445 33554432000 4194304 4196468 140734291810384 140523428837488 140524660189826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20370] ppid=20355 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20358/task/20370/stat : 20370 (java) R 20355 20358 8919 0 -1 4202560 38 0 0 0 1 0 0 0 20 0 15 0 53768401 15371935744 22445 33554432000 4194304 4196468 140734291810384 140523427784688 140524639479601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20371] ppid=20355 vsize=15011656 memory=140197831054976 CPUtime=0.07 cores=0,2,4,6
/proc/20358/task/20371/stat : 20371 (java) R 20355 20358 8919 0 -1 4202560 346 0 0 0 7 0 0 0 20 0 15 0 53768401 15371935744 22445 33554432000 4194304 4196468 140734291810384 140523426732400 140524644259166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20372] ppid=20355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20372/stat : 20372 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 22445 33554432000 4194304 4196468 140734291810384 140522203113952 140524660188885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20373] ppid=20355 vsize=15011656 memory=140197831054976 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20373/stat : 20373 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768401 15371935744 22445 33554432000 4194304 4196468 140734291810384 140523425680304 140524660189826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89780 KiB
[startup+0.700751 s]
/proc/loadavg: 2.65 2.45 2.22 3/220 20373
/proc/meminfo: memFree=14132748/32770624 swapFree=67108860/67108860
[pid=20358] ppid=20355 vsize=15019976 memory=127376 CPUtime=1 cores=0,2,4,6
/proc/20358/stat : 20358 (java) S 20355 20358 8919 0 -1 1077944320 17548 0 0 0 96 4 0 0 20 0 15 0 53768394 15380455424 31844 33554432000 4194304 4196468 140734291810384 140734291792928 140524660178679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
/proc/20358/statm: 3754994 31844 3137 1 0 3716398 0
[pid=20358/tid=20360] ppid=20355 vsize=15019976 memory=227664740770540 CPUtime=0.67 cores=0,2,4,6
/proc/20358/task/20360/stat : 20360 (java) R 20355 20358 8919 0 -1 4202560 14840 0 0 0 63 4 0 0 20 0 15 0 53768395 15380455424 31844 33554432000 4194304 4196468 140734291810384 140524632007408 140524652856693 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20361] ppid=20355 vsize=15019976 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20361/stat : 20361 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15380455424 31844 33554432000 4194304 4196468 140734291810384 140524664420752 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20362] ppid=20355 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15380455424 31844 33554432000 4194304 4196468 140734291810384 140524486916368 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20363] ppid=20355 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20363/stat : 20363 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15380455424 31844 33554432000 4194304 4196468 140734291810384 140524119255696 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20364] ppid=20355 vsize=15019976 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20364/stat : 20364 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53768396 15380455424 31844 33554432000 4194304 4196468 140734291810384 140524118202896 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20365] ppid=20355 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20365/stat : 20365 (java) S 20355 20358 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53768398 15380455424 31844 33554432000 4194304 4196468 140734291810384 140523429890672 140524660189826 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20366] ppid=20355 vsize=15019976 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20366/stat : 20366 (java) S 20355 20358 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53768398 15380455424 31844 33554432000 4194304 4196468 140734291810384 140523343963424 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20367] ppid=20355 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20367/stat : 20367 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768398 15380533248 31844 33554432000 4194304 4196468 140734291810384 140523075528304 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20368] ppid=20355 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20368/stat : 20368 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15380533248 31844 33554432000 4194304 4196468 140734291810384 140522701019728 140524660197275 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20369] ppid=20355 vsize=15020052 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20358/task/20369/stat : 20369 (java) R 20355 20358 8919 0 -1 4202560 754 0 0 0 9 0 0 0 20 0 15 0 53768401 15380533248 31844 33554432000 4194304 4196468 140734291810384 140523428826160 140524641370937 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20370] ppid=20355 vsize=15020052 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/20358/task/20370/stat : 20370 (java) S 20355 20358 8919 0 -1 1077944384 147 0 0 0 5 0 0 0 20 0 15 0 53768401 15380533248 31844 33554432000 4194304 4196468 140734291810384 140523427784688 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20371] ppid=20355 vsize=15020052 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/20358/task/20371/stat : 20371 (java) S 20355 20358 8919 0 -1 1077944384 467 0 0 0 17 0 0 0 20 0 15 0 53768401 15380533248 31844 33554432000 4194304 4196468 140734291810384 140523426732400 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20372] ppid=20355 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20372/stat : 20372 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15380533248 31844 33554432000 4194304 4196468 140734291810384 140522203113952 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20373] ppid=20355 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20373/stat : 20373 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768401 15380533248 31844 33554432000 4194304 4196468 140734291810384 140523425680304 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 127376 KiB
[startup+1.50164 s]
/proc/loadavg: 2.65 2.45 2.22 5/220 20373
/proc/meminfo: memFree=14107048/32770624 swapFree=67108860/67108860
[pid=20358] ppid=20355 vsize=15022100 memory=182260 CPUtime=2.86 cores=0,2,4,6
/proc/20358/stat : 20358 (java) S 20355 20358 8919 0 -1 1077944320 21534 0 0 0 279 7 0 0 20 0 15 0 53768394 15382630400 45565 33554432000 4194304 4196468 140734291810384 140734291792928 140524660178679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
/proc/20358/statm: 3755525 45565 3202 1 0 3716910 0
[pid=20358/tid=20360] ppid=20355 vsize=15022100 memory=5794836780235446373 CPUtime=1.47 cores=0,2,4,6
/proc/20358/task/20360/stat : 20360 (java) R 20355 20358 8919 0 -1 4202560 16065 0 0 0 142 5 0 0 20 0 15 0 53768395 15382630400 45565 33554432000 4194304 4196468 140734291810384 140524632010944 140524165710759 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20361] ppid=20355 vsize=15022100 memory=6298673690012637285 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20361/stat : 20361 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15382630400 45565 33554432000 4194304 4196468 140734291810384 140524664420752 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20362] ppid=20355 vsize=15022100 memory=7517461399977812847 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15382630400 45565 33554432000 4194304 4196468 140734291810384 140524486916368 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20363] ppid=20355 vsize=15022100 memory=7813015734734711377 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20363/stat : 20363 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15382630400 45565 33554432000 4194304 4196468 140734291810384 140524119255696 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20364] ppid=20355 vsize=15022100 memory=4638778406922702160 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20364/stat : 20364 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53768396 15382630400 45565 33554432000 4194304 4196468 140734291810384 140524118202896 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20365] ppid=20355 vsize=15022100 memory=7163091112954716761 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20365/stat : 20365 (java) S 20355 20358 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53768398 15382630400 45565 33554432000 4194304 4196468 140734291810384 140523429890672 140524660189826 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
################
# More data... #
################
[pid=20358] ppid=20355 vsize=15022100 memory=200568 CPUtime=3.16 cores=0,2,4,6
/proc/20358/stat : 20358 (java) S 20355 20358 8919 0 -1 1077944320 22047 0 0 0 309 7 0 0 20 0 15 0 53768394 15382630400 50142 33554432000 4194304 4196468 140734291810384 140734291792928 140524660178679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
/proc/20358/statm: 3755525 50142 3202 1 0 3716910 0
[pid=20358/tid=20360] ppid=20355 vsize=15022100 memory=0 CPUtime=1.56 cores=0,2,4,6
/proc/20358/task/20360/stat : 20360 (java) R 20355 20358 8919 0 -1 4202560 16075 0 0 0 151 5 0 0 20 0 15 0 53768395 15382630400 50142 33554432000 4194304 4196468 140734291810384 140524632010944 140524166702439 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20361] ppid=20355 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20361/stat : 20361 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15382630400 50142 33554432000 4194304 4196468 140734291810384 140524664420752 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20362] ppid=20355 vsize=15022100 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15382630400 50142 33554432000 4194304 4196468 140734291810384 140524486916368 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20363] ppid=20355 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20363/stat : 20363 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15382630400 50142 33554432000 4194304 4196468 140734291810384 140524119255696 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20364] ppid=20355 vsize=15022100 memory=12081 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20364/stat : 20364 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53768396 15382630400 50142 33554432000 4194304 4196468 140734291810384 140524118202896 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20365] ppid=20355 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20365/stat : 20365 (java) S 20355 20358 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53768398 15382630400 50142 33554432000 4194304 4196468 140734291810384 140523429890672 140524660189826 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20366] ppid=20355 vsize=15022100 memory=-2023959437020729679 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20366/stat : 20366 (java) S 20355 20358 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53768398 15382630400 50142 33554432000 4194304 4196468 140734291810384 140523343963424 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20367] ppid=20355 vsize=15022100 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20367/stat : 20367 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768398 15382630400 50142 33554432000 4194304 4196468 140734291810384 140523075528304 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20368] ppid=20355 vsize=15022100 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20368/stat : 20368 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15382630400 50142 33554432000 4194304 4196468 140734291810384 140522701019728 140524660197275 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20369] ppid=20355 vsize=15022100 memory=6656426216303648864 CPUtime=0.45 cores=0,2,4,6
/proc/20358/task/20369/stat : 20369 (java) R 20355 20358 8919 0 -1 4202560 1281 0 0 0 45 0 0 0 20 0 15 0 53768401 15382630400 50142 33554432000 4194304 4196468 140734291810384 140523428818504 140524643675467 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20370] ppid=20355 vsize=15022100 memory=-3195349257566499689 CPUtime=0.43 cores=0,2,4,6
/proc/20358/task/20370/stat : 20370 (java) R 20355 20358 8919 0 -1 4202560 789 0 0 0 43 0 0 0 20 0 15 0 53768401 15382630400 50142 33554432000 4194304 4196468 140734291810384 140523427763120 140524643675467 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20371] ppid=20355 vsize=15022100 memory=280395463667264 CPUtime=0.68 cores=0,2,4,6
/proc/20358/task/20371/stat : 20371 (java) S 20355 20358 8919 0 -1 1077944384 2562 0 0 0 68 0 0 0 20 0 15 0 53768401 15382630400 50142 33554432000 4194304 4196468 140734291810384 140523426732400 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20372] ppid=20355 vsize=15022100 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20372/stat : 20372 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15382630400 50142 33554432000 4194304 4196468 140734291810384 140522203113952 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20373] ppid=20355 vsize=15022100 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20373/stat : 20373 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768401 15382630400 50142 33554432000 4194304 4196468 140734291810384 140523425680304 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 200568 KiB
[startup+2.40067 s]
/proc/loadavg: 2.65 2.45 2.22 5/220 20373
/proc/meminfo: memFree=13970348/32770624 swapFree=67108860/67108860
[pid=20358] ppid=20355 vsize=15024148 memory=359936 CPUtime=5.71 cores=0,2,4,6
/proc/20358/stat : 20358 (java) S 20355 20358 8919 0 -1 1077944320 24574 0 0 0 560 11 0 0 20 0 15 0 53768394 15384727552 89984 33554432000 4194304 4196468 140734291810384 140734291792928 140524660178679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
/proc/20358/statm: 3756037 89984 3203 1 0 3717422 0
[pid=20358/tid=20360] ppid=20355 vsize=15024148 memory=6003387811819110496 CPUtime=2.37 cores=0,2,4,6
/proc/20358/task/20360/stat : 20360 (java) R 20355 20358 8919 0 -1 4202560 17026 0 0 0 228 9 0 0 20 0 15 0 53768395 15384727552 89984 33554432000 4194304 4196468 140734291810384 140524632015728 140524170772659 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20361] ppid=20355 vsize=15024148 memory=-7453528518462155811 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20361/stat : 20361 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15384727552 89984 33554432000 4194304 4196468 140734291810384 140524664420752 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20362] ppid=20355 vsize=15024148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15384727552 89984 33554432000 4194304 4196468 140734291810384 140524486916368 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20363] ppid=20355 vsize=15024148 memory=21455 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20363/stat : 20363 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768396 15384727552 89984 33554432000 4194304 4196468 140734291810384 140524119255696 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20364] ppid=20355 vsize=15024148 memory=6298673690012637285 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20364/stat : 20364 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53768396 15384727552 89984 33554432000 4194304 4196468 140734291810384 140524118202896 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20365] ppid=20355 vsize=15024148 memory=6298673690012637285 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20365/stat : 20365 (java) S 20355 20358 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53768398 15384727552 89984 33554432000 4194304 4196468 140734291810384 140523429890672 140524660189826 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20366] ppid=20355 vsize=15024148 memory=6298673690012637285 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20366/stat : 20366 (java) S 20355 20358 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53768398 15384727552 89984 33554432000 4194304 4196468 140734291810384 140523343963424 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20367] ppid=20355 vsize=15024148 memory=6298673690012637285 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20367/stat : 20367 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768398 15384727552 89984 33554432000 4194304 4196468 140734291810384 140523075528304 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20368] ppid=20355 vsize=15024148 memory=6298673690012637285 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20368/stat : 20368 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15384727552 89984 33554432000 4194304 4196468 140734291810384 140522701019728 140524660197275 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20369] ppid=20355 vsize=15024148 memory=6298673690012637285 CPUtime=1.25 cores=0,2,4,6
/proc/20358/task/20369/stat : 20369 (java) R 20355 20358 8919 0 -1 4202560 1928 0 0 0 125 0 0 0 20 0 15 0 53768401 15384727552 89984 33554432000 4194304 4196468 140734291810384 140523428825040 140524641588829 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20370] ppid=20355 vsize=15024148 memory=6298673690012637285 CPUtime=1.22 cores=0,2,4,6
/proc/20358/task/20370/stat : 20370 (java) R 20355 20358 8919 0 -1 4202560 1507 0 0 0 122 0 0 0 20 0 15 0 53768401 15384727552 89984 33554432000 4194304 4196468 140734291810384 140523427765648 140524641724264 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20371] ppid=20355 vsize=15024148 memory=6298673690012637285 CPUtime=0.82 cores=0,2,4,6
/proc/20358/task/20371/stat : 20371 (java) R 20355 20358 8919 0 -1 1077944384 2773 0 0 0 82 0 0 0 20 0 15 0 53768401 15384727552 89984 33554432000 4194304 4196468 140734291810384 140523426732400 140524660189826 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20372] ppid=20355 vsize=15024148 memory=6298673690012637285 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20372/stat : 20372 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53768401 15384727552 89984 33554432000 4194304 4196468 140734291810384 140522203113952 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20373] ppid=20355 vsize=15024148 memory=6298673690012637285 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20373/stat : 20373 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53768401 15384727552 89984 33554432000 4194304 4196468 140734291810384 140523425680304 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 359936 KiB
[startup+2.80064 s]
/proc/loadavg: 2.65 2.45 2.22 5/220 20373
/proc/meminfo: memFree=13970348/32770624 swapFree=67108860/67108860
[pid=20358] ppid=20355 vsize=15683912 memory=454776 CPUtime=6.73 cores=0,2,4,6
/proc/20358/stat : 20358 (java) S 20355 20358 8919 0 -1 1077944320 25423 0 0 0 660 13 0 0 20 0 19 0 53768394 16060325888 113694 33554432000 4194304 4196468 140734291810384 140734291792928 140524660178679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
/proc/20358/statm: 3920978 113694 3219 1 0 3881834 0
[pid=20358/tid=20360] ppid=20355 vsize=15683912 memory=8026508445472237712 CPUtime=2.69 cores=0,2,4,6
/proc/20358/task/20360/stat : 20360 (java) S 20355 20358 8919 0 -1 1077944384 17484 0 0 0 259 10 0 0 20 0 19 0 53768395 16060325888 113694 33554432000 4194304 4196468 140734291810384 140524632017920 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20361] ppid=20355 vsize=15683912 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20361/stat : 20361 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53768396 16060325888 113694 33554432000 4194304 4196468 140734291810384 140524664420752 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20362] ppid=20355 vsize=15683912 memory=13569318751596634 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53768396 16060325888 113694 33554432000 4194304 4196468 140734291810384 140524486916368 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20363] ppid=20355 vsize=15683912 memory=15964 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20363/stat : 20363 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53768396 16060325888 113694 33554432000 4194304 4196468 140734291810384 140524119255696 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20364] ppid=20355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20364/stat : 20364 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53768396 16060325888 113694 33554432000 4194304 4196468 140734291810384 140524118202896 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20365] ppid=20355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20365/stat : 20365 (java) S 20355 20358 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53768398 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523429890672 140524660189826 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20366] ppid=20355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20366/stat : 20366 (java) S 20355 20358 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53768398 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523343963424 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20367] ppid=20355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20367/stat : 20367 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53768398 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523075528304 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20368] ppid=20355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20368/stat : 20368 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140522701019728 140524660197275 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20369] ppid=20355 vsize=15683912 memory=4123383241682084185 CPUtime=1.55 cores=0,2,4,6
/proc/20358/task/20369/stat : 20369 (java) S 20355 20358 8919 0 -1 1077944384 1996 0 0 0 155 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523428837488 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20370] ppid=20355 vsize=15683912 memory=4638778406922702160 CPUtime=1.52 cores=0,2,4,6
/proc/20358/task/20370/stat : 20370 (java) S 20355 20358 8919 0 -1 1077944384 1612 0 0 0 152 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523427784688 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20371] ppid=20355 vsize=15683912 memory=4639930699739328107 CPUtime=0.92 cores=0,2,4,6
/proc/20358/task/20371/stat : 20371 (java) S 20355 20358 8919 0 -1 1077944384 2934 0 0 0 92 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523426732400 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20372] ppid=20355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20372/stat : 20372 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140522203113952 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20373] ppid=20355 vsize=15683912 memory=140197731980386 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20373/stat : 20373 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523425680304 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
Current children cumulated CPU time: 6.73 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 454776 KiB
[startup+3.00057 s]*
/proc/loadavg: 2.65 2.45 2.22 3/225 20379
/proc/meminfo: memFree=13784912/32770624 swapFree=67108860/67108860
[pid=20358] ppid=20355 vsize=15683912 memory=454776 CPUtime=6.73 cores=0,2,4,6
/proc/20358/stat : 20358 (java) S 20355 20358 8919 0 -1 1077944320 25423 0 0 0 660 13 0 0 20 0 19 0 53768394 16060325888 113694 33554432000 4194304 4196468 140734291810384 140734291792928 140524660178679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
/proc/20358/statm: 3920978 113694 3219 1 0 3881834 0
[pid=20374] ppid=20358 vsize=26984 memory=7732 CPUtime=0.31 cores=0,2,4,6
/proc/20374/stat : 20374 (minisat_release) R 20358 20358 8919 0 -1 4202496 2146 0 0 0 31 0 0 0 20 0 1 0 53768663 27631616 1933 33554432000 4194304 4308513 140735232428944 140735232425848 4275941 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 19247104 140735232434863 140735232435374 140735232435374 140735232438213 0
/proc/20374/statm: 6746 1933 351 28 0 2986 0
[pid=20358/tid=20360] ppid=20355 vsize=15683912 memory=7883960649037381690 CPUtime=2.69 cores=0,2,4,6
/proc/20358/task/20360/stat : 20360 (java) S 20355 20358 8919 0 -1 1077944384 17484 0 0 0 259 10 0 0 20 0 19 0 53768395 16060325888 113694 33554432000 4194304 4196468 140734291810384 140524632017920 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20361] ppid=20355 vsize=15683912 memory=8947 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20361/stat : 20361 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53768396 16060325888 113694 33554432000 4194304 4196468 140734291810384 140524664420752 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20362] ppid=20355 vsize=15683912 memory=4353123091848900640 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53768396 16060325888 113694 33554432000 4194304 4196468 140734291810384 140524486916368 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20363] ppid=20355 vsize=15683912 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20363/stat : 20363 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53768396 16060325888 113694 33554432000 4194304 4196468 140734291810384 140524119255696 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20364] ppid=20355 vsize=15683912 memory=3471342594151892656 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20364/stat : 20364 (java) S 20355 20358 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53768396 16060325888 113694 33554432000 4194304 4196468 140734291810384 140524118202896 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20365] ppid=20355 vsize=15683912 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20365/stat : 20365 (java) S 20355 20358 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53768398 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523429890672 140524660189826 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20366] ppid=20355 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20366/stat : 20366 (java) S 20355 20358 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53768398 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523343963424 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20367] ppid=20355 vsize=15683912 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20367/stat : 20367 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53768398 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523075528304 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20368] ppid=20355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20368/stat : 20368 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140522701019728 140524660197275 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20369] ppid=20355 vsize=15683912 memory=3184097920075968559 CPUtime=1.55 cores=0,2,4,6
/proc/20358/task/20369/stat : 20369 (java) S 20355 20358 8919 0 -1 1077944384 1996 0 0 0 155 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523428837488 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20370] ppid=20355 vsize=15683912 memory=3472468494058735276 CPUtime=1.52 cores=0,2,4,6
/proc/20358/task/20370/stat : 20370 (java) S 20355 20358 8919 0 -1 1077944384 1612 0 0 0 152 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523427784688 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20371] ppid=20355 vsize=15683912 memory=3472328296227680303 CPUtime=0.92 cores=0,2,4,6
/proc/20358/task/20371/stat : 20371 (java) S 20355 20358 8919 0 -1 1077944384 2934 0 0 0 92 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523426732400 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20372] ppid=20355 vsize=15683912 memory=3472468493991626416 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20372/stat : 20372 (java) S 20355 20358 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140522203113952 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20373] ppid=20355 vsize=15683912 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20373/stat : 20373 (java) S 20355 20358 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53768401 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523425680304 140524660189826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20375] ppid=20355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20375/stat : 20375 (java) S 20355 20358 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53768663 16060325888 113694 33554432000 4194304 4196468 140734291810384 140523411580352 140524660203289 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20377] ppid=20355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20377/stat : 20377 (java) S 20355 20358 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53768663 16060325888 113694 33554432000 4194304 4196468 140734291810384 140521666232240 140524660200605 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20378] ppid=20355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20378/stat : 20378 (java) S 20355 20358 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 53768663 16060325888 113694 33554432000 4194304 4196468 140734291810384 140521397796144 140524660200605 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
[pid=20358/tid=20379] ppid=20355 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20379/stat : 20379 (java) S 20355 20358 8919 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 53768665 16060325888 113694 33554432000 4194304 4196468 140734291810384 140521934674848 140524660188885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34304000 140734291813364 140734291813641 140734291813641 140734291816399 0
Current children cumulated CPU time: 7.04 s
Current children cumulated vsize: 15710896 KiB
Current children cumulated memory: 462508 KiB
Child status: 0
Real time (s): 3.0528
CPU time (s): 7.11121
CPU user time (s): 6.96217
CPU system time (s): 0.14904
CPU usage (%): 232.94
Max. virtual memory (cumulated for all children) (KiB): 15710896
Max. memory (cumulated for all children) (KiB): 462508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.96217
system time used= 0.14904
maximum resident set size= 455508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3739
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 20358
# total CPU time (s): 7.11121
# total CPU user time (s): 6.96217
# total CPU system time (s): 0.14904
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043457 second user time and 0.076886 second system time
The end