0.67/0.52
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Wed Jul 25 19:09:11 CEST 2018
0.67/0.55 c PID: 30276
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.21/1.41 c (0,0) Parsing End
3.21/1.42 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1442 ctr, max domain size 26
3.21/1.42 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.42 c (0,0) Constraint Name Generate Begin
3.21/1.45 c (0,0) Ctr:HOME/instance-4294965-1532538550.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.21/1.45 c (0,0) Constraint Name Generate End
3.21/1.45 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.45 c (0,0) CSP to CSPinCNF Begin
12.46/4.84 c (4,4) translated 145 (10%) constraints
12.97/5.33 c (4,4) translated 289 (20%) constraints
12.97/5.35 c (4,4) translated 433 (30%) constraints
12.97/5.37 c (4,4) translated 577 (40%) constraints
13.32/5.40 c (4,4) translated 721 (50%) constraints
13.32/5.43 c (4,4) translated 866 (60%) constraints
13.32/5.44 c (4,4) translated 1010 (70%) constraints
13.32/5.46 c (4,4) translated 1154 (80%) constraints
15.54/7.03 c (6,6) translated 1298 (90%) constraints
16.86/8.09 c (7,7) translated 1442 (100%) constraints
18.20/8.60 c (8,7) STATISTICS1:HOME/instance-4294965-1532538550.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,17200,59467,9223372036854775807,26,26,200,9223372036854775807:266;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:3;34359738368:1;17179869184:2;2147483648:1;16:392;4:396;2:199,26:20400;2:165392,26:200;3:30800;2:27200;1:1267,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;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:1;74:3;72:1;71:2;70:2;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:3;36:1;35:2;32:1;5:392;3:396;2:199;1:151800;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;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:2;2401:3;2304:1;2209:2;2116:2;2025:3;1936:1;1849:3;1764:1
18.20/8.60 c (8,7) ===========================================
18.20/8.60 c (8,7) Both Encoding selects:
18.20/8.60 c (8,7) Log
18.20/8.60 c (8,7) ===========================================
19.40/9.16 c (8,8) translated 5947 (10%) constraints
19.91/9.37 c (8,8) translated 11894 (20%) constraints
20.12/9.46 c (8,8) translated 17841 (30%) constraints
20.30/9.55 c (9,8) translated 23787 (40%) constraints
20.40/9.63 c (9,8) translated 29734 (50%) constraints
20.50/9.71 c (9,9) translated 35681 (60%) constraints
20.50/9.80 c (9,9) translated 41627 (70%) constraints
20.60/9.88 c (9,9) translated 47574 (80%) constraints
20.70/9.96 c (9,9) translated 53521 (90%) constraints
22.22/11.09 c (10,10) translated 59467 (100%) constraints
22.22/11.10 c (10,10) CSP to CSPinCNF End
22.22/11.11 c (10,10) CSP: 200 int (0 aux), 22200 bool (21200 aux), 69893 ctr, max domain size 26
22.22/11.11 c (10,10) Heap : 1872 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.22/11.11 c (10,10) CSPinCNF Propagation Begin
23.35/11.75 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.35/11.75 c (11,11) CSPinCNF Propagation End
23.35/11.76 c (11,11) CSP: 200 int (0 aux), 22200 bool (21200 aux), 69493 ctr, max domain size 26
23.35/11.76 c (11,11) Heap : 2148 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.35/11.76 c (11,11) Simplify CSPinCNF Begin
23.71/11.90 c (11,11) Simplify CSPinCNF End
23.71/11.91 c (11,11) CSP: 200 int (0 aux), 22200 bool (21200 aux), 69493 ctr, max domain size 26
23.71/11.91 c (11,11) Heap : 2203 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.71/11.91 c (11,11) Calculate Precise Domain Begin
23.71/11.91 c (11,11) 0 values are removed by re-calculation
23.71/11.91 c (11,11) Calculate Precise Domain End
23.71/11.91 c (11,11) CSP: 200 int (0 aux), 22200 bool (21200 aux), 69493 ctr, max domain size 26
23.71/11.91 c (11,11) Heap : 2203 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.71/11.91 c (11,11) CSPinCNF to SatSolver Begin
27.55/13.57 c (13,12) 6950 (10 %) CSP clauses are being encoded (127111 SAT variables, 279532 SAT clauses)
28.20/13.92 c (13,13) 13899 (20 %) CSP clauses are being encoded (151601 SAT variables, 331989 SAT clauses)
28.53/14.24 c (13,13) 20848 (30 %) CSP clauses are being encoded (174820 SAT variables, 382351 SAT clauses)
29.07/14.43 c (13,13) 27798 (40 %) CSP clauses are being encoded (180736 SAT variables, 399741 SAT clauses)
29.26/14.58 c (14,13) 34747 (50 %) CSP clauses are being encoded (186652 SAT variables, 417130 SAT clauses)
29.47/14.72 c (14,13) 41696 (60 %) CSP clauses are being encoded (192568 SAT variables, 434519 SAT clauses)
29.58/14.86 c (14,14) 48646 (70 %) CSP clauses are being encoded (198627 SAT variables, 452160 SAT clauses)
29.68/15.01 c (14,14) 55595 (80 %) CSP clauses are being encoded (204604 SAT variables, 469658 SAT clauses)
29.89/15.15 c (14,14) 62544 (90 %) CSP clauses are being encoded (210520 SAT variables, 487047 SAT clauses)
42.06/23.99 c (23,22) 69493 (100 %) CSP clauses are being encoded (1081593 SAT variables, 3054329 SAT clauses)
42.16/24.05 c (23,22) CSPinCNF to SatSolver End
42.16/24.05 c (23,22) Heap : 2987 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
43.16/24.50 c (23,22) STATISTICS2:HOME/instance-4294965-1532538550.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,22400,69493,9223372036854775807,26,25,200,9223372036854775807:266;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:3;34359738368:1;17179869184:2;2147483648:1;16:392;4:396;2:199,26:30000;2:185792,25:200;3:30400;2:37600;1:1293,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;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:1;74:3;72:1;71:2;70:2;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:3;36:1;35:2;32:1;5:392;3:396;2:199;1:171400,2:266
43.16/24.50 c (23,22) SatSolver.solve Begin
43.16/24.50 c (23,22) 1087641 bool, 3072330 clause
43.33/24.50 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-4294965-1532538550.xml-scop-30276.cnf HOME/instance-4294965-1532538550.xml-scop-30276.cnf.out
45.95/25.20 c (24,0) receiving signal SIGTERM
45.95/25.20 s UNKNOWN
45.95/25.21 c (24,22) SatSolver is killed by some reasons.
45.95/25.21 c (24,22) 0,0,10,11,11,11,23,TO,TO,STOP-AFTER(DIMACS)
45.95/25.21 c END-Prog: Wed Jul 25 19:09:35 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 (4006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294965-1532538550/watcher-4294965-1532538550 -o /tmp/evaluation-result-4294965-1532538550/solver-4294965-1532538550 -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-4294965-1532538550.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=30276, runsolver pid=30273
[startup+0.100065 s]*
/proc/loadavg: 5.07 5.04 4.61 6/215 30291
/proc/meminfo: memFree=12470804/32770624 swapFree=67076460/67108860
[pid=30276] ppid=30273 vsize=15011656 memory=72804 CPUtime=0.11 cores=0,2,4,6
/proc/30276/stat : 30276 (java) S 30273 30276 29212 0 -1 1077944320 6853 0 0 0 9 2 0 0 20 0 15 0 71418181 15371935744 18135 33554432000 4194304 4196468 140722788800064 140722788782608 140004718218999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
/proc/30276/statm: 3752914 18201 2782 1 0 3715374 0
[pid=30276/tid=30278] ppid=30273 vsize=15011656 memory=-8628507060847416699 CPUtime=0.09 cores=0,2,4,6
/proc/30276/task/30278/stat : 30278 (java) R 30273 30276 29212 0 -1 4202560 4963 0 0 0 7 2 0 0 20 0 15 0 71418181 15371935744 18201 33554432000 4194304 4196468 140722788800064 140004690030984 140004703384567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30279] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30279/stat : 30279 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 18201 33554432000 4194304 4196468 140722788800064 140004722461328 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30280] ppid=30273 vsize=15011656 memory=140069824480896 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30280/stat : 30280 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 18201 33554432000 4194304 4196468 140722788800064 140004536617488 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30281] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 18201 33554432000 4194304 4196468 140722788800064 140004535564688 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30282] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (java) S 30273 30276 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 18201 33554432000 4194304 4196468 140722788800064 140004534511888 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30283] ppid=30273 vsize=15011656 memory=140069824480896 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (java) S 30273 30276 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418185 15371935744 18201 33554432000 4194304 4196468 140722788800064 140004125080432 140004718230146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30284] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30284/stat : 30284 (java) S 30273 30276 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71418185 15371935744 18201 33554432000 4194304 4196468 140722788800064 140003317376544 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30285] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30285/stat : 30285 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418185 15371935744 18201 33554432000 4194304 4196468 140722788800064 140003048940912 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30286] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30286/stat : 30286 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 18201 33554432000 4194304 4196468 140722788800064 140002674432336 140004718237595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30287] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30287/stat : 30287 (java) S 30273 30276 29212 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 18201 33554432000 4194304 4196468 140722788800064 140004124027248 140004718230146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30288] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30288/stat : 30288 (java) S 30273 30276 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 18267 33554432000 4194304 4196468 140722788800064 140004055574768 140004718230146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30289] ppid=30273 vsize=15011656 memory=140069824480896 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30289/stat : 30289 (java) S 30273 30276 29212 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 18267 33554432000 4194304 4196468 140722788800064 140004054521968 140004718230146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30290] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30290/stat : 30290 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 18267 33554432000 4194304 4196468 140722788800064 140002176526560 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30291] ppid=30273 vsize=15011656 memory=140069824480896 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30291/stat : 30291 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 18267 33554432000 4194304 4196468 140722788800064 140004053470384 140004718230146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72804 KiB
[startup+0.210308 s]*
/proc/loadavg: 5.07 5.04 4.61 6/215 30291
/proc/meminfo: memFree=12456712/32770624 swapFree=67076460/67108860
[pid=30276] ppid=30273 vsize=15011656 memory=85656 CPUtime=0.25 cores=0,2,4,6
/proc/30276/stat : 30276 (java) S 30273 30276 29212 0 -1 1077944320 10363 0 0 0 22 3 0 0 20 0 15 0 71418181 15371935744 21414 33554432000 4194304 4196468 140722788800064 140722788782608 140004718218999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
/proc/30276/statm: 3752914 21414 2887 1 0 3715374 0
[pid=30276/tid=30278] ppid=30273 vsize=15011656 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30276/task/30278/stat : 30278 (java) R 30273 30276 29212 0 -1 4202560 8268 0 0 0 17 2 0 0 20 0 15 0 71418181 15371935744 21414 33554432000 4194304 4196468 140722788800064 140004690046656 140004718230934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30279] ppid=30273 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30279/stat : 30279 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 21414 33554432000 4194304 4196468 140722788800064 140004722461328 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30280] ppid=30273 vsize=15011656 memory=3906785393313695392 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30280/stat : 30280 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 21414 33554432000 4194304 4196468 140722788800064 140004536617488 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30281] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 21414 33554432000 4194304 4196468 140722788800064 140004535564688 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30282] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (java) S 30273 30276 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 21414 33554432000 4194304 4196468 140722788800064 140004534511888 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30283] ppid=30273 vsize=15011656 memory=140069824480896 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (java) S 30273 30276 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418185 15371935744 21414 33554432000 4194304 4196468 140722788800064 140004125080432 140004718230146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30284] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30284/stat : 30284 (java) S 30273 30276 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71418185 15371935744 21414 33554432000 4194304 4196468 140722788800064 140003317376544 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30285] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30285/stat : 30285 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418185 15371935744 21414 33554432000 4194304 4196468 140722788800064 140003048940912 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30286] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30286/stat : 30286 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 21414 33554432000 4194304 4196468 140722788800064 140002674432336 140004718237595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30287] ppid=30273 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30276/task/30287/stat : 30287 (java) S 30273 30276 29212 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 15 0 71418188 15371935744 21414 33554432000 4194304 4196468 140722788800064 140004124027248 140004718230146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30288] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30288/stat : 30288 (java) S 30273 30276 29212 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 21414 33554432000 4194304 4196468 140722788800064 140004055574768 140004718230146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30289] ppid=30273 vsize=15011656 memory=140069824480896 CPUtime=0.03 cores=0,2,4,6
/proc/30276/task/30289/stat : 30289 (java) S 30273 30276 29212 0 -1 1077944384 289 0 0 0 3 0 0 0 20 0 15 0 71418188 15371935744 21414 33554432000 4194304 4196468 140722788800064 140004054521968 140004718230146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30290] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30290/stat : 30290 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 21414 33554432000 4194304 4196468 140722788800064 140002176526560 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30291] ppid=30273 vsize=15011656 memory=140069824480896 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30291/stat : 30291 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 21414 33554432000 4194304 4196468 140722788800064 140004053470384 140004718230146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85656 KiB
[startup+0.310238 s]*
/proc/loadavg: 5.07 5.04 4.61 7/215 30291
/proc/meminfo: memFree=12453548/32770624 swapFree=67076460/67108860
[pid=30276] ppid=30273 vsize=15011656 memory=89456 CPUtime=0.43 cores=0,2,4,6
/proc/30276/stat : 30276 (java) S 30273 30276 29212 0 -1 1077944320 10984 0 0 0 40 3 0 0 20 0 15 0 71418181 15371935744 22364 33554432000 4194304 4196468 140722788800064 140722788782608 140004718218999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
/proc/30276/statm: 3752914 22364 2981 1 0 3715374 0
[pid=30276/tid=30278] ppid=30273 vsize=15011656 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/30276/task/30278/stat : 30278 (java) R 30273 30276 29212 0 -1 4202560 8699 0 0 0 27 3 0 0 20 0 15 0 71418181 15371935744 22430 33554432000 4194304 4196468 140722788800064 140004690023152 140004702816545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30279] ppid=30273 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30279/stat : 30279 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 22430 33554432000 4194304 4196468 140722788800064 140004722461328 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30280] ppid=30273 vsize=15011656 memory=3762670205237839520 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30280/stat : 30280 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 22430 33554432000 4194304 4196468 140722788800064 140004536617488 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30281] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 22430 33554432000 4194304 4196468 140722788800064 140004535564688 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30282] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (java) S 30273 30276 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418183 15371935744 22430 33554432000 4194304 4196468 140722788800064 140004534511888 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30283] ppid=30273 vsize=15011656 memory=140069824480896 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (java) S 30273 30276 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418185 15371935744 22430 33554432000 4194304 4196468 140722788800064 140004125080432 140004718230146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30284] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30284/stat : 30284 (java) S 30273 30276 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71418185 15371935744 22430 33554432000 4194304 4196468 140722788800064 140003317376544 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30285] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30285/stat : 30285 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418185 15371935744 22430 33554432000 4194304 4196468 140722788800064 140003048940912 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30286] ppid=30273 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30286/stat : 30286 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 22430 33554432000 4194304 4196468 140722788800064 140002674432336 140004718237595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30287] ppid=30273 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30276/task/30287/stat : 30287 (java) R 30273 30276 29212 0 -1 4202560 460 0 0 0 2 0 0 0 20 0 15 0 71418188 15371935744 22430 33554432000 4194304 4196468 140722788800064 140004124027248 140004699737362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30288] ppid=30273 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30276/task/30288/stat : 30288 (java) R 30273 30276 29212 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 15 0 71418188 15371935744 22430 33554432000 4194304 4196468 140722788800064 140004055574768 140004718230146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30289] ppid=30273 vsize=15011656 memory=140069824480896 CPUtime=0.07 cores=0,2,4,6
/proc/30276/task/30289/stat : 30289 (java) R 30273 30276 29212 0 -1 4202560 331 0 0 0 7 0 0 0 20 0 15 0 71418188 15371935744 22430 33554432000 4194304 4196468 140722788800064 140004054517648 140004718240346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30290] ppid=30273 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30290/stat : 30290 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 22430 33554432000 4194304 4196468 140722788800064 140002176526560 140004718229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30291] ppid=30273 vsize=15011656 memory=140069824480896 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30291/stat : 30291 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418188 15371935744 22430 33554432000 4194304 4196468 140722788800064 140004053470384 140004718230146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89456 KiB
[startup+0.704422 s]
/proc/loadavg: 5.07 5.04 4.61 6/215 30291
/proc/meminfo: memFree=12428704/32770624 swapFree=67076460/67108860
[pid=30276] ppid=30273 vsize=15017928 memory=131520 CPUtime=1.04 cores=0,2,4,6
/proc/30276/stat : 30276 (java) S 30273 30276 29212 0 -1 1077944320 18047 0 0 0 98 6 0 0 20 0 15 0 71418181 15378358272 32880 33554432000 4194304 4196468 140722788800064 140722788782608 140004718218999 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
/proc/30276/statm: 3754482 32880 3136 1 0 3715886 0
[pid=30276/tid=30278] ppid=30273 vsize=15017928 memory=9972 CPUtime=0.68 cores=0,2,4,6
/proc/30276/task/30278/stat : 30278 (java) R 30273 30276 29212 0 -1 4202560 15261 0 0 0 63 5 0 0 20 0 15 0 71418181 15378358272 32880 33554432000 4194304 4196468 140722788800064 140004690049152 140004702299486 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30279] ppid=30273 vsize=15017928 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30279/stat : 30279 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15378358272 32880 33554432000 4194304 4196468 140722788800064 140004722461328 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30280] ppid=30273 vsize=15017928 memory=640 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30280/stat : 30280 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15378358272 32880 33554432000 4194304 4196468 140722788800064 140004536617488 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30281] ppid=30273 vsize=15019720 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15380193280 32880 33554432000 4194304 4196468 140722788800064 140004535564688 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30282] ppid=30273 vsize=15019976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (java) S 30273 30276 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418183 15380455424 32880 33554432000 4194304 4196468 140722788800064 140004534511888 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30283] ppid=30273 vsize=15019976 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (java) S 30273 30276 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71418185 15380455424 32880 33554432000 4194304 4196468 140722788800064 140004125080432 140004718230146 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30284] ppid=30273 vsize=15019976 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30284/stat : 30284 (java) S 30273 30276 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71418185 15380455424 32880 33554432000 4194304 4196468 140722788800064 140003317376544 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30285] ppid=30273 vsize=15019976 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30285/stat : 30285 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418185 15380455424 32880 33554432000 4194304 4196468 140722788800064 140003048940912 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30286] ppid=30273 vsize=15019976 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30286/stat : 30286 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15380455424 32880 33554432000 4194304 4196468 140722788800064 140002674432336 140004718237595 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30287] ppid=30273 vsize=15019976 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/30276/task/30287/stat : 30287 (java) R 30273 30276 29212 0 -1 4202560 541 0 0 0 7 0 0 0 20 0 15 0 71418188 15380455424 32880 33554432000 4194304 4196468 140722788800064 140004124027248 140004697874208 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30288] ppid=30273 vsize=15019976 memory=7019257425709197167 CPUtime=0.09 cores=0,2,4,6
/proc/30276/task/30288/stat : 30288 (java) R 30273 30276 29212 0 -1 1077944384 387 0 0 0 9 0 0 0 20 0 15 0 71418188 15380455424 32880 33554432000 4194304 4196468 140722788800064 140004055564560 140004718229205 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30289] ppid=30273 vsize=15019976 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/30276/task/30289/stat : 30289 (java) R 30273 30276 29212 0 -1 4202560 524 0 0 0 17 0 0 0 20 0 15 0 71418188 15380455424 32880 33554432000 4194304 4196468 140722788800064 140004054518400 140004696761681 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30290] ppid=30273 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30290/stat : 30290 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15380455424 32880 33554432000 4194304 4196468 140722788800064 140002176526560 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30291] ppid=30273 vsize=15019976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30291/stat : 30291 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15380455424 32880 33554432000 4194304 4196468 140722788800064 140004053470384 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131520 KiB
[startup+1.50068 s]
/proc/loadavg: 5.07 5.04 4.61 9/215 30291
/proc/meminfo: memFree=12386000/32770624 swapFree=67076460/67108860
[pid=30276] ppid=30273 vsize=15022100 memory=199600 CPUtime=3.47 cores=0,2,4,6
/proc/30276/stat : 30276 (java) S 30273 30276 29212 0 -1 1077944320 22116 0 0 0 339 8 0 0 20 0 15 0 71418181 15382630400 49900 33554432000 4194304 4196468 140722788800064 140722788782608 140004718218999 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
/proc/30276/statm: 3755525 49900 3214 1 0 3716910 0
[pid=30276/tid=30278] ppid=30273 vsize=15022100 memory=169072 CPUtime=1.47 cores=0,2,4,6
/proc/30276/task/30278/stat : 30278 (java) R 30273 30276 29212 0 -1 4202560 16271 0 0 0 141 6 0 0 20 0 15 0 71418181 15382630400 49900 33554432000 4194304 4196468 140722788800064 140004690053728 140004206717774 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30279] ppid=30273 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30279/stat : 30279 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15382630400 49900 33554432000 4194304 4196468 140722788800064 140004722461328 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30280] ppid=30273 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30280/stat : 30280 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15382630400 49900 33554432000 4194304 4196468 140722788800064 140004536617488 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30281] ppid=30273 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15382630400 49900 33554432000 4194304 4196468 140722788800064 140004535564688 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30282] ppid=30273 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (java) S 30273 30276 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418183 15382630400 49900 33554432000 4194304 4196468 140722788800064 140004534511888 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30283] ppid=30273 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (java) S 30273 30276 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71418185 15382630400 49900 33554432000 4194304 4196468 140722788800064 140004125080432 140004718230146 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
################
# More data... #
################
[pid=30276/tid=30283] ppid=30273 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (java) S 30273 30276 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71418185 15382630400 209521 33554432000 4194304 4196468 140722788800064 140004125080432 140004718230146 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30284] ppid=30273 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30284/stat : 30284 (java) S 30273 30276 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71418185 15382630400 209521 33554432000 4194304 4196468 140722788800064 140003317376544 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30285] ppid=30273 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30285/stat : 30285 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418185 15382630400 209521 33554432000 4194304 4196468 140722788800064 140003048940912 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30286] ppid=30273 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30286/stat : 30286 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15382630400 209521 33554432000 4194304 4196468 140722788800064 140002674432336 140004718237595 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30287] ppid=30273 vsize=15022100 memory=0 CPUtime=1.82 cores=0,2,4,6
/proc/30276/task/30287/stat : 30287 (java) R 30273 30276 29212 0 -1 4202560 2788 0 0 0 181 1 0 0 20 0 15 0 71418188 15382630400 209521 33554432000 4194304 4196468 140722788800064 140004124015920 140004697445445 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30288] ppid=30273 vsize=15022100 memory=0 CPUtime=2.02 cores=0,2,4,6
/proc/30276/task/30288/stat : 30288 (java) R 30273 30276 29212 0 -1 4202560 3144 0 0 0 201 1 0 0 20 0 15 0 71418188 15382630400 209521 33554432000 4194304 4196468 140722788800064 140004055563440 140004699764347 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30289] ppid=30273 vsize=15022100 memory=162 CPUtime=0.93 cores=0,2,4,6
/proc/30276/task/30289/stat : 30289 (java) R 30273 30276 29212 0 -1 1077944384 3031 0 0 0 92 1 0 0 20 0 15 0 71418188 15382630400 209521 33554432000 4194304 4196468 140722788800064 140004054521968 140004718230146 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30290] ppid=30273 vsize=15022100 memory=183 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30290/stat : 30290 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15382630400 209521 33554432000 4194304 4196468 140722788800064 140002176526560 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30291] ppid=30273 vsize=15022100 memory=93 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30291/stat : 30291 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15382630400 209521 33554432000 4194304 4196468 140722788800064 140004053470384 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
Current children cumulated CPU time: 7.89 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 838084 KiB
[startup+6.30071 s]
/proc/loadavg: 5.22 5.07 4.62 4/215 30291
/proc/meminfo: memFree=10531740/32770624 swapFree=67076460/67108860
[pid=30276] ppid=30273 vsize=15024148 memory=2226960 CPUtime=14.81 cores=0,2,4,6
/proc/30276/stat : 30276 (java) S 30273 30276 29212 0 -1 1077944320 37437 0 0 0 1436 45 0 0 20 0 15 0 71418181 15384727552 556740 33554432000 4194304 4196468 140722788800064 140722788782608 140004718218999 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
/proc/30276/statm: 3756037 556740 3217 1 0 3717422 0
[pid=30276/tid=30278] ppid=30273 vsize=15024148 memory=1639716 CPUtime=6.26 cores=0,2,4,6
/proc/30276/task/30278/stat : 30278 (java) R 30273 30276 29212 0 -1 4202560 17924 0 0 0 589 37 0 0 20 0 15 0 71418181 15384727552 557252 33554432000 4194304 4196468 140722788800064 140004690051944 140004214512815 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30279] ppid=30273 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30279/stat : 30279 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15384727552 557252 33554432000 4194304 4196468 140722788800064 140004722461328 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30280] ppid=30273 vsize=15024148 memory=360 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30280/stat : 30280 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15384727552 557252 33554432000 4194304 4196468 140722788800064 140004536617488 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30281] ppid=30273 vsize=15024148 memory=357 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418183 15384727552 557252 33554432000 4194304 4196468 140722788800064 140004535564688 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30282] ppid=30273 vsize=15024148 memory=133 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (java) S 30273 30276 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418183 15384727552 557252 33554432000 4194304 4196468 140722788800064 140004534511888 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30283] ppid=30273 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (java) S 30273 30276 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71418185 15384727552 557252 33554432000 4194304 4196468 140722788800064 140004125080432 140004718230146 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30284] ppid=30273 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30284/stat : 30284 (java) S 30273 30276 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71418185 15384727552 557252 33554432000 4194304 4196468 140722788800064 140003317376544 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30285] ppid=30273 vsize=15024148 memory=1286 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30285/stat : 30285 (java) S 30273 30276 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418185 15384727552 557252 33554432000 4194304 4196468 140722788800064 140003048940912 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30286] ppid=30273 vsize=15024148 memory=56 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30286/stat : 30286 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15384727552 557252 33554432000 4194304 4196468 140722788800064 140002674432336 140004718237595 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30287] ppid=30273 vsize=15024148 memory=9169 CPUtime=3.6 cores=0,2,4,6
/proc/30276/task/30287/stat : 30287 (java) S 30273 30276 29212 0 -1 1077944384 6341 0 0 0 359 1 0 0 20 0 15 0 71418188 15384727552 557252 33554432000 4194304 4196468 140722788800064 140004124027248 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30288] ppid=30273 vsize=15024148 memory=21520 CPUtime=3.58 cores=0,2,4,6
/proc/30276/task/30288/stat : 30288 (java) S 30273 30276 29212 0 -1 1077944384 5232 0 0 0 356 2 0 0 20 0 15 0 71418188 15384727552 557252 33554432000 4194304 4196468 140722788800064 140004055574768 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30289] ppid=30273 vsize=15024148 memory=9169 CPUtime=1.33 cores=0,2,4,6
/proc/30276/task/30289/stat : 30289 (java) S 30273 30276 29212 0 -1 1077944384 6599 0 0 0 131 2 0 0 20 0 15 0 71418188 15384727552 557252 33554432000 4194304 4196468 140722788800064 140004054521968 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30290] ppid=30273 vsize=15024148 memory=280139376473344 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30290/stat : 30290 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15384727552 557252 33554432000 4194304 4196468 140722788800064 140002176526560 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30291] ppid=30273 vsize=15024148 memory=1793215956737 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30291/stat : 30291 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15384727552 557252 33554432000 4194304 4196468 140722788800064 140004053470384 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
Current children cumulated CPU time: 14.81 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2226960 KiB
[startup+12.7007 s]
/proc/loadavg: 4.81 4.99 4.60 9/215 30291
/proc/meminfo: memFree=9429192/32770624 swapFree=67076460/67108860
[pid=30276] ppid=30273 vsize=15028312 memory=3109340 CPUtime=25.49 cores=0,2,4,6
/proc/30276/stat : 30276 (java) S 30273 30276 29212 0 -1 1077944320 42450 0 0 0 2481 68 0 0 20 0 15 0 71418181 15388991488 777335 33554432000 4194304 4196468 140722788800064 140722788782608 140004718218999 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
/proc/30276/statm: 3757078 777335 3250 1 0 3717934 0
[pid=30276/tid=30278] ppid=30273 vsize=15028312 memory=3109276 CPUtime=12.54 cores=0,2,4,6
/proc/30276/task/30278/stat : 30278 (java) R 30273 30276 29212 0 -1 4202560 19233 0 0 0 1204 50 0 0 20 0 15 0 71418181 15388991488 777335 33554432000 4194304 4196468 140722788800064 140004690044784 140004214046701 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30279] ppid=30273 vsize=15028312 memory=2892560 CPUtime=0.09 cores=0,2,4,6
/proc/30276/task/30279/stat : 30279 (java) S 30273 30276 29212 0 -1 1077944384 205 0 0 0 7 2 0 0 20 0 15 0 71418183 15388991488 777335 33554432000 4194304 4196468 140722788800064 140004722461328 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30280] ppid=30273 vsize=15028312 memory=32705 CPUtime=0.09 cores=0,2,4,6
/proc/30276/task/30280/stat : 30280 (java) S 30273 30276 29212 0 -1 1077944384 106 0 0 0 7 2 0 0 20 0 15 0 71418183 15388991488 777335 33554432000 4194304 4196468 140722788800064 140004536617488 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30281] ppid=30273 vsize=15028312 memory=3104192 CPUtime=0.09 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (java) S 30273 30276 29212 0 -1 1077944384 128 0 0 0 7 2 0 0 20 0 15 0 71418183 15388991488 777335 33554432000 4194304 4196468 140722788800064 140004535564688 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30282] ppid=30273 vsize=15028312 memory=3032 CPUtime=0.09 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (java) S 30273 30276 29212 0 -1 1077944384 78 0 0 0 7 2 0 0 20 0 15 0 71418183 15388991488 777335 33554432000 4194304 4196468 140722788800064 140004534511888 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30283] ppid=30273 vsize=15028312 memory=3104668 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (java) S 30273 30276 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 71418185 15388991488 777335 33554432000 4194304 4196468 140722788800064 140004125080432 140004718230146 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30284] ppid=30273 vsize=15028312 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30284/stat : 30284 (java) S 30273 30276 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 71418185 15388991488 777335 33554432000 4194304 4196468 140722788800064 140003317376608 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30285] ppid=30273 vsize=15028312 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30285/stat : 30285 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418185 15388991488 777335 33554432000 4194304 4196468 140722788800064 140003048940912 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30286] ppid=30273 vsize=15028312 memory=3103728 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30286/stat : 30286 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15388991488 777335 33554432000 4194304 4196468 140722788800064 140002674432336 140004718237595 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30287] ppid=30273 vsize=15028312 memory=2597648 CPUtime=5.4 cores=0,2,4,6
/proc/30276/task/30287/stat : 30287 (java) S 30273 30276 29212 0 -1 1077944384 7958 0 0 0 538 2 0 0 20 0 15 0 71418188 15388991488 777335 33554432000 4194304 4196468 140722788800064 140004124027248 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30288] ppid=30273 vsize=15028312 memory=3544 CPUtime=5.5 cores=0,2,4,6
/proc/30276/task/30288/stat : 30288 (java) S 30273 30276 29212 0 -1 1077944384 6734 0 0 0 548 2 0 0 20 0 15 0 71418188 15388991488 777335 33554432000 4194304 4196468 140722788800064 140004055574768 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30289] ppid=30273 vsize=15028312 memory=18460 CPUtime=1.6 cores=0,2,4,6
/proc/30276/task/30289/stat : 30289 (java) S 30273 30276 29212 0 -1 1077944384 6651 0 0 0 158 2 0 0 20 0 15 0 71418188 15388991488 777335 33554432000 4194304 4196468 140722788800064 140004054521968 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30290] ppid=30273 vsize=15028312 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30290/stat : 30290 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15388991488 777335 33554432000 4194304 4196468 140722788800064 140002176526560 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30291] ppid=30273 vsize=15028312 memory=-2892745056948402235 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30291/stat : 30291 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418188 15388991488 777335 33554432000 4194304 4196468 140722788800064 140004053470384 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3109340 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+25.2009 s]
/proc/loadavg: 5.00 5.02 4.62 12/219 30296
/proc/meminfo: memFree=8195408/32770624 swapFree=67076460/67108860
[pid=30276] ppid=30273 vsize=15683912 memory=4265676 CPUtime=45.38 cores=0,2,4,6
/proc/30276/stat : 30276 (java) S 30273 30276 29212 0 -1 1077944320 66790 0 0 0 4332 206 0 0 20 0 19 0 71418181 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140722788782608 140004718218999 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
/proc/30276/statm: 3920978 1066419 3271 1 0 3881834 0
[pid=30292] ppid=30276 vsize=211364 memory=177224 CPUtime=0.57 cores=0,2,4,6
/proc/30292/stat : 30292 (minisat_release) R 30276 30276 29212 0 -1 4202496 38707 0 0 0 50 7 0 0 20 0 1 0 71420633 216436736 44306 33554432000 4194304 4308513 140731139426928 140731138375160 140516881513445 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6409496 6410680 27369472 140731139429039 140731139429550 140731139429550 140731139432389 0
/proc/30292/statm: 52841 44306 317 28 0 49081 0
[pid=30276/tid=30278] ppid=30273 vsize=15683912 memory=0 CPUtime=23.4 cores=0,2,4,6
/proc/30276/task/30278/stat : 30278 (java) S 30273 30276 29212 0 -1 1077944384 23281 0 0 0 2279 61 0 0 20 0 19 0 71418181 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004690058240 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30279] ppid=30273 vsize=15683912 memory=0 CPUtime=1.58 cores=0,2,4,6
/proc/30276/task/30279/stat : 30279 (java) S 30273 30276 29212 0 -1 1077944384 1050 0 0 0 124 34 0 0 20 0 19 0 71418183 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004722461328 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30280] ppid=30273 vsize=15683912 memory=0 CPUtime=1.55 cores=0,2,4,6
/proc/30276/task/30280/stat : 30280 (java) S 30273 30276 29212 0 -1 1077944384 2464 0 0 0 123 32 0 0 20 0 19 0 71418183 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004536617488 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30281] ppid=30273 vsize=15683912 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (java) S 30273 30276 29212 0 -1 1077944384 1321 0 0 0 111 32 0 0 20 0 19 0 71418183 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004535564688 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30282] ppid=30273 vsize=15683912 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (java) S 30273 30276 29212 0 -1 1077944384 927 0 0 0 135 34 0 0 20 0 19 0 71418183 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004534511888 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30283] ppid=30273 vsize=15683912 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (java) S 30273 30276 29212 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 19 0 71418185 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004125080432 140004718230146 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30284] ppid=30273 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30284/stat : 30284 (java) S 30273 30276 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 71418185 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140003317376608 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30285] ppid=30273 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30285/stat : 30285 (java) S 30273 30276 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71418185 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140003048940928 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30286] ppid=30273 vsize=15683912 memory=3939412 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30286/stat : 30286 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71418188 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140002674432336 140004718237595 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30287] ppid=30273 vsize=15683912 memory=7160837105576666220 CPUtime=6.84 cores=0,2,4,6
/proc/30276/task/30287/stat : 30287 (java) S 30273 30276 29212 0 -1 1077944384 12979 0 0 0 682 2 0 0 20 0 19 0 71418188 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004124027248 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30288] ppid=30273 vsize=15683912 memory=6372422380231487576 CPUtime=7.04 cores=0,2,4,6
/proc/30276/task/30288/stat : 30288 (java) S 30273 30276 29212 0 -1 1077944384 13066 0 0 0 701 3 0 0 20 0 19 0 71418188 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004055574768 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30289] ppid=30273 vsize=15683912 memory=-8990767739041718176 CPUtime=1.73 cores=0,2,4,6
/proc/30276/task/30289/stat : 30289 (java) S 30273 30276 29212 0 -1 1077944384 8627 0 0 0 171 2 0 0 20 0 19 0 71418188 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004054521968 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30290] ppid=30273 vsize=15683912 memory=-6948047529741492128 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30290/stat : 30290 (java) S 30273 30276 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71418188 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140002176526560 140004718229205 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30291] ppid=30273 vsize=15683912 memory=7516908431461671526 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30291/stat : 30291 (java) S 30273 30276 29212 0 -1 1077944384 1335 0 0 0 0 0 0 0 20 0 19 0 71418188 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004053470384 140004718230146 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30293] ppid=30273 vsize=15683912 memory=6153433744107399530 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30293/stat : 30293 (java) S 30273 30276 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71420633 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140004525754048 140004718243609 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30295] ppid=30273 vsize=15683912 memory=6082203021837232215 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30295/stat : 30295 (java) S 30273 30276 29212 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 71420633 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140001639640752 140004718240925 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
[pid=30276/tid=30296] ppid=30273 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30276/task/30296/stat : 30296 (java) S 30273 30276 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 71420633 16060325888 1066419 33554432000 4194304 4196468 140722788800064 140001773862448 140004718240925 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19738624 140722788803572 140722788803849 140722788803849 140722788806607 0
Current children cumulated CPU time: 45.95 s
Current children cumulated vsize: 15895276 KiB
Current children cumulated memory: 4442900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+25.2484 s]
# the end of solver process 30276 was just reported to runsolver
# cumulated CPU time of all completed processes: user=43.8406 s, system=2.1929 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 25.2485
CPU time (s): 46.0336
CPU user time (s): 43.8406
CPU system time (s): 2.1929
CPU usage (%): 182.322
Max. virtual memory (cumulated for all children) (KiB): 15895276
Max. memory (cumulated for all children) (KiB): 4442900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.8406
system time used= 2.1929
maximum resident set size= 4268192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 135224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6476
involuntary context switches= 280
# summary of solver processes directly reported to runsolver:
# pid: 30276
# total CPU time (s): 46.0336
# total CPU user time (s): 43.8406
# total CPU system time (s): 2.1929
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.183965 second user time and 0.267586 second system time
The end