0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Wed Jul 25 19:12:15 CEST 2018
0.67/0.55 c PID: 30612
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.93/1.39 c (0,0) Parsing End
3.25/1.40 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1389 ctr, max domain size 26
3.25/1.40 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.25/1.40 c (0,0) Constraint Name Generate Begin
3.25/1.43 c (0,0) Ctr:HOME/instance-4295001-1532538734.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.25/1.43 c (0,0) Constraint Name Generate End
3.25/1.43 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.25/1.43 c (0,0) CSP to CSPinCNF Begin
12.48/4.72 c (4,4) translated 139 (10%) constraints
13.02/5.22 c (4,4) translated 278 (20%) constraints
13.02/5.24 c (4,4) translated 417 (30%) constraints
13.02/5.27 c (4,4) translated 556 (40%) constraints
13.02/5.29 c (4,4) translated 695 (50%) constraints
13.39/5.32 c (4,4) translated 834 (60%) constraints
13.39/5.33 c (4,4) translated 973 (70%) constraints
13.39/5.35 c (4,4) translated 1112 (80%) constraints
15.16/6.33 c (5,5) translated 1251 (90%) constraints
16.90/7.75 c (7,7) translated 1389 (100%) constraints
18.15/8.28 c (7,7) STATISTICS1:HOME/instance-4295001-1532538734.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57014,9223372036854775807,26,25,200,9223372036854775807:235;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:2;8796093022208:2;1099511627776:1;137438953472:1;17179869184:1;2147483648:1;16:392;4:396;2:199,26:20400;2:155567,25:200;3:29600;2:26000;1:1214,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;101:2;100:1;98:2;95:3;92:2;89:2;86:2;83:2;80:2;77:2;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:2;44:2;41:1;38:1;35:1;32:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4489:2;4356:1;4225:2;3969:3;3721:2;3481:2;3249:2;3025:2;2809:2;2601:2;2401:2;2209:2;2025:2;1849:2
18.15/8.28 c (7,7) ===========================================
18.15/8.28 c (7,7) Both Encoding selects:
18.15/8.28 c (7,7) Log
18.15/8.28 c (7,7) ===========================================
19.65/8.82 c (8,8) translated 5702 (10%) constraints
20.13/9.04 c (8,8) translated 11403 (20%) constraints
20.43/9.13 c (8,8) translated 17105 (30%) constraints
20.55/9.21 c (8,8) translated 22806 (40%) constraints
20.55/9.29 c (8,8) translated 28507 (50%) constraints
20.65/9.37 c (8,8) translated 34209 (60%) constraints
20.75/9.46 c (8,8) translated 39910 (70%) constraints
20.85/9.54 c (9,8) translated 45612 (80%) constraints
20.95/9.62 c (9,8) translated 51313 (90%) constraints
22.37/10.67 c (10,10) translated 57014 (100%) constraints
22.37/10.67 c (10,10) CSP to CSPinCNF End
22.37/10.68 c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67440 ctr, max domain size 26
22.37/10.68 c (10,10) Heap : 1742 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.37/10.68 c (10,10) CSPinCNF Propagation Begin
23.35/11.30 c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.35/11.30 c (10,10) CSPinCNF Propagation End
23.61/11.30 c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67040 ctr, max domain size 26
23.61/11.30 c (10,10) Heap : 2015 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.61/11.30 c (10,10) Simplify CSPinCNF Begin
23.80/11.44 c (10,10) Simplify CSPinCNF End
23.80/11.44 c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67040 ctr, max domain size 26
23.80/11.44 c (10,10) Heap : 2070 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.80/11.44 c (10,10) Calculate Precise Domain Begin
23.80/11.45 c (10,10) 0 values are removed by re-calculation
23.80/11.45 c (10,10) Calculate Precise Domain End
23.80/11.45 c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67040 ctr, max domain size 26
23.80/11.45 c (10,10) Heap : 2070 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.80/11.45 c (10,10) CSPinCNF to SatSolver Begin
26.88/12.86 c (12,12) 6704 (10 %) CSP clauses are being encoded (118592 SAT variables, 256395 SAT clauses)
28.19/13.38 c (12,12) 13408 (20 %) CSP clauses are being encoded (141926 SAT variables, 306415 SAT clauses)
28.55/13.69 c (13,12) 20112 (30 %) CSP clauses are being encoded (165932 SAT variables, 357911 SAT clauses)
28.93/13.87 c (13,13) 26816 (40 %) CSP clauses are being encoded (172552 SAT variables, 376511 SAT clauses)
29.17/14.00 c (13,13) 33520 (50 %) CSP clauses are being encoded (178468 SAT variables, 393655 SAT clauses)
29.42/14.14 c (13,13) 40224 (60 %) CSP clauses are being encoded (184588 SAT variables, 411159 SAT clauses)
29.51/14.28 c (13,13) 46928 (70 %) CSP clauses are being encoded (190504 SAT variables, 428303 SAT clauses)
29.72/14.42 c (13,13) 53632 (80 %) CSP clauses are being encoded (196624 SAT variables, 445807 SAT clauses)
29.82/14.56 c (14,13) 60336 (90 %) CSP clauses are being encoded (202540 SAT variables, 462951 SAT clauses)
40.03/21.97 c (21,19) 67040 (100 %) CSP clauses are being encoded (859331 SAT variables, 2388548 SAT clauses)
40.14/22.04 c (21,20) CSPinCNF to SatSolver End
40.14/22.04 c (21,20) Heap : 1091 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
41.10/22.46 c (21,20) STATISTICS2:HOME/instance-4295001-1532538734.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21800,67040,9223372036854775807,26,24,200,9223372036854775807:235;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:2;8796093022208:2;1099511627776:1;137438953472:1;17179869184:1;2147483648:1;16:392;4:396;2:199,26:30000;2:175967,24:200;3:29200;2:36400;1:1240,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;101:2;100:1;98:2;95:3;92:2;89:2;86:2;83:2;80:2;77:2;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:2;44:2;41:1;38:1;35:1;32:1;5:392;3:396;2:199;1:165200,2:235
41.10/22.46 c (21,20) SatSolver.solve Begin
41.10/22.46 c (21,20) 866675 bool, 2410293 clause
41.10/22.46 c (21,20) 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-4295001-1532538734.xml-scop-30612.cnf HOME/instance-4295001-1532538734.xml-scop-30612.cnf.out
41.82/23.01 c (22,0) receiving signal SIGTERM
41.82/23.01 s UNKNOWN
41.82/23.02 c (22,20) SatSolver is killed by some reasons.
41.82/23.02 c (22,20) 0,0,10,10,10,10,21,TO,TO,STOP-AFTER(DIMACS)
41.82/23.02 c END-Prog: Wed Jul 25 19:12:37 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 (8229 MiB free)
memory of node 1: 16384 MiB (3780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295001-1532538734/watcher-4295001-1532538734 -o /tmp/evaluation-result-4295001-1532538734/solver-4295001-1532538734 -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-4295001-1532538734.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=30612, runsolver pid=30609
[startup+0.100059 s]*
/proc/loadavg: 4.44 4.93 4.66 4/216 30627
/proc/meminfo: memFree=12236932/32770624 swapFree=67076460/67108860
[pid=30612] ppid=30609 vsize=15011656 memory=74668 CPUtime=0.11 cores=0,2,4,6
/proc/30612/stat : 30612 (java) S 30609 30612 29212 0 -1 1077944320 6305 0 0 0 9 2 0 0 20 0 15 0 71436568 15371935744 18601 33554432000 4194304 4196468 140730950497232 140730950479776 140011184578295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
/proc/30612/statm: 3752914 18601 2780 1 0 3715374 0
[pid=30612/tid=30614] ppid=30609 vsize=15011656 memory=-8484391872771297149 CPUtime=0.08 cores=0,2,4,6
/proc/30612/task/30614/stat : 30614 (java) R 30609 30612 29212 0 -1 4202560 4411 0 0 0 7 1 0 0 20 0 15 0 71436568 15371935744 18667 33554432000 4194304 4196468 140730950497232 140011156390280 140011164854109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30615] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30615/stat : 30615 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 18667 33554432000 4194304 4196468 140730950497232 140011188820624 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30616] ppid=30609 vsize=15011656 memory=140652061218432 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30616/stat : 30616 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 18667 33554432000 4194304 4196468 140730950497232 140010979904016 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30617] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30617/stat : 30617 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 18667 33554432000 4194304 4196468 140730950497232 140010978851216 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30618] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30618/stat : 30618 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 18667 33554432000 4194304 4196468 140730950497232 140010977798416 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30619] ppid=30609 vsize=15011656 memory=140652061218432 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30619/stat : 30619 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71436572 15371935744 18667 33554432000 4194304 4196468 140730950497232 140010524203888 140011184589442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30620] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30620/stat : 30620 (java) S 30609 30612 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71436572 15371935744 18667 33554432000 4194304 4196468 140730950497232 140009826936352 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30621] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30621/stat : 30621 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436572 15371935744 18667 33554432000 4194304 4196468 140730950497232 140009558500720 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30622] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30622/stat : 30622 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 18733 33554432000 4194304 4196468 140730950497232 140009183992144 140011184596891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30623] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30623/stat : 30623 (java) S 30609 30612 29212 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 18733 33554432000 4194304 4196468 140730950497232 140010523150704 140011184589442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30624] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30624/stat : 30624 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 18733 33554432000 4194304 4196468 140730950497232 140010522097904 140011184589442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30625] ppid=30609 vsize=15011656 memory=140652061218432 CPUtime=0.01 cores=0,2,4,6
/proc/30612/task/30625/stat : 30625 (java) S 30609 30612 29212 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 71436575 15371935744 18733 33554432000 4194304 4196468 140730950497232 140010521045104 140011184589442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30626] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30626/stat : 30626 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 18733 33554432000 4194304 4196468 140730950497232 140008686086368 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30627] ppid=30609 vsize=15011656 memory=140652061218432 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30627/stat : 30627 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 18733 33554432000 4194304 4196468 140730950497232 140010519993520 140011184589442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74668 KiB
[startup+0.210449 s]*
/proc/loadavg: 4.44 4.93 4.66 3/216 30627
/proc/meminfo: memFree=12222732/32770624 swapFree=67076460/67108860
[pid=30612] ppid=30609 vsize=15011656 memory=86684 CPUtime=0.26 cores=0,2,4,6
/proc/30612/stat : 30612 (java) S 30609 30612 29212 0 -1 1077944320 9585 0 0 0 23 3 0 0 20 0 15 0 71436568 15371935744 21671 33554432000 4194304 4196468 140730950497232 140730950479776 140011184578295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
/proc/30612/statm: 3752914 21671 2878 1 0 3715374 0
[pid=30612/tid=30614] ppid=30609 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30612/task/30614/stat : 30614 (java) S 30609 30612 29212 0 -1 1077944384 7480 0 0 0 18 2 0 0 20 0 15 0 71436568 15371935744 21671 33554432000 4194304 4196468 140730950497232 140011156404208 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30615] ppid=30609 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30615/stat : 30615 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 21671 33554432000 4194304 4196468 140730950497232 140011188820624 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30616] ppid=30609 vsize=15011656 memory=3906785975550432928 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30616/stat : 30616 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 21671 33554432000 4194304 4196468 140730950497232 140010979904016 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30617] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30617/stat : 30617 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 21671 33554432000 4194304 4196468 140730950497232 140010978851216 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30618] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30618/stat : 30618 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 21671 33554432000 4194304 4196468 140730950497232 140010977798416 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30619] ppid=30609 vsize=15011656 memory=140652061218432 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30619/stat : 30619 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71436572 15371935744 21671 33554432000 4194304 4196468 140730950497232 140010524203888 140011184589442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30620] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30620/stat : 30620 (java) S 30609 30612 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71436572 15371935744 21671 33554432000 4194304 4196468 140730950497232 140009826936352 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30621] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30621/stat : 30621 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436572 15371935744 21671 33554432000 4194304 4196468 140730950497232 140009558500720 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30622] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30622/stat : 30622 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 21671 33554432000 4194304 4196468 140730950497232 140009183992144 140011184596891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30623] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30623/stat : 30623 (java) R 30609 30612 29212 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 21671 33554432000 4194304 4196468 140730950497232 140010523150704 140011184589442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30624] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30624/stat : 30624 (java) R 30609 30612 29212 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 21671 33554432000 4194304 4196468 140730950497232 140010522097904 140011170729973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30625] ppid=30609 vsize=15011656 memory=140652061218432 CPUtime=0.03 cores=0,2,4,6
/proc/30612/task/30625/stat : 30625 (java) S 30609 30612 29212 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 15 0 71436575 15371935744 21671 33554432000 4194304 4196468 140730950497232 140010521045104 140011184589442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30626] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30626/stat : 30626 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 21671 33554432000 4194304 4196468 140730950497232 140008686086368 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30627] ppid=30609 vsize=15011656 memory=140652061218432 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30627/stat : 30627 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 21671 33554432000 4194304 4196468 140730950497232 140010519993520 140011184589442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86684 KiB
[startup+0.31054 s]*
/proc/loadavg: 4.44 4.93 4.66 3/216 30627
/proc/meminfo: memFree=12219940/32770624 swapFree=67076460/67108860
[pid=30612] ppid=30609 vsize=15011656 memory=90152 CPUtime=0.44 cores=0,2,4,6
/proc/30612/stat : 30612 (java) S 30609 30612 29212 0 -1 1077944320 10129 0 0 0 40 4 0 0 20 0 15 0 71436568 15371935744 22538 33554432000 4194304 4196468 140730950497232 140730950479776 140011184578295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
/proc/30612/statm: 3752914 22538 2979 1 0 3715374 0
[pid=30612/tid=30614] ppid=30609 vsize=15011656 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/30612/task/30614/stat : 30614 (java) R 30609 30612 29212 0 -1 4202560 7852 0 0 0 27 3 0 0 20 0 15 0 71436568 15371935744 22538 33554432000 4194304 4196468 140730950497232 140011156382448 140011168621925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30615] ppid=30609 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30615/stat : 30615 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 22538 33554432000 4194304 4196468 140730950497232 140011188820624 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30616] ppid=30609 vsize=15011656 memory=3762670787474577056 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30616/stat : 30616 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 22538 33554432000 4194304 4196468 140730950497232 140010979904016 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30617] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30617/stat : 30617 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 22538 33554432000 4194304 4196468 140730950497232 140010978851216 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30618] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30618/stat : 30618 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71436570 15371935744 22538 33554432000 4194304 4196468 140730950497232 140010977798416 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30619] ppid=30609 vsize=15011656 memory=140652061218432 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30619/stat : 30619 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71436572 15371935744 22538 33554432000 4194304 4196468 140730950497232 140010524203888 140011184589442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30620] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30620/stat : 30620 (java) S 30609 30612 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71436572 15371935744 22538 33554432000 4194304 4196468 140730950497232 140009826936352 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30621] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30621/stat : 30621 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436572 15371935744 22538 33554432000 4194304 4196468 140730950497232 140009558500720 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30622] ppid=30609 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30622/stat : 30622 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 22538 33554432000 4194304 4196468 140730950497232 140009183992144 140011184596891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30623] ppid=30609 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30612/task/30623/stat : 30623 (java) R 30609 30612 29212 0 -1 4202560 497 0 0 0 2 0 0 0 20 0 15 0 71436575 15371935744 22538 33554432000 4194304 4196468 140730950497232 140010523136728 140011168965344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30624] ppid=30609 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30612/task/30624/stat : 30624 (java) R 30609 30612 29212 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 15 0 71436575 15371935744 22538 33554432000 4194304 4196468 140730950497232 140010522098000 140011184588501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30625] ppid=30609 vsize=15011656 memory=140652061218432 CPUtime=0.07 cores=0,2,4,6
/proc/30612/task/30625/stat : 30625 (java) R 30609 30612 29212 0 -1 4202560 313 0 0 0 7 0 0 0 20 0 15 0 71436575 15371935744 22538 33554432000 4194304 4196468 140730950497232 140010521042040 140011163070315 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30626] ppid=30609 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30626/stat : 30626 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 22538 33554432000 4194304 4196468 140730950497232 140008686086368 140011184588501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30627] ppid=30609 vsize=15011656 memory=140652061218432 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30627/stat : 30627 (java) R 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436575 15371935744 22538 33554432000 4194304 4196468 140730950497232 140010519993520 140011184589442 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90152 KiB
[startup+0.700822 s]
/proc/loadavg: 4.44 4.93 4.66 3/216 30627
/proc/meminfo: memFree=12196128/32770624 swapFree=67076460/67108860
[pid=30612] ppid=30609 vsize=15019976 memory=131988 CPUtime=1.05 cores=0,2,4,6
/proc/30612/stat : 30612 (java) S 30609 30612 29212 0 -1 1077944320 17106 0 0 0 99 6 0 0 20 0 15 0 71436568 15380455424 32997 33554432000 4194304 4196468 140730950497232 140730950479776 140011184578295 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
/proc/30612/statm: 3754994 32997 3153 1 0 3716398 0
[pid=30612/tid=30614] ppid=30609 vsize=15019976 memory=9972 CPUtime=0.68 cores=0,2,4,6
/proc/30612/task/30614/stat : 30614 (java) R 30609 30612 29212 0 -1 4202560 14291 0 0 0 63 5 0 0 20 0 15 0 71436568 15380455424 33008 33554432000 4194304 4196468 140730950497232 140011156412688 140011177295258 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30615] ppid=30609 vsize=15019976 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30615/stat : 30615 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15380455424 33008 33554432000 4194304 4196468 140730950497232 140011188820624 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30616] ppid=30609 vsize=15019976 memory=640 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30616/stat : 30616 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15380455424 33008 33554432000 4194304 4196468 140730950497232 140010979904016 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30617] ppid=30609 vsize=15019976 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30617/stat : 30617 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15380455424 33008 33554432000 4194304 4196468 140730950497232 140010978851216 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30618] ppid=30609 vsize=15019976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30618/stat : 30618 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71436570 15380455424 33008 33554432000 4194304 4196468 140730950497232 140010977798416 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30619] ppid=30609 vsize=15019976 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30619/stat : 30619 (java) S 30609 30612 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71436572 15380455424 33008 33554432000 4194304 4196468 140730950497232 140010524203888 140011184589442 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30620] ppid=30609 vsize=15019976 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30620/stat : 30620 (java) S 30609 30612 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71436572 15380455424 33008 33554432000 4194304 4196468 140730950497232 140009826936352 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30621] ppid=30609 vsize=15019976 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30621/stat : 30621 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436572 15380455424 33008 33554432000 4194304 4196468 140730950497232 140009558500720 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30622] ppid=30609 vsize=15019976 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30622/stat : 30622 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15380455424 33008 33554432000 4194304 4196468 140730950497232 140009183992144 140011184596891 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30623] ppid=30609 vsize=15019976 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/30612/task/30623/stat : 30623 (java) R 30609 30612 29212 0 -1 4202560 629 0 0 0 7 0 0 0 20 0 15 0 71436575 15380455424 33008 33554432000 4194304 4196468 140730950497232 140010523140496 140011168868488 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30624] ppid=30609 vsize=15019976 memory=7019257425709197167 CPUtime=0.09 cores=0,2,4,6
/proc/30612/task/30624/stat : 30624 (java) S 30609 30612 29212 0 -1 1077944384 362 0 0 0 9 0 0 0 20 0 15 0 71436575 15380455424 33008 33554432000 4194304 4196468 140730950497232 140010522088016 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30625] ppid=30609 vsize=15019976 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/30612/task/30625/stat : 30625 (java) R 30609 30612 29212 0 -1 1077944384 485 0 0 0 18 0 0 0 20 0 15 0 71436575 15380455424 33008 33554432000 4194304 4196468 140730950497232 140010521040368 140011184588501 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30626] ppid=30609 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30626/stat : 30626 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15380455424 33008 33554432000 4194304 4196468 140730950497232 140008686086368 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30627] ppid=30609 vsize=15019976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30627/stat : 30627 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436575 15380455424 33008 33554432000 4194304 4196468 140730950497232 140010519993520 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 131988 KiB
[startup+1.50071 s]
/proc/loadavg: 4.44 4.93 4.66 5/216 30627
/proc/meminfo: memFree=12156404/32770624 swapFree=67076460/67108860
[pid=30612] ppid=30609 vsize=15022100 memory=200688 CPUtime=3.48 cores=0,2,4,6
/proc/30612/stat : 30612 (java) S 30609 30612 29212 0 -1 1077944320 21060 0 0 0 339 9 0 0 20 0 15 0 71436568 15382630400 50172 33554432000 4194304 4196468 140730950497232 140730950479776 140011184578295 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
/proc/30612/statm: 3755525 50172 3212 1 0 3716910 0
[pid=30612/tid=30614] ppid=30609 vsize=15022100 memory=172164 CPUtime=1.47 cores=0,2,4,6
/proc/30612/task/30614/stat : 30614 (java) R 30609 30612 29212 0 -1 4202560 15283 0 0 0 141 6 0 0 20 0 15 0 71436568 15382630400 50172 33554432000 4194304 4196468 140730950497232 140011156412784 140010655712957 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30615] ppid=30609 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30615/stat : 30615 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15382630400 50172 33554432000 4194304 4196468 140730950497232 140011188820624 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30616] ppid=30609 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30616/stat : 30616 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15382630400 50172 33554432000 4194304 4196468 140730950497232 140010979904016 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30617] ppid=30609 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30617/stat : 30617 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15382630400 50172 33554432000 4194304 4196468 140730950497232 140010978851216 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30618] ppid=30609 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30618/stat : 30618 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71436570 15382630400 50172 33554432000 4194304 4196468 140730950497232 140010977798416 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30619] ppid=30609 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30619/stat : 30619 (java) S 30609 30612 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71436572 15382630400 50172 33554432000 4194304 4196468 140730950497232 140010524203888 140011184589442 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
################
# More data... #
################
[pid=30612/tid=30620] ppid=30609 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30620/stat : 30620 (java) S 30609 30612 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71436572 15382630400 208143 33554432000 4194304 4196468 140730950497232 140009826936352 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30621] ppid=30609 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30621/stat : 30621 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436572 15382630400 208143 33554432000 4194304 4196468 140730950497232 140009558500720 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30622] ppid=30609 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30622/stat : 30622 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15382630400 208143 33554432000 4194304 4196468 140730950497232 140009183992144 140011184596891 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30623] ppid=30609 vsize=15022100 memory=0 CPUtime=1.8 cores=0,2,4,6
/proc/30612/task/30623/stat : 30623 (java) R 30609 30612 29212 0 -1 4202560 2191 0 0 0 180 0 0 0 20 0 15 0 71436575 15382630400 208143 33554432000 4194304 4196468 140730950497232 140010523136800 140011169483744 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30624] ppid=30609 vsize=15022100 memory=0 CPUtime=1.99 cores=0,2,4,6
/proc/30612/task/30624/stat : 30624 (java) R 30609 30612 29212 0 -1 4202560 2872 0 0 0 198 1 0 0 20 0 15 0 71436575 15382630400 208143 33554432000 4194304 4196468 140730950497232 140010522090928 140011177677995 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30625] ppid=30609 vsize=15022100 memory=160 CPUtime=0.93 cores=0,2,4,6
/proc/30612/task/30625/stat : 30625 (java) S 30609 30612 29212 0 -1 1077944384 2952 0 0 0 91 2 0 0 20 0 15 0 71436575 15382630400 208143 33554432000 4194304 4196468 140730950497232 140010521045104 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30626] ppid=30609 vsize=15022100 memory=179 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30626/stat : 30626 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15382630400 208143 33554432000 4194304 4196468 140730950497232 140008686086368 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30627] ppid=30609 vsize=15022100 memory=92 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30627/stat : 30627 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436575 15382630400 208143 33554432000 4194304 4196468 140730950497232 140010519993520 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
Current children cumulated CPU time: 7.83 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 832572 KiB
[startup+6.30081 s]
/proc/loadavg: 4.56 4.95 4.66 6/216 30627
/proc/meminfo: memFree=10252648/32770624 swapFree=67076460/67108860
[pid=30612] ppid=30609 vsize=15024148 memory=2284708 CPUtime=15.16 cores=0,2,4,6
/proc/30612/stat : 30612 (java) S 30609 30612 29212 0 -1 1077944320 35981 0 0 0 1472 44 0 0 20 0 15 0 71436568 15384727552 571177 33554432000 4194304 4196468 140730950497232 140730950479776 140011184578295 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
/proc/30612/statm: 3756037 571177 3216 1 0 3717422 0
[pid=30612/tid=30614] ppid=30609 vsize=15024148 memory=1673584 CPUtime=6.26 cores=0,2,4,6
/proc/30612/task/30614/stat : 30614 (java) R 30609 30612 29212 0 -1 4202560 16956 0 0 0 589 37 0 0 20 0 15 0 71436568 15384727552 571177 33554432000 4194304 4196468 140730950497232 140011156410304 140010659318112 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30615] ppid=30609 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30615/stat : 30615 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15384727552 571177 33554432000 4194304 4196468 140730950497232 140011188820624 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30616] ppid=30609 vsize=15024148 memory=375 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30616/stat : 30616 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15384727552 571177 33554432000 4194304 4196468 140730950497232 140010979904016 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30617] ppid=30609 vsize=15024148 memory=378 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30617/stat : 30617 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436570 15384727552 571177 33554432000 4194304 4196468 140730950497232 140010978851216 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30618] ppid=30609 vsize=15024148 memory=132 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30618/stat : 30618 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71436570 15384727552 571177 33554432000 4194304 4196468 140730950497232 140010977798416 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30619] ppid=30609 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30619/stat : 30619 (java) S 30609 30612 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71436572 15384727552 571177 33554432000 4194304 4196468 140730950497232 140010524203888 140011184589442 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30620] ppid=30609 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30620/stat : 30620 (java) S 30609 30612 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71436572 15384727552 571177 33554432000 4194304 4196468 140730950497232 140009826936352 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30621] ppid=30609 vsize=15024148 memory=1302 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30621/stat : 30621 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436572 15384727552 571177 33554432000 4194304 4196468 140730950497232 140009558500720 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30622] ppid=30609 vsize=15024148 memory=56 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30622/stat : 30622 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15384727552 571177 33554432000 4194304 4196468 140730950497232 140009183992144 140011184596891 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30623] ppid=30609 vsize=15024148 memory=9169 CPUtime=3.76 cores=0,2,4,6
/proc/30612/task/30623/stat : 30623 (java) S 30609 30612 29212 0 -1 1077944384 5084 0 0 0 375 1 0 0 20 0 15 0 71436575 15384727552 571177 33554432000 4194304 4196468 140730950497232 140010523150704 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30624] ppid=30609 vsize=15024148 memory=21520 CPUtime=3.78 cores=0,2,4,6
/proc/30612/task/30624/stat : 30624 (java) S 30609 30612 29212 0 -1 1077944384 6187 0 0 0 376 2 0 0 20 0 15 0 71436575 15384727552 571177 33554432000 4194304 4196468 140730950497232 140010522097904 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30625] ppid=30609 vsize=15024148 memory=9169 CPUtime=1.32 cores=0,2,4,6
/proc/30612/task/30625/stat : 30625 (java) S 30609 30612 29212 0 -1 1077944384 6414 0 0 0 130 2 0 0 20 0 15 0 71436575 15384727552 571177 33554432000 4194304 4196468 140730950497232 140010521045104 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30626] ppid=30609 vsize=15024148 memory=281303849481472 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30626/stat : 30626 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15384727552 571177 33554432000 4194304 4196468 140730950497232 140008686086368 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30627] ppid=30609 vsize=15024148 memory=1791336908545 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30627/stat : 30627 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436575 15384727552 571177 33554432000 4194304 4196468 140730950497232 140010519993520 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
Current children cumulated CPU time: 15.16 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2284708 KiB
[startup+12.7008 s]
/proc/loadavg: 4.92 5.01 4.69 3/216 30627
/proc/meminfo: memFree=9200432/32770624 swapFree=67076460/67108860
[pid=30612] ppid=30609 vsize=15028312 memory=3103248 CPUtime=26.64 cores=0,2,4,6
/proc/30612/stat : 30612 (java) S 30609 30612 29212 0 -1 1077944320 42633 0 0 0 2599 65 0 0 20 0 15 0 71436568 15388991488 775812 33554432000 4194304 4196468 140730950497232 140730950479776 140011184578295 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
/proc/30612/statm: 3757078 775812 3249 1 0 3717934 0
[pid=30612/tid=30614] ppid=30609 vsize=15028312 memory=3103248 CPUtime=12.55 cores=0,2,4,6
/proc/30612/task/30614/stat : 30614 (java) R 30609 30612 29212 0 -1 4202560 18293 0 0 0 1206 49 0 0 20 0 15 0 71436568 15388991488 775812 33554432000 4194304 4196468 140730950497232 140011156413264 140010660697685 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30615] ppid=30609 vsize=15028312 memory=2958716 CPUtime=0.09 cores=0,2,4,6
/proc/30612/task/30615/stat : 30615 (java) S 30609 30612 29212 0 -1 1077944384 180 0 0 0 7 2 0 0 20 0 15 0 71436570 15388991488 775812 33554432000 4194304 4196468 140730950497232 140011188820624 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30616] ppid=30609 vsize=15028312 memory=32705 CPUtime=0.08 cores=0,2,4,6
/proc/30612/task/30616/stat : 30616 (java) S 30609 30612 29212 0 -1 1077944384 145 0 0 0 7 1 0 0 20 0 15 0 71436570 15388991488 775812 33554432000 4194304 4196468 140730950497232 140010979904016 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30617] ppid=30609 vsize=15028312 memory=3099804 CPUtime=0.09 cores=0,2,4,6
/proc/30612/task/30617/stat : 30617 (java) S 30609 30612 29212 0 -1 1077944384 95 0 0 0 7 2 0 0 20 0 15 0 71436570 15388991488 775812 33554432000 4194304 4196468 140730950497232 140010978851216 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30618] ppid=30609 vsize=15028312 memory=3032 CPUtime=0.09 cores=0,2,4,6
/proc/30612/task/30618/stat : 30618 (java) S 30609 30612 29212 0 -1 1077944384 75 0 0 0 7 2 0 0 20 0 15 0 71436570 15388991488 775812 33554432000 4194304 4196468 140730950497232 140010977798416 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30619] ppid=30609 vsize=15028312 memory=3100744 CPUtime=0.01 cores=0,2,4,6
/proc/30612/task/30619/stat : 30619 (java) S 30609 30612 29212 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 71436572 15388991488 775812 33554432000 4194304 4196468 140730950497232 140010524203888 140011184589442 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30620] ppid=30609 vsize=15028312 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30620/stat : 30620 (java) S 30609 30612 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 71436572 15388991488 775812 33554432000 4194304 4196468 140730950497232 140009826936416 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30621] ppid=30609 vsize=15028312 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30621/stat : 30621 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71436572 15388991488 775812 33554432000 4194304 4196468 140730950497232 140009558500720 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30622] ppid=30609 vsize=15028312 memory=3044740 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30622/stat : 30622 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15388991488 775812 33554432000 4194304 4196468 140730950497232 140009183992144 140011184596891 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30623] ppid=30609 vsize=15028312 memory=2665636 CPUtime=6.12 cores=0,2,4,6
/proc/30612/task/30623/stat : 30623 (java) R 30609 30612 29212 0 -1 4202560 6795 0 0 0 611 1 0 0 20 0 15 0 71436575 15388991488 775812 33554432000 4194304 4196468 140730950497232 140010523150704 140011167989186 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30624] ppid=30609 vsize=15028312 memory=3544 CPUtime=5.89 cores=0,2,4,6
/proc/30612/task/30624/stat : 30624 (java) R 30609 30612 29212 0 -1 4202560 9214 0 0 0 586 3 0 0 20 0 15 0 71436575 15388991488 775812 33554432000 4194304 4196468 140730950497232 140010522097904 140011168564496 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30625] ppid=30609 vsize=15028312 memory=18464 CPUtime=1.65 cores=0,2,4,6
/proc/30612/task/30625/stat : 30625 (java) S 30609 30612 29212 0 -1 1077944384 6479 0 0 0 162 3 0 0 20 0 15 0 71436575 15388991488 775812 33554432000 4194304 4196468 140730950497232 140010521045104 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30626] ppid=30609 vsize=15028312 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30626/stat : 30626 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71436575 15388991488 775812 33554432000 4194304 4196468 140730950497232 140008686086368 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30627] ppid=30609 vsize=15028312 memory=-2892745056948402235 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30627/stat : 30627 (java) S 30609 30612 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71436575 15388991488 775812 33554432000 4194304 4196468 140730950497232 140010519993520 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
Current children cumulated CPU time: 26.64 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3103248 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+23.0008 s]*
/proc/loadavg: 5.05 5.03 4.70 6/221 30633
/proc/meminfo: memFree=8135372/32770624 swapFree=67076460/67108860
[pid=30612] ppid=30609 vsize=15683912 memory=3942696 CPUtime=41.3 cores=0,2,4,6
/proc/30612/stat : 30612 (java) S 30609 30612 29212 0 -1 1077944320 61353 0 0 0 3951 179 0 0 20 0 19 0 71436568 16060325888 985674 33554432000 4194304 4196468 140730950497232 140730950479776 140011184578295 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
/proc/30612/statm: 3920978 985674 3270 1 0 3881834 0
[pid=30628] ppid=30612 vsize=211508 memory=177508 CPUtime=0.52 cores=0,2,4,6
/proc/30628/stat : 30628 (minisat_release) R 30612 30612 29212 0 -1 4202496 38280 0 0 0 45 7 0 0 20 0 1 0 71438816 216584192 44377 33554432000 4194304 4308513 140732352186880 140732351135288 4256074 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6409496 6410680 13312000 140732352189103 140732352189614 140732352189614 140732352192453 0
/proc/30628/statm: 52877 44377 318 28 0 49117 0
[pid=30612/tid=30614] ppid=30609 vsize=15683912 memory=-7824251494390914149 CPUtime=21.01 cores=0,2,4,6
/proc/30612/task/30614/stat : 30614 (java) S 30609 30612 29212 0 -1 1077944384 21510 0 0 0 2044 57 0 0 20 0 19 0 71436568 16060325888 985674 33554432000 4194304 4196468 140730950497232 140011156417536 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30615] ppid=30609 vsize=15683912 memory=7959395632135288376 CPUtime=1.09 cores=0,2,4,6
/proc/30612/task/30615/stat : 30615 (java) S 30609 30612 29212 0 -1 1077944384 1208 0 0 0 82 27 0 0 20 0 19 0 71436570 16060325888 985674 33554432000 4194304 4196468 140730950497232 140011188820624 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30616] ppid=30609 vsize=15683912 memory=7165352523810943801 CPUtime=1.08 cores=0,2,4,6
/proc/30612/task/30616/stat : 30616 (java) S 30609 30612 29212 0 -1 1077944384 2558 0 0 0 81 27 0 0 20 0 19 0 71436570 16060325888 985674 33554432000 4194304 4196468 140730950497232 140010979904016 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30617] ppid=30609 vsize=15683912 memory=7165352523811009337 CPUtime=1.08 cores=0,2,4,6
/proc/30612/task/30617/stat : 30617 (java) S 30609 30612 29212 0 -1 1077944384 682 0 0 0 80 28 0 0 20 0 19 0 71436570 16060325888 985674 33554432000 4194304 4196468 140730950497232 140010978851216 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30618] ppid=30609 vsize=15683912 memory=7165352523810747961 CPUtime=1.06 cores=0,2,4,6
/proc/30612/task/30618/stat : 30618 (java) S 30609 30612 29212 0 -1 1077944384 606 0 0 0 79 27 0 0 20 0 19 0 71436570 16060325888 985674 33554432000 4194304 4196468 140730950497232 140010977798416 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30619] ppid=30609 vsize=15683912 memory=7883313791599390769 CPUtime=0.02 cores=0,2,4,6
/proc/30612/task/30619/stat : 30619 (java) S 30609 30612 29212 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 19 0 71436572 16060325888 985674 33554432000 4194304 4196468 140730950497232 140010524203888 140011184589442 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30620] ppid=30609 vsize=15683912 memory=8104553123293509169 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30620/stat : 30620 (java) S 30609 30612 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 71436572 16060325888 985674 33554432000 4194304 4196468 140730950497232 140009826936416 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30621] ppid=30609 vsize=15683912 memory=7020452164912411866 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30621/stat : 30621 (java) S 30609 30612 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71436572 16060325888 985674 33554432000 4194304 4196468 140730950497232 140009558500736 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30622] ppid=30609 vsize=15683912 memory=7886128541265572146 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30622/stat : 30622 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71436575 16060325888 985674 33554432000 4194304 4196468 140730950497232 140009183992144 140011184596891 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30623] ppid=30609 vsize=15683912 memory=8386028099954094386 CPUtime=7.24 cores=0,2,4,6
/proc/30612/task/30623/stat : 30623 (java) S 30609 30612 29212 0 -1 1077944384 11124 0 0 0 722 2 0 0 20 0 19 0 71436575 16060325888 985674 33554432000 4194304 4196468 140730950497232 140010523150704 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30624] ppid=30609 vsize=15683912 memory=8242475861848437042 CPUtime=6.92 cores=0,2,4,6
/proc/30612/task/30624/stat : 30624 (java) S 30609 30612 29212 0 -1 1077944384 13444 0 0 0 688 4 0 0 20 0 19 0 71436575 16060325888 985674 33554432000 4194304 4196468 140730950497232 140010522097904 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30625] ppid=30609 vsize=15683912 memory=8389687274600674098 CPUtime=1.73 cores=0,2,4,6
/proc/30612/task/30625/stat : 30625 (java) S 30609 30612 29212 0 -1 1077944384 8455 0 0 0 170 3 0 0 20 0 19 0 71436575 16060325888 985674 33554432000 4194304 4196468 140730950497232 140010521045104 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30626] ppid=30609 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30626/stat : 30626 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71436575 16060325888 985674 33554432000 4194304 4196468 140730950497232 140008686086368 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30627] ppid=30609 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30627/stat : 30627 (java) S 30609 30612 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 71436575 16060325888 985674 33554432000 4194304 4196468 140730950497232 140010519993520 140011184589442 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30629] ppid=30609 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30629/stat : 30629 (java) S 30609 30612 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71438816 16060325888 985674 33554432000 4194304 4196468 140730950497232 140010632586944 140011184602905 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30631] ppid=30609 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30631/stat : 30631 (java) S 30609 30612 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 71438816 16060325888 985674 33554432000 4194304 4196468 140730950497232 140008149200560 140011184600221 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30632] ppid=30609 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30632/stat : 30632 (java) S 30609 30612 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 71438817 16060325888 985674 33554432000 4194304 4196468 140730950497232 140008283422256 140011184600221 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
[pid=30612/tid=30633] ppid=30609 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30612/task/30633/stat : 30633 (java) S 30609 30612 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71438818 16060325888 985674 33554432000 4194304 4196468 140730950497232 140007880776864 140011184588501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140730950501364 140730950501641 140730950501641 140730950504399 0
Current children cumulated CPU time: 41.82 s
Current children cumulated vsize: 15895420 KiB
Current children cumulated memory: 4120204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+23.0531 s]
# the end of solver process 30612 was just reported to runsolver
# cumulated CPU time of all completed processes: user=39.9812 s, system=1.90619 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 23.0532
CPU time (s): 41.8874
CPU user time (s): 39.9812
CPU system time (s): 1.90619
CPU usage (%): 181.699
Max. virtual memory (cumulated for all children) (KiB): 15895420
Max. memory (cumulated for all children) (KiB): 4120204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.9812
system time used= 1.90618
maximum resident set size= 3945144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6590
involuntary context switches= 243
# summary of solver processes directly reported to runsolver:
# pid: 30612
# total CPU time (s): 41.8874
# total CPU user time (s): 39.9812
# total CPU system time (s): 1.90619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14531 second user time and 0.288585 second system time
The end