0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Wed Jul 25 19:16:26 CEST 2018
0.66/0.55 c PID: 31519
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.96/1.39 c (0,0) Parsing End
3.27/1.41 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1416 ctr, max domain size 24
3.27/1.41 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.27/1.41 c (0,0) Constraint Name Generate Begin
3.27/1.43 c (0,0) Ctr:HOME/instance-4295100-1532538985.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.27/1.43 c (0,0) Constraint Name Generate End
3.27/1.43 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.27/1.43 c (0,0) CSP to CSPinCNF Begin
12.23/4.65 c (4,4) translated 142 (10%) constraints
12.76/5.14 c (4,4) translated 284 (20%) constraints
12.76/5.17 c (4,4) translated 425 (30%) constraints
13.06/5.25 c (4,4) translated 567 (40%) constraints
13.06/5.25 c (4,4) translated 708 (50%) constraints
13.06/5.25 c (4,4) translated 850 (60%) constraints
13.06/5.26 c (4,4) translated 992 (70%) constraints
13.06/5.28 c (4,4) translated 1133 (80%) constraints
15.04/6.67 c (6,6) translated 1275 (90%) constraints
16.45/7.76 c (7,7) translated 1416 (100%) constraints
17.90/8.34 c (7,7) STATISTICS1:HOME/instance-4295100-1532538985.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16200,55839,9223372036854775807,24,25,200,9223372036854775807:255;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:3;70368744177664:1;17592186044416:2;8796093022208:1;1099511627776:1;549755813888:2;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,24:18800;2:156165,25:200;3:28800;2:25600;1:1239,200:53;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;77:2;75:2;74:2;71:2;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:3;47:1;45:2;44:1;41:1;40:2;35:1;30:1;25:1;5:392;3:396;2:199;1:142400;0:200,17689:53;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;2601:2;2500:2;2401:2;2209:2;2116:2;2025:1;1849:3
17.90/8.34 c (7,7) ===========================================
17.90/8.34 c (7,7) Both Encoding selects:
17.90/8.34 c (7,7) Log
17.90/8.34 c (7,7) ===========================================
19.04/8.87 c (8,8) translated 5584 (10%) constraints
19.61/9.07 c (8,8) translated 11168 (20%) constraints
19.85/9.16 c (8,8) translated 16752 (30%) constraints
19.96/9.24 c (8,8) translated 22336 (40%) constraints
20.06/9.33 c (8,8) translated 27920 (50%) constraints
20.16/9.41 c (8,8) translated 33504 (60%) constraints
20.16/9.49 c (8,8) translated 39088 (70%) constraints
20.26/9.57 c (9,8) translated 44672 (80%) constraints
20.36/9.65 c (9,9) translated 50256 (90%) constraints
21.81/10.78 c (10,10) translated 55839 (100%) constraints
21.81/10.78 c (10,10) CSP to CSPinCNF End
21.81/10.79 c (10,10) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65463 ctr, max domain size 24
21.81/10.79 c (10,10) Heap : 1741 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
21.81/10.79 c (10,10) CSPinCNF Propagation Begin
23.04/11.40 c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.04/11.40 c (10,10) CSPinCNF Propagation End
23.04/11.41 c (10,10) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65063 ctr, max domain size 24
23.04/11.41 c (10,10) Heap : 2014 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.04/11.41 c (10,10) Simplify CSPinCNF Begin
23.23/11.55 c (11,10) Simplify CSPinCNF End
23.23/11.55 c (11,10) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65063 ctr, max domain size 24
23.23/11.55 c (11,10) Heap : 2069 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.23/11.55 c (11,10) Calculate Precise Domain Begin
23.23/11.55 c (11,10) 0 values are removed by re-calculation
23.23/11.55 c (11,10) Calculate Precise Domain End
23.23/11.55 c (11,10) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65063 ctr, max domain size 24
23.23/11.55 c (11,10) Heap : 2069 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.23/11.55 c (11,10) CSPinCNF to SatSolver Begin
26.39/13.00 c (12,12) 6507 (10 %) CSP clauses are being encoded (121959 SAT variables, 270581 SAT clauses)
27.90/13.53 c (13,12) 13013 (20 %) CSP clauses are being encoded (144894 SAT variables, 319706 SAT clauses)
28.22/13.85 c (13,13) 19519 (30 %) CSP clauses are being encoded (166524 SAT variables, 366728 SAT clauses)
28.48/14.01 c (13,13) 26026 (40 %) CSP clauses are being encoded (171887 SAT variables, 382718 SAT clauses)
28.93/14.14 c (13,13) 32532 (50 %) CSP clauses are being encoded (177384 SAT variables, 398947 SAT clauses)
29.02/14.28 c (13,13) 39038 (60 %) CSP clauses are being encoded (182894 SAT variables, 415197 SAT clauses)
29.23/14.42 c (13,13) 45545 (70 %) CSP clauses are being encoded (188404 SAT variables, 431448 SAT clauses)
29.33/14.55 c (14,13) 52051 (80 %) CSP clauses are being encoded (193914 SAT variables, 447698 SAT clauses)
29.43/14.69 c (14,13) 58557 (90 %) CSP clauses are being encoded (199424 SAT variables, 463948 SAT clauses)
41.96/23.75 c (23,21) 65063 (100 %) CSP clauses are being encoded (981420 SAT variables, 2762084 SAT clauses)
42.06/23.84 c (23,21) CSPinCNF to SatSolver End
42.06/23.84 c (23,21) Heap : 2040 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
42.95/24.26 c (23,22) STATISTICS2:HOME/instance-4295100-1532538985.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21000,65063,9223372036854775807,24,24,200,9223372036854775807:255;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:3;70368744177664:1;17592186044416:2;8796093022208:1;1099511627776:1;549755813888:2;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,24:27600;2:174965,24:200;3:28400;2:35200;1:1263,200:53;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;77:2;75:2;74:2;71:2;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:3;47:1;45:2;44:1;41:1;40:2;35:1;30:1;25:1;5:392;3:396;2:199;1:160400,2:255
42.95/24.26 c (23,22) SatSolver.solve Begin
42.95/24.26 c (23,22) 989799 bool, 2786956 clause
42.95/24.26 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-4295100-1532538985.xml-scop-31519.cnf HOME/instance-4295100-1532538985.xml-scop-31519.cnf.out
43.85/25.01 c (24,0) receiving signal SIGTERM
43.85/25.01 s UNKNOWN
43.85/25.02 c (24,22) SatSolver is killed by some reasons.
43.85/25.02 c (24,22) 0,0,10,10,11,11,23,TO,TO,STOP-AFTER(DIMACS)
43.85/25.02 c END-Prog: Wed Jul 25 19:16:50 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 (8228 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-4295100-1532538985/watcher-4295100-1532538985 -o /tmp/evaluation-result-4295100-1532538985/solver-4295100-1532538985 -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-4295100-1532538985.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=31519, runsolver pid=31516
[startup+0.100094 s]*
/proc/loadavg: 4.69 4.86 4.69 6/215 31534
/proc/meminfo: memFree=12238248/32770624 swapFree=67076460/67108860
[pid=31519] ppid=31516 vsize=15011656 memory=73692 CPUtime=0.11 cores=0,2,4,6
/proc/31519/stat : 31519 (java) S 31516 31519 29212 0 -1 1077944320 6587 0 0 0 9 2 0 0 20 0 15 0 71461695 15371935744 18423 33554432000 4194304 4196468 140726768562368 140726768544912 139842903764727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
/proc/31519/statm: 3752914 18423 2780 1 0 3715374 0
[pid=31519/tid=31521] ppid=31516 vsize=15011656 memory=-8556449466809617533 CPUtime=0.09 cores=0,2,4,6
/proc/31519/task/31521/stat : 31521 (java) R 31516 31519 29212 0 -1 4202560 4693 0 0 0 7 2 0 0 20 0 15 0 71461696 15371935744 18423 33554432000 4194304 4196468 140726768562368 139842875576712 139842884040487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31522] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31522/stat : 31522 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 18423 33554432000 4194304 4196468 140726768562368 139842908006672 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31523] ppid=31516 vsize=15011656 memory=139643247765120 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31523/stat : 31523 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 18423 33554432000 4194304 4196468 140726768562368 139842364713360 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31524] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31524/stat : 31524 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 18423 33554432000 4194304 4196468 140726768562368 139842363660816 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31525] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31525/stat : 31525 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 18423 33554432000 4194304 4196468 140726768562368 139842362608272 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31526] ppid=31516 vsize=15011656 memory=139643247765120 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31526/stat : 31526 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71461699 15371935744 18423 33554432000 4194304 4196468 140726768562368 139842243471856 139842903775874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31527] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31527/stat : 31527 (java) S 31516 31519 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71461699 15371935744 18489 33554432000 4194304 4196468 140726768562368 139841484350880 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31528] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31528/stat : 31528 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461700 15371935744 18489 33554432000 4194304 4196468 140726768562368 139841249469936 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31529] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31529/stat : 31529 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 18489 33554432000 4194304 4196468 140726768562368 139840874961616 139842903783323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31530] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31530/stat : 31530 (java) S 31516 31519 29212 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 18489 33554432000 4194304 4196468 140726768562368 139842242418672 139842903775874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31531] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31531/stat : 31531 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 18489 33554432000 4194304 4196468 140726768562368 139842241366128 139842903775874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31532] ppid=31516 vsize=15011656 memory=139643247765120 CPUtime=0.01 cores=0,2,4,6
/proc/31519/task/31532/stat : 31532 (java) S 31516 31519 29212 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 71461702 15371935744 18489 33554432000 4194304 4196468 140726768562368 139842240313584 139842903775874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31533] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31533/stat : 31533 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 18489 33554432000 4194304 4196468 140726768562368 139840377055840 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31534] ppid=31516 vsize=15011656 memory=139643247765120 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31534/stat : 31534 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 18489 33554432000 4194304 4196468 140726768562368 139842239261488 139842903775874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73692 KiB
[startup+0.210273 s]*
/proc/loadavg: 4.69 4.86 4.69 6/215 31534
/proc/meminfo: memFree=12224388/32770624 swapFree=67076460/67108860
[pid=31519] ppid=31516 vsize=15011656 memory=85464 CPUtime=0.25 cores=0,2,4,6
/proc/31519/stat : 31519 (java) S 31516 31519 29212 0 -1 1077944320 9854 0 0 0 22 3 0 0 20 0 15 0 71461695 15371935744 21366 33554432000 4194304 4196468 140726768562368 140726768544912 139842903764727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
/proc/31519/statm: 3752914 21366 2878 1 0 3715374 0
[pid=31519/tid=31521] ppid=31516 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31519/task/31521/stat : 31521 (java) S 31516 31519 29212 0 -1 1077944384 7734 0 0 0 17 3 0 0 20 0 15 0 71461696 15371935744 21366 33554432000 4194304 4196468 140726768562368 139842875590640 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31522] ppid=31516 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31522/stat : 31522 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 21366 33554432000 4194304 4196468 140726768562368 139842908006672 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31523] ppid=31516 vsize=15011656 memory=3616866840236631712 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31523/stat : 31523 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 21366 33554432000 4194304 4196468 140726768562368 139842364713360 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31524] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31524/stat : 31524 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 21366 33554432000 4194304 4196468 140726768562368 139842363660816 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31525] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31525/stat : 31525 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 21366 33554432000 4194304 4196468 140726768562368 139842362608272 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31526] ppid=31516 vsize=15011656 memory=139643247765120 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31526/stat : 31526 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71461699 15371935744 21366 33554432000 4194304 4196468 140726768562368 139842243471856 139842903775874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31527] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31527/stat : 31527 (java) S 31516 31519 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71461699 15371935744 21366 33554432000 4194304 4196468 140726768562368 139841484350880 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31528] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31528/stat : 31528 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461700 15371935744 21366 33554432000 4194304 4196468 140726768562368 139841249469936 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31529] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31529/stat : 31529 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 21366 33554432000 4194304 4196468 140726768562368 139840874961616 139842903783323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31530] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31530/stat : 31530 (java) R 31516 31519 29212 0 -1 4202560 340 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 21366 33554432000 4194304 4196468 140726768562368 139842242418672 139842889779024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31531] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31531/stat : 31531 (java) R 31516 31519 29212 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 21366 33554432000 4194304 4196468 140726768562368 139842241366128 139842896749769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31532] ppid=31516 vsize=15011656 memory=139643247765120 CPUtime=0.03 cores=0,2,4,6
/proc/31519/task/31532/stat : 31532 (java) S 31516 31519 29212 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 15 0 71461702 15371935744 21432 33554432000 4194304 4196468 140726768562368 139842240313584 139842903775874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31533] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31533/stat : 31533 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 21432 33554432000 4194304 4196468 140726768562368 139840377055840 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31534] ppid=31516 vsize=15011656 memory=139643247765120 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31534/stat : 31534 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 21432 33554432000 4194304 4196468 140726768562368 139842239261488 139842903775874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85464 KiB
[startup+0.310322 s]*
/proc/loadavg: 4.69 4.86 4.69 6/215 31534
/proc/meminfo: memFree=12220356/32770624 swapFree=67076460/67108860
[pid=31519] ppid=31516 vsize=15011656 memory=89624 CPUtime=0.43 cores=0,2,4,6
/proc/31519/stat : 31519 (java) S 31516 31519 29212 0 -1 1077944320 10453 0 0 0 39 4 0 0 20 0 15 0 71461695 15371935744 22406 33554432000 4194304 4196468 140726768562368 140726768544912 139842903764727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
/proc/31519/statm: 3752914 22406 2991 1 0 3715374 0
[pid=31519/tid=31521] ppid=31516 vsize=15011656 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/31519/task/31521/stat : 31521 (java) R 31516 31519 29212 0 -1 4202560 8166 0 0 0 27 3 0 0 20 0 15 0 71461696 15371935744 22406 33554432000 4194304 4196468 140726768562368 139842875568880 139842903786653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31522] ppid=31516 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31522/stat : 31522 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 22406 33554432000 4194304 4196468 140726768562368 139842908006672 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31523] ppid=31516 vsize=15011656 memory=3906784966736979616 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31523/stat : 31523 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 22406 33554432000 4194304 4196468 140726768562368 139842364713360 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31524] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31524/stat : 31524 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 22406 33554432000 4194304 4196468 140726768562368 139842363660816 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31525] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31525/stat : 31525 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71461697 15371935744 22406 33554432000 4194304 4196468 140726768562368 139842362608272 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31526] ppid=31516 vsize=15011656 memory=139643247765120 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31526/stat : 31526 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71461699 15371935744 22406 33554432000 4194304 4196468 140726768562368 139842243471856 139842903775874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31527] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31527/stat : 31527 (java) S 31516 31519 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71461699 15371935744 22406 33554432000 4194304 4196468 140726768562368 139841484350880 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31528] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31528/stat : 31528 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461700 15371935744 22406 33554432000 4194304 4196468 140726768562368 139841249469936 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31529] ppid=31516 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31529/stat : 31529 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 22406 33554432000 4194304 4196468 140726768562368 139840874961616 139842903783323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31530] ppid=31516 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31519/task/31530/stat : 31530 (java) R 31516 31519 29212 0 -1 4202560 449 0 0 0 3 0 0 0 20 0 15 0 71461702 15371935744 22406 33554432000 4194304 4196468 140726768562368 139842242418672 139842888877297 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31531] ppid=31516 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31519/task/31531/stat : 31531 (java) R 31516 31519 29212 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 71461702 15371935744 22406 33554432000 4194304 4196468 140726768562368 139842241366128 139842903775874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31532] ppid=31516 vsize=15011656 memory=139643247765120 CPUtime=0.07 cores=0,2,4,6
/proc/31519/task/31532/stat : 31532 (java) R 31516 31519 29212 0 -1 4202560 352 0 0 0 7 0 0 0 20 0 15 0 71461702 15371935744 22406 33554432000 4194304 4196468 140726768562368 139842240313584 139842896001854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31533] ppid=31516 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31533/stat : 31533 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 22406 33554432000 4194304 4196468 140726768562368 139840377055840 139842903774933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31534] ppid=31516 vsize=15011656 memory=139643247765120 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31534/stat : 31534 (java) R 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461702 15371935744 22406 33554432000 4194304 4196468 140726768562368 139842239261488 139842903775874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89624 KiB
[startup+0.700803 s]
/proc/loadavg: 4.69 4.86 4.69 6/215 31534
/proc/meminfo: memFree=12195924/32770624 swapFree=67076460/67108860
[pid=31519] ppid=31516 vsize=15017928 memory=131464 CPUtime=1.03 cores=0,2,4,6
/proc/31519/stat : 31519 (java) S 31516 31519 29212 0 -1 1077944320 17534 0 0 0 97 6 0 0 20 0 15 0 71461695 15378358272 32866 33554432000 4194304 4196468 140726768562368 140726768544912 139842903764727 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
/proc/31519/statm: 3754482 32866 3146 1 0 3715886 0
[pid=31519/tid=31521] ppid=31516 vsize=15017928 memory=9972 CPUtime=0.67 cores=0,2,4,6
/proc/31519/task/31521/stat : 31521 (java) R 31516 31519 29212 0 -1 4202560 14725 0 0 0 62 5 0 0 20 0 15 0 71461696 15378358272 32866 33554432000 4194304 4196468 140726768562368 139842875602640 139842887845244 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31522] ppid=31516 vsize=15017928 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31522/stat : 31522 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15378358272 32866 33554432000 4194304 4196468 140726768562368 139842908006672 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31523] ppid=31516 vsize=15017928 memory=640 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31523/stat : 31523 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15378358272 32866 33554432000 4194304 4196468 140726768562368 139842364713360 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31524] ppid=31516 vsize=15017928 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31524/stat : 31524 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15378358272 32866 33554432000 4194304 4196468 140726768562368 139842363660816 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31525] ppid=31516 vsize=15017928 memory=960 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31525/stat : 31525 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71461697 15378358272 32866 33554432000 4194304 4196468 140726768562368 139842362608272 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31526] ppid=31516 vsize=15017928 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31526/stat : 31526 (java) S 31516 31519 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71461699 15378358272 32866 33554432000 4194304 4196468 140726768562368 139842243471856 139842903775874 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31527] ppid=31516 vsize=15017928 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31527/stat : 31527 (java) S 31516 31519 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71461699 15378358272 32866 33554432000 4194304 4196468 140726768562368 139841484350880 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31528] ppid=31516 vsize=15017928 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31528/stat : 31528 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461700 15378358272 32866 33554432000 4194304 4196468 140726768562368 139841249469936 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31529] ppid=31516 vsize=15017928 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31529/stat : 31529 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15378358272 32866 33554432000 4194304 4196468 140726768562368 139840874961616 139842903783323 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31530] ppid=31516 vsize=15019976 memory=7881696724453321575 CPUtime=0.08 cores=0,2,4,6
/proc/31519/task/31530/stat : 31530 (java) R 31516 31519 29212 0 -1 4202560 524 0 0 0 8 0 0 0 20 0 15 0 71461702 15380455424 32866 33554432000 4194304 4196468 140726768562368 139842242404768 139842885087103 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31531] ppid=31516 vsize=15019976 memory=7019257425709197167 CPUtime=0.08 cores=0,2,4,6
/proc/31519/task/31531/stat : 31531 (java) R 31516 31519 29212 0 -1 4202560 410 0 0 0 8 0 0 0 20 0 15 0 71461702 15380455424 32866 33554432000 4194304 4196468 140726768562368 139842241358080 139842883957671 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31532] ppid=31516 vsize=15019976 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/31519/task/31532/stat : 31532 (java) R 31516 31519 29212 0 -1 4202560 538 0 0 0 17 0 0 0 20 0 15 0 71461702 15380455424 32866 33554432000 4194304 4196468 140726768562368 139842240311544 139842883731870 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31533] ppid=31516 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31533/stat : 31533 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15380455424 32866 33554432000 4194304 4196468 140726768562368 139840377055840 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31534] ppid=31516 vsize=15019976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31534/stat : 31534 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461702 15380455424 32866 33554432000 4194304 4196468 140726768562368 139842239261488 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131464 KiB
[startup+1.50189 s]
/proc/loadavg: 4.72 4.86 4.70 9/215 31534
/proc/meminfo: memFree=12155600/32770624 swapFree=67076460/67108860
[pid=31519] ppid=31516 vsize=15022100 memory=198548 CPUtime=3.52 cores=0,2,4,6
/proc/31519/stat : 31519 (java) S 31516 31519 29212 0 -1 1077944320 21812 0 0 0 343 9 0 0 20 0 15 0 71461695 15382630400 49637 33554432000 4194304 4196468 140726768562368 140726768544912 139842903764727 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
/proc/31519/statm: 3755525 49637 3213 1 0 3716910 0
[pid=31519/tid=31521] ppid=31516 vsize=15022100 memory=170056 CPUtime=1.47 cores=0,2,4,6
/proc/31519/task/31521/stat : 31521 (java) S 31516 31519 29212 0 -1 1077944384 15749 0 0 0 140 7 0 0 20 0 15 0 71461696 15382630400 49637 33554432000 4194304 4196468 140726768562368 139842875598672 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31522] ppid=31516 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31522/stat : 31522 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15382630400 49637 33554432000 4194304 4196468 140726768562368 139842908006672 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31523] ppid=31516 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31523/stat : 31523 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15382630400 49637 33554432000 4194304 4196468 140726768562368 139842364713360 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31524] ppid=31516 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31524/stat : 31524 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15382630400 49637 33554432000 4194304 4196468 140726768562368 139842363660816 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31525] ppid=31516 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31525/stat : 31525 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71461697 15382630400 49637 33554432000 4194304 4196468 140726768562368 139842362608272 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31526] ppid=31516 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31526/stat : 31526 (java) S 31516 31519 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71461699 15382630400 49637 33554432000 4194304 4196468 140726768562368 139842243471856 139842903775874 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
################
# More data... #
################
[pid=31519/tid=31527] ppid=31516 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31527/stat : 31527 (java) S 31516 31519 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71461699 15384727552 198687 33554432000 4194304 4196468 140726768562368 139841484350880 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31528] ppid=31516 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31528/stat : 31528 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461700 15384727552 198687 33554432000 4194304 4196468 140726768562368 139841249469936 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31529] ppid=31516 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31529/stat : 31529 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15384727552 198687 33554432000 4194304 4196468 140726768562368 139840874961616 139842903783323 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31530] ppid=31516 vsize=15024148 memory=0 CPUtime=1.84 cores=0,2,4,6
/proc/31519/task/31530/stat : 31530 (java) R 31516 31519 29212 0 -1 4202560 1941 0 0 0 184 0 0 0 20 0 15 0 71461702 15384727552 198687 33554432000 4194304 4196468 140726768562368 139842242403424 139842888526832 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31531] ppid=31516 vsize=15024148 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/31519/task/31531/stat : 31531 (java) R 31516 31519 29212 0 -1 4202560 3879 0 0 0 206 0 0 0 20 0 15 0 71461702 15384727552 198687 33554432000 4194304 4196468 140726768562368 139842241358080 139842888164967 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31532] ppid=31516 vsize=15024148 memory=164 CPUtime=0.94 cores=0,2,4,6
/proc/31519/task/31532/stat : 31532 (java) R 31516 31519 29212 0 -1 1077944384 3037 0 0 0 92 2 0 0 20 0 15 0 71461702 15384727552 198687 33554432000 4194304 4196468 140726768562368 139842240308624 139842903774933 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31533] ppid=31516 vsize=15024148 memory=186 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31533/stat : 31533 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15384727552 198687 33554432000 4194304 4196468 140726768562368 139840377055840 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31534] ppid=31516 vsize=15024148 memory=92 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31534/stat : 31534 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461702 15384727552 198687 33554432000 4194304 4196468 140726768562368 139842239261488 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 794748 KiB
[startup+6.30074 s]
/proc/loadavg: 4.74 4.86 4.70 6/215 31534
/proc/meminfo: memFree=10234148/32770624 swapFree=67076460/67108860
[pid=31519] ppid=31516 vsize=15024148 memory=2304964 CPUtime=14.75 cores=0,2,4,6
/proc/31519/stat : 31519 (java) S 31516 31519 29212 0 -1 1077944320 37846 0 0 0 1431 44 0 0 20 0 15 0 71461695 15384727552 576241 33554432000 4194304 4196468 140726768562368 140726768544912 139842903764727 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
/proc/31519/statm: 3756037 576241 3216 1 0 3717422 0
[pid=31519/tid=31521] ppid=31516 vsize=15024148 memory=1689180 CPUtime=6.25 cores=0,2,4,6
/proc/31519/task/31521/stat : 31521 (java) R 31516 31519 29212 0 -1 4202560 18081 0 0 0 588 37 0 0 20 0 15 0 71461696 15384727552 576241 33554432000 4194304 4196468 140726768562368 139842875596880 139842418757016 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31522] ppid=31516 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31522/stat : 31522 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15384727552 576241 33554432000 4194304 4196468 140726768562368 139842908006672 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31523] ppid=31516 vsize=15024148 memory=355 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31523/stat : 31523 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15384727552 576241 33554432000 4194304 4196468 140726768562368 139842364713360 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31524] ppid=31516 vsize=15024148 memory=357 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31524/stat : 31524 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461697 15384727552 576241 33554432000 4194304 4196468 140726768562368 139842363660816 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31525] ppid=31516 vsize=15024148 memory=133 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31525/stat : 31525 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71461697 15384727552 576241 33554432000 4194304 4196468 140726768562368 139842362608272 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31526] ppid=31516 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31526/stat : 31526 (java) S 31516 31519 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71461699 15384727552 576241 33554432000 4194304 4196468 140726768562368 139842243471856 139842903775874 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31527] ppid=31516 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31527/stat : 31527 (java) S 31516 31519 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71461699 15384727552 576241 33554432000 4194304 4196468 140726768562368 139841484350880 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31528] ppid=31516 vsize=15024148 memory=1306 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31528/stat : 31528 (java) S 31516 31519 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71461700 15384727552 576241 33554432000 4194304 4196468 140726768562368 139841249469936 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31529] ppid=31516 vsize=15024148 memory=56 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31529/stat : 31529 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15384727552 576241 33554432000 4194304 4196468 140726768562368 139840874961616 139842903783323 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31530] ppid=31516 vsize=15024148 memory=9169 CPUtime=3.56 cores=0,2,4,6
/proc/31519/task/31530/stat : 31530 (java) S 31516 31519 29212 0 -1 1077944384 6268 0 0 0 355 1 0 0 20 0 15 0 71461702 15384727552 576241 33554432000 4194304 4196468 140726768562368 139842242418672 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31531] ppid=31516 vsize=15024148 memory=21520 CPUtime=3.57 cores=0,2,4,6
/proc/31519/task/31531/stat : 31531 (java) S 31516 31519 29212 0 -1 1077944384 5601 0 0 0 356 1 0 0 20 0 15 0 71461702 15384727552 576241 33554432000 4194304 4196468 140726768562368 139842241366128 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31532] ppid=31516 vsize=15024148 memory=9169 CPUtime=1.33 cores=0,2,4,6
/proc/31519/task/31532/stat : 31532 (java) S 31516 31519 29212 0 -1 1077944384 6553 0 0 0 130 3 0 0 20 0 15 0 71461702 15384727552 576241 33554432000 4194304 4196468 140726768562368 139842240313584 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31533] ppid=31516 vsize=15024148 memory=279286288594176 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31533/stat : 31533 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15384727552 576241 33554432000 4194304 4196468 140726768562368 139840377055840 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31534] ppid=31516 vsize=15024148 memory=1791873779457 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31534/stat : 31534 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15384727552 576241 33554432000 4194304 4196468 140726768562368 139842239261488 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
Current children cumulated CPU time: 14.75 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2304964 KiB
[startup+12.7009 s]
/proc/loadavg: 4.76 4.86 4.70 8/215 31534
/proc/meminfo: memFree=9190568/32770624 swapFree=67076460/67108860
[pid=31519] ppid=31516 vsize=15028312 memory=3109884 CPUtime=25.94 cores=0,2,4,6
/proc/31519/stat : 31519 (java) S 31516 31519 29212 0 -1 1077944320 44837 0 0 0 2527 67 0 0 20 0 15 0 71461695 15388991488 777471 33554432000 4194304 4196468 140726768562368 140726768544912 139842903764727 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
/proc/31519/statm: 3757078 777471 3248 1 0 3717934 0
[pid=31519/tid=31521] ppid=31516 vsize=15028312 memory=3108572 CPUtime=12.54 cores=0,2,4,6
/proc/31519/task/31521/stat : 31521 (java) R 31516 31519 29212 0 -1 4202560 19502 0 0 0 1205 49 0 0 20 0 15 0 71461696 15388991488 777471 33554432000 4194304 4196468 140726768562368 139842875602208 139842417051699 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31522] ppid=31516 vsize=15028312 memory=2960532 CPUtime=0.09 cores=0,2,4,6
/proc/31519/task/31522/stat : 31522 (java) S 31516 31519 29212 0 -1 1077944384 145 0 0 0 7 2 0 0 20 0 15 0 71461697 15388991488 777471 33554432000 4194304 4196468 140726768562368 139842908006672 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31523] ppid=31516 vsize=15028312 memory=3472328296160571505 CPUtime=0.08 cores=0,2,4,6
/proc/31519/task/31523/stat : 31523 (java) S 31516 31519 29212 0 -1 1077944384 37 0 0 0 7 1 0 0 20 0 15 0 71461697 15388991488 777471 33554432000 4194304 4196468 140726768562368 139842364713360 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31524] ppid=31516 vsize=15028312 memory=3102744 CPUtime=0.08 cores=0,2,4,6
/proc/31519/task/31524/stat : 31524 (java) S 31516 31519 29212 0 -1 1077944384 152 0 0 0 6 2 0 0 20 0 15 0 71461697 15388991488 777471 33554432000 4194304 4196468 140726768562368 139842363660816 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31525] ppid=31516 vsize=15028312 memory=3032 CPUtime=0.09 cores=0,2,4,6
/proc/31519/task/31525/stat : 31525 (java) S 31516 31519 29212 0 -1 1077944384 70 0 0 0 7 2 0 0 20 0 15 0 71461697 15388991488 777471 33554432000 4194304 4196468 140726768562368 139842362608272 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31526] ppid=31516 vsize=15028312 memory=3103192 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31526/stat : 31526 (java) S 31516 31519 29212 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 71461699 15388991488 777471 33554432000 4194304 4196468 140726768562368 139842243471856 139842903775874 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31527] ppid=31516 vsize=15028312 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31527/stat : 31527 (java) S 31516 31519 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 71461699 15388991488 777471 33554432000 4194304 4196468 140726768562368 139841484350944 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31528] ppid=31516 vsize=15028312 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31528/stat : 31528 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71461700 15388991488 777471 33554432000 4194304 4196468 140726768562368 139841249469936 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31529] ppid=31516 vsize=15028312 memory=3046556 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31529/stat : 31529 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15388991488 777471 33554432000 4194304 4196468 140726768562368 139840874961616 139842903783323 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31530] ppid=31516 vsize=15028312 memory=2689988 CPUtime=5.74 cores=0,2,4,6
/proc/31519/task/31530/stat : 31530 (java) S 31516 31519 29212 0 -1 1077944384 9028 0 0 0 572 2 0 0 20 0 15 0 71461702 15388991488 777471 33554432000 4194304 4196468 140726768562368 139842242418672 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31531] ppid=31516 vsize=15028312 memory=3544 CPUtime=5.59 cores=0,2,4,6
/proc/31519/task/31531/stat : 31531 (java) R 31516 31519 29212 0 -1 4202560 7929 0 0 0 558 1 0 0 20 0 15 0 71461702 15388991488 777471 33554432000 4194304 4196468 140726768562368 139842241352152 139842888151776 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31532] ppid=31516 vsize=15028312 memory=18464 CPUtime=1.63 cores=0,2,4,6
/proc/31519/task/31532/stat : 31532 (java) S 31516 31519 29212 0 -1 1077944384 6616 0 0 0 160 3 0 0 20 0 15 0 71461702 15388991488 777471 33554432000 4194304 4196468 140726768562368 139842240313584 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31533] ppid=31516 vsize=15028312 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31533/stat : 31533 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15388991488 777471 33554432000 4194304 4196468 140726768562368 139840377055840 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31534] ppid=31516 vsize=15028312 memory=-2892745056948402235 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31534/stat : 31534 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71461702 15388991488 777471 33554432000 4194304 4196468 140726768562368 139842239261488 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
Current children cumulated CPU time: 25.94 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3109884 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+25.0008 s]*
/proc/loadavg: 4.88 4.89 4.71 7/220 31540
/proc/meminfo: memFree=8043800/32770624 swapFree=67076460/67108860
[pid=31519] ppid=31516 vsize=15683912 memory=3961644 CPUtime=43.13 cores=0,2,4,6
/proc/31519/stat : 31519 (java) S 31516 31519 29212 0 -1 1077944320 67455 0 0 0 4124 189 0 0 20 0 19 0 71461695 16060325888 990411 33554432000 4194304 4196468 140726768562368 140726768544912 139842903764727 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
/proc/31519/statm: 3920978 990411 3270 1 0 3881834 0
[pid=31535] ppid=31519 vsize=272388 memory=237648 CPUtime=0.72 cores=0,2,4,6
/proc/31535/stat : 31535 (minisat_release) R 31519 31519 29212 0 -1 4202496 48646 0 0 0 64 8 0 0 20 0 1 0 71464123 278925312 59346 33554432000 4194304 4308513 140728644815152 140728643763384 140109509442533 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6409496 6410680 35737600 140728644821679 140728644822190 140728644822190 140728644825029 0
/proc/31535/statm: 68097 59412 318 28 0 64337 0
[pid=31519/tid=31521] ppid=31516 vsize=15683912 memory=8389772277269004345 CPUtime=22.82 cores=0,2,4,6
/proc/31519/task/31521/stat : 31521 (java) S 31516 31519 29212 0 -1 1077944384 22653 0 0 0 2223 59 0 0 20 0 19 0 71461696 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842875603968 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31522] ppid=31516 vsize=15683912 memory=288230609019731991 CPUtime=1.09 cores=0,2,4,6
/proc/31519/task/31522/stat : 31522 (java) S 31516 31519 29212 0 -1 1077944384 1161 0 0 0 80 29 0 0 20 0 19 0 71461697 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842908006672 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31523] ppid=31516 vsize=15683912 memory=3914022192353124384 CPUtime=1.09 cores=0,2,4,6
/proc/31519/task/31523/stat : 31523 (java) S 31516 31519 29212 0 -1 1077944384 589 0 0 0 80 29 0 0 20 0 19 0 71461697 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842364713360 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31524] ppid=31516 vsize=15683912 memory=734139722786418735 CPUtime=1.07 cores=0,2,4,6
/proc/31519/task/31524/stat : 31524 (java) S 31516 31519 29212 0 -1 1077944384 695 0 0 0 78 29 0 0 20 0 19 0 71461697 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842363660816 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31525] ppid=31516 vsize=15683912 memory=139643247765121 CPUtime=1.08 cores=0,2,4,6
/proc/31519/task/31525/stat : 31525 (java) S 31516 31519 29212 0 -1 1077944384 2494 0 0 0 78 30 0 0 20 0 19 0 71461697 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842362608272 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31526] ppid=31516 vsize=15683912 memory=7165352523810943800 CPUtime=0.02 cores=0,2,4,6
/proc/31519/task/31526/stat : 31526 (java) S 31516 31519 29212 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 19 0 71461699 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842243471856 139842903775874 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31527] ppid=31516 vsize=15683912 memory=7597685182856913236 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31527/stat : 31527 (java) S 31516 31519 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71461699 16060325888 990411 33554432000 4194304 4196468 140726768562368 139841484350944 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31528] ppid=31516 vsize=15683912 memory=8612618008844587056 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31528/stat : 31528 (java) S 31516 31519 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71461700 16060325888 990411 33554432000 4194304 4196468 140726768562368 139841249469952 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31529] ppid=31516 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31529/stat : 31529 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71461702 16060325888 990411 33554432000 4194304 4196468 140726768562368 139840874961616 139842903783323 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31530] ppid=31516 vsize=15683912 memory=8387746942428580399 CPUtime=7.28 cores=0,2,4,6
/proc/31519/task/31530/stat : 31530 (java) S 31516 31519 29212 0 -1 1077944384 15346 0 0 0 725 3 0 0 20 0 19 0 71461702 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842242418672 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31531] ppid=31516 vsize=15683912 memory=4715515393669860582 CPUtime=6.88 cores=0,2,4,6
/proc/31519/task/31531/stat : 31531 (java) S 31516 31519 29212 0 -1 1077944384 13944 0 0 0 686 2 0 0 20 0 19 0 71461702 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842241366128 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31532] ppid=31516 vsize=15683912 memory=8316297343878395758 CPUtime=1.7 cores=0,2,4,6
/proc/31519/task/31532/stat : 31532 (java) S 31516 31519 29212 0 -1 1077944384 7394 0 0 0 167 3 0 0 20 0 19 0 71461702 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842240313584 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31533] ppid=31516 vsize=15683912 memory=3472467939408336560 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31533/stat : 31533 (java) S 31516 31519 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71461702 16060325888 990411 33554432000 4194304 4196468 140726768562368 139840377055840 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31534] ppid=31516 vsize=15683912 memory=3472328296227418159 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31534/stat : 31534 (java) S 31516 31519 29212 0 -1 1077944384 1372 0 0 0 0 0 0 0 20 0 19 0 71461702 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842239261488 139842903775874 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31536] ppid=31516 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31536/stat : 31536 (java) S 31516 31519 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71464124 16060325888 990411 33554432000 4194304 4196468 140726768562368 139842323445312 139842903789337 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31538] ppid=31516 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31538/stat : 31538 (java) S 31516 31519 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 71464124 16060325888 990411 33554432000 4194304 4196468 140726768562368 139839840170032 139842903786653 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31539] ppid=31516 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31539/stat : 31539 (java) S 31516 31519 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 71464124 16060325888 990411 33554432000 4194304 4196468 140726768562368 139839974390960 139842903786653 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
[pid=31519/tid=31540] ppid=31516 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31519/task/31540/stat : 31540 (java) S 31516 31519 29212 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 71464126 16060325888 990411 33554432000 4194304 4196468 140726768562368 139839571745824 139842903774933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7151616 140726768571380 140726768571657 140726768571657 140726768574415 0
Current children cumulated CPU time: 43.85 s
Current children cumulated vsize: 15956300 KiB
Current children cumulated memory: 4199292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+25.0589 s]
# the end of solver process 31519 was just reported to runsolver
# cumulated CPU time of all completed processes: user=41.895 s, system=2.02754 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 25.0589
CPU time (s): 43.9225
CPU user time (s): 41.895
CPU system time (s): 2.02754
CPU usage (%): 175.277
Max. virtual memory (cumulated for all children) (KiB): 15956300
Max. memory (cumulated for all children) (KiB): 4199292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.895
system time used= 2.02754
maximum resident set size= 3964136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116286
page faults= 0
swaps= 0
block input operations= 0
block output operations= 121392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6092
involuntary context switches= 258
# summary of solver processes directly reported to runsolver:
# pid: 31519
# total CPU time (s): 43.9225
# total CPU user time (s): 41.895
# total CPU system time (s): 2.02754
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.168805 second user time and 0.286031 second system time
The end