0.66/0.53
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Jul 26 01:11:39 CEST 2018
0.66/0.56 c PID: 3553
0.66/0.56 c IP: 172.20.3.102
0.66/0.56 c HOST: node102.alineos.net
0.66/0.57 c (0,0) Parsing Begin
1.67/1.08 c (0,0) Parsing End
1.67/1.09 c (0,0) CSP: 376 int (0 aux), 0 bool (0 aux), 184 ctr, max domain size 120
1.67/1.09 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.67/1.09 c (0,0) Constraint Name Generate Begin
1.67/1.10 c (0,0) Ctr:HOME/instance-4295768-1532560299.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.67/1.10 c (0,0) Constraint Name Generate End
1.67/1.10 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.67/1.10 c (0,0) CSP to CSPinCNF Begin
5.58/2.45 c (1,1) translated 19 (10%) constraints
7.16/3.02 c (2,2) translated 37 (20%) constraints
8.05/3.55 c (3,3) translated 56 (30%) constraints
8.56/4.03 c (3,3) translated 74 (40%) constraints
9.08/4.51 c (3,3) translated 92 (50%) constraints
9.61/5.02 c (4,4) translated 111 (60%) constraints
10.82/5.64 c (5,5) translated 129 (70%) constraints
13.33/6.41 c (5,5) translated 148 (80%) constraints
13.33/6.44 c (5,5) translated 166 (90%) constraints
13.93/6.61 c (6,6) translated 184 (100%) constraints
15.96/7.30 c (6,6) STATISTICS1:HOME/instance-4295768-1532560299.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,20792,95221,2147483648,120,120,32,2147483648:256;536870912:256;128:30;120:6216;15:1928;1:924,120:67088;15:71360;2:144288;1:4800,120:2;16:392;15:120;14:120;13:120;12:120;11:120;10:120;9:120;8:120;7:120;6:120;5:120;4:25080;3:23896;2:44116;1:415,32:256;30:256;8:30;2:9068;1:261728;0:120,
15.96/7.30 c (6,6) ===========================================
15.96/7.30 c (6,6) Both Encoding selects:
15.96/7.30 c (6,6) Order
15.96/7.30 c (6,6) ===========================================
16.57/7.53 c (6,6) translated 9523 (10%) constraints
17.18/7.73 c (7,7) translated 19045 (20%) constraints
17.81/7.91 c (7,7) translated 28567 (30%) constraints
18.08/8.06 c (7,7) translated 38089 (40%) constraints
18.19/8.20 c (7,7) translated 47611 (50%) constraints
18.40/8.33 c (7,7) translated 57133 (60%) constraints
18.54/8.47 c (7,7) translated 66655 (70%) constraints
18.74/8.61 c (8,8) translated 76177 (80%) constraints
19.56/8.95 c (8,8) translated 85699 (90%) constraints
22.15/9.99 c (9,9) translated 95221 (100%) constraints
22.15/9.99 c (9,9) CSP to CSPinCNF End
22.33/10.01 c (9,9) CSP: 2168 int (1792 aux), 24632 bool (24632 aux), 106876 ctr, max domain size 118
22.33/10.01 c (9,9) Heap : 424 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
22.33/10.01 c (9,9) CSPinCNF Propagation Begin
23.96/10.82 c (10,10) 3646 values, 13486 unsatisfiable literals, and 9954 valid clauses are removed
23.96/10.82 c (10,10) CSPinCNF Propagation End
23.96/10.83 c (10,10) CSP: 4714 int (4338 aux), 22086 bool (22086 aux), 96922 ctr, max domain size 118
23.96/10.83 c (10,10) Heap : 1025 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.96/10.83 c (10,10) Simplify CSPinCNF Begin
24.76/11.26 c (10,10) Simplify CSPinCNF End
24.76/11.27 c (10,10) CSP: 4714 int (4338 aux), 39462 bool (39462 aux), 114298 ctr, max domain size 118
24.76/11.27 c (10,10) Heap : 1244 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.76/11.27 c (10,10) Calculate Precise Domain Begin
24.90/11.33 c (10,10) 16 values are removed by re-calculation
24.90/11.33 c (10,10) Calculate Precise Domain End
24.90/11.34 c (10,10) CSP: 4714 int (4338 aux), 39462 bool (39462 aux), 114298 ctr, max domain size 118
24.90/11.34 c (10,10) Heap : 1244 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.90/11.34 c (10,10) CSPinCNF to SatSolver Begin
25.55/11.55 c (11,10) 11430 (10 %) CSP clauses are encoded (60666 SAT variables, 30591 SAT clauses)
25.79/11.61 c (11,10) 22860 (20 %) CSP clauses are encoded (60666 SAT variables, 42021 SAT clauses)
25.79/11.66 c (11,10) 34290 (30 %) CSP clauses are encoded (60666 SAT variables, 53451 SAT clauses)
25.90/11.71 c (11,10) 45720 (40 %) CSP clauses are encoded (60666 SAT variables, 64881 SAT clauses)
25.90/11.76 c (11,11) 57149 (50 %) CSP clauses are encoded (60666 SAT variables, 76310 SAT clauses)
26.00/11.81 c (11,11) 68579 (60 %) CSP clauses are encoded (60666 SAT variables, 87740 SAT clauses)
28.48/13.46 c (12,12) 80009 (70 %) CSP clauses are encoded (60666 SAT variables, 748052 SAT clauses)
30.24/15.18 c (14,14) 91439 (80 %) CSP clauses are encoded (60666 SAT variables, 1565996 SAT clauses)
31.47/15.83 c (15,14) 102869 (90 %) CSP clauses are encoded (60666 SAT variables, 1708439 SAT clauses)
32.32/16.43 c (15,15) 114298 (100 %) CSP clauses are encoded (60666 SAT variables, 1843645 SAT clauses)
32.32/16.43 c (15,15) CSPinCNF to SatSolver End
32.32/16.43 c (15,15) Heap : 288 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
33.55/16.92 c (16,15) STATISTICS2:HOME/instance-4295768-1532560299.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,44176,114298,1024,118,15,11,1024:624;256:208;128:28;118:12432;32:144;27:91;24:182;18:13;16:698;15:1053;14:2576;12:210;10:3;9:756;8:254;6:84;4:264;2:32;1:1344,118:79056;15:62448;14:12208;11:208;9:208;6:48;5:48;3:4872;2:178496;1:3744,15:224;14:224;13:112;12:112;11:112;10:112;9:112;8:142;7:112;6:112;5:112;4:23408;3:20696;2:65088;1:3620,11:1024;8:28;5:1536;3:1024;2:17384;1:284328,
33.55/16.92 c (16,15) SatSolver.solve Begin
33.55/16.93 c (16,15) 60666 bool, 1843659 clause
33.55/16.93 c (16,15) 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-4295768-1532560299.xml-scop-3553.cnf HOME/instance-4295768-1532560299.xml-scop-3553.cnf.out
35.33/18.60 c (18,0) receiving signal SIGTERM
35.33/18.60 s UNKNOWN
35.33/18.61 c (18,16) SatSolver is killed by some reasons.
35.33/18.61 c (18,16) 0,0,9,10,10,10,15,TO,TO,STOP-AFTER(DIMACS)
35.33/18.61 c END-Prog: Thu Jul 26 01:11:58 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 (8213 MiB free)
memory of node 1: 16384 MiB (14434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295768-1532560299/watcher-4295768-1532560299 -o /tmp/evaluation-result-4295768-1532560299/solver-4295768-1532560299 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295768-1532560299.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=3553, runsolver pid=3550
[startup+0.100093 s]*
/proc/loadavg: 2.40 2.16 2.10 3/220 3568
/proc/meminfo: memFree=23134276/32770624 swapFree=67076648/67108860
[pid=3553] ppid=3550 vsize=15011656 memory=70064 CPUtime=0.11 cores=0,2,4,6
/proc/3553/stat : 3553 (java) S 3550 3553 29212 0 -1 1077944320 6758 0 0 0 10 1 0 0 20 0 15 0 73593055 15371935744 17516 33554432000 4194304 4196468 140734153788896 140734153771440 140338057174775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
/proc/3553/statm: 3752914 17516 2782 1 0 3715374 0
[pid=3553/tid=3555] ppid=3550 vsize=15011656 memory=7100839887284243048 CPUtime=0.09 cores=0,2,4,6
/proc/3553/task/3555/stat : 3555 (java) R 3550 3553 29212 0 -1 4202560 4959 0 0 0 8 1 0 0 20 0 15 0 73593055 15371935744 17648 33554432000 4194304 4196468 140734153788896 140338029001104 140338037450524 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3556] ppid=3550 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3556/stat : 3556 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 17648 33554432000 4194304 4196468 140734153788896 140338061417488 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3557] ppid=3550 vsize=15011656 memory=140082763708032 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3557/stat : 3557 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 17714 33554432000 4194304 4196468 140734153788896 140337860193424 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3558] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3558/stat : 3558 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 17714 33554432000 4194304 4196468 140734153788896 140337859140368 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3559] ppid=3550 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3559/stat : 3559 (java) S 3550 3553 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 17714 33554432000 4194304 4196468 140734153788896 140337858087824 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3560] ppid=3550 vsize=15011656 memory=140082763708032 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3560/stat : 3560 (java) S 3550 3553 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593058 15371935744 17714 33554432000 4194304 4196468 140734153788896 140337464039664 140338057185922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3561] ppid=3550 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3561/stat : 3561 (java) S 3550 3553 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73593059 15371935744 17714 33554432000 4194304 4196468 140734153788896 140336647103648 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3562] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3562/stat : 3562 (java) S 3550 3553 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73593059 15371935744 17714 33554432000 4194304 4196468 140734153788896 140336512881392 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3563] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3563/stat : 3563 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593061 15371935744 17714 33554432000 4194304 4196468 140734153788896 140336138377168 140338057193371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3564] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3564/stat : 3564 (java) S 3550 3553 29212 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 73593061 15371935744 17714 33554432000 4194304 4196468 140734153788896 140337462987504 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3565] ppid=3550 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3565/stat : 3565 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593061 15371935744 17714 33554432000 4194304 4196468 140734153788896 140337461934960 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3566] ppid=3550 vsize=15011656 memory=140082763708032 CPUtime=0.01 cores=0,2,4,6
/proc/3553/task/3566/stat : 3566 (java) S 3550 3553 29212 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 73593062 15371935744 17714 33554432000 4194304 4196468 140734153788896 140337460881904 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3567] ppid=3550 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3567/stat : 3567 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593062 15371935744 17714 33554432000 4194304 4196468 140734153788896 140335640472416 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3568] ppid=3550 vsize=15011656 memory=140082763708032 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3568/stat : 3568 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593062 15371935744 17714 33554432000 4194304 4196468 140734153788896 140337459829296 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70064 KiB
[startup+0.210372 s]*
/proc/loadavg: 2.40 2.16 2.10 3/199 3568
/proc/meminfo: memFree=24297060/32770624 swapFree=67076648/67108860
[pid=3553] ppid=3550 vsize=15011656 memory=85924 CPUtime=0.25 cores=0,2,4,6
/proc/3553/stat : 3553 (java) S 3550 3553 29212 0 -1 1077944320 10956 0 0 0 23 2 0 0 20 0 15 0 73593055 15371935744 21481 33554432000 4194304 4196468 140734153788896 140734153771440 140338057174775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
/proc/3553/statm: 3752914 21481 2883 1 0 3715374 0
[pid=3553/tid=3555] ppid=3550 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3553/task/3555/stat : 3555 (java) R 3550 3553 29212 0 -1 4202560 8835 0 0 0 18 2 0 0 20 0 15 0 73593055 15371935744 21481 33554432000 4194304 4196468 140734153788896 140338029001168 140338057196122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3556] ppid=3550 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3556/stat : 3556 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 21481 33554432000 4194304 4196468 140734153788896 140338061417488 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3557] ppid=3550 vsize=15011656 memory=288370458915419776 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3557/stat : 3557 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 21481 33554432000 4194304 4196468 140734153788896 140337860193424 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3558] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3558/stat : 3558 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 21481 33554432000 4194304 4196468 140734153788896 140337859140368 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3559] ppid=3550 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3559/stat : 3559 (java) S 3550 3553 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 21481 33554432000 4194304 4196468 140734153788896 140337858087824 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3560] ppid=3550 vsize=15011656 memory=140082763708032 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3560/stat : 3560 (java) S 3550 3553 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593058 15371935744 21481 33554432000 4194304 4196468 140734153788896 140337464039664 140338057185922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3561] ppid=3550 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3561/stat : 3561 (java) S 3550 3553 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73593059 15371935744 21481 33554432000 4194304 4196468 140734153788896 140336647103648 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3562] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3562/stat : 3562 (java) S 3550 3553 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73593059 15371935744 21481 33554432000 4194304 4196468 140734153788896 140336512881392 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3563] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3563/stat : 3563 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593061 15371935744 21481 33554432000 4194304 4196468 140734153788896 140336138377168 140338057193371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3564] ppid=3550 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3553/task/3564/stat : 3564 (java) S 3550 3553 29212 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 15 0 73593061 15371935744 21481 33554432000 4194304 4196468 140734153788896 140337462987504 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3565] ppid=3550 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3565/stat : 3565 (java) S 3550 3553 29212 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 73593061 15371935744 21481 33554432000 4194304 4196468 140734153788896 140337461934960 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3566] ppid=3550 vsize=15011656 memory=140082763708032 CPUtime=0.02 cores=0,2,4,6
/proc/3553/task/3566/stat : 3566 (java) R 3550 3553 29212 0 -1 4202560 309 0 0 0 2 0 0 0 20 0 15 0 73593062 15371935744 21481 33554432000 4194304 4196468 140734153788896 140337460881904 140338042856570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3567] ppid=3550 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3567/stat : 3567 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593062 15371935744 21481 33554432000 4194304 4196468 140734153788896 140335640472416 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3568] ppid=3550 vsize=15011656 memory=140082763708032 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3568/stat : 3568 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593062 15371935744 21481 33554432000 4194304 4196468 140734153788896 140337459829296 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85924 KiB
[startup+0.310071 s]*
/proc/loadavg: 2.40 2.16 2.10 3/199 3568
/proc/meminfo: memFree=24293648/32770624 swapFree=67076648/67108860
[pid=3553] ppid=3550 vsize=15011656 memory=89716 CPUtime=0.42 cores=0,2,4,6
/proc/3553/stat : 3553 (java) S 3550 3553 29212 0 -1 1077944320 11506 0 0 0 40 2 0 0 20 0 15 0 73593055 15371935744 22429 33554432000 4194304 4196468 140734153788896 140734153771440 140338057174775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
/proc/3553/statm: 3752914 22429 2992 1 0 3715374 0
[pid=3553/tid=3555] ppid=3550 vsize=15011656 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/3553/task/3555/stat : 3555 (java) R 3550 3553 29212 0 -1 4202560 9192 0 0 0 28 2 0 0 20 0 15 0 73593055 15371935744 22429 33554432000 4194304 4196468 140734153788896 140338028978928 140338038738304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3556] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3556/stat : 3556 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 22429 33554432000 4194304 4196468 140734153788896 140338061417488 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3557] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3557/stat : 3557 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 22429 33554432000 4194304 4196468 140734153788896 140337860193424 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3558] ppid=3550 vsize=15011656 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3558/stat : 3558 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 22429 33554432000 4194304 4196468 140734153788896 140337859140368 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3559] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3559/stat : 3559 (java) S 3550 3553 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593057 15371935744 22429 33554432000 4194304 4196468 140734153788896 140337858087824 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3560] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3560/stat : 3560 (java) S 3550 3553 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593058 15371935744 22429 33554432000 4194304 4196468 140734153788896 140337464039664 140338057185922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3561] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3561/stat : 3561 (java) S 3550 3553 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73593059 15371935744 22429 33554432000 4194304 4196468 140734153788896 140336647103648 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3562] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3562/stat : 3562 (java) S 3550 3553 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73593059 15371935744 22429 33554432000 4194304 4196468 140734153788896 140336512881392 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3563] ppid=3550 vsize=15011656 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3563/stat : 3563 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593061 15371935744 22429 33554432000 4194304 4196468 140734153788896 140336138377168 140338057193371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3564] ppid=3550 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3553/task/3564/stat : 3564 (java) S 3550 3553 29212 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 73593061 15371935744 22429 33554432000 4194304 4196468 140734153788896 140337462987504 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3565] ppid=3550 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3553/task/3565/stat : 3565 (java) S 3550 3553 29212 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 73593061 15371935744 22429 33554432000 4194304 4196468 140734153788896 140337461934960 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3566] ppid=3550 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3553/task/3566/stat : 3566 (java) S 3550 3553 29212 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 15 0 73593062 15371935744 22429 33554432000 4194304 4196468 140734153788896 140337460881904 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3567] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3567/stat : 3567 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593062 15371935744 22429 33554432000 4194304 4196468 140734153788896 140335640472416 140338057184981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3568] ppid=3550 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3568/stat : 3568 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593062 15371935744 22429 33554432000 4194304 4196468 140734153788896 140337459829296 140338057185922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89716 KiB
[startup+0.704419 s]
/proc/loadavg: 2.40 2.16 2.10 4/214 3597
/proc/meminfo: memFree=24249104/32770624 swapFree=67076648/67108860
[pid=3553] ppid=3550 vsize=15020052 memory=127636 CPUtime=1 cores=0,2,4,6
/proc/3553/stat : 3553 (java) S 3550 3553 29212 0 -1 1077944320 18122 0 0 0 96 4 0 0 20 0 15 0 73593055 15380533248 31909 33554432000 4194304 4196468 140734153788896 140734153771440 140338057174775 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
/proc/3553/statm: 3755013 31909 3167 1 0 3716398 0
[pid=3553/tid=3555] ppid=3550 vsize=15020052 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/3553/task/3555/stat : 3555 (java) R 3550 3553 29212 0 -1 4202560 15340 0 0 0 64 4 0 0 20 0 15 0 73593055 15380533248 31909 33554432000 4194304 4196468 140734153788896 140338029006688 140338057196701 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3556] ppid=3550 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3556/stat : 3556 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15380533248 31909 33554432000 4194304 4196468 140734153788896 140338061417488 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3557] ppid=3550 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3557/stat : 3557 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15380533248 31909 33554432000 4194304 4196468 140734153788896 140337860193424 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3558] ppid=3550 vsize=15020052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3558/stat : 3558 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15380533248 31909 33554432000 4194304 4196468 140734153788896 140337859140368 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3559] ppid=3550 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3559/stat : 3559 (java) S 3550 3553 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593057 15380533248 31909 33554432000 4194304 4196468 140734153788896 140337858087824 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3560] ppid=3550 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3560/stat : 3560 (java) S 3550 3553 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73593058 15380533248 31909 33554432000 4194304 4196468 140734153788896 140337464039664 140338057185922 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3561] ppid=3550 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3561/stat : 3561 (java) S 3550 3553 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73593059 15380533248 31909 33554432000 4194304 4196468 140734153788896 140336647103648 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3562] ppid=3550 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3562/stat : 3562 (java) S 3550 3553 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73593059 15380533248 31909 33554432000 4194304 4196468 140734153788896 140336512881392 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3563] ppid=3550 vsize=15020052 memory=54 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3563/stat : 3563 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593061 15380533248 31909 33554432000 4194304 4196468 140734153788896 140336138377168 140338057193371 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3564] ppid=3550 vsize=15020052 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/3553/task/3564/stat : 3564 (java) S 3550 3553 29212 0 -1 1077944384 452 0 0 0 6 0 0 0 20 0 15 0 73593061 15380533248 31909 33554432000 4194304 4196468 140734153788896 140337462987504 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3565] ppid=3550 vsize=15020052 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3553/task/3565/stat : 3565 (java) S 3550 3553 29212 0 -1 1077944384 475 0 0 0 8 0 0 0 20 0 15 0 73593061 15380533248 31909 33554432000 4194304 4196468 140734153788896 140337461934960 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3566] ppid=3550 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/3553/task/3566/stat : 3566 (java) S 3550 3553 29212 0 -1 1077944384 498 0 0 0 16 0 0 0 20 0 15 0 73593062 15380533248 31909 33554432000 4194304 4196468 140734153788896 140337460881904 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3567] ppid=3550 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3567/stat : 3567 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593062 15380533248 31909 33554432000 4194304 4196468 140734153788896 140335640472416 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3568] ppid=3550 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3568/stat : 3568 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593062 15380533248 31909 33554432000 4194304 4196468 140734153788896 140337459829296 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127636 KiB
[startup+1.50072 s]
/proc/loadavg: 2.40 2.16 2.10 5/195 3619
/proc/meminfo: memFree=24252264/32770624 swapFree=67076648/67108860
[pid=3553] ppid=3550 vsize=15024148 memory=164960 CPUtime=2.92 cores=0,2,4,6
/proc/3553/stat : 3553 (java) S 3550 3553 29212 0 -1 1077944320 21339 0 0 0 285 7 0 0 20 0 15 0 73593055 15384727552 41240 33554432000 4194304 4196468 140734153788896 140734153771440 140338057174775 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
/proc/3553/statm: 3756037 41240 3203 1 0 3717422 0
[pid=3553/tid=3555] ppid=3550 vsize=15024148 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/3553/task/3555/stat : 3555 (java) R 3550 3553 29212 0 -1 4202560 16722 0 0 0 142 5 0 0 20 0 15 0 73593055 15384727552 41240 33554432000 4194304 4196468 140734153788896 140338029007488 140337536334549 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3556] ppid=3550 vsize=15024148 memory=10 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3556/stat : 3556 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15384727552 41240 33554432000 4194304 4196468 140734153788896 140338061417488 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3557] ppid=3550 vsize=15024148 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3557/stat : 3557 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15384727552 41240 33554432000 4194304 4196468 140734153788896 140337860193424 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3558] ppid=3550 vsize=15024148 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3558/stat : 3558 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15384727552 41240 33554432000 4194304 4196468 140734153788896 140337859140368 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3559] ppid=3550 vsize=15024148 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3559/stat : 3559 (java) S 3550 3553 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593057 15384727552 41240 33554432000 4194304 4196468 140734153788896 140337858087824 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3560] ppid=3550 vsize=15024148 memory=13773960120851 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3560/stat : 3560 (java) S 3550 3553 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73593058 15384727552 41240 33554432000 4194304 4196468 140734153788896 140337464039664 140338057185922 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
################
# More data... #
################
[pid=3553/tid=3561] ppid=3550 vsize=15024148 memory=280165280377152 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3561/stat : 3561 (java) S 3550 3553 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73593059 15384727552 154071 33554432000 4194304 4196468 140734153788896 140336647103648 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3562] ppid=3550 vsize=15024148 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3562/stat : 3562 (java) S 3550 3553 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73593059 15384727552 154071 33554432000 4194304 4196468 140734153788896 140336512881392 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3563] ppid=3550 vsize=15024148 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3563/stat : 3563 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593061 15384727552 154071 33554432000 4194304 4196468 140734153788896 140336138377168 140338057193371 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3564] ppid=3550 vsize=15024148 memory=-7882018838379555936 CPUtime=1.74 cores=0,2,4,6
/proc/3553/task/3564/stat : 3564 (java) S 3550 3553 29212 0 -1 1077944384 2098 0 0 0 173 1 0 0 20 0 15 0 73593061 15384727552 154071 33554432000 4194304 4196468 140734153788896 140337462987504 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3565] ppid=3550 vsize=15024148 memory=4137287014106042739 CPUtime=1.76 cores=0,2,4,6
/proc/3553/task/3565/stat : 3565 (java) R 3550 3553 29212 0 -1 4202560 1438 0 0 0 175 1 0 0 20 0 15 0 73593061 15384727552 154071 33554432000 4194304 4196468 140734153788896 140337461927448 140338038696166 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3566] ppid=3550 vsize=15024148 memory=428052 CPUtime=0.84 cores=0,2,4,6
/proc/3553/task/3566/stat : 3566 (java) S 3550 3553 29212 0 -1 1077944384 2916 0 0 0 83 1 0 0 20 0 15 0 73593062 15384727552 154583 33554432000 4194304 4196468 140734153788896 140337460881904 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3567] ppid=3550 vsize=15024148 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3567/stat : 3567 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593062 15384727552 154583 33554432000 4194304 4196468 140734153788896 140335640472416 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3568] ppid=3550 vsize=15024148 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3568/stat : 3568 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593062 15384727552 154583 33554432000 4194304 4196468 140734153788896 140337459829296 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 616284 KiB
[startup+6.30071 s]
/proc/loadavg: 2.61 2.21 2.12 5/215 3646
/proc/meminfo: memFree=21609968/32770624 swapFree=67076648/67108860
[pid=3553] ppid=3550 vsize=15024148 memory=1834884 CPUtime=13.03 cores=0,2,4,6
/proc/3553/stat : 3553 (java) S 3550 3553 29212 0 -1 1077944320 33880 0 0 0 1268 35 0 0 20 0 15 0 73593055 15384727552 458721 33554432000 4194304 4196468 140734153788896 140734153771440 140338057174775 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
/proc/3553/statm: 3756037 458721 3210 1 0 3717422 0
[pid=3553/tid=3555] ppid=3550 vsize=15024148 memory=1780748 CPUtime=6.26 cores=0,2,4,6
/proc/3553/task/3555/stat : 3555 (java) R 3550 3553 29212 0 -1 4202560 17904 0 0 0 597 29 0 0 20 0 15 0 73593055 15384727552 458721 33554432000 4194304 4196468 140734153788896 140338029009968 140338057186710 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3556] ppid=3550 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3556/stat : 3556 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15384727552 458721 33554432000 4194304 4196468 140734153788896 140338061417488 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3557] ppid=3550 vsize=15024148 memory=1718320 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3557/stat : 3557 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15384727552 458721 33554432000 4194304 4196468 140734153788896 140337860193424 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3558] ppid=3550 vsize=15024148 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3558/stat : 3558 (java) S 3550 3553 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593057 15384727552 458721 33554432000 4194304 4196468 140734153788896 140337859140368 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3559] ppid=3550 vsize=15024148 memory=19132 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3559/stat : 3559 (java) S 3550 3553 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593057 15384727552 458721 33554432000 4194304 4196468 140734153788896 140337858087824 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3560] ppid=3550 vsize=15024148 memory=171976 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3560/stat : 3560 (java) S 3550 3553 29212 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 73593058 15384727552 458721 33554432000 4194304 4196468 140734153788896 140337464039664 140338057185922 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3561] ppid=3550 vsize=15024148 memory=-8543172954466572914 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3561/stat : 3561 (java) S 3550 3553 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73593059 15384727552 458721 33554432000 4194304 4196468 140734153788896 140336647103648 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3562] ppid=3550 vsize=15024148 memory=-8985395855772247728 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3562/stat : 3562 (java) S 3550 3553 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73593059 15384727552 458721 33554432000 4194304 4196468 140734153788896 140336512881392 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3563] ppid=3550 vsize=15024148 memory=-3826832332642136911 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3563/stat : 3563 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593061 15384727552 458721 33554432000 4194304 4196468 140734153788896 140336138377168 140338057193371 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3564] ppid=3550 vsize=15024148 memory=7164494064104467819 CPUtime=2.8 cores=0,2,4,6
/proc/3553/task/3564/stat : 3564 (java) R 3550 3553 29212 0 -1 4202560 4901 0 0 0 279 1 0 0 20 0 15 0 73593061 15384727552 458721 33554432000 4194304 4196468 140734153788896 140337462974352 140338035587472 0 4 0 25189583 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3565] ppid=3550 vsize=15024148 memory=0 CPUtime=2.8 cores=0,2,4,6
/proc/3553/task/3565/stat : 3565 (java) R 3550 3553 29212 0 -1 4202560 3711 0 0 0 279 1 0 0 20 0 15 0 73593061 15384727552 458721 33554432000 4194304 4196468 140734153788896 140337461921744 140338041920162 0 4 0 25189583 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3566] ppid=3550 vsize=15024148 memory=4420 CPUtime=1.12 cores=0,2,4,6
/proc/3553/task/3566/stat : 3566 (java) R 3550 3553 29212 0 -1 1077944384 6001 0 0 0 110 2 0 0 20 0 15 0 73593062 15384727552 458721 33554432000 4194304 4196468 140734153788896 140337460881904 140338057185922 0 4 0 25189583 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3567] ppid=3550 vsize=15024148 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3567/stat : 3567 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593062 15384727552 458721 33554432000 4194304 4196468 140734153788896 140335640472416 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3568] ppid=3550 vsize=15024148 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3568/stat : 3568 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593062 15384727552 458721 33554432000 4194304 4196468 140734153788896 140337459829296 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
Current children cumulated CPU time: 13.03 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 1834884 KiB
[startup+12.7007 s]
/proc/loadavg: 2.66 2.23 2.13 5/215 3646
/proc/meminfo: memFree=18162384/32770624 swapFree=67076648/67108860
[pid=3553] ppid=3550 vsize=15028312 memory=3144620 CPUtime=27.33 cores=0,2,4,6
/proc/3553/stat : 3553 (java) S 3550 3553 29212 0 -1 1077944320 43085 0 0 0 2661 72 0 0 20 0 15 0 73593055 15388991488 786155 33554432000 4194304 4196468 140734153788896 140734153771440 140338057174775 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
/proc/3553/statm: 3757078 786155 3240 1 0 3717934 0
[pid=3553/tid=3555] ppid=3550 vsize=15028312 memory=3144620 CPUtime=12.48 cores=0,2,4,6
/proc/3553/task/3555/stat : 3555 (java) R 3550 3553 29212 0 -1 4202560 19436 0 0 0 1198 50 0 0 20 0 15 0 73593055 15388991488 786155 33554432000 4194304 4196468 140734153788896 140338029010016 140337539945412 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3556] ppid=3550 vsize=15028312 memory=3088676 CPUtime=0.16 cores=0,2,4,6
/proc/3553/task/3556/stat : 3556 (java) S 3550 3553 29212 0 -1 1077944384 79 0 0 0 14 2 0 0 20 0 15 0 73593057 15388991488 786155 33554432000 4194304 4196468 140734153788896 140338061417488 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3557] ppid=3550 vsize=15028312 memory=3088560 CPUtime=0.16 cores=0,2,4,6
/proc/3553/task/3557/stat : 3557 (java) S 3550 3553 29212 0 -1 1077944384 123 0 0 0 14 2 0 0 20 0 15 0 73593057 15388991488 786155 33554432000 4194304 4196468 140734153788896 140337860193424 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3558] ppid=3550 vsize=15028312 memory=7299641868646006336 CPUtime=0.17 cores=0,2,4,6
/proc/3553/task/3558/stat : 3558 (java) S 3550 3553 29212 0 -1 1077944384 65 0 0 0 14 3 0 0 20 0 15 0 73593057 15388991488 786155 33554432000 4194304 4196468 140734153788896 140337859140368 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3559] ppid=3550 vsize=15028312 memory=3544 CPUtime=0.16 cores=0,2,4,6
/proc/3553/task/3559/stat : 3559 (java) S 3550 3553 29212 0 -1 1077944384 133 0 0 0 14 2 0 0 20 0 15 0 73593057 15388991488 786155 33554432000 4194304 4196468 140734153788896 140337858087824 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3560] ppid=3550 vsize=15028312 memory=19132 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3560/stat : 3560 (java) S 3550 3553 29212 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 73593058 15388991488 786155 33554432000 4194304 4196468 140734153788896 140337464039664 140338057185922 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3561] ppid=3550 vsize=15028312 memory=2296424 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3561/stat : 3561 (java) S 3550 3553 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 73593059 15388991488 786155 33554432000 4194304 4196468 140734153788896 140336647103712 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3562] ppid=3550 vsize=15028312 memory=-8985395855772247728 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3562/stat : 3562 (java) S 3550 3553 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 73593059 15388991488 786155 33554432000 4194304 4196468 140734153788896 140336512881392 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3563] ppid=3550 vsize=15028312 memory=1950928 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3563/stat : 3563 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593061 15388991488 786155 33554432000 4194304 4196468 140734153788896 140336138377168 140338057193371 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3564] ppid=3550 vsize=15028312 memory=2315 CPUtime=6.27 cores=0,2,4,6
/proc/3553/task/3564/stat : 3564 (java) S 3550 3553 29212 0 -1 1077944384 7408 0 0 0 625 2 0 0 20 0 15 0 73593061 15388991488 786155 33554432000 4194304 4196468 140734153788896 140337462987504 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3565] ppid=3550 vsize=15028312 memory=1018 CPUtime=6.27 cores=0,2,4,6
/proc/3553/task/3565/stat : 3565 (java) S 3550 3553 29212 0 -1 1077944384 8378 0 0 0 624 3 0 0 20 0 15 0 73593061 15388991488 786155 33554432000 4194304 4196468 140734153788896 140337461934960 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3566] ppid=3550 vsize=15028312 memory=16 CPUtime=1.57 cores=0,2,4,6
/proc/3553/task/3566/stat : 3566 (java) S 3550 3553 29212 0 -1 1077944384 6086 0 0 0 154 3 0 0 20 0 15 0 73593062 15388991488 786155 33554432000 4194304 4196468 140734153788896 140337460881904 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3567] ppid=3550 vsize=15028312 memory=16 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3567/stat : 3567 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593062 15388991488 786155 33554432000 4194304 4196468 140734153788896 140335640472416 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3568] ppid=3550 vsize=15028312 memory=17 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3568/stat : 3568 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593062 15388991488 786155 33554432000 4194304 4196468 140734153788896 140337459829296 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
Current children cumulated CPU time: 27.33 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3144620 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+18.6009 s]
/proc/loadavg: 2.61 2.23 2.13 3/220 3652
/proc/meminfo: memFree=17527156/32770624 swapFree=67076648/67108860
[pid=3553] ppid=3550 vsize=15683912 memory=3305208 CPUtime=33.68 cores=0,2,4,6
/proc/3553/stat : 3553 (java) S 3550 3553 29212 0 -1 1077944320 45050 0 0 0 3276 92 0 0 20 0 19 0 73593055 16060325888 826302 33554432000 4194304 4196468 140734153788896 140734153771440 140338057174775 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
/proc/3553/statm: 3920978 826302 3247 1 0 3881834 0
[pid=3647] ppid=3553 vsize=204784 memory=158500 CPUtime=1.65 cores=0,2,4,6
/proc/3647/stat : 3647 (minisat_release) R 3553 3553 29212 0 -1 4202496 31433 0 0 0 160 5 0 0 20 0 1 0 73594749 209698816 39625 33554432000 4194304 4308513 140723085186480 140723085183288 4212187 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6409496 6410680 22147072 140723085189809 140723085190318 140723085190318 140723085193157 0
/proc/3647/statm: 51196 39625 331 28 0 47436 0
[pid=3553/tid=3555] ppid=3550 vsize=15683912 memory=-7313218805096079717 CPUtime=16.53 cores=0,2,4,6
/proc/3553/task/3555/stat : 3555 (java) S 3550 3553 29212 0 -1 1077944384 20072 0 0 0 1598 55 0 0 20 0 19 0 73593055 16060325888 826302 33554432000 4194304 4196468 140734153788896 140338029014016 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3556] ppid=3550 vsize=15683912 memory=-8675733323038954102 CPUtime=0.38 cores=0,2,4,6
/proc/3553/task/3556/stat : 3556 (java) S 3550 3553 29212 0 -1 1077944384 151 0 0 0 32 6 0 0 20 0 19 0 73593057 16060325888 826302 33554432000 4194304 4196468 140734153788896 140338061417488 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3557] ppid=3550 vsize=15683912 memory=3301968 CPUtime=0.39 cores=0,2,4,6
/proc/3553/task/3557/stat : 3557 (java) S 3550 3553 29212 0 -1 1077944384 211 0 0 0 33 6 0 0 20 0 19 0 73593057 16060325888 826302 33554432000 4194304 4196468 140734153788896 140337860193424 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3558] ppid=3550 vsize=15683912 memory=3300184 CPUtime=0.38 cores=0,2,4,6
/proc/3553/task/3558/stat : 3558 (java) S 3550 3553 29212 0 -1 1077944384 148 0 0 0 32 6 0 0 20 0 19 0 73593057 16060325888 826302 33554432000 4194304 4196468 140734153788896 140337859140368 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3559] ppid=3550 vsize=15683912 memory=6297835844906604903 CPUtime=0.39 cores=0,2,4,6
/proc/3553/task/3559/stat : 3559 (java) S 3550 3553 29212 0 -1 1077944384 216 0 0 0 33 6 0 0 20 0 19 0 73593057 16060325888 826302 33554432000 4194304 4196468 140734153788896 140337858087824 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3560] ppid=3550 vsize=15683912 memory=6944656592455360604 CPUtime=0.01 cores=0,2,4,6
/proc/3553/task/3560/stat : 3560 (java) S 3550 3553 29212 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 73593058 16060325888 826302 33554432000 4194304 4196468 140734153788896 140337464039664 140338057185922 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3561] ppid=3550 vsize=15683912 memory=20977 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3561/stat : 3561 (java) S 3550 3553 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 73593059 16060325888 826302 33554432000 4194304 4196468 140734153788896 140336647103712 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3562] ppid=3550 vsize=15683912 memory=7014751519583459665 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3562/stat : 3562 (java) S 3550 3553 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 73593059 16060325888 826302 33554432000 4194304 4196468 140734153788896 140336512881408 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3563] ppid=3550 vsize=15683912 memory=6225489096523344233 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3563/stat : 3563 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73593061 16060325888 826302 33554432000 4194304 4196468 140734153788896 140336138377168 140338057193371 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3564] ppid=3550 vsize=15683912 memory=7305218370954682966 CPUtime=6.84 cores=0,2,4,6
/proc/3553/task/3564/stat : 3564 (java) S 3550 3553 29212 0 -1 1077944384 7835 0 0 0 682 2 0 0 20 0 19 0 73593061 16060325888 826302 33554432000 4194304 4196468 140734153788896 140337462987504 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3565] ppid=3550 vsize=15683912 memory=7448488012996568401 CPUtime=7.04 cores=0,2,4,6
/proc/3553/task/3565/stat : 3565 (java) S 3550 3553 29212 0 -1 1077944384 8851 0 0 0 701 3 0 0 20 0 19 0 73593061 16060325888 826302 33554432000 4194304 4196468 140734153788896 140337461934960 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3566] ppid=3550 vsize=15683912 memory=0 CPUtime=1.61 cores=0,2,4,6
/proc/3553/task/3566/stat : 3566 (java) S 3550 3553 29212 0 -1 1077944384 6121 0 0 0 158 3 0 0 20 0 19 0 73593062 16060325888 826302 33554432000 4194304 4196468 140734153788896 140337460881904 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3567] ppid=3550 vsize=15683912 memory=589972051086833205 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3567/stat : 3567 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73593062 16060325888 826302 33554432000 4194304 4196468 140734153788896 140335640472416 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3568] ppid=3550 vsize=15683912 memory=288289965417451236 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3568/stat : 3568 (java) S 3550 3553 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73593062 16060325888 826302 33554432000 4194304 4196468 140734153788896 140337459829296 140338057185922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3648] ppid=3550 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3648/stat : 3648 (java) S 3550 3553 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73594750 16060325888 826302 33554432000 4194304 4196468 140734153788896 140337855477056 140338057199385 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3650] ppid=3550 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3650/stat : 3650 (java) S 3550 3553 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 73594750 16060325888 826302 33554432000 4194304 4196468 140734153788896 140335103585584 140338057196701 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3651] ppid=3550 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3651/stat : 3651 (java) S 3550 3553 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 73594750 16060325888 826302 33554432000 4194304 4196468 140734153788896 140335237808048 140338057196701 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
[pid=3553/tid=3652] ppid=3550 vsize=15683912 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3553/task/3652/stat : 3652 (java) S 3550 3553 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73594752 16060325888 826302 33554432000 4194304 4196468 140734153788896 140334835162912 140338057184981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25456640 140734153794548 140734153794825 140734153794825 140734153797583 0
Current children cumulated CPU time: 35.33 s
Current children cumulated vsize: 15888696 KiB
Current children cumulated memory: 3463708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+18.6398 s]
# the end of solver process 3553 was just reported to runsolver
# cumulated CPU time of all completed processes: user=34.3743 s, system=1.0196 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 18.6398
CPU time (s): 35.3939
CPU user time (s): 34.3743
CPU system time (s): 1.0196
CPU usage (%): 189.883
Max. virtual memory (cumulated for all children) (KiB): 15888696
Max. memory (cumulated for all children) (KiB): 3463708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.3743
system time used= 1.0196
maximum resident set size= 3308032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76552
page faults= 0
swaps= 0
block input operations= 0
block output operations= 79152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6921
involuntary context switches= 179
# summary of solver processes directly reported to runsolver:
# pid: 3553
# total CPU time (s): 35.3939
# total CPU user time (s): 34.3743
# total CPU system time (s): 1.0196
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.127404 second user time and 0.232776 second system time
The end