0.66/0.52
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Jul 26 01:11:12 CEST 2018
0.66/0.55 c PID: 3383
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.72/1.09 c (0,0) Parsing End
1.72/1.10 c (0,0) CSP: 477 int (0 aux), 0 bool (0 aux), 225 ctr, max domain size 153
1.72/1.10 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.72/1.10 c (0,0) Constraint Name Generate Begin
1.72/1.11 c (0,0) Ctr:HOME/instance-4295750-1532560271.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.72/1.11 c (0,0) Constraint Name Generate End
1.72/1.11 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.72/1.11 c (0,0) CSP to CSPinCNF Begin
6.88/2.85 c (2,2) translated 23 (10%) constraints
8.35/3.66 c (3,3) translated 45 (20%) constraints
9.17/4.45 c (3,3) translated 68 (30%) constraints
10.01/5.22 c (4,4) translated 90 (40%) constraints
10.83/6.01 c (5,5) translated 113 (50%) constraints
11.57/6.77 c (6,6) translated 135 (60%) constraints
13.61/7.90 c (7,7) translated 158 (70%) constraints
16.54/8.87 c (8,8) translated 180 (80%) constraints
17.51/9.16 c (8,8) translated 203 (90%) constraints
18.14/9.39 c (8,8) translated 225 (100%) constraints
20.21/10.21 c (9,9) STATISTICS1:HOME/instance-4295750-1532560271.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,32472,151606,34359738368,153,153,36,34359738368:324;8589934592:324;256:34;153:10296;17:2763;1:1332,153:110016;17:113310;2:228942;1:6885,153:2;18:495;17:153;16:153;15:153;14:153;13:153;12:153;11:153;10:153;9:153;8:153;7:153;6:153;5:153;4:41463;3:37044;2:70092;1:521,36:324;34:324;9:34;2:14391;1:419364;0:153,
20.21/10.21 c (9,9) ===========================================
20.21/10.21 c (9,9) Both Encoding selects:
20.21/10.21 c (9,9) Order
20.21/10.21 c (9,9) ===========================================
21.48/10.55 c (10,9) translated 15161 (10%) constraints
22.27/10.83 c (10,10) translated 30322 (20%) constraints
22.53/11.05 c (10,10) translated 45482 (30%) constraints
23.19/11.63 c (10,10) translated 60643 (40%) constraints
23.19/11.63 c (10,10) translated 75803 (50%) constraints
23.29/11.72 c (11,10) translated 90964 (60%) constraints
23.50/11.93 c (11,11) translated 106125 (70%) constraints
23.71/12.14 c (11,11) translated 121285 (80%) constraints
24.60/12.58 c (12,11) translated 136446 (90%) constraints
28.84/14.07 c (13,13) translated 151606 (100%) constraints
28.84/14.07 c (13,13) CSP to CSPinCNF End
28.84/14.09 c (13,13) CSP: 5013 int (4536 aux), 37980 bool (37980 aux), 170244 ctr, max domain size 151
28.84/14.09 c (13,13) Heap : 2145 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.84/14.09 c (13,13) CSPinCNF Propagation Begin
32.96/15.75 c (15,14) 5418 values, 18426 unsatisfiable literals, and 13470 valid clauses are removed
32.96/15.75 c (15,14) CSPinCNF Propagation End
32.96/15.76 c (15,14) CSP: 8379 int (7902 aux), 34614 bool (34614 aux), 156774 ctr, max domain size 151
32.96/15.76 c (15,14) Heap : 310 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
32.96/15.76 c (15,14) Simplify CSPinCNF Begin
34.18/16.46 c (15,15) Simplify CSPinCNF End
34.54/16.66 c (15,15) CSP: 8379 int (7902 aux), 62424 bool (62424 aux), 184584 ctr, max domain size 151
34.54/16.66 c (15,15) Heap : 716 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
34.54/16.66 c (15,15) Calculate Precise Domain Begin
34.54/16.66 c (16,15) 9 values are removed by re-calculation
34.54/16.66 c (16,15) Calculate Precise Domain End
34.54/16.66 c (16,15) CSP: 8379 int (7902 aux), 62424 bool (62424 aux), 184584 ctr, max domain size 151
34.54/16.66 c (16,15) Heap : 716 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
34.54/16.66 c (16,15) CSPinCNF to SatSolver Begin
35.14/16.86 c (16,15) 18459 (10 %) CSP clauses are encoded (103347 SAT variables, 54557 SAT clauses)
35.32/16.95 c (16,15) 36917 (20 %) CSP clauses are encoded (103347 SAT variables, 73015 SAT clauses)
35.43/17.03 c (16,16) 55376 (30 %) CSP clauses are encoded (103347 SAT variables, 91474 SAT clauses)
35.53/17.12 c (16,16) 73834 (40 %) CSP clauses are encoded (103347 SAT variables, 109932 SAT clauses)
35.53/17.20 c (16,16) 92292 (50 %) CSP clauses are encoded (103347 SAT variables, 128390 SAT clauses)
35.64/17.29 c (16,16) 110751 (60 %) CSP clauses are encoded (103347 SAT variables, 146849 SAT clauses)
39.40/20.17 c (19,18) 129209 (70 %) CSP clauses are encoded (103347 SAT variables, 1402207 SAT clauses)
43.49/24.09 c (23,22) 147668 (80 %) CSP clauses are encoded (103347 SAT variables, 3109066 SAT clauses)
44.61/24.87 c (24,23) 166126 (90 %) CSP clauses are encoded (103347 SAT variables, 3388329 SAT clauses)
45.65/25.34 c (24,23) 184584 (100 %) CSP clauses are encoded (103347 SAT variables, 3480612 SAT clauses)
45.65/25.34 c (24,23) CSPinCNF to SatSolver End
45.65/25.34 c (24,23) Heap : 530 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
47.20/26.01 c (25,24) STATISTICS2:HOME/instance-4295750-1532560271.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,70803,184584,256,151,17,9,256:32;151:20592;96:135;64:1350;44:135;33:120;32:810;28:9;25:270;24:120;22:8;18:24;17:1467;16:4857;12:174;9:1926;8:358;6:40;4:527;1:2016,151:130158;17:100728;16:18000;12:549;11:517;7:37;6:175;5:1080;3:9432;2:284940;1:5076,17:288;16:288;15:144;14:144;13:144;12:144;11:144;10:144;9:178;8:144;7:144;6:144;5:144;4:39024;3:32805;2:103401;1:7160,9:32;7:2592;5:1944;3:2583;2:27819;1:459153,
47.20/26.01 c (25,24) SatSolver.solve Begin
47.20/26.01 c (25,24) 103347 bool, 3480628 clause
47.20/26.01 c (25,24) 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-4295750-1532560271.xml-scop-3383.cnf HOME/instance-4295750-1532560271.xml-scop-3383.cnf.out
48.08/26.80 c (26,0) receiving signal SIGTERM
48.08/26.80 s UNKNOWN
48.08/26.81 c (26,24) SatSolver is killed by some reasons.
48.08/26.81 c (26,24) 0,0,13,15,15,16,24,TO,TO,STOP-AFTER(DIMACS)
48.08/26.81 c END-Prog: Thu Jul 26 01:11:38 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 (8214 MiB free)
memory of node 1: 16384 MiB (10646 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295750-1532560271/watcher-4295750-1532560271 -o /tmp/evaluation-result-4295750-1532560271/solver-4295750-1532560271 -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-4295750-1532560271.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=3383, runsolver pid=3380
[startup+0.100095 s]*
/proc/loadavg: 1.96 2.07 2.07 3/215 3398
/proc/meminfo: memFree=19250092/32770624 swapFree=67076648/67108860
[pid=3383] ppid=3380 vsize=15011656 memory=72984 CPUtime=0.11 cores=0,2,4,6
/proc/3383/stat : 3383 (java) S 3380 3383 29212 0 -1 1077944320 7007 0 0 0 10 1 0 0 20 0 15 0 73590316 15371935744 18246 33554432000 4194304 4196468 140725522830048 140725522812592 139652024069879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
/proc/3383/statm: 3752914 18246 2746 1 0 3715374 0
[pid=3383/tid=3385] ppid=3380 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/3383/task/3385/stat : 3385 (java) R 3380 3383 29212 0 -1 4202560 5132 0 0 0 8 1 0 0 20 0 15 0 73590317 15371935744 18377 33554432000 4194304 4196468 140725522830048 139651995881864 139652004342586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3386] ppid=3380 vsize=15011656 memory=7948963741541478447 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 18377 33554432000 4194304 4196468 140725522830048 139652028311824 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3387] ppid=3380 vsize=15011656 memory=140430061790848 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 18377 33554432000 4194304 4196468 140725522830048 139651804014992 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3388] ppid=3380 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 18377 33554432000 4194304 4196468 140725522830048 139651802962448 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3389] ppid=3380 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 18377 33554432000 4194304 4196468 140725522830048 139651482380944 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3390] ppid=3380 vsize=15011656 memory=140430061790848 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590320 15371935744 18377 33554432000 4194304 4196468 140725522830048 139650793462256 139652024081026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3391] ppid=3380 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73590320 15371935744 18377 33554432000 4194304 4196468 140725522830048 139650660296096 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3392] ppid=3380 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590321 15371935744 18377 33554432000 4194304 4196468 140725522830048 139650391860720 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3393] ppid=3380 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15371935744 18377 33554432000 4194304 4196468 140725522830048 139650017352400 139652024088475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3394] ppid=3380 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 29212 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 73590323 15371935744 18377 33554432000 4194304 4196468 140725522830048 139650792409072 139652024081026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3395] ppid=3380 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15371935744 18377 33554432000 4194304 4196468 140725522830048 139650791356528 139652024081026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3396] ppid=3380 vsize=15011656 memory=140430061790848 CPUtime=0.01 cores=0,2,4,6
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 29212 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 73590323 15371935744 18377 33554432000 4194304 4196468 140725522830048 139650790303984 139652024081026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3397] ppid=3380 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15371935744 18377 33554432000 4194304 4196468 140725522830048 139649519446624 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3398] ppid=3380 vsize=15011656 memory=140430061790848 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590324 15371935744 18377 33554432000 4194304 4196468 140725522830048 139650789251888 139652024081026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72984 KiB
[startup+0.210316 s]*
/proc/loadavg: 1.96 2.07 2.07 3/215 3398
/proc/meminfo: memFree=19234652/32770624 swapFree=67076648/67108860
[pid=3383] ppid=3380 vsize=15011656 memory=86592 CPUtime=0.25 cores=0,2,4,6
/proc/3383/stat : 3383 (java) S 3380 3383 29212 0 -1 1077944320 10569 0 0 0 23 2 0 0 20 0 15 0 73590316 15371935744 21648 33554432000 4194304 4196468 140725522830048 140725522812592 139652024069879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
/proc/3383/statm: 3752914 21648 2906 1 0 3715374 0
[pid=3383/tid=3385] ppid=3380 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/3383/task/3385/stat : 3385 (java) R 3380 3383 29212 0 -1 4202560 8480 0 0 0 18 2 0 0 20 0 15 0 73590317 15371935744 21648 33554432000 4194304 4196468 140725522830048 139651995896272 139652008150366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3386] ppid=3380 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 21648 33554432000 4194304 4196468 140725522830048 139652028311824 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3387] ppid=3380 vsize=15011656 memory=140430062188994 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 21648 33554432000 4194304 4196468 140725522830048 139651804014992 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3388] ppid=3380 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 21648 33554432000 4194304 4196468 140725522830048 139651802962448 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3389] ppid=3380 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 21648 33554432000 4194304 4196468 140725522830048 139651482380944 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3390] ppid=3380 vsize=15011656 memory=140430061790848 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590320 15371935744 21648 33554432000 4194304 4196468 140725522830048 139650793462256 139652024081026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3391] ppid=3380 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73590320 15371935744 21648 33554432000 4194304 4196468 140725522830048 139650660296096 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3392] ppid=3380 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590321 15371935744 21648 33554432000 4194304 4196468 140725522830048 139650391860720 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3393] ppid=3380 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15371935744 21648 33554432000 4194304 4196468 140725522830048 139650017352400 139652024088475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3394] ppid=3380 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 29212 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 15 0 73590323 15371935744 21648 33554432000 4194304 4196468 140725522830048 139650792409072 139652024081026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3395] ppid=3380 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 29212 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 73590323 15371935744 21648 33554432000 4194304 4196468 140725522830048 139650791356528 139652024081026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3396] ppid=3380 vsize=15011656 memory=140430061790848 CPUtime=0.03 cores=0,2,4,6
/proc/3383/task/3396/stat : 3396 (java) R 3380 3383 29212 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 15 0 73590323 15371935744 21648 33554432000 4194304 4196468 140725522830048 139650790303984 139652003015475 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3397] ppid=3380 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15371935744 21648 33554432000 4194304 4196468 140725522830048 139649519446624 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3398] ppid=3380 vsize=15011656 memory=140430061790848 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590324 15371935744 21648 33554432000 4194304 4196468 140725522830048 139650789251888 139652024081026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86592 KiB
[startup+0.310198 s]*
/proc/loadavg: 1.96 2.07 2.07 3/215 3398
/proc/meminfo: memFree=19230124/32770624 swapFree=67076648/67108860
[pid=3383] ppid=3380 vsize=15011656 memory=90064 CPUtime=0.42 cores=0,2,4,6
/proc/3383/stat : 3383 (java) S 3380 3383 29212 0 -1 1077944320 11097 0 0 0 39 3 0 0 20 0 15 0 73590316 15371935744 22516 33554432000 4194304 4196468 140725522830048 140725522812592 139652024069879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
/proc/3383/statm: 3752914 22516 2980 1 0 3715374 0
[pid=3383/tid=3385] ppid=3380 vsize=15011656 memory=4638778402628129104 CPUtime=0.29 cores=0,2,4,6
/proc/3383/task/3385/stat : 3385 (java) R 3380 3383 29212 0 -1 4202560 8845 0 0 0 27 2 0 0 20 0 15 0 73590317 15371935744 22516 33554432000 4194304 4196468 140725522830048 139651995874032 139652008150366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3386] ppid=3380 vsize=15011656 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 22516 33554432000 4194304 4196468 140725522830048 139652028311824 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3387] ppid=3380 vsize=15011656 memory=140430061790848 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 22516 33554432000 4194304 4196468 140725522830048 139651804014992 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3388] ppid=3380 vsize=15011656 memory=280859857062816 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 22516 33554432000 4194304 4196468 140725522830048 139651802962448 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3389] ppid=3380 vsize=15011656 memory=67 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590319 15371935744 22516 33554432000 4194304 4196468 140725522830048 139651482380944 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3390] ppid=3380 vsize=15011656 memory=280859990324560 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590320 15371935744 22516 33554432000 4194304 4196468 140725522830048 139650793462256 139652024081026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3391] ppid=3380 vsize=15011656 memory=67 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73590320 15371935744 22516 33554432000 4194304 4196468 140725522830048 139650660296096 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3392] ppid=3380 vsize=15011656 memory=64996 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590321 15371935744 22516 33554432000 4194304 4196468 140725522830048 139650391860720 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3393] ppid=3380 vsize=15011656 memory=67300 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15371935744 22516 33554432000 4194304 4196468 140725522830048 139650017352400 139652024088475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3394] ppid=3380 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 29212 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 73590323 15371935744 22516 33554432000 4194304 4196468 140725522830048 139650792409072 139652024081026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3395] ppid=3380 vsize=15011656 memory=140429928568463 CPUtime=0.02 cores=0,2,4,6
/proc/3383/task/3395/stat : 3395 (java) R 3380 3383 29212 0 -1 4202560 213 0 0 0 2 0 0 0 20 0 15 0 73590323 15371935744 22516 33554432000 4194304 4196468 140725522830048 139650791356528 139652017166612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3396] ppid=3380 vsize=15011656 memory=280859990345312 CPUtime=0.07 cores=0,2,4,6
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 29212 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 15 0 73590323 15371935744 22516 33554432000 4194304 4196468 140725522830048 139650790303984 139652024081026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3397] ppid=3380 vsize=15011656 memory=140429928549903 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15371935744 22516 33554432000 4194304 4196468 140725522830048 139649519446624 139652024080085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3398] ppid=3380 vsize=15011656 memory=140430061790858 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590324 15371935744 22516 33554432000 4194304 4196468 140725522830048 139650789251888 139652024081026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90064 KiB
[startup+0.71141 s]
/proc/loadavg: 1.96 2.07 2.07 4/215 3398
/proc/meminfo: memFree=19204684/32770624 swapFree=67076648/67108860
[pid=3383] ppid=3380 vsize=15020052 memory=131772 CPUtime=1.01 cores=0,2,4,6
/proc/3383/stat : 3383 (java) S 3380 3383 29212 0 -1 1077944320 18158 0 0 0 96 5 0 0 20 0 15 0 73590316 15380533248 32943 33554432000 4194304 4196468 140725522830048 140725522812592 139652024069879 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
/proc/3383/statm: 3755013 32943 3169 1 0 3716398 0
[pid=3383/tid=3385] ppid=3380 vsize=15020052 memory=15316 CPUtime=0.68 cores=0,2,4,6
/proc/3383/task/3385/stat : 3385 (java) R 3380 3383 29212 0 -1 4202560 15481 0 0 0 63 5 0 0 20 0 15 0 73590317 15380533248 32943 33554432000 4194304 4196468 140725522830048 139651995905520 139652008150366 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3386] ppid=3380 vsize=15020052 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590319 15380533248 32943 33554432000 4194304 4196468 140725522830048 139652028311824 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3387] ppid=3380 vsize=15020052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590319 15380533248 32943 33554432000 4194304 4196468 140725522830048 139651804014992 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3388] ppid=3380 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590319 15380533248 32943 33554432000 4194304 4196468 140725522830048 139651802962448 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3389] ppid=3380 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590319 15380533248 32943 33554432000 4194304 4196468 140725522830048 139651482380944 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3390] ppid=3380 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73590320 15380533248 32943 33554432000 4194304 4196468 140725522830048 139650793462256 139652024081026 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3391] ppid=3380 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73590320 15380533248 32943 33554432000 4194304 4196468 140725522830048 139650660296096 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3392] ppid=3380 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590321 15380533248 32943 33554432000 4194304 4196468 140725522830048 139650391860720 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3393] ppid=3380 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15380533248 32943 33554432000 4194304 4196468 140725522830048 139650017352400 139652024088475 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3394] ppid=3380 vsize=15020052 memory=6944656592387989600 CPUtime=0.06 cores=0,2,4,6
/proc/3383/task/3394/stat : 3394 (java) R 3380 3383 29212 0 -1 4202560 419 0 0 0 6 0 0 0 20 0 15 0 73590323 15380533248 32943 33554432000 4194304 4196468 140725522830048 139650792397216 139652017175596 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3395] ppid=3380 vsize=15020052 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 29212 0 -1 1077944384 461 0 0 0 8 0 0 0 20 0 15 0 73590323 15380533248 32943 33554432000 4194304 4196468 140725522830048 139650791356528 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3396] ppid=3380 vsize=15020052 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/3383/task/3396/stat : 3396 (java) R 3380 3383 29212 0 -1 4202560 458 0 0 0 17 0 0 0 20 0 15 0 73590323 15380533248 32943 33554432000 4194304 4196468 140725522830048 139650790299056 139652016307006 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3397] ppid=3380 vsize=15020052 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15380533248 32943 33554432000 4194304 4196468 140725522830048 139649519446624 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3398] ppid=3380 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590324 15380533248 32943 33554432000 4194304 4196468 140725522830048 139650789251888 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 131772 KiB
[startup+1.50092 s]
/proc/loadavg: 1.96 2.07 2.07 5/215 3398
/proc/meminfo: memFree=19133580/32770624 swapFree=67076648/67108860
[pid=3383] ppid=3380 vsize=15024148 memory=171572 CPUtime=2.99 cores=0,2,4,6
/proc/3383/stat : 3383 (java) S 3380 3383 29212 0 -1 1077944320 21432 0 0 0 290 9 0 0 20 0 15 0 73590316 15384727552 42893 33554432000 4194304 4196468 140725522830048 140725522812592 139652024069879 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
/proc/3383/statm: 3756037 42893 3202 1 0 3717422 0
[pid=3383/tid=3385] ppid=3380 vsize=15024148 memory=2244 CPUtime=1.47 cores=0,2,4,6
/proc/3383/task/3385/stat : 3385 (java) R 3380 3383 29212 0 -1 4202560 16743 0 0 0 141 6 0 0 20 0 15 0 73590317 15384727552 42893 33554432000 4194304 4196468 140725522830048 139651995898480 139652004345175 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3386] ppid=3380 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590319 15384727552 42893 33554432000 4194304 4196468 140725522830048 139652028311824 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3387] ppid=3380 vsize=15024148 memory=280859857299168 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590319 15384727552 42893 33554432000 4194304 4196468 140725522830048 139651804014992 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3388] ppid=3380 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73590319 15384727552 42893 33554432000 4194304 4196468 140725522830048 139651802962448 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3389] ppid=3380 vsize=15024148 memory=280859857308160 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590319 15384727552 42893 33554432000 4194304 4196468 140725522830048 139651482380944 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3390] ppid=3380 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73590320 15384727552 42893 33554432000 4194304 4196468 140725522830048 139650793462256 139652024081026 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
################
# More data... #
################
[pid=3383/tid=3391] ppid=3380 vsize=15024148 memory=140429928839128 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73590320 15384727552 489621 33554432000 4194304 4196468 140725522830048 139650660296096 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3392] ppid=3380 vsize=15024148 memory=8243122710528917583 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73590321 15384727552 489621 33554432000 4194304 4196468 140725522830048 139650391860720 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3393] ppid=3380 vsize=15024148 memory=20959 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15384727552 489621 33554432000 4194304 4196468 140725522830048 139650017352400 139652024088475 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3394] ppid=3380 vsize=15024148 memory=4605164 CPUtime=1.97 cores=0,2,4,6
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 29212 0 -1 1077944384 2261 0 0 0 196 1 0 0 20 0 15 0 73590323 15384727552 489621 33554432000 4194304 4196468 140725522830048 139650792409072 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3395] ppid=3380 vsize=15024148 memory=55 CPUtime=1.95 cores=0,2,4,6
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 29212 0 -1 1077944384 1783 0 0 0 194 1 0 0 20 0 15 0 73590323 15384727552 489621 33554432000 4194304 4196468 140725522830048 139650791356528 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3396] ppid=3380 vsize=15024148 memory=288230377091498274 CPUtime=0.92 cores=0,2,4,6
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 29212 0 -1 1077944384 2951 0 0 0 90 2 0 0 20 0 15 0 73590323 15384727552 489621 33554432000 4194304 4196468 140725522830048 139650790303984 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3397] ppid=3380 vsize=15024148 memory=288287770756252889 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15384727552 489621 33554432000 4194304 4196468 140725522830048 139649519446624 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3398] ppid=3380 vsize=15024148 memory=-1161699032755964503 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590324 15384727552 489621 33554432000 4194304 4196468 140725522830048 139650789251888 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
Current children cumulated CPU time: 11.14 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 1958484 KiB
[startup+12.7016 s]
/proc/loadavg: 2.05 2.08 2.08 5/215 3398
/proc/meminfo: memFree=16014720/32770624 swapFree=67076648/67108860
[pid=3383] ppid=3380 vsize=15024148 memory=3171124 CPUtime=24.94 cores=0,2,4,6
/proc/3383/stat : 3383 (java) S 3380 3383 29212 0 -1 1077944320 44329 0 0 0 2417 77 0 0 20 0 15 0 73590316 15384727552 792781 33554432000 4194304 4196468 140725522830048 140725522812592 139652024069879 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
/proc/3383/statm: 3756037 792781 3226 1 0 3717422 0
[pid=3383/tid=3385] ppid=3380 vsize=15024148 memory=3174676 CPUtime=12.48 cores=0,2,4,6
/proc/3383/task/3385/stat : 3385 (java) R 3380 3383 29212 0 -1 4202560 19030 0 0 0 1196 52 0 0 20 0 15 0 73590317 15384727552 792781 33554432000 4194304 4196468 140725522830048 139651995907344 139652024081814 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3386] ppid=3380 vsize=15024148 memory=280859857269064 CPUtime=0.16 cores=0,2,4,6
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 29212 0 -1 1077944384 77 0 0 0 13 3 0 0 20 0 15 0 73590319 15384727552 792781 33554432000 4194304 4196468 140725522830048 139652028311824 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3387] ppid=3380 vsize=15024148 memory=2583820 CPUtime=0.16 cores=0,2,4,6
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 29212 0 -1 1077944384 83 0 0 0 13 3 0 0 20 0 15 0 73590319 15384727552 792781 33554432000 4194304 4196468 140725522830048 139651804014992 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3388] ppid=3380 vsize=15024148 memory=8099255964790968404 CPUtime=0.17 cores=0,2,4,6
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 29212 0 -1 1077944384 102 0 0 0 13 4 0 0 20 0 15 0 73590319 15384727552 792781 33554432000 4194304 4196468 140725522830048 139651802962448 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3389] ppid=3380 vsize=15024148 memory=8112282956445269571 CPUtime=0.16 cores=0,2,4,6
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 29212 0 -1 1077944384 120 0 0 0 13 3 0 0 20 0 15 0 73590319 15384727552 792781 33554432000 4194304 4196468 140725522830048 139651482380944 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3390] ppid=3380 vsize=15024148 memory=7883944108235712103 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 73590320 15384727552 792781 33554432000 4194304 4196468 140725522830048 139650793462256 139652024081026 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3391] ppid=3380 vsize=15024148 memory=844 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 73590320 15384727552 792781 33554432000 4194304 4196468 140725522830048 139650660296096 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3392] ppid=3380 vsize=15024148 memory=1460 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590321 15384727552 792781 33554432000 4194304 4196468 140725522830048 139650391860720 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3393] ppid=3380 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15384727552 792781 33554432000 4194304 4196468 140725522830048 139650017352400 139652024088475 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3394] ppid=3380 vsize=15024148 memory=0 CPUtime=4.95 cores=0,2,4,6
/proc/3383/task/3394/stat : 3394 (java) R 3380 3383 29212 0 -1 4202560 7100 0 0 0 494 1 0 0 20 0 15 0 73590323 15384727552 792781 33554432000 4194304 4196468 140725522830048 139650792394304 139652005245831 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3395] ppid=3380 vsize=15024148 memory=3167756 CPUtime=5.14 cores=0,2,4,6
/proc/3383/task/3395/stat : 3395 (java) R 3380 3383 29212 0 -1 4202560 8229 0 0 0 512 2 0 0 20 0 15 0 73590323 15384727552 792781 33554432000 4194304 4196468 140725522830048 139650791347984 139652009195120 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3396] ppid=3380 vsize=15024148 memory=3167492 CPUtime=1.62 cores=0,2,4,6
/proc/3383/task/3396/stat : 3396 (java) R 3380 3383 29212 0 -1 1077944384 8232 0 0 0 159 3 0 0 20 0 15 0 73590323 15384727552 792781 33554432000 4194304 4196468 140725522830048 139650790303984 139652024081026 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3397] ppid=3380 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15384727552 792781 33554432000 4194304 4196468 140725522830048 139649519446624 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3398] ppid=3380 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590324 15384727552 792781 33554432000 4194304 4196468 140725522830048 139650789251888 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
Current children cumulated CPU time: 24.94 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3171124 KiB
[startup+25.5008 s]
/proc/loadavg: 2.40 2.16 2.10 5/215 3480
/proc/meminfo: memFree=20116984/32770624 swapFree=67076648/67108860
[pid=3383] ppid=3380 vsize=15028312 memory=3468328 CPUtime=46.06 cores=0,2,4,6
/proc/3383/stat : 3383 (java) S 3380 3383 29212 0 -1 1077944320 63140 0 0 0 4483 123 0 0 20 0 15 0 73590316 15388991488 867082 33554432000 4194304 4196468 140725522830048 140725522812592 139652024069879 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
/proc/3383/statm: 3757078 867082 3259 1 0 3717934 0
[pid=3383/tid=3385] ppid=3380 vsize=15028312 memory=3468276 CPUtime=24.32 cores=0,2,4,6
/proc/3383/task/3385/stat : 3385 (java) R 3380 3383 29212 0 -1 4202560 22126 0 0 0 2368 64 0 0 20 0 15 0 73590317 15388991488 867082 33554432000 4194304 4196468 140725522830048 139651995905168 139651488514372 0 4 0 25189583 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3386] ppid=3380 vsize=15028312 memory=3468276 CPUtime=0.87 cores=0,2,4,6
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 29212 0 -1 1077944384 395 0 0 0 76 11 0 0 20 0 15 0 73590319 15388991488 867082 33554432000 4194304 4196468 140725522830048 139652028311824 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3387] ppid=3380 vsize=15028312 memory=1664 CPUtime=0.87 cores=0,2,4,6
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 29212 0 -1 1077944384 542 0 0 0 76 11 0 0 20 0 15 0 73590319 15388991488 867082 33554432000 4194304 4196468 140725522830048 139651804014992 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3388] ppid=3380 vsize=15028312 memory=1828 CPUtime=0.86 cores=0,2,4,6
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 29212 0 -1 1077944384 471 0 0 0 75 11 0 0 20 0 15 0 73590319 15388991488 867082 33554432000 4194304 4196468 140725522830048 139651802962448 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3389] ppid=3380 vsize=15028312 memory=3468268 CPUtime=0.86 cores=0,2,4,6
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 29212 0 -1 1077944384 1853 0 0 0 75 11 0 0 20 0 15 0 73590319 15388991488 867082 33554432000 4194304 4196468 140725522830048 139651482380944 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3390] ppid=3380 vsize=15028312 memory=288230613214036277 CPUtime=0.02 cores=0,2,4,6
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 29212 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 15 0 73590320 15388991488 867082 33554432000 4194304 4196468 140725522830048 139650793462256 139652024081026 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3391] ppid=3380 vsize=15028312 memory=280859857971616 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 73590320 15388991488 867082 33554432000 4194304 4196468 140725522830048 139650660296160 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3392] ppid=3380 vsize=15028312 memory=8976414709404591081 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 29212 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 73590321 15388991488 867082 33554432000 4194304 4196468 140725522830048 139650391860736 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3393] ppid=3380 vsize=15028312 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15388991488 867082 33554432000 4194304 4196468 140725522830048 139650017352400 139652024088475 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3394] ppid=3380 vsize=15028312 memory=19132 CPUtime=7.88 cores=0,2,4,6
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 29212 0 -1 1077944384 10511 0 0 0 785 3 0 0 20 0 15 0 73590323 15388991488 867082 33554432000 4194304 4196468 140725522830048 139650792409072 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3395] ppid=3380 vsize=15028312 memory=161 CPUtime=8.37 cores=0,2,4,6
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 29212 0 -1 1077944384 15305 0 0 0 834 3 0 0 20 0 15 0 73590323 15388991488 867082 33554432000 4194304 4196468 140725522830048 139650791356528 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3396] ppid=3380 vsize=15028312 memory=4425519649877495158 CPUtime=1.91 cores=0,2,4,6
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 29212 0 -1 1077944384 10300 0 0 0 188 3 0 0 20 0 15 0 73590323 15388991488 867082 33554432000 4194304 4196468 140725522830048 139650790303984 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3397] ppid=3380 vsize=15028312 memory=5196 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73590323 15388991488 867082 33554432000 4194304 4196468 140725522830048 139649519446624 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3398] ppid=3380 vsize=15028312 memory=12816 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 73590324 15388991488 867082 33554432000 4194304 4196468 140725522830048 139650789251888 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
Current children cumulated CPU time: 46.06 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3468328 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+26.8009 s]
/proc/loadavg: 2.40 2.16 2.10 3/220 3486
/proc/meminfo: memFree=19672620/32770624 swapFree=67076648/67108860
[pid=3383] ppid=3380 vsize=15683912 memory=3471480 CPUtime=47.32 cores=0,2,4,6
/proc/3383/stat : 3383 (java) S 3380 3383 29212 0 -1 1077944320 64063 0 0 0 4608 124 0 0 20 0 19 0 73590316 16060325888 867870 33554432000 4194304 4196468 140725522830048 140725522812592 139652024069879 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
/proc/3383/statm: 3920978 867870 3263 1 0 3881834 0
[pid=3481] ppid=3383 vsize=236764 memory=192952 CPUtime=0.76 cores=0,2,4,6
/proc/3481/stat : 3481 (minisat_release) R 3383 3383 29212 0 -1 4202496 37750 0 0 0 69 7 0 0 20 0 1 0 73592919 242446336 48238 33554432000 4194304 4308513 140735871974240 140735870922648 140118199405541 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 38805504 140735871980209 140735871980718 140735871980718 140735871983557 0
/proc/3481/statm: 59191 48238 315 28 0 55431 0
[pid=3383/tid=3385] ppid=3380 vsize=15683912 memory=1548 CPUtime=24.89 cores=0,2,4,6
/proc/3383/task/3385/stat : 3385 (java) S 3380 3383 29212 0 -1 1077944384 22826 0 0 0 2425 64 0 0 20 0 19 0 73590317 16060325888 867870 33554432000 4194304 4196468 140725522830048 139651995909120 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3386] ppid=3380 vsize=15683912 memory=2164 CPUtime=0.87 cores=0,2,4,6
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 29212 0 -1 1077944384 395 0 0 0 76 11 0 0 20 0 19 0 73590319 16060325888 867870 33554432000 4194304 4196468 140725522830048 139652028311824 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3387] ppid=3380 vsize=15683912 memory=280859857742880 CPUtime=0.87 cores=0,2,4,6
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 29212 0 -1 1077944384 542 0 0 0 76 11 0 0 20 0 19 0 73590319 16060325888 867870 33554432000 4194304 4196468 140725522830048 139651804014992 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3388] ppid=3380 vsize=15683912 memory=4026532099 CPUtime=0.86 cores=0,2,4,6
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 29212 0 -1 1077944384 471 0 0 0 75 11 0 0 20 0 19 0 73590319 16060325888 867870 33554432000 4194304 4196468 140725522830048 139651802962448 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3389] ppid=3380 vsize=15683912 memory=21638 CPUtime=0.86 cores=0,2,4,6
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 29212 0 -1 1077944384 1853 0 0 0 75 11 0 0 20 0 19 0 73590319 16060325888 867870 33554432000 4194304 4196468 140725522830048 139651482380944 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3390] ppid=3380 vsize=15683912 memory=6944656592455360604 CPUtime=0.02 cores=0,2,4,6
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 29212 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 19 0 73590320 16060325888 867870 33554432000 4194304 4196468 140725522830048 139650793462256 139652024081026 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3391] ppid=3380 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 73590320 16060325888 867870 33554432000 4194304 4196468 140725522830048 139650660296160 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3392] ppid=3380 vsize=15683912 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 29212 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 73590321 16060325888 867870 33554432000 4194304 4196468 140725522830048 139650391860736 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3393] ppid=3380 vsize=15683912 memory=-8773164308154395822 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73590323 16060325888 867870 33554432000 4194304 4196468 140725522830048 139650017352400 139652024088475 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3394] ppid=3380 vsize=15683912 memory=6655300316396806240 CPUtime=8.2 cores=0,2,4,6
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 29212 0 -1 1077944384 10560 0 0 0 817 3 0 0 20 0 19 0 73590323 16060325888 867870 33554432000 4194304 4196468 140725522830048 139650792409072 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3395] ppid=3380 vsize=15683912 memory=6944656592455359580 CPUtime=8.7 cores=0,2,4,6
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 29212 0 -1 1077944384 15366 0 0 0 867 3 0 0 20 0 19 0 73590323 16060325888 867870 33554432000 4194304 4196468 140725522830048 139650791356528 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3396] ppid=3380 vsize=15683912 memory=6944656592455097440 CPUtime=1.93 cores=0,2,4,6
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 29212 0 -1 1077944384 10338 0 0 0 190 3 0 0 20 0 19 0 73590323 16060325888 867870 33554432000 4194304 4196468 140725522830048 139650790303984 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3397] ppid=3380 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73590323 16060325888 867870 33554432000 4194304 4196468 140725522830048 139649519446624 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3398] ppid=3380 vsize=15683912 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 73590324 16060325888 867870 33554432000 4194304 4196468 140725522830048 139650789251888 139652024081026 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3482] ppid=3380 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3482/stat : 3482 (java) S 3380 3383 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73592919 16060325888 867870 33554432000 4194304 4196468 140725522830048 139651063195200 139652024094489 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3484] ppid=3380 vsize=15683912 memory=177 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3484/stat : 3484 (java) S 3380 3383 29212 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 73592920 16060325888 867870 33554432000 4194304 4196468 140725522830048 139648982560816 139652024091805 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3485] ppid=3380 vsize=15683912 memory=218 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3485/stat : 3485 (java) S 3380 3383 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 73592920 16060325888 867870 33554432000 4194304 4196468 140725522830048 139649116781744 139652024091805 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
[pid=3383/tid=3486] ppid=3380 vsize=15683912 memory=449 CPUtime=0 cores=0,2,4,6
/proc/3383/task/3486/stat : 3486 (java) S 3380 3383 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73592922 16060325888 867870 33554432000 4194304 4196468 140725522830048 139648714136608 139652024080085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13864960 140725522838516 140725522838793 140725522838793 140725522841551 0
Current children cumulated CPU time: 48.08 s
Current children cumulated vsize: 15920676 KiB
Current children cumulated memory: 3664432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+26.8467 s]
# the end of solver process 3383 was just reported to runsolver
# cumulated CPU time of all completed processes: user=46.7846 s, system=1.36746 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 26.8468
CPU time (s): 48.152
CPU user time (s): 46.7846
CPU system time (s): 1.36746
CPU usage (%): 179.359
Max. virtual memory (cumulated for all children) (KiB): 15920676
Max. memory (cumulated for all children) (KiB): 3664432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.7846
system time used= 1.36746
maximum resident set size= 3473980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101928
page faults= 0
swaps= 0
block input operations= 8
block output operations= 144440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7369
involuntary context switches= 175
# summary of solver processes directly reported to runsolver:
# pid: 3383
# total CPU time (s): 48.152
# total CPU user time (s): 46.7846
# total CPU system time (s): 1.36746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.209764 second user time and 0.267056 second system time
The end