0.66/0.53
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Wed Jul 25 19:10:02 CEST 2018
0.66/0.56 c PID: 30448
0.66/0.56 c IP: 172.20.3.102
0.66/0.56 c HOST: node102.alineos.net
0.66/0.57 c (0,0) Parsing Begin
3.20/1.50 c (0,0) Parsing End
3.20/1.51 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1416 ctr, max domain size 26
3.20/1.51 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.20/1.51 c (0,0) Constraint Name Generate Begin
3.20/1.54 c (1,0) Ctr:HOME/instance-4294983-1532538602.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.20/1.54 c (1,0) Constraint Name Generate End
3.20/1.54 c (1,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.20/1.54 c (1,0) CSP to CSPinCNF Begin
12.59/4.84 c (4,4) translated 142 (10%) constraints
13.21/5.31 c (4,4) translated 284 (20%) constraints
13.21/5.34 c (4,4) translated 425 (30%) constraints
13.21/5.36 c (4,4) translated 567 (40%) constraints
13.21/5.39 c (4,4) translated 708 (50%) constraints
13.62/5.42 c (4,4) translated 850 (60%) constraints
13.62/5.43 c (4,4) translated 992 (70%) constraints
13.62/5.45 c (4,4) translated 1133 (80%) constraints
15.86/6.84 c (6,6) translated 1275 (90%) constraints
17.37/8.08 c (7,7) translated 1416 (100%) constraints
18.72/8.62 c (8,7) STATISTICS1:HOME/instance-4294983-1532538602.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57041,9223372036854775807,26,25,200,9223372036854775807:265;2305843009213693952:3;576460752303423488:1;288230376151711744:2;36028797018963968:2;18014398509481984:1;4503599627370496:2;562949953421312:1;70368744177664:1;8796093022208:1;1099511627776:1;16:392;4:396;2:199,26:20400;2:157993,25:200;3:29600;2:26000;1:1241,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:4;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:1;59:2;56:2;55:1;53:2;50:1;47:1;44:1;41:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;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:4;2704:1;2601:2;2500:2;2401:3;2304:1;2209:2;2116:2;2025:3;1936:1;1849:3;1764:1
18.72/8.62 c (8,7) ===========================================
18.72/8.62 c (8,7) Both Encoding selects:
18.72/8.62 c (8,7) Log
18.72/8.62 c (8,7) ===========================================
20.18/9.16 c (8,8) translated 5705 (10%) constraints
20.73/9.38 c (8,8) translated 11409 (20%) constraints
20.98/9.47 c (8,8) translated 17113 (30%) constraints
21.24/9.55 c (9,8) translated 22817 (40%) constraints
21.34/9.63 c (9,8) translated 28521 (50%) constraints
21.44/9.70 c (9,8) translated 34225 (60%) constraints
21.44/9.78 c (9,9) translated 39929 (70%) constraints
21.54/9.86 c (9,9) translated 45633 (80%) constraints
21.64/9.93 c (9,9) translated 51337 (90%) constraints
23.42/11.07 c (10,10) translated 57041 (100%) constraints
23.42/11.07 c (10,10) CSP to CSPinCNF End
23.42/11.08 c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67467 ctr, max domain size 26
23.42/11.08 c (10,10) Heap : 1851 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.42/11.08 c (10,10) CSPinCNF Propagation Begin
24.39/11.70 c (11,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
24.39/11.70 c (11,10) CSPinCNF Propagation End
24.61/11.70 c (11,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67067 ctr, max domain size 26
24.61/11.70 c (11,10) Heap : 2125 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.61/11.70 c (11,10) Simplify CSPinCNF Begin
24.82/11.84 c (11,11) Simplify CSPinCNF End
24.82/11.85 c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67067 ctr, max domain size 26
24.82/11.85 c (11,11) Heap : 2179 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.82/11.85 c (11,11) Calculate Precise Domain Begin
24.82/11.85 c (11,11) 0 values are removed by re-calculation
24.82/11.85 c (11,11) Calculate Precise Domain End
24.82/11.85 c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67067 ctr, max domain size 26
24.82/11.85 c (11,11) Heap : 2179 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.82/11.85 c (11,11) CSPinCNF to SatSolver Begin
28.63/13.49 c (12,12) 6707 (10 %) CSP clauses are being encoded (124379 SAT variables, 273747 SAT clauses)
29.48/13.83 c (13,12) 13414 (20 %) CSP clauses are being encoded (147722 SAT variables, 323785 SAT clauses)
29.83/14.14 c (13,13) 20121 (30 %) CSP clauses are being encoded (171732 SAT variables, 375296 SAT clauses)
30.30/14.36 c (13,13) 26827 (40 %) CSP clauses are being encoded (178328 SAT variables, 393850 SAT clauses)
30.76/14.51 c (13,13) 33534 (50 %) CSP clauses are being encoded (184244 SAT variables, 410997 SAT clauses)
30.86/14.65 c (14,13) 40241 (60 %) CSP clauses are being encoded (190364 SAT variables, 428504 SAT clauses)
30.96/14.79 c (14,13) 46947 (70 %) CSP clauses are being encoded (196280 SAT variables, 445650 SAT clauses)
31.16/14.94 c (14,13) 53654 (80 %) CSP clauses are being encoded (202400 SAT variables, 463157 SAT clauses)
31.28/15.08 c (14,14) 60361 (90 %) CSP clauses are being encoded (208316 SAT variables, 480304 SAT clauses)
42.75/23.56 c (23,21) 67067 (100 %) CSP clauses are being encoded (1001491 SAT variables, 2812453 SAT clauses)
42.85/23.61 c (23,21) CSPinCNF to SatSolver End
42.85/23.61 c (23,21) Heap : 2311 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
43.89/24.06 c (23,22) STATISTICS2:HOME/instance-4294983-1532538602.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21800,67067,9223372036854775807,26,24,200,9223372036854775807:265;2305843009213693952:3;576460752303423488:1;288230376151711744:2;36028797018963968:2;18014398509481984:1;4503599627370496:2;562949953421312:1;70368744177664:1;8796093022208:1;1099511627776:1;16:392;4:396;2:199,26:30000;2:178393,24:200;3:29200;2:36400;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:4;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:1;59:2;56:2;55:1;53:2;50:1;47:1;44:1;41:1;5:392;3:396;2:199;1:165200,2:265
43.89/24.06 c (23,22) SatSolver.solve Begin
43.89/24.06 c (23,22) 1006887 bool, 2828490 clause
43.89/24.06 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-4294983-1532538602.xml-scop-30448.cnf HOME/instance-4294983-1532538602.xml-scop-30448.cnf.out
44.98/25.01 c (24,0) receiving signal SIGTERM
44.98/25.01 s UNKNOWN
44.98/25.03 c (24,22) SatSolver is killed by some reasons.
44.98/25.03 c (24,22) 0,1,10,11,11,11,23,TO,TO,STOP-AFTER(DIMACS)
44.98/25.03 c END-Prog: Wed Jul 25 19:10:27 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8229 MiB free)
memory of node 1: 16384 MiB (3781 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294983-1532538602/watcher-4294983-1532538602 -o /tmp/evaluation-result-4294983-1532538602/solver-4294983-1532538602 -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-4294983-1532538602.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
solver pid=30448, runsolver pid=30445
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 5.16 5.07 4.64 3/216 30463
/proc/meminfo: memFree=12239840/32770624 swapFree=67076460/67108860
[pid=30448] ppid=30445 vsize=15011656 memory=70652 CPUtime=0.1 cores=0,2,4,6
/proc/30448/stat : 30448 (java) S 30445 30448 29212 0 -1 1077944320 6375 0 0 0 8 2 0 0 20 0 15 0 71423332 15371935744 17663 33554432000 4194304 4196468 140731793102192 140731793084736 140570912399095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
/proc/30448/statm: 3752914 17663 2752 1 0 3715374 0
[pid=30448/tid=30450] ppid=30445 vsize=15011656 memory=-8772622248923402365 CPUtime=0.08 cores=0,2,4,6
/proc/30448/task/30450/stat : 30450 (java) R 30445 30448 29212 0 -1 4202560 4486 0 0 0 7 1 0 0 20 0 15 0 71423332 15371935744 17663 33554432000 4194304 4196468 140731793102192 140570884225424 140570896479612 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30451] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30451/stat : 30451 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 17663 33554432000 4194304 4196468 140731793102192 140570916641936 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30452] ppid=30445 vsize=15011656 memory=140042792531584 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30452/stat : 30452 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 17663 33554432000 4194304 4196468 140731793102192 140570730798096 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30453] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30453/stat : 30453 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 17663 33554432000 4194304 4196468 140731793102192 140570729745296 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30454] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30454/stat : 30454 (java) S 30445 30448 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 17663 33554432000 4194304 4196468 140731793102192 140570728692496 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30455] ppid=30445 vsize=15011656 memory=140042792531584 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30455/stat : 30455 (java) S 30445 30448 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71423335 15371935744 17663 33554432000 4194304 4196468 140731793102192 140569681582448 140570912410242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30456] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30456/stat : 30456 (java) S 30445 30448 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71423336 15371935744 17663 33554432000 4194304 4196468 140731793102192 140569581970464 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30457] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30457/stat : 30457 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423336 15371935744 17663 33554432000 4194304 4196468 140731793102192 140569313534832 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30458] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30458/stat : 30458 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423338 15371935744 17663 33554432000 4194304 4196468 140731793102192 140568939026256 140570912417691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30459] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30459/stat : 30459 (java) S 30445 30448 29212 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 71423339 15371935744 17663 33554432000 4194304 4196468 140731793102192 140569680530288 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30460] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30460/stat : 30460 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15371935744 17663 33554432000 4194304 4196468 140731793102192 140569679477488 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30461] ppid=30445 vsize=15011656 memory=140042792531584 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30461/stat : 30461 (java) S 30445 30448 29212 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 71423340 15371935744 17663 33554432000 4194304 4196468 140731793102192 140569678424688 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30462] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30462/stat : 30462 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15371935744 17663 33554432000 4194304 4196468 140731793102192 140568441121504 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30463] ppid=30445 vsize=15011656 memory=140042792531584 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30463/stat : 30463 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423340 15371935744 17663 33554432000 4194304 4196468 140731793102192 140569677372080 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70652 KiB
[startup+0.210329 s]*
/proc/loadavg: 5.16 5.07 4.64 3/216 30463
/proc/meminfo: memFree=12225360/32770624 swapFree=67076460/67108860
[pid=30448] ppid=30445 vsize=15011656 memory=85296 CPUtime=0.24 cores=0,2,4,6
/proc/30448/stat : 30448 (java) S 30445 30448 29212 0 -1 1077944320 10270 0 0 0 21 3 0 0 20 0 15 0 71423332 15371935744 21324 33554432000 4194304 4196468 140731793102192 140731793084736 140570912399095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
/proc/30448/statm: 3752914 21324 2909 1 0 3715374 0
[pid=30448/tid=30450] ppid=30445 vsize=15011656 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30448/task/30450/stat : 30450 (java) R 30445 30448 29212 0 -1 4202560 8162 0 0 0 17 2 0 0 20 0 15 0 71423332 15371935744 21324 33554432000 4194304 4196468 140731793102192 140570884221632 140570912421021 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30451] ppid=30445 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30451/stat : 30451 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 21324 33554432000 4194304 4196468 140731793102192 140570916641936 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30452] ppid=30445 vsize=15011656 memory=3906785366281746080 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30452/stat : 30452 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 21324 33554432000 4194304 4196468 140731793102192 140570730798096 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30453] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30453/stat : 30453 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 21324 33554432000 4194304 4196468 140731793102192 140570729745296 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30454] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30454/stat : 30454 (java) S 30445 30448 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 21324 33554432000 4194304 4196468 140731793102192 140570728692496 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30455] ppid=30445 vsize=15011656 memory=140042792531584 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30455/stat : 30455 (java) S 30445 30448 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71423335 15371935744 21324 33554432000 4194304 4196468 140731793102192 140569681582448 140570912410242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30456] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30456/stat : 30456 (java) S 30445 30448 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71423336 15371935744 21324 33554432000 4194304 4196468 140731793102192 140569581970464 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30457] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30457/stat : 30457 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423336 15371935744 21324 33554432000 4194304 4196468 140731793102192 140569313534832 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30458] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30458/stat : 30458 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423338 15371935744 21324 33554432000 4194304 4196468 140731793102192 140568939026256 140570912417691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30459] ppid=30445 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30448/task/30459/stat : 30459 (java) S 30445 30448 29212 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 15 0 71423339 15371935744 21324 33554432000 4194304 4196468 140731793102192 140569680530288 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30460] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30460/stat : 30460 (java) R 30445 30448 29212 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 71423340 15371935744 21324 33554432000 4194304 4196468 140731793102192 140569679477488 140570912410242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30461] ppid=30445 vsize=15011656 memory=140042792531584 CPUtime=0.02 cores=0,2,4,6
/proc/30448/task/30461/stat : 30461 (java) S 30445 30448 29212 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 15 0 71423340 15371935744 21324 33554432000 4194304 4196468 140731793102192 140569678424688 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30462] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30462/stat : 30462 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15371935744 21324 33554432000 4194304 4196468 140731793102192 140568441121504 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30463] ppid=30445 vsize=15011656 memory=140042792531584 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30463/stat : 30463 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423340 15371935744 21324 33554432000 4194304 4196468 140731793102192 140569677372080 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85296 KiB
[startup+0.310434 s]*
/proc/loadavg: 5.16 5.07 4.64 3/216 30463
/proc/meminfo: memFree=12221452/32770624 swapFree=67076460/67108860
[pid=30448] ppid=30445 vsize=15011656 memory=89632 CPUtime=0.41 cores=0,2,4,6
/proc/30448/stat : 30448 (java) S 30445 30448 29212 0 -1 1077944320 10958 0 0 0 38 3 0 0 20 0 15 0 71423332 15371935744 22408 33554432000 4194304 4196468 140731793102192 140731793084736 140570912399095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
/proc/30448/statm: 3752914 22408 2976 1 0 3715374 0
[pid=30448/tid=30450] ppid=30445 vsize=15011656 memory=7022364594140610616 CPUtime=0.28 cores=0,2,4,6
/proc/30448/task/30450/stat : 30450 (java) R 30445 30448 29212 0 -1 4202560 8658 0 0 0 26 2 0 0 20 0 15 0 71423332 15371935744 22408 33554432000 4194304 4196468 140731793102192 140570884203248 140570893962670 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30451] ppid=30445 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30451/stat : 30451 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 22408 33554432000 4194304 4196468 140731793102192 140570916641936 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30452] ppid=30445 vsize=15011656 memory=3762670178205890208 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30452/stat : 30452 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 22408 33554432000 4194304 4196468 140731793102192 140570730798096 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30453] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30453/stat : 30453 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 22408 33554432000 4194304 4196468 140731793102192 140570729745296 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30454] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30454/stat : 30454 (java) S 30445 30448 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71423334 15371935744 22408 33554432000 4194304 4196468 140731793102192 140570728692496 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30455] ppid=30445 vsize=15011656 memory=140042792531584 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30455/stat : 30455 (java) S 30445 30448 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71423335 15371935744 22408 33554432000 4194304 4196468 140731793102192 140569681582448 140570912410242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30456] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30456/stat : 30456 (java) S 30445 30448 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71423336 15371935744 22408 33554432000 4194304 4196468 140731793102192 140569581970464 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30457] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30457/stat : 30457 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423336 15371935744 22408 33554432000 4194304 4196468 140731793102192 140569313534832 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30458] ppid=30445 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30458/stat : 30458 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423338 15371935744 22408 33554432000 4194304 4196468 140731793102192 140568939026256 140570912417691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30459] ppid=30445 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30448/task/30459/stat : 30459 (java) S 30445 30448 29212 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 71423339 15371935744 22408 33554432000 4194304 4196468 140731793102192 140569680530288 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30460] ppid=30445 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30448/task/30460/stat : 30460 (java) S 30445 30448 29212 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 71423340 15371935744 22408 33554432000 4194304 4196468 140731793102192 140569679477488 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30461] ppid=30445 vsize=15011656 memory=140042792531584 CPUtime=0.07 cores=0,2,4,6
/proc/30448/task/30461/stat : 30461 (java) S 30445 30448 29212 0 -1 1077944384 335 0 0 0 7 0 0 0 20 0 15 0 71423340 15371935744 22408 33554432000 4194304 4196468 140731793102192 140569678424688 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30462] ppid=30445 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30462/stat : 30462 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15371935744 22408 33554432000 4194304 4196468 140731793102192 140568441121504 140570912409301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30463] ppid=30445 vsize=15011656 memory=140042792531584 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30463/stat : 30463 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423340 15371935744 22408 33554432000 4194304 4196468 140731793102192 140569677372080 140570912410242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89632 KiB
[startup+0.700765 s]
/proc/loadavg: 5.16 5.07 4.64 3/216 30463
/proc/meminfo: memFree=12197232/32770624 swapFree=67076460/67108860
[pid=30448] ppid=30445 vsize=15017928 memory=126940 CPUtime=0.99 cores=0,2,4,6
/proc/30448/stat : 30448 (java) S 30445 30448 29212 0 -1 1077944320 17900 0 0 0 94 5 0 0 20 0 15 0 71423332 15378358272 31735 33554432000 4194304 4196468 140731793102192 140731793084736 140570912399095 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
/proc/30448/statm: 3754482 31735 3137 1 0 3715886 0
[pid=30448/tid=30450] ppid=30445 vsize=15017928 memory=9972 CPUtime=0.66 cores=0,2,4,6
/proc/30448/task/30450/stat : 30450 (java) R 30445 30448 29212 0 -1 4202560 15175 0 0 0 62 4 0 0 20 0 15 0 71423332 15378358272 31735 33554432000 4194304 4196468 140731793102192 140570884236528 140570404196404 0 4 0 25189583 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30451] ppid=30445 vsize=15017928 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30451/stat : 30451 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15378358272 31735 33554432000 4194304 4196468 140731793102192 140570916641936 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30452] ppid=30445 vsize=15017928 memory=640 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30452/stat : 30452 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15378358272 31735 33554432000 4194304 4196468 140731793102192 140570730798096 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30453] ppid=30445 vsize=15017928 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30453/stat : 30453 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15378358272 31735 33554432000 4194304 4196468 140731793102192 140570729745296 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30454] ppid=30445 vsize=15017928 memory=960 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30454/stat : 30454 (java) S 30445 30448 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71423334 15378358272 31735 33554432000 4194304 4196468 140731793102192 140570728692496 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30455] ppid=30445 vsize=15017928 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30455/stat : 30455 (java) S 30445 30448 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71423335 15378358272 31735 33554432000 4194304 4196468 140731793102192 140569681582448 140570912410242 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30456] ppid=30445 vsize=15017928 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30456/stat : 30456 (java) S 30445 30448 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71423336 15378358272 31735 33554432000 4194304 4196468 140731793102192 140569581970464 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30457] ppid=30445 vsize=15017928 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30457/stat : 30457 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423336 15378358272 31735 33554432000 4194304 4196468 140731793102192 140569313534832 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30458] ppid=30445 vsize=15017928 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30458/stat : 30458 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423338 15378358272 31735 33554432000 4194304 4196468 140731793102192 140568939026256 140570912417691 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30459] ppid=30445 vsize=15017928 memory=7881696724453321575 CPUtime=0.08 cores=0,2,4,6
/proc/30448/task/30459/stat : 30459 (java) R 30445 30448 29212 0 -1 1077944384 622 0 0 0 8 0 0 0 20 0 15 0 71423339 15378358272 31735 33554432000 4194304 4196468 140731793102192 140569680519760 140570912409301 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30460] ppid=30445 vsize=15017928 memory=7019257425709197167 CPUtime=0.06 cores=0,2,4,6
/proc/30448/task/30460/stat : 30460 (java) S 30445 30448 29212 0 -1 1077944384 279 0 0 0 6 0 0 0 20 0 15 0 71423340 15378358272 31735 33554432000 4194304 4196468 140731793102192 140569679468816 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30461] ppid=30445 vsize=15017928 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/30448/task/30461/stat : 30461 (java) R 30445 30448 29212 0 -1 4202560 497 0 0 0 16 0 0 0 20 0 15 0 71423340 15378358272 31735 33554432000 4194304 4196468 140731793102192 140569678420448 140570912411030 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30462] ppid=30445 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30462/stat : 30462 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15378358272 31735 33554432000 4194304 4196468 140731793102192 140568441121504 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30463] ppid=30445 vsize=15017928 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30463/stat : 30463 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423340 15378358272 31735 33554432000 4194304 4196468 140731793102192 140569677372080 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 126940 KiB
[startup+1.50072 s]
/proc/loadavg: 5.16 5.07 4.64 6/216 30463
/proc/meminfo: memFree=12157280/32770624 swapFree=67076460/67108860
[pid=30448] ppid=30445 vsize=15022100 memory=192764 CPUtime=3.2 cores=0,2,4,6
/proc/30448/stat : 30448 (java) S 30445 30448 29212 0 -1 1077944320 21890 0 0 0 312 8 0 0 20 0 15 0 71423332 15382630400 48191 33554432000 4194304 4196468 140731793102192 140731793084736 140570912399095 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
/proc/30448/statm: 3755525 48191 3208 1 0 3716910 0
[pid=30448/tid=30450] ppid=30445 vsize=15022100 memory=169700 CPUtime=1.36 cores=0,2,4,6
/proc/30448/task/30450/stat : 30450 (java) D 30445 30448 29212 0 -1 4202560 16052 0 0 0 131 5 0 0 20 0 15 0 71423332 15382630400 48191 33554432000 4194304 4196468 140731793102192 140570884234616 140570898139378 0 4 0 25189583 18446744072099953797 0 0 -1 4 0 0 1 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30451] ppid=30445 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30451/stat : 30451 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15382630400 48191 33554432000 4194304 4196468 140731793102192 140570916641936 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30452] ppid=30445 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30452/stat : 30452 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15382630400 48191 33554432000 4194304 4196468 140731793102192 140570730798096 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30453] ppid=30445 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30453/stat : 30453 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15382630400 48191 33554432000 4194304 4196468 140731793102192 140570729745296 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30454] ppid=30445 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30454/stat : 30454 (java) S 30445 30448 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71423334 15382630400 48191 33554432000 4194304 4196468 140731793102192 140570728692496 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30455] ppid=30445 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30455/stat : 30455 (java) S 30445 30448 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71423335 15382630400 48191 33554432000 4194304 4196468 140731793102192 140569681582448 140570912410242 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
################
# More data... #
################
[pid=30448/tid=30456] ppid=30445 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30456/stat : 30456 (java) S 30445 30448 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71423336 15382630400 203275 33554432000 4194304 4196468 140731793102192 140569581970464 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30457] ppid=30445 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30457/stat : 30457 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423336 15382630400 203275 33554432000 4194304 4196468 140731793102192 140569313534832 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30458] ppid=30445 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30458/stat : 30458 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423338 15382630400 203275 33554432000 4194304 4196468 140731793102192 140568939026256 140570912417691 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30459] ppid=30445 vsize=15022100 memory=0 CPUtime=1.68 cores=0,2,4,6
/proc/30448/task/30459/stat : 30459 (java) R 30445 30448 29212 0 -1 4202560 2075 0 0 0 167 1 0 0 20 0 15 0 71423339 15382630400 203275 33554432000 4194304 4196468 140731793102192 140569680515424 140570896798832 0 4 0 25189583 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30460] ppid=30445 vsize=15022100 memory=0 CPUtime=1.96 cores=0,2,4,6
/proc/30448/task/30460/stat : 30460 (java) R 30445 30448 29212 0 -1 4202560 3774 0 0 0 195 1 0 0 20 0 15 0 71423340 15382630400 203275 33554432000 4194304 4196468 140731793102192 140569679457840 140570893034979 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30461] ppid=30445 vsize=15022100 memory=148 CPUtime=0.93 cores=0,2,4,6
/proc/30448/task/30461/stat : 30461 (java) S 30445 30448 29212 0 -1 1077944384 3043 0 0 0 92 1 0 0 20 0 15 0 71423340 15382630400 203275 33554432000 4194304 4196468 140731793102192 140569678424688 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30462] ppid=30445 vsize=15022100 memory=176 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30462/stat : 30462 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15382630400 203275 33554432000 4194304 4196468 140731793102192 140568441121504 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30463] ppid=30445 vsize=15022100 memory=90 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30463/stat : 30463 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15382630400 203275 33554432000 4194304 4196468 140731793102192 140569677372080 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 813100 KiB
[startup+6.30077 s]
/proc/loadavg: 5.39 5.12 4.66 7/216 30463
/proc/meminfo: memFree=10336112/32770624 swapFree=67076460/67108860
[pid=30448] ppid=30445 vsize=15024148 memory=2193028 CPUtime=15.36 cores=0,2,4,6
/proc/30448/stat : 30448 (java) S 30445 30448 29212 0 -1 1077944320 39708 0 0 0 1495 41 0 0 20 0 15 0 71423332 15384727552 548257 33554432000 4194304 4196468 140731793102192 140731793084736 140570912399095 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
/proc/30448/statm: 3756037 548257 3216 1 0 3717422 0
[pid=30448/tid=30450] ppid=30445 vsize=15024148 memory=1609256 CPUtime=6.15 cores=0,2,4,6
/proc/30448/task/30450/stat : 30450 (java) R 30445 30448 29212 0 -1 4202560 18676 0 0 0 580 35 0 0 20 0 15 0 71423332 15384727552 548257 33554432000 4194304 4196468 140731793102192 140570884231536 140570421105102 0 4 0 25189583 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30451] ppid=30445 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30451/stat : 30451 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15384727552 548257 33554432000 4194304 4196468 140731793102192 140570916641936 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30452] ppid=30445 vsize=15024148 memory=372 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30452/stat : 30452 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15384727552 548257 33554432000 4194304 4196468 140731793102192 140570730798096 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30453] ppid=30445 vsize=15024148 memory=406 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30453/stat : 30453 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423334 15384727552 548257 33554432000 4194304 4196468 140731793102192 140570729745296 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30454] ppid=30445 vsize=15024148 memory=133 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30454/stat : 30454 (java) S 30445 30448 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71423334 15384727552 548257 33554432000 4194304 4196468 140731793102192 140570728692496 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30455] ppid=30445 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30455/stat : 30455 (java) S 30445 30448 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71423335 15384727552 548257 33554432000 4194304 4196468 140731793102192 140569681582448 140570912410242 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30456] ppid=30445 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30456/stat : 30456 (java) S 30445 30448 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71423336 15384727552 548257 33554432000 4194304 4196468 140731793102192 140569581970464 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30457] ppid=30445 vsize=15024148 memory=1311 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30457/stat : 30457 (java) S 30445 30448 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71423336 15384727552 548257 33554432000 4194304 4196468 140731793102192 140569313534832 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30458] ppid=30445 vsize=15024148 memory=56 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30458/stat : 30458 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423338 15384727552 548257 33554432000 4194304 4196468 140731793102192 140568939026256 140570912417691 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30459] ppid=30445 vsize=15024148 memory=9169 CPUtime=3.78 cores=0,2,4,6
/proc/30448/task/30459/stat : 30459 (java) S 30445 30448 29212 0 -1 1077944384 4596 0 0 0 377 1 0 0 20 0 15 0 71423339 15384727552 548769 33554432000 4194304 4196468 140731793102192 140569680530288 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30460] ppid=30445 vsize=15024148 memory=21520 CPUtime=4.06 cores=0,2,4,6
/proc/30448/task/30460/stat : 30460 (java) R 30445 30448 29212 0 -1 4202560 8169 0 0 0 405 1 0 0 20 0 15 0 71423340 15384727552 548769 33554432000 4194304 4196468 140731793102192 140569679477488 140570895924985 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30461] ppid=30445 vsize=15024148 memory=9169 CPUtime=1.33 cores=0,2,4,6
/proc/30448/task/30461/stat : 30461 (java) S 30445 30448 29212 0 -1 1077944384 6925 0 0 0 131 2 0 0 20 0 15 0 71423340 15384727552 548769 33554432000 4194304 4196468 140731793102192 140569678424688 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30462] ppid=30445 vsize=15024148 memory=280085286728960 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30462/stat : 30462 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15384727552 548769 33554432000 4194304 4196468 140731793102192 140568441121504 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30463] ppid=30445 vsize=15024148 memory=1791940888321 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30463/stat : 30463 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15384727552 548769 33554432000 4194304 4196468 140731793102192 140569677372080 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
Current children cumulated CPU time: 15.36 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2193028 KiB
[startup+12.7008 s]
/proc/loadavg: 5.44 5.13 4.67 5/216 30463
/proc/meminfo: memFree=9197844/32770624 swapFree=67076460/67108860
[pid=30448] ppid=30445 vsize=15028312 memory=3112680 CPUtime=26.79 cores=0,2,4,6
/proc/30448/stat : 30448 (java) S 30445 30448 29212 0 -1 1077944320 45327 0 0 0 2616 63 0 0 20 0 15 0 71423332 15388991488 778170 33554432000 4194304 4196468 140731793102192 140731793084736 140570912399095 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
/proc/30448/statm: 3757078 778170 3249 1 0 3717934 0
[pid=30448/tid=30450] ppid=30445 vsize=15028312 memory=3112680 CPUtime=12.45 cores=0,2,4,6
/proc/30448/task/30450/stat : 30450 (java) R 30445 30448 29212 0 -1 4202560 20075 0 0 0 1197 48 0 0 20 0 15 0 71423332 15388991488 778170 33554432000 4194304 4196468 140731793102192 140570884232880 140570419255507 0 4 0 25189583 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30451] ppid=30445 vsize=15028312 memory=2852484 CPUtime=0.08 cores=0,2,4,6
/proc/30448/task/30451/stat : 30451 (java) S 30445 30448 29212 0 -1 1077944384 168 0 0 0 7 1 0 0 20 0 15 0 71423334 15388991488 778170 33554432000 4194304 4196468 140731793102192 140570916641936 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30452] ppid=30445 vsize=15028312 memory=32705 CPUtime=0.09 cores=0,2,4,6
/proc/30448/task/30452/stat : 30452 (java) S 30445 30448 29212 0 -1 1077944384 120 0 0 0 7 2 0 0 20 0 15 0 71423334 15388991488 778170 33554432000 4194304 4196468 140731793102192 140570730798096 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30453] ppid=30445 vsize=15028312 memory=3107884 CPUtime=0.08 cores=0,2,4,6
/proc/30448/task/30453/stat : 30453 (java) S 30445 30448 29212 0 -1 1077944384 158 0 0 0 7 1 0 0 20 0 15 0 71423334 15388991488 778170 33554432000 4194304 4196468 140731793102192 140570729745296 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30454] ppid=30445 vsize=15028312 memory=3032 CPUtime=0.09 cores=0,2,4,6
/proc/30448/task/30454/stat : 30454 (java) S 30445 30448 29212 0 -1 1077944384 101 0 0 0 7 2 0 0 20 0 15 0 71423334 15388991488 778170 33554432000 4194304 4196468 140731793102192 140570728692496 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30455] ppid=30445 vsize=15028312 memory=3106356 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30455/stat : 30455 (java) S 30445 30448 29212 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 71423335 15388991488 778170 33554432000 4194304 4196468 140731793102192 140569681582448 140570912410242 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30456] ppid=30445 vsize=15028312 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30456/stat : 30456 (java) S 30445 30448 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71423336 15388991488 778170 33554432000 4194304 4196468 140731793102192 140569581970528 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30457] ppid=30445 vsize=15028312 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30457/stat : 30457 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423336 15388991488 778170 33554432000 4194304 4196468 140731793102192 140569313534832 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30458] ppid=30445 vsize=15028312 memory=3106660 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30458/stat : 30458 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423338 15388991488 778170 33554432000 4194304 4196468 140731793102192 140568939026256 140570912417691 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30459] ppid=30445 vsize=15028312 memory=2561668 CPUtime=5.94 cores=0,2,4,6
/proc/30448/task/30459/stat : 30459 (java) S 30445 30448 29212 0 -1 1077944384 6046 0 0 0 593 1 0 0 20 0 15 0 71423339 15388991488 778170 33554432000 4194304 4196468 140731793102192 140569680530288 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30460] ppid=30445 vsize=15028312 memory=3544 CPUtime=6.37 cores=0,2,4,6
/proc/30448/task/30460/stat : 30460 (java) S 30445 30448 29212 0 -1 1077944384 10323 0 0 0 636 1 0 0 20 0 15 0 71423340 15388991488 778170 33554432000 4194304 4196468 140731793102192 140569679477488 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30461] ppid=30445 vsize=15028312 memory=18464 CPUtime=1.6 cores=0,2,4,6
/proc/30448/task/30461/stat : 30461 (java) S 30445 30448 29212 0 -1 1077944384 6979 0 0 0 158 2 0 0 20 0 15 0 71423340 15388991488 778170 33554432000 4194304 4196468 140731793102192 140569678424688 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30462] ppid=30445 vsize=15028312 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30462/stat : 30462 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15388991488 778170 33554432000 4194304 4196468 140731793102192 140568441121504 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30463] ppid=30445 vsize=15028312 memory=-2892745056948402235 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30463/stat : 30463 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71423340 15388991488 778170 33554432000 4194304 4196468 140731793102192 140569677372080 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
Current children cumulated CPU time: 26.79 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3112680 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+25.0007 s]*
/proc/loadavg: 5.56 5.17 4.69 6/221 30469
/proc/meminfo: memFree=8014744/32770624 swapFree=67076460/67108860
[pid=30448] ppid=30445 vsize=15683912 memory=3926376 CPUtime=44.06 cores=0,2,4,6
/proc/30448/stat : 30448 (java) S 30445 30448 29212 0 -1 1077944320 68958 0 0 0 4228 178 0 0 20 0 19 0 71423332 16060325888 981594 33554432000 4194304 4196468 140731793102192 140731793084736 140570912399095 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
/proc/30448/statm: 3920978 981594 3270 1 0 3881834 0
[pid=30464] ppid=30448 vsize=384700 memory=303380 CPUtime=0.92 cores=0,2,4,6
/proc/30464/stat : 30464 (minisat_release) R 30448 30448 29212 0 -1 4202496 60031 0 0 0 84 8 0 0 20 0 1 0 71425739 393932800 75845 33554432000 4194304 4308513 140730475260592 140730474209592 139756780301285 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6409496 6410680 15835136 140730475262639 140730475263150 140730475263150 140730475265989 0
/proc/30464/statm: 96175 75845 318 28 0 92415 0
[pid=30448/tid=30450] ppid=30445 vsize=15683912 memory=8389772277269004345 CPUtime=22.61 cores=0,2,4,6
/proc/30448/task/30450/stat : 30450 (java) S 30445 30448 29212 0 -1 1077944384 23169 0 0 0 2204 57 0 0 20 0 19 0 71423332 16060325888 981594 33554432000 4194304 4196468 140731793102192 140570884238336 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30451] ppid=30445 vsize=15683912 memory=288230609019731991 CPUtime=1.05 cores=0,2,4,6
/proc/30448/task/30451/stat : 30451 (java) S 30445 30448 29212 0 -1 1077944384 2388 0 0 0 78 27 0 0 20 0 19 0 71423334 16060325888 981594 33554432000 4194304 4196468 140731793102192 140570916641936 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30452] ppid=30445 vsize=15683912 memory=4203940318853472288 CPUtime=1.05 cores=0,2,4,6
/proc/30448/task/30452/stat : 30452 (java) S 30445 30448 29212 0 -1 1077944384 657 0 0 0 78 27 0 0 20 0 19 0 71423334 16060325888 981594 33554432000 4194304 4196468 140731793102192 140570730798096 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30453] ppid=30445 vsize=15683912 memory=7008456647201796143 CPUtime=1.06 cores=0,2,4,6
/proc/30448/task/30453/stat : 30453 (java) S 30445 30448 29212 0 -1 1077944384 1233 0 0 0 79 27 0 0 20 0 19 0 71423334 16060325888 981594 33554432000 4194304 4196468 140731793102192 140570729745296 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30454] ppid=30445 vsize=15683912 memory=140042792531585 CPUtime=1.05 cores=0,2,4,6
/proc/30448/task/30454/stat : 30454 (java) S 30445 30448 29212 0 -1 1077944384 635 0 0 0 78 27 0 0 20 0 19 0 71423334 16060325888 981594 33554432000 4194304 4196468 140731793102192 140570728692496 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30455] ppid=30445 vsize=15683912 memory=7165352523810943800 CPUtime=0.02 cores=0,2,4,6
/proc/30448/task/30455/stat : 30455 (java) S 30445 30448 29212 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 19 0 71423335 16060325888 981594 33554432000 4194304 4196468 140731793102192 140569681582448 140570912410242 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30456] ppid=30445 vsize=15683912 memory=7597685182856913236 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30456/stat : 30456 (java) S 30445 30448 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 71423336 16060325888 981594 33554432000 4194304 4196468 140731793102192 140569581970528 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30457] ppid=30445 vsize=15683912 memory=8612618008844587056 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30457/stat : 30457 (java) S 30445 30448 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71423336 16060325888 981594 33554432000 4194304 4196468 140731793102192 140569313534848 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30458] ppid=30445 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30458/stat : 30458 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71423338 16060325888 981594 33554432000 4194304 4196468 140731793102192 140568939026256 140570912417691 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30459] ppid=30445 vsize=15683912 memory=8387746942428580399 CPUtime=7.41 cores=0,2,4,6
/proc/30448/task/30459/stat : 30459 (java) S 30445 30448 29212 0 -1 1077944384 12822 0 0 0 738 3 0 0 20 0 19 0 71423339 16060325888 981594 33554432000 4194304 4196468 140731793102192 140569680530288 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30460] ppid=30445 vsize=15683912 memory=4715515793214627046 CPUtime=7.99 cores=0,2,4,6
/proc/30448/task/30460/stat : 30460 (java) S 30445 30448 29212 0 -1 1077944384 18279 0 0 0 797 2 0 0 20 0 19 0 71423340 16060325888 981594 33554432000 4194304 4196468 140731793102192 140569679477488 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30461] ppid=30445 vsize=15683912 memory=8316297343878395758 CPUtime=1.73 cores=0,2,4,6
/proc/30448/task/30461/stat : 30461 (java) S 30445 30448 29212 0 -1 1077944384 8027 0 0 0 170 3 0 0 20 0 19 0 71423340 16060325888 981594 33554432000 4194304 4196468 140731793102192 140569678424688 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30462] ppid=30445 vsize=15683912 memory=3472468338953103024 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30462/stat : 30462 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71423340 16060325888 981594 33554432000 4194304 4196468 140731793102192 140568441121504 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30463] ppid=30445 vsize=15683912 memory=3472328296227418159 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30463/stat : 30463 (java) S 30445 30448 29212 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 71423340 16060325888 981594 33554432000 4194304 4196468 140731793102192 140569677372080 140570912410242 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30465] ppid=30445 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30465/stat : 30465 (java) S 30445 30448 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71425740 16060325888 981594 33554432000 4194304 4196468 140731793102192 140570723091648 140570912423705 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30467] ppid=30445 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30467/stat : 30467 (java) S 30445 30448 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 71425740 16060325888 981594 33554432000 4194304 4196468 140731793102192 140567904234672 140570912421021 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30468] ppid=30445 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30468/stat : 30468 (java) S 30445 30448 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71425740 16060325888 981594 33554432000 4194304 4196468 140731793102192 140568038457392 140570912421021 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
[pid=30448/tid=30469] ppid=30445 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30448/task/30469/stat : 30469 (java) S 30445 30448 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71425742 16060325888 981594 33554432000 4194304 4196468 140731793102192 140567635812000 140570912409301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140731793105908 140731793106185 140731793106185 140731793108943 0
Current children cumulated CPU time: 44.98 s
Current children cumulated vsize: 16068612 KiB
Current children cumulated memory: 4229756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+25.0654 s]
# the end of solver process 30448 was just reported to runsolver
# cumulated CPU time of all completed processes: user=43.1378 s, system=1.92357 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 25.0655
CPU time (s): 45.0613
CPU user time (s): 43.1378
CPU system time (s): 1.92357
CPU usage (%): 179.775
Max. virtual memory (cumulated for all children) (KiB): 16068612
Max. memory (cumulated for all children) (KiB): 4229756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.1378
system time used= 1.92357
maximum resident set size= 3928928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129192
page faults= 0
swaps= 0
block input operations= 8
block output operations= 123240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6342
involuntary context switches= 191
# summary of solver processes directly reported to runsolver:
# pid: 30448
# total CPU time (s): 45.0613
# total CPU user time (s): 43.1378
# total CPU system time (s): 1.92357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.172064 second user time and 0.283161 second system time
The end