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:09:37 CEST 2018
0.67/0.55 c PID: 30358
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
3.25/1.41 c (0,0) Parsing End
3.25/1.43 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1431 ctr, max domain size 25
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) Constraint Name Generate Begin
3.25/1.45 c (0,0) Ctr:HOME/instance-4294974-1532538576.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.25/1.45 c (0,0) Constraint Name Generate End
3.25/1.45 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.25/1.45 c (0,0) CSP to CSPinCNF Begin
12.31/4.74 c (4,4) translated 144 (10%) constraints
12.76/5.19 c (4,4) translated 287 (20%) constraints
12.90/5.22 c (4,4) translated 430 (30%) constraints
12.90/5.24 c (4,4) translated 573 (40%) constraints
12.90/5.27 c (4,4) translated 716 (50%) constraints
13.29/5.30 c (4,4) translated 859 (60%) constraints
13.29/5.31 c (4,4) translated 1002 (70%) constraints
13.29/5.34 c (4,4) translated 1145 (80%) constraints
15.60/6.85 c (6,6) translated 1288 (90%) constraints
17.00/7.91 c (7,7) translated 1431 (100%) constraints
18.32/8.46 c (7,7) STATISTICS1:HOME/instance-4294974-1532538576.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57255,9223372036854775807,25,25,200,9223372036854775807:267;2305843009213693952:3;576460752303423488:3;288230376151711744:2;144115188075855872:1;36028797018963968:2;18014398509481984:2;4503599627370496:2;562949953421312:3;70368744177664:1;17592186044416:2;8796093022208:1;1099511627776:1;549755813888:1;137438953472:1;17179869184:1;16:392;4:396;2:199,25:19600;2:160019,25:200;3:29600;2:26200;1:1255,200:55;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;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:4;64:1;62:3;60:3;59:2;58:1;56:2;55:2;53:2;50:3;47:1;45:2;44:1;41:1;40:1;38:1;35:1;5:392;3:396;2:199;1:146000;0:200,17689:55;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;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:4;1764:1
18.32/8.46 c (7,7) ===========================================
18.32/8.46 c (7,7) Both Encoding selects:
18.32/8.46 c (7,7) Log
18.32/8.46 c (7,7) ===========================================
20.16/9.01 c (8,8) translated 5726 (10%) constraints
20.67/9.23 c (8,8) translated 11451 (20%) constraints
20.94/9.32 c (8,8) translated 17177 (30%) constraints
21.07/9.40 c (8,8) translated 22902 (40%) constraints
21.07/9.48 c (8,8) translated 28628 (50%) constraints
21.18/9.56 c (9,8) translated 34353 (60%) constraints
21.28/9.64 c (9,8) translated 40079 (70%) constraints
21.38/9.72 c (9,9) translated 45804 (80%) constraints
21.38/9.80 c (9,9) translated 51530 (90%) constraints
23.11/10.94 c (10,10) translated 57255 (100%) constraints
23.11/10.94 c (10,10) CSP to CSPinCNF End
23.11/10.95 c (10,10) CSP: 200 int (0 aux), 21400 bool (20400 aux), 67280 ctr, max domain size 25
23.11/10.95 c (10,10) Heap : 1815 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.11/10.95 c (10,10) CSPinCNF Propagation Begin
24.16/11.59 c (11,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
24.16/11.59 c (11,10) CSPinCNF Propagation End
24.39/11.60 c (11,10) CSP: 200 int (0 aux), 21400 bool (20400 aux), 66880 ctr, max domain size 25
24.39/11.60 c (11,10) Heap : 2091 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.39/11.60 c (11,10) Simplify CSPinCNF Begin
24.61/11.74 c (11,11) Simplify CSPinCNF End
24.61/11.74 c (11,11) CSP: 200 int (0 aux), 21400 bool (20400 aux), 66880 ctr, max domain size 25
24.61/11.74 c (11,11) Heap : 2146 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.61/11.74 c (11,11) Calculate Precise Domain Begin
24.61/11.74 c (11,11) 0 values are removed by re-calculation
24.61/11.74 c (11,11) Calculate Precise Domain End
24.61/11.75 c (11,11) CSP: 200 int (0 aux), 21400 bool (20400 aux), 66880 ctr, max domain size 25
24.61/11.75 c (11,11) Heap : 2146 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.61/11.75 c (11,11) CSPinCNF to SatSolver Begin
28.53/13.38 c (12,12) 6688 (10 %) CSP clauses are being encoded (124739 SAT variables, 275868 SAT clauses)
29.21/13.70 c (13,12) 13376 (20 %) CSP clauses are being encoded (148040 SAT variables, 325813 SAT clauses)
29.41/14.00 c (13,13) 20064 (30 %) CSP clauses are being encoded (169618 SAT variables, 372777 SAT clauses)
30.14/14.20 c (13,13) 26752 (40 %) CSP clauses are being encoded (175244 SAT variables, 389383 SAT clauses)
30.31/14.35 c (13,13) 33440 (50 %) CSP clauses are being encoded (180992 SAT variables, 406207 SAT clauses)
30.42/14.48 c (13,13) 40128 (60 %) CSP clauses are being encoded (186690 SAT variables, 422937 SAT clauses)
30.63/14.62 c (14,13) 46816 (70 %) CSP clauses are being encoded (192316 SAT variables, 439543 SAT clauses)
30.73/14.76 c (14,13) 53504 (80 %) CSP clauses are being encoded (197942 SAT variables, 456149 SAT clauses)
30.93/14.90 c (14,14) 60192 (90 %) CSP clauses are being encoded (203568 SAT variables, 472755 SAT clauses)
43.07/23.80 c (23,22) 66880 (100 %) CSP clauses are being encoded (1054042 SAT variables, 2976687 SAT clauses)
43.07/23.86 c (23,22) CSPinCNF to SatSolver End
43.07/23.86 c (23,22) Heap : 2711 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
44.02/24.29 c (23,22) STATISTICS2:HOME/instance-4294974-1532538576.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21600,66880,9223372036854775807,25,24,200,9223372036854775807:267;2305843009213693952:3;576460752303423488:3;288230376151711744:2;144115188075855872:1;36028797018963968:2;18014398509481984:2;4503599627370496:2;562949953421312:3;70368744177664:1;17592186044416:2;8796093022208:1;1099511627776:1;549755813888:1;137438953472:1;17179869184:1;16:392;4:396;2:199,25:28800;2:179619,24:200;3:29200;2:36200;1:1280,200:55;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;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:4;64:1;62:3;60:3;59:2;58:1;56:2;55:2;53:2;50:3;47:1;45:2;44:1;41:1;40:1;38:1;35:1;5:392;3:396;2:199;1:164800,2:267
44.02/24.29 c (23,22) SatSolver.solve Begin
44.02/24.29 c (23,22) 1060539 bool, 2996001 clause
44.02/24.29 c (23,22) 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-4294974-1532538576.xml-scop-30358.cnf HOME/instance-4294974-1532538576.xml-scop-30358.cnf.out
44.95/25.01 c (24,0) receiving signal SIGTERM
44.95/25.01 s UNKNOWN
44.95/25.02 c (24,22) SatSolver is killed by some reasons.
44.95/25.02 c (24,22) 0,0,10,11,11,11,23,TO,TO,STOP-AFTER(DIMACS)
44.95/25.02 c END-Prog: Wed Jul 25 19:10:01 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 (8230 MiB free)
memory of node 1: 16384 MiB (4004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294974-1532538576/watcher-4294974-1532538576 -o /tmp/evaluation-result-4294974-1532538576/solver-4294974-1532538576 -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-4294974-1532538576.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=30358, runsolver pid=30355
[startup+0.100061 s]*
/proc/loadavg: 5.00 5.02 4.62 8/215 30373
/proc/meminfo: memFree=12467024/32770624 swapFree=67076460/67108860
[pid=30358] ppid=30355 vsize=15011656 memory=74684 CPUtime=0.12 cores=0,2,4,6
/proc/30358/stat : 30358 (java) S 30355 30358 29212 0 -1 1077944320 6302 0 0 0 10 2 0 0 20 0 15 0 71420766 15371935744 18605 33554432000 4194304 4196468 140731330501312 140731330483856 140016027864823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
/proc/30358/statm: 3752914 18605 2778 1 0 3715374 0
[pid=30358/tid=30360] ppid=30355 vsize=15011656 memory=-8484391872771558781 CPUtime=0.09 cores=0,2,4,6
/proc/30358/task/30360/stat : 30360 (java) R 30355 30358 29212 0 -1 4202560 4408 0 0 0 8 1 0 0 20 0 15 0 71420766 15371935744 18671 33554432000 4194304 4196468 140731330501312 140015999676808 140016008140572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30361] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30361/stat : 30361 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 18671 33554432000 4194304 4196468 140731330501312 140016032106896 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30362] ppid=30355 vsize=15011656 memory=140580124530304 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30362/stat : 30362 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 18671 33554432000 4194304 4196468 140731330501312 140015807809808 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30363] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30363/stat : 30363 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 18671 33554432000 4194304 4196468 140731330501312 140015806757520 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30364] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30364/stat : 30364 (java) S 30355 30358 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 18671 33554432000 4194304 4196468 140731330501312 140015805704720 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30365] ppid=30355 vsize=15011656 memory=140580124530304 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30365/stat : 30365 (java) S 30355 30358 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71420769 15371935744 18671 33554432000 4194304 4196468 140731330501312 140015366535792 140016027875970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30366] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30366/stat : 30366 (java) S 30355 30358 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71420769 15371935744 18671 33554432000 4194304 4196468 140731330501312 140014625219872 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30367] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30367/stat : 30367 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420770 15371935744 18671 33554432000 4194304 4196468 140731330501312 140014390339184 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30368] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30368/stat : 30368 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 18671 33554432000 4194304 4196468 140731330501312 140014015830608 140016027883419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30369] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30369/stat : 30369 (java) S 30355 30358 29212 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 18671 33554432000 4194304 4196468 140731330501312 140015365482608 140016027875970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30370] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30370/stat : 30370 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 18737 33554432000 4194304 4196468 140731330501312 140015364429808 140016027875970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30371] ppid=30355 vsize=15011656 memory=140580124530304 CPUtime=0.01 cores=0,2,4,6
/proc/30358/task/30371/stat : 30371 (java) S 30355 30358 29212 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 71420772 15371935744 18737 33554432000 4194304 4196468 140731330501312 140015363377520 140016027875970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30372] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30372/stat : 30372 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 18737 33554432000 4194304 4196468 140731330501312 140013517924832 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30373] ppid=30355 vsize=15011656 memory=140580124530304 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30373/stat : 30373 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 18737 33554432000 4194304 4196468 140731330501312 140015362325424 140016027875970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74684 KiB
[startup+0.210279 s]*
/proc/loadavg: 5.08 5.04 4.62 6/215 30373
/proc/meminfo: memFree=12453196/32770624 swapFree=67076460/67108860
[pid=30358] ppid=30355 vsize=15011656 memory=86712 CPUtime=0.25 cores=0,2,4,6
/proc/30358/stat : 30358 (java) S 30355 30358 29212 0 -1 1077944320 9588 0 0 0 23 2 0 0 20 0 15 0 71420766 15371935744 21678 33554432000 4194304 4196468 140731330501312 140731330483856 140016027864823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
/proc/30358/statm: 3752914 21678 2895 1 0 3715374 0
[pid=30358/tid=30360] ppid=30355 vsize=15011656 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30358/task/30360/stat : 30360 (java) R 30355 30358 29212 0 -1 4202560 7488 0 0 0 18 1 0 0 20 0 15 0 71420766 15371935744 21678 33554432000 4194304 4196468 140731330501312 140015999690672 140016027876758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30361] ppid=30355 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30361/stat : 30361 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 21678 33554432000 4194304 4196468 140731330501312 140016032106896 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30362] ppid=30355 vsize=15011656 memory=3906785903613744800 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30362/stat : 30362 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 21678 33554432000 4194304 4196468 140731330501312 140015807809808 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30363] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30363/stat : 30363 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 21678 33554432000 4194304 4196468 140731330501312 140015806757520 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30364] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30364/stat : 30364 (java) S 30355 30358 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 21678 33554432000 4194304 4196468 140731330501312 140015805704720 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30365] ppid=30355 vsize=15011656 memory=140580124530304 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30365/stat : 30365 (java) S 30355 30358 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71420769 15371935744 21678 33554432000 4194304 4196468 140731330501312 140015366535792 140016027875970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30366] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30366/stat : 30366 (java) S 30355 30358 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71420769 15371935744 21678 33554432000 4194304 4196468 140731330501312 140014625219872 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30367] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30367/stat : 30367 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420770 15371935744 21678 33554432000 4194304 4196468 140731330501312 140014390339184 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30368] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30368/stat : 30368 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 21678 33554432000 4194304 4196468 140731330501312 140014015830608 140016027883419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30369] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30369/stat : 30369 (java) R 30355 30358 29212 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 21678 33554432000 4194304 4196468 140731330501312 140015365482608 140016027875970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30370] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30370/stat : 30370 (java) R 30355 30358 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 21678 33554432000 4194304 4196468 140731330501312 140015364429808 140016020849865 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30371] ppid=30355 vsize=15011656 memory=140580124530304 CPUtime=0.03 cores=0,2,4,6
/proc/30358/task/30371/stat : 30371 (java) R 30355 30358 29212 0 -1 4202560 308 0 0 0 3 0 0 0 20 0 15 0 71420772 15371935744 21678 33554432000 4194304 4196468 140731330501312 140015363377520 140016027886170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30372] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30372/stat : 30372 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 21678 33554432000 4194304 4196468 140731330501312 140013517924832 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30373] ppid=30355 vsize=15011656 memory=140580124530304 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30373/stat : 30373 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 21678 33554432000 4194304 4196468 140731330501312 140015362325424 140016027875970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86712 KiB
[startup+0.31031 s]*
/proc/loadavg: 5.08 5.04 4.62 6/215 30373
/proc/meminfo: memFree=12449784/32770624 swapFree=67076460/67108860
[pid=30358] ppid=30355 vsize=15011656 memory=90440 CPUtime=0.43 cores=0,2,4,6
/proc/30358/stat : 30358 (java) S 30355 30358 29212 0 -1 1077944320 10124 0 0 0 40 3 0 0 20 0 15 0 71420766 15371935744 22610 33554432000 4194304 4196468 140731330501312 140731330483856 140016027864823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
/proc/30358/statm: 3752914 22610 3026 1 0 3715374 0
[pid=30358/tid=30360] ppid=30355 vsize=15011656 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/30358/task/30360/stat : 30360 (java) R 30355 30358 29212 0 -1 4202560 7858 0 0 0 28 2 0 0 20 0 15 0 71420766 15371935744 22610 33554432000 4194304 4196468 140731330501312 140015999668976 140016011908453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30361] ppid=30355 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30361/stat : 30361 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 22610 33554432000 4194304 4196468 140731330501312 140016032106896 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30362] ppid=30355 vsize=15011656 memory=3762670715537888928 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30362/stat : 30362 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 22610 33554432000 4194304 4196468 140731330501312 140015807809808 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30363] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30363/stat : 30363 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 22610 33554432000 4194304 4196468 140731330501312 140015806757520 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30364] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30364/stat : 30364 (java) S 30355 30358 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71420768 15371935744 22610 33554432000 4194304 4196468 140731330501312 140015805704720 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30365] ppid=30355 vsize=15011656 memory=140580124530304 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30365/stat : 30365 (java) S 30355 30358 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71420769 15371935744 22610 33554432000 4194304 4196468 140731330501312 140015366535792 140016027875970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30366] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30366/stat : 30366 (java) S 30355 30358 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71420769 15371935744 22610 33554432000 4194304 4196468 140731330501312 140014625219872 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30367] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30367/stat : 30367 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420770 15371935744 22610 33554432000 4194304 4196468 140731330501312 140014390339184 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30368] ppid=30355 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30368/stat : 30368 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 22610 33554432000 4194304 4196468 140731330501312 140014015830608 140016027883419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30369] ppid=30355 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30358/task/30369/stat : 30369 (java) R 30355 30358 29212 0 -1 4202560 529 0 0 0 2 0 0 0 20 0 15 0 71420772 15371935744 22610 33554432000 4194304 4196468 140731330501312 140015365482608 140016009408999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30370] ppid=30355 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30358/task/30370/stat : 30370 (java) R 30355 30358 29212 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 15 0 71420772 15371935744 22610 33554432000 4194304 4196468 140731330501312 140015364429808 140016027875970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30371] ppid=30355 vsize=15011656 memory=140580124530304 CPUtime=0.07 cores=0,2,4,6
/proc/30358/task/30371/stat : 30371 (java) R 30355 30358 29212 0 -1 4202560 328 0 0 0 7 0 0 0 20 0 15 0 71420772 15371935744 22610 33554432000 4194304 4196468 140731330501312 140015363377520 140016020101950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30372] ppid=30355 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30372/stat : 30372 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 22610 33554432000 4194304 4196468 140731330501312 140013517924832 140016027875029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30373] ppid=30355 vsize=15011656 memory=140580124530304 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30373/stat : 30373 (java) R 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420772 15371935744 22610 33554432000 4194304 4196468 140731330501312 140015362325424 140016027875970 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90440 KiB
[startup+0.704552 s]
/proc/loadavg: 5.08 5.04 4.62 6/215 30373
/proc/meminfo: memFree=12398976/32770624 swapFree=67076460/67108860
[pid=30358] ppid=30355 vsize=15019976 memory=131704 CPUtime=1.06 cores=0,2,4,6
/proc/30358/stat : 30358 (java) S 30355 30358 29212 0 -1 1077944320 17067 0 0 0 101 5 0 0 20 0 15 0 71420766 15380455424 32926 33554432000 4194304 4196468 140731330501312 140731330483856 140016027864823 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
/proc/30358/statm: 3754994 32926 3156 1 0 3716398 0
[pid=30358/tid=30360] ppid=30355 vsize=15019976 memory=9972 CPUtime=0.68 cores=0,2,4,6
/proc/30358/task/30360/stat : 30360 (java) R 30355 30358 29212 0 -1 4202560 14295 0 0 0 64 4 0 0 20 0 15 0 71420766 15380455424 32926 33554432000 4194304 4196468 140731330501312 140015999697936 140016027886749 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30361] ppid=30355 vsize=15019976 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30361/stat : 30361 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15380455424 32926 33554432000 4194304 4196468 140731330501312 140016032106896 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30362] ppid=30355 vsize=15019976 memory=640 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30362/stat : 30362 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15380455424 32926 33554432000 4194304 4196468 140731330501312 140015807809808 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30363] ppid=30355 vsize=15019976 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30363/stat : 30363 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15380455424 32926 33554432000 4194304 4196468 140731330501312 140015806757520 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30364] ppid=30355 vsize=15019976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30364/stat : 30364 (java) S 30355 30358 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71420768 15380455424 32936 33554432000 4194304 4196468 140731330501312 140015805704720 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30365] ppid=30355 vsize=15019976 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30365/stat : 30365 (java) S 30355 30358 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71420769 15380455424 32936 33554432000 4194304 4196468 140731330501312 140015366535792 140016027875970 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30366] ppid=30355 vsize=15019976 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30366/stat : 30366 (java) S 30355 30358 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71420769 15380455424 33001 33554432000 4194304 4196468 140731330501312 140014625219872 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30367] ppid=30355 vsize=15019976 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30367/stat : 30367 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420770 15380455424 33001 33554432000 4194304 4196468 140731330501312 140014390339184 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30368] ppid=30355 vsize=15019976 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30368/stat : 30368 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15380455424 33001 33554432000 4194304 4196468 140731330501312 140014015830608 140016027883419 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30369] ppid=30355 vsize=15019976 memory=7881696724453321575 CPUtime=0.11 cores=0,2,4,6
/proc/30358/task/30369/stat : 30369 (java) R 30355 30358 29212 0 -1 4202560 755 0 0 0 11 0 0 0 20 0 15 0 71420772 15380455424 33001 33554432000 4194304 4196468 140731330501312 140015365470448 140016011351226 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30370] ppid=30355 vsize=15019976 memory=7019257425709197167 CPUtime=0.07 cores=0,2,4,6
/proc/30358/task/30370/stat : 30370 (java) R 30355 30358 29212 0 -1 4202560 217 0 0 0 7 0 0 0 20 0 15 0 71420772 15380455424 33001 33554432000 4194304 4196468 140731330501312 140015364419600 140016020154272 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30371] ppid=30355 vsize=15019976 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/30358/task/30371/stat : 30371 (java) R 30355 30358 29212 0 -1 4202560 492 0 0 0 17 0 0 0 20 0 15 0 71420772 15380455424 33001 33554432000 4194304 4196468 140731330501312 140015363375480 140016006820409 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30372] ppid=30355 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30372/stat : 30372 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15380455424 33001 33554432000 4194304 4196468 140731330501312 140013517924832 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30373] ppid=30355 vsize=15019976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30373/stat : 30373 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420772 15380455424 33001 33554432000 4194304 4196468 140731330501312 140015362325424 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 131704 KiB
[startup+1.50255 s]
/proc/loadavg: 5.08 5.04 4.62 8/215 30373
/proc/meminfo: memFree=12162292/32770624 swapFree=67076460/67108860
[pid=30358] ppid=30355 vsize=15022100 memory=199000 CPUtime=3.5 cores=0,2,4,6
/proc/30358/stat : 30358 (java) S 30355 30358 29212 0 -1 1077944320 20619 0 0 0 342 8 0 0 20 0 15 0 71420766 15382630400 49750 33554432000 4194304 4196468 140731330501312 140731330483856 140016027864823 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
/proc/30358/statm: 3755525 49750 3214 1 0 3716910 0
[pid=30358/tid=30360] ppid=30355 vsize=15022100 memory=170672 CPUtime=1.46 cores=0,2,4,6
/proc/30358/task/30360/stat : 30360 (java) R 30355 30358 29212 0 -1 4202560 15288 0 0 0 141 5 0 0 20 0 15 0 71420766 15382630400 49750 33554432000 4194304 4196468 140731330501312 140015999691872 140016027886170 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30361] ppid=30355 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30361/stat : 30361 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15382630400 49750 33554432000 4194304 4196468 140731330501312 140016032106896 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30362] ppid=30355 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30362/stat : 30362 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15382630400 49750 33554432000 4194304 4196468 140731330501312 140015807809808 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30363] ppid=30355 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30363/stat : 30363 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15382630400 49750 33554432000 4194304 4196468 140731330501312 140015806757520 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30364] ppid=30355 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30364/stat : 30364 (java) S 30355 30358 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71420768 15382630400 49750 33554432000 4194304 4196468 140731330501312 140015805704720 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30365] ppid=30355 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30365/stat : 30365 (java) S 30355 30358 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71420769 15382630400 49750 33554432000 4194304 4196468 140731330501312 140015366535792 140016027875970 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
################
# More data... #
################
[pid=30358/tid=30366] ppid=30355 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30366/stat : 30366 (java) S 30355 30358 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71420769 15382630400 204867 33554432000 4194304 4196468 140731330501312 140014625219872 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30367] ppid=30355 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30367/stat : 30367 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420770 15382630400 204867 33554432000 4194304 4196468 140731330501312 140014390339184 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30368] ppid=30355 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30368/stat : 30368 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15382630400 204867 33554432000 4194304 4196468 140731330501312 140014015830608 140016027883419 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30369] ppid=30355 vsize=15022100 memory=0 CPUtime=2.02 cores=0,2,4,6
/proc/30358/task/30369/stat : 30369 (java) R 30355 30358 29212 0 -1 4202560 3439 0 0 0 201 1 0 0 20 0 15 0 71420772 15382630400 204867 33554432000 4194304 4196468 140731330501312 140015365482736 140016027876758 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30370] ppid=30355 vsize=15022100 memory=0 CPUtime=1.81 cores=0,2,4,6
/proc/30358/task/30370/stat : 30370 (java) R 30355 30358 29212 0 -1 4202560 1562 0 0 0 181 0 0 0 20 0 15 0 71420772 15382630400 204867 33554432000 4194304 4196468 140731330501312 140015364421264 140016027886170 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30371] ppid=30355 vsize=15022100 memory=182 CPUtime=0.93 cores=0,2,4,6
/proc/30358/task/30371/stat : 30371 (java) S 30355 30358 29212 0 -1 1077944384 2980 0 0 0 92 1 0 0 20 0 15 0 71420772 15382630400 204867 33554432000 4194304 4196468 140731330501312 140015363377520 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30372] ppid=30355 vsize=15022100 memory=161 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30372/stat : 30372 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15382630400 204867 33554432000 4194304 4196468 140731330501312 140013517924832 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30373] ppid=30355 vsize=15022100 memory=93 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30373/stat : 30373 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15382630400 204867 33554432000 4194304 4196468 140731330501312 140015362325424 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
Current children cumulated CPU time: 7.88 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 819468 KiB
[startup+6.30082 s]
/proc/loadavg: 5.15 5.06 4.63 7/215 30373
/proc/meminfo: memFree=10254444/32770624 swapFree=67076460/67108860
[pid=30358] ppid=30355 vsize=15024148 memory=2286376 CPUtime=15.09 cores=0,2,4,6
/proc/30358/stat : 30358 (java) S 30355 30358 29212 0 -1 1077944320 34823 0 0 0 1466 43 0 0 20 0 15 0 71420766 15384727552 571594 33554432000 4194304 4196468 140731330501312 140731330483856 140016027864823 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
/proc/30358/statm: 3756037 571594 3218 1 0 3717422 0
[pid=30358/tid=30360] ppid=30355 vsize=15024148 memory=1679852 CPUtime=6.25 cores=0,2,4,6
/proc/30358/task/30360/stat : 30360 (java) R 30355 30358 29212 0 -1 4202560 17616 0 0 0 589 36 0 0 20 0 15 0 71420766 15384727552 571594 33554432000 4194304 4196468 140731330501312 140015999696976 140015488985712 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30361] ppid=30355 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30361/stat : 30361 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15384727552 571594 33554432000 4194304 4196468 140731330501312 140016032106896 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30362] ppid=30355 vsize=15024148 memory=383 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30362/stat : 30362 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15384727552 571594 33554432000 4194304 4196468 140731330501312 140015807809808 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30363] ppid=30355 vsize=15024148 memory=360 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30363/stat : 30363 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420768 15384727552 571594 33554432000 4194304 4196468 140731330501312 140015806757520 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30364] ppid=30355 vsize=15024148 memory=133 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30364/stat : 30364 (java) S 30355 30358 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71420768 15384727552 571594 33554432000 4194304 4196468 140731330501312 140015805704720 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30365] ppid=30355 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30365/stat : 30365 (java) S 30355 30358 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71420769 15384727552 571594 33554432000 4194304 4196468 140731330501312 140015366535792 140016027875970 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30366] ppid=30355 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30366/stat : 30366 (java) S 30355 30358 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71420769 15384727552 571594 33554432000 4194304 4196468 140731330501312 140014625219872 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30367] ppid=30355 vsize=15024148 memory=1290 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30367/stat : 30367 (java) S 30355 30358 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71420770 15384727552 571594 33554432000 4194304 4196468 140731330501312 140014390339184 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30368] ppid=30355 vsize=15024148 memory=56 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30368/stat : 30368 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15384727552 571594 33554432000 4194304 4196468 140731330501312 140014015830608 140016027883419 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30369] ppid=30355 vsize=15024148 memory=9169 CPUtime=3.84 cores=0,2,4,6
/proc/30358/task/30369/stat : 30369 (java) S 30355 30358 29212 0 -1 1077944384 5803 0 0 0 383 1 0 0 20 0 15 0 71420772 15384727552 571594 33554432000 4194304 4196468 140731330501312 140015365482608 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30370] ppid=30355 vsize=15024148 memory=21520 CPUtime=3.62 cores=0,2,4,6
/proc/30358/task/30370/stat : 30370 (java) S 30355 30358 29212 0 -1 1077944384 3772 0 0 0 361 1 0 0 20 0 15 0 71420772 15384727552 571594 33554432000 4194304 4196468 140731330501312 140015364429808 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30371] ppid=30355 vsize=15024148 memory=9169 CPUtime=1.33 cores=0,2,4,6
/proc/30358/task/30371/stat : 30371 (java) S 30355 30358 29212 0 -1 1077944384 6290 0 0 0 131 2 0 0 20 0 15 0 71420772 15384727552 571594 33554432000 4194304 4196468 140731330501312 140015363377520 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30372] ppid=30355 vsize=15024148 memory=281159968077056 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30372/stat : 30372 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15384727552 571594 33554432000 4194304 4196468 140731330501312 140013517924832 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30373] ppid=30355 vsize=15024148 memory=1792410650369 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30373/stat : 30373 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15384727552 571594 33554432000 4194304 4196468 140731330501312 140015362325424 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
Current children cumulated CPU time: 15.09 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2286376 KiB
[startup+12.7039 s]
/proc/loadavg: 5.06 5.04 4.63 5/215 30373
/proc/meminfo: memFree=9207452/32770624 swapFree=67076460/67108860
[pid=30358] ppid=30355 vsize=15028312 memory=3109988 CPUtime=26.67 cores=0,2,4,6
/proc/30358/stat : 30358 (java) S 30355 30358 29212 0 -1 1077944320 40798 0 0 0 2601 66 0 0 20 0 15 0 71420766 15388991488 777497 33554432000 4194304 4196468 140731330501312 140731330483856 140016027864823 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
/proc/30358/statm: 3757078 777497 3247 1 0 3717934 0
[pid=30358/tid=30360] ppid=30355 vsize=15028312 memory=3109988 CPUtime=12.55 cores=0,2,4,6
/proc/30358/task/30360/stat : 30360 (java) R 30355 30358 29212 0 -1 4202560 19108 0 0 0 1207 48 0 0 20 0 15 0 71420766 15388991488 777497 33554432000 4194304 4196468 140731330501312 140015999701264 140015495357180 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30361] ppid=30355 vsize=15028312 memory=2972644 CPUtime=0.09 cores=0,2,4,6
/proc/30358/task/30361/stat : 30361 (java) S 30355 30358 29212 0 -1 1077944384 78 0 0 0 7 2 0 0 20 0 15 0 71420768 15388991488 777497 33554432000 4194304 4196468 140731330501312 140016032106896 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30362] ppid=30355 vsize=15028312 memory=32705 CPUtime=0.09 cores=0,2,4,6
/proc/30358/task/30362/stat : 30362 (java) S 30355 30358 29212 0 -1 1077944384 277 0 0 0 7 2 0 0 20 0 15 0 71420768 15388991488 777497 33554432000 4194304 4196468 140731330501312 140015807809808 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30363] ppid=30355 vsize=15028312 memory=3102712 CPUtime=0.09 cores=0,2,4,6
/proc/30358/task/30363/stat : 30363 (java) S 30355 30358 29212 0 -1 1077944384 61 0 0 0 7 2 0 0 20 0 15 0 71420768 15388991488 777497 33554432000 4194304 4196468 140731330501312 140015806757520 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30364] ppid=30355 vsize=15028312 memory=3032 CPUtime=0.09 cores=0,2,4,6
/proc/30358/task/30364/stat : 30364 (java) S 30355 30358 29212 0 -1 1077944384 94 0 0 0 7 2 0 0 20 0 15 0 71420768 15388991488 777497 33554432000 4194304 4196468 140731330501312 140015805704720 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30365] ppid=30355 vsize=15028312 memory=3101672 CPUtime=0.01 cores=0,2,4,6
/proc/30358/task/30365/stat : 30365 (java) S 30355 30358 29212 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 71420769 15388991488 777497 33554432000 4194304 4196468 140731330501312 140015366535792 140016027875970 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30366] ppid=30355 vsize=15028312 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30366/stat : 30366 (java) S 30355 30358 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 71420769 15388991488 777497 33554432000 4194304 4196468 140731330501312 140014625219936 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30367] ppid=30355 vsize=15028312 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30367/stat : 30367 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420770 15388991488 777497 33554432000 4194304 4196468 140731330501312 140014390339184 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30368] ppid=30355 vsize=15028312 memory=3101676 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30368/stat : 30368 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15388991488 777497 33554432000 4194304 4196468 140731330501312 140014015830608 140016027883419 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30369] ppid=30355 vsize=15028312 memory=2665256 CPUtime=6.17 cores=0,2,4,6
/proc/30358/task/30369/stat : 30369 (java) R 30355 30358 29212 0 -1 4202560 7800 0 0 0 615 2 0 0 20 0 15 0 71420772 15388991488 777497 33554432000 4194304 4196468 140731330501312 140015365464144 140016020154272 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30370] ppid=30355 vsize=15028312 memory=3544 CPUtime=5.88 cores=0,2,4,6
/proc/30358/task/30370/stat : 30370 (java) R 30355 30358 29212 0 -1 4202560 5675 0 0 0 587 1 0 0 20 0 15 0 71420772 15388991488 777497 33554432000 4194304 4196468 140731330501312 140015364414944 140016005459936 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30371] ppid=30355 vsize=15028312 memory=18460 CPUtime=1.62 cores=0,2,4,6
/proc/30358/task/30371/stat : 30371 (java) S 30355 30358 29212 0 -1 1077944384 6348 0 0 0 160 2 0 0 20 0 15 0 71420772 15388991488 777497 33554432000 4194304 4196468 140731330501312 140015363377520 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30372] ppid=30355 vsize=15028312 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30372/stat : 30372 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15388991488 777497 33554432000 4194304 4196468 140731330501312 140013517924832 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30373] ppid=30355 vsize=15028312 memory=-2892745056948402235 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30373/stat : 30373 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71420772 15388991488 777497 33554432000 4194304 4196468 140731330501312 140015362325424 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
Current children cumulated CPU time: 26.67 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3109988 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+25.0006 s]*
/proc/loadavg: 5.35 5.10 4.65 3/220 30379
/proc/meminfo: memFree=8065996/32770624 swapFree=67076460/67108860
[pid=30358] ppid=30355 vsize=15683912 memory=3945376 CPUtime=44.26 cores=0,2,4,6
/proc/30358/stat : 30358 (java) S 30355 30358 29212 0 -1 1077944320 63544 0 0 0 4252 174 0 0 20 0 19 0 71420766 16060325888 986344 33554432000 4194304 4196468 140731330501312 140731330483856 140016027864823 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
/proc/30358/statm: 3920978 986344 3272 1 0 3881834 0
[pid=30374] ppid=30358 vsize=270180 memory=230596 CPUtime=0.69 cores=0,2,4,6
/proc/30374/stat : 30374 (minisat_release) R 30358 30358 29212 0 -1 4202496 47425 0 0 0 61 8 0 0 20 0 1 0 71423196 276664320 57649 33554432000 4194304 4308513 140730397621984 140730396570216 4210083 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 30031872 140730397631151 140730397631662 140730397631662 140730397634501 0
/proc/30374/statm: 67545 57649 318 28 0 63785 0
[pid=30358/tid=30360] ppid=30355 vsize=15683912 memory=8389772277269004345 CPUtime=23.17 cores=0,2,4,6
/proc/30358/task/30360/stat : 30360 (java) S 30355 30358 29212 0 -1 1077944384 21699 0 0 0 2258 59 0 0 20 0 19 0 71420766 16060325888 986344 33554432000 4194304 4196468 140731330501312 140015999704064 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30361] ppid=30355 vsize=15683912 memory=318629906504482839 CPUtime=1.07 cores=0,2,4,6
/proc/30358/task/30361/stat : 30361 (java) S 30355 30358 29212 0 -1 1077944384 625 0 0 0 82 25 0 0 20 0 19 0 71420768 16060325888 986344 33554432000 4194304 4196468 140731330501312 140016032106896 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30362] ppid=30355 vsize=15683912 memory=4207313582141222944 CPUtime=1.08 cores=0,2,4,6
/proc/30358/task/30362/stat : 30362 (java) S 30355 30358 29212 0 -1 1077944384 839 0 0 0 82 26 0 0 20 0 19 0 71420768 16060325888 986344 33554432000 4194304 4196468 140731330501312 140015807809808 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30363] ppid=30355 vsize=15683912 memory=3472328296227680299 CPUtime=1.07 cores=0,2,4,6
/proc/30358/task/30363/stat : 30363 (java) S 30355 30358 29212 0 -1 1077944384 2475 0 0 0 81 26 0 0 20 0 19 0 71420768 16060325888 986344 33554432000 4194304 4196468 140731330501312 140015806757520 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30364] ppid=30355 vsize=15683912 memory=3472468876352210604 CPUtime=1.06 cores=0,2,4,6
/proc/30358/task/30364/stat : 30364 (java) S 30355 30358 29212 0 -1 1077944384 1090 0 0 0 81 25 0 0 20 0 19 0 71420768 16060325888 986344 33554432000 4194304 4196468 140731330501312 140015805704720 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30365] ppid=30355 vsize=15683912 memory=8751164178631584878 CPUtime=0.02 cores=0,2,4,6
/proc/30358/task/30365/stat : 30365 (java) S 30355 30358 29212 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 19 0 71420769 16060325888 986344 33554432000 4194304 4196468 140731330501312 140015366535792 140016027875970 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30366] ppid=30355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30366/stat : 30366 (java) S 30355 30358 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 71420769 16060325888 986344 33554432000 4194304 4196468 140731330501312 140014625219936 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30367] ppid=30355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30367/stat : 30367 (java) S 30355 30358 29212 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 71420770 16060325888 986344 33554432000 4194304 4196468 140731330501312 140014390339200 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30368] ppid=30355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30368/stat : 30368 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71420772 16060325888 986344 33554432000 4194304 4196468 140731330501312 140014015830608 140016027883419 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30369] ppid=30355 vsize=15683912 memory=-1 CPUtime=7.75 cores=0,2,4,6
/proc/30358/task/30369/stat : 30369 (java) S 30355 30358 29212 0 -1 1077944384 18231 0 0 0 772 3 0 0 20 0 19 0 71420772 16060325888 986344 33554432000 4194304 4196468 140731330501312 140015365482608 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30370] ppid=30355 vsize=15683912 memory=140580124530304 CPUtime=7.19 cores=0,2,4,6
/proc/30358/task/30370/stat : 30370 (java) S 30355 30358 29212 0 -1 1077944384 8384 0 0 0 717 2 0 0 20 0 19 0 71420772 16060325888 986344 33554432000 4194304 4196468 140731330501312 140015364429808 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30371] ppid=30355 vsize=15683912 memory=-1 CPUtime=1.74 cores=0,2,4,6
/proc/30358/task/30371/stat : 30371 (java) S 30355 30358 29212 0 -1 1077944384 8178 0 0 0 171 3 0 0 20 0 19 0 71420772 16060325888 986344 33554432000 4194304 4196468 140731330501312 140015363377520 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30372] ppid=30355 vsize=15683912 memory=140580124530304 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30372/stat : 30372 (java) S 30355 30358 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71420772 16060325888 986344 33554432000 4194304 4196468 140731330501312 140013517924832 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30373] ppid=30355 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30373/stat : 30373 (java) S 30355 30358 29212 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 19 0 71420772 16060325888 986344 33554432000 4194304 4196468 140731330501312 140015362325424 140016027875970 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30375] ppid=30355 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30375/stat : 30375 (java) S 30355 30358 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71423196 16060325888 986344 33554432000 4194304 4196468 140731330501312 140015800104384 140016027889433 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30377] ppid=30355 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30377/stat : 30377 (java) S 30355 30358 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 71423197 16060325888 986344 33554432000 4194304 4196468 140731330501312 140013115260848 140016027886749 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30378] ppid=30355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30378/stat : 30378 (java) S 30355 30358 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 71423197 16060325888 986344 33554432000 4194304 4196468 140731330501312 140012981038384 140016027886749 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
[pid=30358/tid=30379] ppid=30355 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30358/task/30379/stat : 30379 (java) S 30355 30358 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71423199 16060325888 986344 33554432000 4194304 4196468 140731330501312 140012712614816 140016027875029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32497664 140731330503668 140731330503945 140731330503945 140731330506703 0
Current children cumulated CPU time: 44.95 s
Current children cumulated vsize: 15954092 KiB
Current children cumulated memory: 4175972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+25.0635 s]
# the end of solver process 30358 was just reported to runsolver
# cumulated CPU time of all completed processes: user=43.1509 s, system=1.87748 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 25.0635
CPU time (s): 45.0284
CPU user time (s): 43.1509
CPU system time (s): 1.87748
CPU usage (%): 179.657
Max. virtual memory (cumulated for all children) (KiB): 15954092
Max. memory (cumulated for all children) (KiB): 4175972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.1509
system time used= 1.87748
maximum resident set size= 3947760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111162
page faults= 0
swaps= 0
block input operations= 0
block output operations= 131584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6176
involuntary context switches= 244
# summary of solver processes directly reported to runsolver:
# pid: 30358
# total CPU time (s): 45.0284
# total CPU user time (s): 43.1509
# total CPU system time (s): 1.87748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.170288 second user time and 0.287774 second system time
The end