0.67/0.52
0.67/0.53 scop order+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 13:53:45 CEST 2018
0.67/0.55 c PID: 7019
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.56 c (0,0) Parsing Begin
6.10/2.48 c (1,1) Parsing End
6.42/2.51 c (1,1) CSP: 0 int (0 aux), 14400 bool (0 aux), 1088 ctr, max domain size 2
6.42/2.51 c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
6.42/2.51 c (1,1) Constraint Name Generate Begin
6.42/2.58 c (2,2) Ctr:HOME/instance-4293748-1532346824.xml,IntVar:Num:WeightedSum
6.42/2.58 c (2,2) Constraint Name Generate End
6.42/2.58 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
6.42/2.58 c (2,2) CSP to CSPinCNF Begin
9.00/3.79 c (3,3) translated 109 (10%) constraints
10.08/4.74 c (4,4) translated 218 (20%) constraints
11.03/5.67 c (5,5) translated 327 (30%) constraints
12.25/6.57 c (6,5) translated 436 (40%) constraints
13.53/7.40 c (6,6) translated 544 (50%) constraints
14.28/8.18 c (7,7) translated 653 (60%) constraints
15.38/9.06 c (8,8) translated 762 (70%) constraints
16.31/9.84 c (9,9) translated 871 (80%) constraints
17.49/10.95 c (10,10) translated 980 (90%) constraints
20.50/13.65 c (13,12) translated 1088 (100%) constraints
22.43/14.65 c (14,13) STATISTICS1:HOME/instance-4293748-1532346824.xml,IntVar:Num:WeightedSum,14400,1088,9223372036854775807,2,1,225,9223372036854775807:1088,2:144000,1:1088,225:128;120:960,22500:128;6400:960
22.43/14.65 c (14,13) ===========================================
22.43/14.65 c (14,13) Order
22.43/14.65 c (14,13) ===========================================
24.93/15.55 c (15,14) translated 109 (10%) constraints
27.08/16.39 c (15,15) translated 218 (20%) constraints
29.25/17.09 c (16,16) translated 327 (30%) constraints
31.07/17.74 c (17,16) translated 436 (40%) constraints
32.01/18.38 c (17,17) translated 544 (50%) constraints
32.68/19.00 c (18,18) translated 653 (60%) constraints
33.40/19.60 c (19,18) translated 762 (70%) constraints
34.01/20.20 c (19,19) translated 871 (80%) constraints
34.77/20.97 c (20,19) translated 980 (90%) constraints
37.33/22.76 c (22,21) translated 1088 (100%) constraints
37.33/22.78 c (22,21) CSP to CSPinCNF End
37.46/22.81 c (22,21) CSP: 25920 int (25920 aux), 14400 bool (0 aux), 27008 ctr, max domain size 41
37.46/22.81 c (22,21) Heap : 1038 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
37.46/22.81 c (22,21) CSPinCNF Propagation Begin
38.13/23.18 c (22,22) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
38.13/23.18 c (22,22) CSPinCNF Propagation End
38.27/23.20 c (22,22) CSP: 25920 int (25920 aux), 14400 bool (0 aux), 27008 ctr, max domain size 41
38.27/23.20 c (22,22) Heap : 1218 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
38.27/23.20 c (22,22) Simplify CSPinCNF Begin
38.48/23.30 c (22,22) Simplify CSPinCNF End
38.48/23.32 c (22,22) CSP: 25920 int (25920 aux), 14400 bool (0 aux), 27008 ctr, max domain size 41
38.48/23.32 c (22,22) Heap : 1274 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
38.48/23.32 c (22,22) Calculate Precise Domain Begin
38.92/23.54 c (23,22) 0 values are removed by re-calculation
38.92/23.54 c (23,22) Calculate Precise Domain End
38.92/23.55 c (23,22) CSP: 25920 int (25920 aux), 14400 bool (0 aux), 27008 ctr, max domain size 41
38.92/23.55 c (23,22) Heap : 1441 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
38.92/23.55 c (23,22) CSPinCNF to SatSolver Begin
47.48/30.26 c (29,28) 2701 (10 %) CSP clauses are encoded (309024 SAT variables, 1780736 SAT clauses)
53.85/36.57 c (36,34) 5402 (20 %) CSP clauses are encoded (309024 SAT variables, 3292773 SAT clauses)
59.40/42.56 c (42,39) 8103 (30 %) CSP clauses are encoded (309024 SAT variables, 4805828 SAT clauses)
65.03/48.52 c (47,45) 10804 (40 %) CSP clauses are encoded (309024 SAT variables, 6338832 SAT clauses)
70.95/55.34 c (54,51) 13504 (50 %) CSP clauses are encoded (309024 SAT variables, 8097096 SAT clauses)
76.88/61.59 c (61,57) 16205 (60 %) CSP clauses are encoded (309024 SAT variables, 9854458 SAT clauses)
82.85/68.05 c (67,62) 18906 (70 %) CSP clauses are encoded (309024 SAT variables, 11611820 SAT clauses)
88.46/74.35 c (73,68) 21607 (80 %) CSP clauses are encoded (309024 SAT variables, 13246844 SAT clauses)
92.17/78.09 c (77,72) 24308 (90 %) CSP clauses are encoded (309024 SAT variables, 14317479 SAT clauses)
95.90/82.29 c (81,76) 27008 (100 %) CSP clauses are encoded (309024 SAT variables, 15387193 SAT clauses)
95.90/82.29 c (81,76) CSPinCNF to SatSolver End
95.90/82.29 c (81,76) Heap : 2871 MiB used (max 11072 MiB), NonHeap : 29 MiB used (max 0 MiB)
97.42/82.88 c (82,76) STATISTICS2:HOME/instance-4293748-1532346824.xml,IntVar:Num:WeightedSum,40320,27008,1681,41,1,11,1681:480;1024:12672;512:1920;441:1440;121:2880;110:1152;100:384;60:384;57:384;22:2880;9:512;4:1920,41:2880;21:5760;20:2304;19:768;11:25344;10:3840;3:2304;2:152640,1:27008,11:12672;10:1920;3:12416,
97.42/82.88 c (82,76) SatSolver.solve Begin
97.42/82.88 c (82,76) 309024 bool, 15387200 clause
97.42/82.88 c (82,76) 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-4293748-1532346824.xml-scop-7019.cnf HOME/instance-4293748-1532346824.xml-scop-7019.cnf.out
98.53/83.40 c (82,0) receiving signal SIGTERM
98.53/83.40 s UNKNOWN
98.53/83.41 c (82,76) SatSolver is killed by some reasons.
98.53/83.41 c (82,76) 1,2,22,22,22,23,81,TO,TO,STOP-AFTER(DIMACS)
98.53/83.41 c END-Prog: Mon Jul 23 13:55:08 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 (4337 MiB free)
memory of node 1: 16384 MiB (10510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293748-1532346824/watcher-4293748-1532346824 -o /tmp/evaluation-result-4293748-1532346824/solver-4293748-1532346824 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293748-1532346824.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=7019, runsolver pid=7016
[startup+0.100088 s]*
/proc/loadavg: 2.03 2.10 2.11 3/220 7034
/proc/meminfo: memFree=15143588/32770624 swapFree=67108860/67108860
[pid=7019] ppid=7016 vsize=15011656 memory=73476 CPUtime=0.11 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 2271 0 -1 1077944320 7054 0 0 0 9 2 0 0 20 0 15 0 52245603 15371935744 18369 33554432000 4194304 4196468 140731315727344 140731315709888 139922069597943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
/proc/7019/statm: 3752914 18369 2778 1 0 3715374 0
[pid=7019/tid=7021] ppid=7016 vsize=15011656 memory=4427216149324862355 CPUtime=0.09 cores=0,2,4,6
/proc/7019/task/7021/stat : 7021 (java) R 7016 7019 2271 0 -1 4202560 5134 0 0 0 7 2 0 0 20 0 15 0 52245603 15371935744 18369 33554432000 4194304 4196468 140731315727344 139922041375024 139922054763536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7022] ppid=7016 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 18369 33554432000 4194304 4196468 140731315727344 139922073840400 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7023] ppid=7016 vsize=15011656 memory=140476202612352 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 18369 33554432000 4194304 4196468 140731315727344 139921849543568 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7024] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 18369 33554432000 4194304 4196468 140731315727344 139921848491024 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7025] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 18369 33554432000 4194304 4196468 140731315727344 139921528450192 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7026] ppid=7016 vsize=15011656 memory=140476202612352 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245606 15371935744 18369 33554432000 4194304 4196468 140731315727344 139920837425136 139922069609090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7027] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52245607 15371935744 18369 33554432000 4194304 4196468 140731315727344 139920706364320 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7028] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245607 15371935744 18369 33554432000 4194304 4196468 140731315727344 139920437928944 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7029] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245609 15371935744 18369 33554432000 4194304 4196468 140731315727344 139920063420624 139922069616539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7030] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 2271 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 52245609 15371935744 18369 33554432000 4194304 4196468 140731315727344 139920836372976 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7031] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245609 15371935744 18369 33554432000 4194304 4196468 140731315727344 139920835320432 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7032] ppid=7016 vsize=15011656 memory=140476202612352 CPUtime=0.01 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 2271 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 52245609 15371935744 18369 33554432000 4194304 4196468 140731315727344 139920834267888 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7033] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245610 15371935744 18369 33554432000 4194304 4196468 140731315727344 139919565515872 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7034] ppid=7016 vsize=15011656 memory=140476202612352 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245610 15371935744 18369 33554432000 4194304 4196468 140731315727344 139920833214768 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73476 KiB
[startup+0.21048 s]*
/proc/loadavg: 2.03 2.10 2.11 3/220 7034
/proc/meminfo: memFree=15130256/32770624 swapFree=67108860/67108860
[pid=7019] ppid=7016 vsize=15011656 memory=86556 CPUtime=0.25 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 2271 0 -1 1077944320 10572 0 0 0 22 3 0 0 20 0 15 0 52245603 15371935744 21639 33554432000 4194304 4196468 140731315727344 140731315709888 139922069597943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
/proc/7019/statm: 3752914 21639 2913 1 0 3715374 0
[pid=7019/tid=7021] ppid=7016 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/7019/task/7021/stat : 7021 (java) R 7016 7019 2271 0 -1 4202560 8471 0 0 0 17 2 0 0 20 0 15 0 52245603 15371935744 21639 33554432000 4194304 4196468 140731315727344 139922041424336 139922069609878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7022] ppid=7016 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 21639 33554432000 4194304 4196468 140731315727344 139922073840400 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7023] ppid=7016 vsize=15011656 memory=140476202627418 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 21639 33554432000 4194304 4196468 140731315727344 139921849543568 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7024] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 21639 33554432000 4194304 4196468 140731315727344 139921848491024 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7025] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 21639 33554432000 4194304 4196468 140731315727344 139921528450192 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7026] ppid=7016 vsize=15011656 memory=140476202612352 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245606 15371935744 21639 33554432000 4194304 4196468 140731315727344 139920837425136 139922069609090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7027] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52245607 15371935744 21639 33554432000 4194304 4196468 140731315727344 139920706364320 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7028] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245607 15371935744 21639 33554432000 4194304 4196468 140731315727344 139920437928944 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7029] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245609 15371935744 21639 33554432000 4194304 4196468 140731315727344 139920063420624 139922069616539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7030] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 2271 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 52245609 15371935744 21639 33554432000 4194304 4196468 140731315727344 139920836372976 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7031] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 2271 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 52245609 15371935744 21639 33554432000 4194304 4196468 140731315727344 139920835320432 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7032] ppid=7016 vsize=15011656 memory=140476202612352 CPUtime=0.03 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 2271 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 15 0 52245609 15371935744 21639 33554432000 4194304 4196468 140731315727344 139920834267888 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7033] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245610 15371935744 21639 33554432000 4194304 4196468 140731315727344 139919565515872 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7034] ppid=7016 vsize=15011656 memory=140476202612352 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245610 15371935744 21639 33554432000 4194304 4196468 140731315727344 139920833214768 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86556 KiB
[startup+0.310413 s]*
/proc/loadavg: 2.03 2.10 2.11 3/220 7034
/proc/meminfo: memFree=15126596/32770624 swapFree=67108860/67108860
[pid=7019] ppid=7016 vsize=15011656 memory=90024 CPUtime=0.42 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 2271 0 -1 1077944320 11094 0 0 0 39 3 0 0 20 0 15 0 52245603 15371935744 22506 33554432000 4194304 4196468 140731315727344 140731315709888 139922069597943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
/proc/7019/statm: 3752914 22506 2973 1 0 3715374 0
[pid=7019/tid=7021] ppid=7016 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/7019/task/7021/stat : 7021 (java) R 7016 7019 2271 0 -1 4202560 8836 0 0 0 27 2 0 0 20 0 15 0 52245603 15371935744 22506 33554432000 4194304 4196468 140731315727344 139922041402096 139922069619869 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7022] ppid=7016 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 22506 33554432000 4194304 4196468 140731315727344 139922073840400 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7023] ppid=7016 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 22506 33554432000 4194304 4196468 140731315727344 139921849543568 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7024] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 22506 33554432000 4194304 4196468 140731315727344 139921848491024 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7025] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245605 15371935744 22506 33554432000 4194304 4196468 140731315727344 139921528450192 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7026] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245606 15371935744 22506 33554432000 4194304 4196468 140731315727344 139920837425136 139922069609090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7027] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52245607 15371935744 22506 33554432000 4194304 4196468 140731315727344 139920706364320 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7028] ppid=7016 vsize=15011656 memory=140476202612352 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245607 15371935744 22506 33554432000 4194304 4196468 140731315727344 139920437928944 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7029] ppid=7016 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245609 15371935744 22506 33554432000 4194304 4196468 140731315727344 139920063420624 139922069616539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7030] ppid=7016 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 2271 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 15 0 52245609 15371935744 22506 33554432000 4194304 4196468 140731315727344 139920836372976 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7031] ppid=7016 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 2271 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 15 0 52245609 15371935744 22506 33554432000 4194304 4196468 140731315727344 139920835320432 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7032] ppid=7016 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 2271 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 15 0 52245609 15371935744 22506 33554432000 4194304 4196468 140731315727344 139920834267888 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7033] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245610 15371935744 22506 33554432000 4194304 4196468 140731315727344 139919565515872 139922069608149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7034] ppid=7016 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245610 15371935744 22506 33554432000 4194304 4196468 140731315727344 139920833214768 139922069609090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90024 KiB
[startup+0.701216 s]
/proc/loadavg: 2.03 2.10 2.11 4/220 7034
/proc/meminfo: memFree=15102660/32770624 swapFree=67108860/67108860
[pid=7019] ppid=7016 vsize=15017928 memory=131464 CPUtime=1.04 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 2271 0 -1 1077944320 17957 0 0 0 99 5 0 0 20 0 15 0 52245603 15378358272 32866 33554432000 4194304 4196468 140731315727344 140731315709888 139922069597943 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
/proc/7019/statm: 3754482 32866 3157 1 0 3715886 0
[pid=7019/tid=7021] ppid=7016 vsize=15017928 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/7019/task/7021/stat : 7021 (java) R 7016 7019 2271 0 -1 4202560 15217 0 0 0 63 4 0 0 20 0 15 0 52245603 15378358272 32866 33554432000 4194304 4196468 140731315727344 139922041433760 139921528605695 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7022] ppid=7016 vsize=15017928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245605 15378358272 32866 33554432000 4194304 4196468 140731315727344 139922073840400 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7023] ppid=7016 vsize=15017928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245605 15378358272 32866 33554432000 4194304 4196468 140731315727344 139921849543568 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7024] ppid=7016 vsize=15017928 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245605 15378358272 32866 33554432000 4194304 4196468 140731315727344 139921848491024 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7025] ppid=7016 vsize=15017928 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245605 15378358272 32866 33554432000 4194304 4196468 140731315727344 139921528450192 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7026] ppid=7016 vsize=15017928 memory=280952198965024 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52245606 15378358272 32866 33554432000 4194304 4196468 140731315727344 139920837425136 139922069609090 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7027] ppid=7016 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52245607 15378358272 32866 33554432000 4194304 4196468 140731315727344 139920706364320 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7028] ppid=7016 vsize=15017928 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245607 15378358272 32866 33554432000 4194304 4196468 140731315727344 139920437928944 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7029] ppid=7016 vsize=15017928 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245609 15378358272 32866 33554432000 4194304 4196468 140731315727344 139920063420624 139922069616539 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7030] ppid=7016 vsize=15017928 memory=8380 CPUtime=0.1 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) R 7016 7019 2271 0 -1 4202560 661 0 0 0 10 0 0 0 20 0 15 0 52245609 15378358272 32866 33554432000 4194304 4196468 140731315727344 139920836366000 139922050851709 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7031] ppid=7016 vsize=15017928 memory=7307210974946176466 CPUtime=0.07 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) R 7016 7019 2271 0 -1 4202560 275 0 0 0 7 0 0 0 20 0 15 0 52245609 15378358272 32866 33554432000 4194304 4196468 140731315727344 139920835310352 139922055620137 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7032] ppid=7016 vsize=15017928 memory=7302135314614015847 CPUtime=0.17 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) R 7016 7019 2271 0 -1 4202560 462 0 0 0 17 0 0 0 20 0 15 0 52245609 15378358272 32866 33554432000 4194304 4196468 140731315727344 139920834265848 139922048721142 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7033] ppid=7016 vsize=15017928 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245610 15378358272 32866 33554432000 4194304 4196468 140731315727344 139919565515872 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7034] ppid=7016 vsize=15017928 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245610 15378358272 32866 33554432000 4194304 4196468 140731315727344 139920833214768 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131464 KiB
[startup+1.50333 s]
/proc/loadavg: 2.03 2.10 2.11 5/220 7034
/proc/meminfo: memFree=15014012/32770624 swapFree=67108860/67108860
[pid=7019] ppid=7016 vsize=15020052 memory=283696 CPUtime=3.37 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 2271 0 -1 1077944320 20857 0 0 0 329 8 0 0 20 0 15 0 52245603 15380533248 70924 33554432000 4194304 4196468 140731315727344 140731315709888 139922069597943 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
/proc/7019/statm: 3755013 70924 3206 1 0 3716398 0
[pid=7019/tid=7021] ppid=7016 vsize=15020052 memory=288230377108275491 CPUtime=1.47 cores=0,2,4,6
/proc/7019/task/7021/stat : 7021 (java) R 7016 7019 2271 0 -1 4202560 15980 0 0 0 141 6 0 0 20 0 15 0 52245603 15380533248 70924 33554432000 4194304 4196468 140731315727344 139922041432304 139921533836354 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7022] ppid=7016 vsize=15020052 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245605 15380533248 70924 33554432000 4194304 4196468 140731315727344 139922073840400 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7023] ppid=7016 vsize=15020052 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245605 15380533248 70924 33554432000 4194304 4196468 140731315727344 139921849543568 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7024] ppid=7016 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52245605 15380533248 70924 33554432000 4194304 4196468 140731315727344 139921848491024 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7025] ppid=7016 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52245605 15380533248 70924 33554432000 4194304 4196468 140731315727344 139921528450192 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7026] ppid=7016 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52245606 15380533248 70924 33554432000 4194304 4196468 140731315727344 139920837425136 139922069609090 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
################
# More data... #
################
[pid=7019/tid=7027] ppid=7016 vsize=15022100 memory=55 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 52245607 15382630400 811662 33554432000 4194304 4196468 140731315727344 139920706364384 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7028] ppid=7016 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245607 15382630400 811662 33554432000 4194304 4196468 140731315727344 139920437928960 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7029] ppid=7016 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245609 15382630400 811662 33554432000 4194304 4196468 140731315727344 139920063420624 139922069616539 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7030] ppid=7016 vsize=15022100 memory=280952199272816 CPUtime=2.6 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 2271 0 -1 1077944384 2613 0 0 0 259 1 0 0 20 0 15 0 52245609 15382630400 811662 33554432000 4194304 4196468 140731315727344 139920836372976 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7031] ppid=7016 vsize=15022100 memory=0 CPUtime=2.48 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 2271 0 -1 1077944384 2451 0 0 0 247 1 0 0 20 0 15 0 52245609 15382630400 811662 33554432000 4194304 4196468 140731315727344 139920835320432 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7032] ppid=7016 vsize=15022100 memory=13851 CPUtime=0.97 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 2271 0 -1 1077944384 6493 0 0 0 95 2 0 0 20 0 15 0 52245609 15382630400 811662 33554432000 4194304 4196468 140731315727344 139920834267888 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7033] ppid=7016 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245610 15382630400 811662 33554432000 4194304 4196468 140731315727344 139919565515872 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7034] ppid=7016 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245610 15382630400 811662 33554432000 4194304 4196468 140731315727344 139920833214768 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
Current children cumulated CPU time: 19.6 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 3246648 KiB
[startup+25.5092 s]
/proc/loadavg: 2.17 2.13 2.12 3/220 7034
/proc/meminfo: memFree=11771672/32770624 swapFree=67108860/67108860
[pid=7019] ppid=7016 vsize=15026264 memory=3518096 CPUtime=42.06 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 2271 0 -1 1077944320 64110 0 0 0 4088 118 0 0 20 0 15 0 52245603 15386894336 879524 33554432000 4194304 4196468 140731315727344 140731315709888 139922069597943 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
/proc/7019/statm: 3756566 879524 3262 1 0 3717422 0
[pid=7019/tid=7021] ppid=7016 vsize=15026264 memory=0 CPUtime=24.72 cores=0,2,4,6
/proc/7019/task/7021/stat : 7021 (java) S 7016 7019 2271 0 -1 1077944384 21446 0 0 0 2421 51 0 0 20 0 15 0 52245603 15386894336 879524 33554432000 4194304 4196468 140731315727344 139922041432000 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7022] ppid=7016 vsize=15026264 memory=3427816 CPUtime=0.68 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) R 7016 7019 2271 0 -1 4202560 443 0 0 0 55 13 0 0 20 0 15 0 52245605 15386894336 879524 33554432000 4194304 4196468 140731315727344 139922073840288 139922051223888 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7023] ppid=7016 vsize=15026264 memory=3427816 CPUtime=0.69 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) R 7016 7019 2271 0 -1 4202560 550 0 0 0 55 14 0 0 20 0 15 0 52245605 15386894336 879524 33554432000 4194304 4196468 140731315727344 139921849543568 139922051223888 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7024] ppid=7016 vsize=15026264 memory=288230574492221466 CPUtime=0.69 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) R 7016 7019 2271 0 -1 4202560 495 0 0 0 56 13 0 0 20 0 15 0 52245605 15386894336 879524 33554432000 4194304 4196468 140731315727344 139921848491024 139922051223888 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7025] ppid=7016 vsize=15026264 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) R 7016 7019 2271 0 -1 4202560 382 0 0 0 55 13 0 0 20 0 15 0 52245605 15386894336 879524 33554432000 4194304 4196468 140731315727344 139921528450192 139922051223888 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7026] ppid=7016 vsize=15026264 memory=1196 CPUtime=0.02 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 2271 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 52245606 15386894336 879524 33554432000 4194304 4196468 140731315727344 139920837423648 139922069608149 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7027] ppid=7016 vsize=15026264 memory=8380 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 52245607 15386894336 879524 33554432000 4194304 4196468 140731315727344 139920706364384 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7028] ppid=7016 vsize=15026264 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245607 15386894336 879524 33554432000 4194304 4196468 140731315727344 139920437928960 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7029] ppid=7016 vsize=15026264 memory=3427964 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245609 15386894336 879524 33554432000 4194304 4196468 140731315727344 139920063420624 139922069616539 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7030] ppid=7016 vsize=15026264 memory=16896 CPUtime=6.45 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 2271 0 -1 1077944384 14764 0 0 0 643 2 0 0 20 0 15 0 52245609 15386894336 879524 33554432000 4194304 4196468 140731315727344 139920836372976 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7031] ppid=7016 vsize=15026264 memory=2420 CPUtime=6.69 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 2271 0 -1 1077944384 16559 0 0 0 665 4 0 0 20 0 15 0 52245609 15386894336 879524 33554432000 4194304 4196468 140731315727344 139920835320432 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7032] ppid=7016 vsize=15026264 memory=1292 CPUtime=1.34 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 2271 0 -1 1077944384 7664 0 0 0 131 3 0 0 20 0 15 0 52245609 15386894336 879524 33554432000 4194304 4196468 140731315727344 139920834267888 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7033] ppid=7016 vsize=15026264 memory=796 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245610 15386894336 879524 33554432000 4194304 4196468 140731315727344 139919565515872 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7034] ppid=7016 vsize=15026264 memory=1012 CPUtime=0.01 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 2271 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 15 0 52245610 15386894336 879524 33554432000 4194304 4196468 140731315727344 139920833214768 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
Current children cumulated CPU time: 42.06 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 3518096 KiB
[startup+51.1102 s]
/proc/loadavg: 2.12 2.12 2.11 3/220 7034
/proc/meminfo: memFree=10899052/32770624 swapFree=67108860/67108860
[pid=7019] ppid=7016 vsize=15026264 memory=4046628 CPUtime=67.05 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 2271 0 -1 1077944320 67183 0 0 0 6516 189 0 0 20 0 15 0 52245603 15386894336 1011657 33554432000 4194304 4196468 140731315727344 140731315709888 139922069597943 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
/proc/7019/statm: 3756566 1011657 3262 1 0 3717422 0
[pid=7019/tid=7021] ppid=7016 vsize=15026264 memory=4046628 CPUtime=47.65 cores=0,2,4,6
/proc/7019/task/7021/stat : 7021 (java) R 7016 7019 2271 0 -1 4202560 23124 0 0 0 4675 90 0 0 20 0 15 0 52245603 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139922041433056 139921531817240 0 4 0 25189583 0 0 0 -1 0 0 0 223 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7022] ppid=7016 vsize=15026264 memory=4046628 CPUtime=1.09 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 2271 0 -1 1077944384 653 0 0 0 88 21 0 0 20 0 15 0 52245605 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139922073840400 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7023] ppid=7016 vsize=15026264 memory=140476100029528 CPUtime=1.1 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 2271 0 -1 1077944384 732 0 0 0 88 22 0 0 20 0 15 0 52245605 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139921849543568 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7024] ppid=7016 vsize=15026264 memory=2257 CPUtime=1.11 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 2271 0 -1 1077944384 656 0 0 0 90 21 0 0 20 0 15 0 52245605 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139921848491024 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7025] ppid=7016 vsize=15026264 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 2271 0 -1 1077944384 584 0 0 0 89 21 0 0 20 0 15 0 52245605 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139921528450192 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7026] ppid=7016 vsize=15026264 memory=4044580 CPUtime=0.03 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 2271 0 -1 1077944384 233 0 0 0 3 0 0 0 20 0 15 0 52245606 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139920837425136 139922069609090 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7027] ppid=7016 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 52245607 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139920706364384 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7028] ppid=7016 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 52245607 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139920437928960 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7029] ppid=7016 vsize=15026264 memory=280952199279680 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245609 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139920063420624 139922069616539 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7030] ppid=7016 vsize=15026264 memory=703 CPUtime=6.68 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 2271 0 -1 1077944384 14971 0 0 0 666 2 0 0 20 0 15 0 52245609 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139920836372976 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7031] ppid=7016 vsize=15026264 memory=246 CPUtime=6.81 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 2271 0 -1 1077944384 16591 0 0 0 677 4 0 0 20 0 15 0 52245609 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139920835320432 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7032] ppid=7016 vsize=15026264 memory=4042532 CPUtime=1.36 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 2271 0 -1 1077944384 8057 0 0 0 133 3 0 0 20 0 15 0 52245609 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139920834267888 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7033] ppid=7016 vsize=15026264 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52245610 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139919565515872 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7034] ppid=7016 vsize=15026264 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 2271 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 52245610 15386894336 1011657 33554432000 4194304 4196468 140731315727344 139920833214768 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
Current children cumulated CPU time: 67.05 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 4046628 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+83.4009 s]
/proc/loadavg: 2.00 2.09 2.10 4/225 7042
/proc/meminfo: memFree=10535308/32770624 swapFree=67108860/67108860
[pid=7019] ppid=7016 vsize=15681864 memory=4056000 CPUtime=98.04 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 2271 0 -1 1077944320 81816 0 0 0 9566 238 0 0 20 0 19 0 52245603 16058228736 1014000 33554432000 4194304 4196468 140731315727344 140731315709888 139922069597943 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
/proc/7019/statm: 3920466 1014000 3266 1 0 3881322 0
[pid=7037] ppid=7019 vsize=206244 memory=162540 CPUtime=0.49 cores=0,2,4,6
/proc/7037/stat : 7037 (minisat_release) R 7019 7019 2271 0 -1 4202496 36569 0 0 0 40 9 0 0 20 0 1 0 52253893 211193856 40635 33554432000 4194304 4308513 140732873880720 140732873877864 139823257459685 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 38735872 140732873888433 140732873888942 140732873888942 140732873891781 0
/proc/7037/statm: 51561 40635 318 28 0 47801 0
[pid=7019/tid=7021] ppid=7016 vsize=15681864 memory=4050744 CPUtime=77.19 cores=0,2,4,6
/proc/7019/task/7021/stat : 7021 (java) S 7016 7019 2271 0 -1 1077944384 26917 0 0 0 7582 137 0 0 20 0 19 0 52245603 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139922041437184 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 451 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7022] ppid=7016 vsize=15681864 memory=4050744 CPUtime=1.1 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 2271 0 -1 1077944384 758 0 0 0 89 21 0 0 20 0 19 0 52245605 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139922073840400 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7023] ppid=7016 vsize=15681864 memory=8112282956445269571 CPUtime=1.11 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 2271 0 -1 1077944384 766 0 0 0 89 22 0 0 20 0 19 0 52245605 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139921849543568 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7024] ppid=7016 vsize=15681864 memory=4616 CPUtime=1.11 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 2271 0 -1 1077944384 1435 0 0 0 90 21 0 0 20 0 19 0 52245605 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139921848491024 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7025] ppid=7016 vsize=15681864 memory=1424 CPUtime=1.11 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 2271 0 -1 1077944384 768 0 0 0 89 22 0 0 20 0 19 0 52245605 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139921528450192 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7026] ppid=7016 vsize=15681864 memory=15868 CPUtime=0.04 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 2271 0 -1 1077944384 518 0 0 0 4 0 0 0 20 0 19 0 52245606 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139920837425136 139922069609090 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7027] ppid=7016 vsize=15681864 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52245607 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139920706364384 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7028] ppid=7016 vsize=15681864 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 52245607 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139920437928960 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7029] ppid=7016 vsize=15681864 memory=10260 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52245609 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139920063420624 139922069616539 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7030] ppid=7016 vsize=15681864 memory=4050816 CPUtime=7.37 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 2271 0 -1 1077944384 17672 0 0 0 735 2 0 0 20 0 19 0 52245609 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139920836372976 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7031] ppid=7016 vsize=15681864 memory=4050744 CPUtime=7.45 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 2271 0 -1 1077944384 19194 0 0 0 741 4 0 0 20 0 19 0 52245609 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139920835320432 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7032] ppid=7016 vsize=15681864 memory=2344 CPUtime=1.41 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 2271 0 -1 1077944384 12087 0 0 0 138 3 0 0 20 0 19 0 52245609 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139920834267888 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7033] ppid=7016 vsize=15681864 memory=928 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52245610 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139919565515872 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7034] ppid=7016 vsize=15681864 memory=1580 CPUtime=0.03 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 2271 0 -1 1077944384 301 0 0 0 2 1 0 0 20 0 19 0 52245610 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139920833214768 139922069609090 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7038] ppid=7016 vsize=15681864 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7038/stat : 7038 (java) S 7016 7019 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52253893 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139921512354880 139922069622553 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7040] ppid=7016 vsize=15681864 memory=28801 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7040/stat : 7040 (java) S 7016 7019 2271 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 52253893 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139919028633136 139922069619869 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7041] ppid=7016 vsize=15681864 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7041/stat : 7041 (java) S 7016 7019 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52253893 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139918760197808 139922069619869 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
[pid=7019/tid=7042] ppid=7016 vsize=15681864 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7042/stat : 7042 (java) S 7016 7019 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 52253895 16058228736 1014000 33554432000 4194304 4196468 140731315727344 139919297076768 139922069608149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30203904 140731315729395 140731315729673 140731315729673 140731315732431 0
Current children cumulated CPU time: 98.53 s
Current children cumulated vsize: 15888108 KiB
Current children cumulated memory: 4218540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+83.5113 s]
# the end of solver process 7019 was just reported to runsolver
# cumulated CPU time of all completed processes: user=96.0762 s, system=2.58012 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 83.5113
CPU time (s): 98.6563
CPU user time (s): 96.0762
CPU system time (s): 2.58012
CPU usage (%): 118.135
Max. virtual memory (cumulated for all children) (KiB): 15888108
Max. memory (cumulated for all children) (KiB): 4218540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.0762
system time used= 2.58012
maximum resident set size= 4058048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118535
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1105184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7557
involuntary context switches= 306
# summary of solver processes directly reported to runsolver:
# pid: 7019
# total CPU time (s): 98.6563
# total CPU user time (s): 96.0762
# total CPU system time (s): 2.58012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.545073 second user time and 0.820213 second system time
The end