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:15:41 CEST 2018
0.67/0.55 c PID: 31355
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.20/1.41 c (0,0) Parsing End
3.20/1.42 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1397 ctr, max domain size 23
3.20/1.42 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.20/1.42 c (0,0) Constraint Name Generate Begin
3.20/1.45 c (0,0) Ctr:HOME/instance-4295082-1532538940.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.20/1.45 c (0,0) Constraint Name Generate End
3.20/1.45 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.20/1.45 c (0,0) CSP to CSPinCNF Begin
12.19/4.61 c (4,4) translated 140 (10%) constraints
12.63/5.10 c (4,4) translated 280 (20%) constraints
12.80/5.12 c (4,4) translated 420 (30%) constraints
12.80/5.14 c (4,4) translated 559 (40%) constraints
12.80/5.16 c (4,4) translated 699 (50%) constraints
12.80/5.19 c (4,4) translated 839 (60%) constraints
13.17/5.20 c (4,4) translated 978 (70%) constraints
13.17/5.22 c (4,4) translated 1118 (80%) constraints
14.71/6.37 c (5,5) translated 1258 (90%) constraints
16.44/7.74 c (7,7) translated 1397 (100%) constraints
17.72/8.27 c (7,7) STATISTICS1:HOME/instance-4295082-1532538940.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,15800,54419,9223372036854775807,23,24,200,9223372036854775807:237;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:3;70368744177664:1;17592186044416:1;8796093022208:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,23:18000;2:151621,24:200;3:28000;2:25000;1:1219,200:51;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:2;101:2;100:2;98:2;95:4;92:2;90:2;89:2;86:2;85:2;83:2;80:4;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:3;47:1;45:1;44:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:138600;0:200,17689:51;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:2;4489:2;4356:2;4225:2;3969:4;3721:2;3600:2;3481:2;3249:2;3136:2;3025:2;2809:4;2601:1;2500:2;2401:1;2209:1;2116:2;2025:1;1849:3
17.72/8.27 c (7,7) ===========================================
17.72/8.27 c (7,7) Both Encoding selects:
17.72/8.27 c (7,7) Log
17.72/8.27 c (7,7) ===========================================
18.98/8.79 c (8,8) translated 5442 (10%) constraints
19.55/9.00 c (8,8) translated 10884 (20%) constraints
19.86/9.09 c (8,8) translated 16326 (30%) constraints
20.07/9.17 c (8,8) translated 21768 (40%) constraints
20.16/9.25 c (8,8) translated 27210 (50%) constraints
20.26/9.33 c (8,8) translated 32652 (60%) constraints
20.36/9.41 c (8,8) translated 38094 (70%) constraints
20.36/9.49 c (8,8) translated 43536 (80%) constraints
20.46/9.57 c (9,8) translated 48978 (90%) constraints
21.91/10.64 c (10,9) translated 54419 (100%) constraints
21.91/10.64 c (10,9) CSP to CSPinCNF End
21.91/10.65 c (10,9) CSP: 200 int (0 aux), 20200 bool (19200 aux), 63642 ctr, max domain size 23
21.91/10.65 c (10,9) Heap : 1538 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.91/10.65 c (10,9) CSPinCNF Propagation Begin
22.92/11.25 c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.92/11.25 c (10,10) CSPinCNF Propagation End
22.92/11.25 c (10,10) CSP: 200 int (0 aux), 20200 bool (19200 aux), 63242 ctr, max domain size 23
22.92/11.25 c (10,10) Heap : 1814 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.92/11.25 c (10,10) Simplify CSPinCNF Begin
23.18/11.39 c (10,10) Simplify CSPinCNF End
23.18/11.39 c (10,10) CSP: 200 int (0 aux), 20200 bool (19200 aux), 63242 ctr, max domain size 23
23.18/11.39 c (10,10) Heap : 1869 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.18/11.39 c (10,10) Calculate Precise Domain Begin
23.18/11.39 c (10,10) 0 values are removed by re-calculation
23.18/11.39 c (10,10) Calculate Precise Domain End
23.18/11.39 c (10,10) CSP: 200 int (0 aux), 20200 bool (19200 aux), 63242 ctr, max domain size 23
23.18/11.39 c (10,10) Heap : 1869 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.18/11.39 c (10,10) CSPinCNF to SatSolver Begin
26.42/12.83 c (12,12) 6325 (10 %) CSP clauses are being encoded (119427 SAT variables, 264837 SAT clauses)
27.08/13.16 c (12,12) 12649 (20 %) CSP clauses are being encoded (141998 SAT variables, 313140 SAT clauses)
28.18/13.64 c (13,12) 18973 (30 %) CSP clauses are being encoded (161112 SAT variables, 355128 SAT clauses)
28.46/13.79 c (13,12) 25297 (40 %) CSP clauses are being encoded (166265 SAT variables, 370557 SAT clauses)
28.97/13.94 c (13,13) 31621 (50 %) CSP clauses are being encoded (171372 SAT variables, 385902 SAT clauses)
29.14/14.08 c (13,13) 37946 (60 %) CSP clauses are being encoded (176592 SAT variables, 401449 SAT clauses)
29.34/14.21 c (13,13) 44270 (70 %) CSP clauses are being encoded (181812 SAT variables, 416995 SAT clauses)
29.47/14.40 c (13,13) 50594 (80 %) CSP clauses are being encoded (186940 SAT variables, 432379 SAT clauses)
29.57/14.53 c (14,13) 56918 (90 %) CSP clauses are being encoded (192072 SAT variables, 447769 SAT clauses)
40.17/22.00 c (21,20) 63242 (100 %) CSP clauses are being encoded (882657 SAT variables, 2472530 SAT clauses)
40.29/22.07 c (21,20) CSPinCNF to SatSolver End
40.29/22.07 c (21,20) Heap : 1050 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
41.18/22.49 c (21,20) STATISTICS2:HOME/instance-4295082-1532538940.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,20400,63242,9223372036854775807,23,23,200,9223372036854775807:237;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:3;70368744177664:1;17592186044416:1;8796093022208:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,23:26400;2:169621,23:200;3:27600;2:34200;1:1242,200:51;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:2;101:2;100:2;98:2;95:4;92:2;90:2;89:2;86:2;85:2;83:2;80:4;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:3;47:1;45:1;44:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:155800,2:237
41.18/22.49 c (21,20) SatSolver.solve Begin
41.18/22.49 c (21,20) 889757 bool, 2493547 clause
41.18/22.49 c (21,20) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295082-1532538940.xml-scop-31355.cnf HOME/instance-4295082-1532538940.xml-scop-31355.cnf.out
41.94/23.01 c (22,0) receiving signal SIGTERM
41.94/23.01 s UNKNOWN
41.94/23.02 c (22,20) SatSolver is killed by some reasons.
41.94/23.02 c (22,20) 0,0,10,10,10,10,21,TO,TO,STOP-AFTER(DIMACS)
41.94/23.02 c END-Prog: Wed Jul 25 19:16:03 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8228 MiB free)
memory of node 1: 16384 MiB (3780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295082-1532538940/watcher-4295082-1532538940 -o /tmp/evaluation-result-4295082-1532538940/solver-4295082-1532538940 -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-4295082-1532538940.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=31355, runsolver pid=31352
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.63 4.85 4.69 3/215 31370
/proc/meminfo: memFree=12237256/32770624 swapFree=67076460/67108860
[pid=31355] ppid=31352 vsize=15011656 memory=72592 CPUtime=0.11 cores=0,2,4,6
/proc/31355/stat : 31355 (java) S 31352 31355 29212 0 -1 1077944320 6847 0 0 0 9 2 0 0 20 0 15 0 71457164 15371935744 18148 33554432000 4194304 4196468 140730827993376 140730827975920 140569348095735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
/proc/31355/statm: 3752914 18148 2779 1 0 3715374 0
[pid=31355/tid=31357] ppid=31352 vsize=15011656 memory=-8628507060847545470 CPUtime=0.08 cores=0,2,4,6
/proc/31355/task/31357/stat : 31357 (java) R 31352 31355 29212 0 -1 4202560 4905 0 0 0 7 1 0 0 20 0 15 0 71457165 15371935744 18148 33554432000 4194304 4196468 140730827993376 140569319891616 140569329659295 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31358] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31358/stat : 31358 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457166 15371935744 18148 33554432000 4194304 4196468 140730827993376 140569352338192 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31359] ppid=31352 vsize=15011656 memory=140111823627904 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31359/stat : 31359 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457166 15371935744 18148 33554432000 4194304 4196468 140730827993376 140569181432720 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31360] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31360/stat : 31360 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457167 15371935744 18148 33554432000 4194304 4196468 140730827993376 140569180380176 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31361] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31361/stat : 31361 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457167 15371935744 18148 33554432000 4194304 4196468 140730827993376 140568807160976 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31362] ppid=31352 vsize=15011656 memory=140111823627904 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31362/stat : 31362 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457168 15371935744 18148 33554432000 4194304 4196468 140730827993376 140568386598896 140569348106882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31363] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31363/stat : 31363 (java) S 31352 31355 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71457168 15371935744 18148 33554432000 4194304 4196468 140730827993376 140567904248736 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31364] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31364/stat : 31364 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457169 15371935744 18148 33554432000 4194304 4196468 140730827993376 140567635813360 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31365] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31365/stat : 31365 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15371935744 18148 33554432000 4194304 4196468 140730827993376 140567261305040 140569348114331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31366] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31366/stat : 31366 (java) S 31352 31355 29212 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 71457171 15371935744 18148 33554432000 4194304 4196468 140730827993376 140568385546736 140569348106882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31367] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31367/stat : 31367 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457171 15371935744 18148 33554432000 4194304 4196468 140730827993376 140568384494192 140569348106882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31368] ppid=31352 vsize=15011656 memory=140111823627904 CPUtime=0.01 cores=0,2,4,6
/proc/31355/task/31368/stat : 31368 (java) S 31352 31355 29212 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 15 0 71457171 15371935744 18148 33554432000 4194304 4196468 140730827993376 140568383441648 140569348106882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31369] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31369/stat : 31369 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15371935744 18148 33554432000 4194304 4196468 140730827993376 140566763400288 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31370] ppid=31352 vsize=15011656 memory=140111823627904 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31370/stat : 31370 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457172 15371935744 18148 33554432000 4194304 4196468 140730827993376 140568382388528 140569348106882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72592 KiB
[startup+0.210237 s]*
/proc/loadavg: 4.63 4.85 4.69 6/215 31370
/proc/meminfo: memFree=12223924/32770624 swapFree=67076460/67108860
[pid=31355] ppid=31352 vsize=15011656 memory=86220 CPUtime=0.26 cores=0,2,4,6
/proc/31355/stat : 31355 (java) S 31352 31355 29212 0 -1 1077944320 10480 0 0 0 23 3 0 0 20 0 15 0 71457164 15371935744 21555 33554432000 4194304 4196468 140730827993376 140730827975920 140569348095735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
/proc/31355/statm: 3752914 21555 2916 1 0 3715374 0
[pid=31355/tid=31357] ppid=31352 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31355/task/31357/stat : 31357 (java) R 31352 31355 29212 0 -1 4202560 8319 0 0 0 18 2 0 0 20 0 15 0 71457165 15371935744 21555 33554432000 4194304 4196468 140730827993376 140569319922128 140569332176222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31358] ppid=31352 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31358/stat : 31358 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457166 15371935744 21555 33554432000 4194304 4196468 140730827993376 140569352338192 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31359] ppid=31352 vsize=15011656 memory=3616867308812494496 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31359/stat : 31359 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457166 15371935744 21555 33554432000 4194304 4196468 140730827993376 140569181432720 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31360] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31360/stat : 31360 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457167 15371935744 21555 33554432000 4194304 4196468 140730827993376 140569180380176 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31361] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31361/stat : 31361 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457167 15371935744 21555 33554432000 4194304 4196468 140730827993376 140568807160976 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31362] ppid=31352 vsize=15011656 memory=140111823627904 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31362/stat : 31362 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457168 15371935744 21555 33554432000 4194304 4196468 140730827993376 140568386598896 140569348106882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31363] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31363/stat : 31363 (java) S 31352 31355 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71457168 15371935744 21555 33554432000 4194304 4196468 140730827993376 140567904248736 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31364] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31364/stat : 31364 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457169 15371935744 21555 33554432000 4194304 4196468 140730827993376 140567635813360 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31365] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31365/stat : 31365 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15371935744 21555 33554432000 4194304 4196468 140730827993376 140567261305040 140569348114331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31366] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31366/stat : 31366 (java) S 31352 31355 29212 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 15 0 71457171 15371935744 21555 33554432000 4194304 4196468 140730827993376 140568385546736 140569348106882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31367] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31367/stat : 31367 (java) S 31352 31355 29212 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 71457171 15371935744 21555 33554432000 4194304 4196468 140730827993376 140568384494192 140569348106882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31368] ppid=31352 vsize=15011656 memory=140111823627904 CPUtime=0.03 cores=0,2,4,6
/proc/31355/task/31368/stat : 31368 (java) R 31352 31355 29212 0 -1 4202560 340 0 0 0 3 0 0 0 20 0 15 0 71457171 15371935744 21555 33554432000 4194304 4196468 140730827993376 140568383441648 140569327057022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31369] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31369/stat : 31369 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15371935744 21555 33554432000 4194304 4196468 140730827993376 140566763400288 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31370] ppid=31352 vsize=15011656 memory=140111823627904 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31370/stat : 31370 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457172 15371935744 21555 33554432000 4194304 4196468 140730827993376 140568382388528 140569348106882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86220 KiB
[startup+0.310315 s]*
/proc/loadavg: 4.63 4.85 4.69 6/215 31370
/proc/meminfo: memFree=12220264/32770624 swapFree=67076460/67108860
[pid=31355] ppid=31352 vsize=15011656 memory=90488 CPUtime=0.43 cores=0,2,4,6
/proc/31355/stat : 31355 (java) S 31352 31355 29212 0 -1 1077944320 11184 0 0 0 40 3 0 0 20 0 15 0 71457164 15371935744 22622 33554432000 4194304 4196468 140730827993376 140730827975920 140569348095735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
/proc/31355/statm: 3752914 22622 3022 1 0 3715374 0
[pid=31355/tid=31357] ppid=31352 vsize=15011656 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/31355/task/31357/stat : 31357 (java) R 31352 31355 29212 0 -1 4202560 8754 0 0 0 27 2 0 0 20 0 15 0 71457165 15371935744 22622 33554432000 4194304 4196468 140730827993376 140569319899888 140569332176222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31358] ppid=31352 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31358/stat : 31358 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457166 15371935744 22622 33554432000 4194304 4196468 140730827993376 140569352338192 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31359] ppid=31352 vsize=15011656 memory=3906785435312842400 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31359/stat : 31359 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457166 15371935744 22622 33554432000 4194304 4196468 140730827993376 140569181432720 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31360] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31360/stat : 31360 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457167 15371935744 22622 33554432000 4194304 4196468 140730827993376 140569180380176 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31361] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31361/stat : 31361 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457167 15371935744 22622 33554432000 4194304 4196468 140730827993376 140568807160976 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31362] ppid=31352 vsize=15011656 memory=140111823627904 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31362/stat : 31362 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457168 15371935744 22622 33554432000 4194304 4196468 140730827993376 140568386598896 140569348106882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31363] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31363/stat : 31363 (java) S 31352 31355 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71457168 15371935744 22622 33554432000 4194304 4196468 140730827993376 140567904248736 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31364] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31364/stat : 31364 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457169 15371935744 22622 33554432000 4194304 4196468 140730827993376 140567635813360 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31365] ppid=31352 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31365/stat : 31365 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15371935744 22622 33554432000 4194304 4196468 140730827993376 140567261305040 140569348114331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31366] ppid=31352 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31355/task/31366/stat : 31366 (java) R 31352 31355 29212 0 -1 4202560 359 0 0 0 1 0 0 0 20 0 15 0 71457171 15371935744 22622 33554432000 4194304 4196468 140730827993376 140568385546736 140569327607242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31367] ppid=31352 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31355/task/31367/stat : 31367 (java) S 31352 31355 29212 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 15 0 71457171 15371935744 22622 33554432000 4194304 4196468 140730827993376 140568384494192 140569348106882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31368] ppid=31352 vsize=15011656 memory=140111823627904 CPUtime=0.07 cores=0,2,4,6
/proc/31355/task/31368/stat : 31368 (java) S 31352 31355 29212 0 -1 1077944384 451 0 0 0 7 0 0 0 20 0 15 0 71457171 15371935744 22622 33554432000 4194304 4196468 140730827993376 140568383441648 140569348106882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31369] ppid=31352 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31369/stat : 31369 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15371935744 22622 33554432000 4194304 4196468 140730827993376 140566763400288 140569348105941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31370] ppid=31352 vsize=15011656 memory=140111823627904 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31370/stat : 31370 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457172 15371935744 22622 33554432000 4194304 4196468 140730827993376 140568382388528 140569348106882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90488 KiB
[startup+0.705071 s]
/proc/loadavg: 4.63 4.85 4.69 6/215 31370
/proc/meminfo: memFree=12195584/32770624 swapFree=67076460/67108860
[pid=31355] ppid=31352 vsize=15017928 memory=132624 CPUtime=1.05 cores=0,2,4,6
/proc/31355/stat : 31355 (java) S 31352 31355 29212 0 -1 1077944320 18373 0 0 0 100 5 0 0 20 0 15 0 71457164 15378358272 33156 33554432000 4194304 4196468 140730827993376 140730827975920 140569348095735 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
/proc/31355/statm: 3754482 33156 3138 1 0 3715886 0
[pid=31355/tid=31357] ppid=31352 vsize=15017928 memory=9972 CPUtime=0.67 cores=0,2,4,6
/proc/31355/task/31357/stat : 31357 (java) R 31352 31355 29212 0 -1 4202560 15320 0 0 0 63 4 0 0 20 0 15 0 71457165 15378358272 33156 33554432000 4194304 4196468 140730827993376 140569319917024 140569348117661 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31358] ppid=31352 vsize=15017928 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31358/stat : 31358 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457166 15378358272 33156 33554432000 4194304 4196468 140730827993376 140569352338192 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31359] ppid=31352 vsize=15017928 memory=640 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31359/stat : 31359 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457166 15378358272 33156 33554432000 4194304 4196468 140730827993376 140569181432720 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31360] ppid=31352 vsize=15017928 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31360/stat : 31360 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457167 15378358272 33156 33554432000 4194304 4196468 140730827993376 140569180380176 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31361] ppid=31352 vsize=15017928 memory=960 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31361/stat : 31361 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457167 15378358272 33156 33554432000 4194304 4196468 140730827993376 140568807160976 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31362] ppid=31352 vsize=15017928 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31362/stat : 31362 (java) S 31352 31355 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71457168 15378358272 33156 33554432000 4194304 4196468 140730827993376 140568386598896 140569348106882 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31363] ppid=31352 vsize=15017928 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31363/stat : 31363 (java) S 31352 31355 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71457168 15378358272 33156 33554432000 4194304 4196468 140730827993376 140567904248736 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31364] ppid=31352 vsize=15017928 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31364/stat : 31364 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457169 15378358272 33156 33554432000 4194304 4196468 140730827993376 140567635813360 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31365] ppid=31352 vsize=15017928 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31365/stat : 31365 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15378358272 33156 33554432000 4194304 4196468 140730827993376 140567261305040 140569348114331 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31366] ppid=31352 vsize=15017928 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/31355/task/31366/stat : 31366 (java) R 31352 31355 29212 0 -1 4202560 471 0 0 0 7 0 0 0 20 0 15 0 71457171 15378358272 33156 33554432000 4194304 4196468 140730827993376 140568385546736 140569341192136 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31367] ppid=31352 vsize=15017928 memory=7019257425709197167 CPUtime=0.1 cores=0,2,4,6
/proc/31355/task/31367/stat : 31367 (java) R 31352 31355 29212 0 -1 4202560 517 0 0 0 10 0 0 0 20 0 15 0 71457171 15378358272 33156 33554432000 4194304 4196468 140730827993376 140568384482336 140569332492615 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31368] ppid=31352 vsize=15017928 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/31355/task/31368/stat : 31368 (java) R 31352 31355 29212 0 -1 4202560 724 0 0 0 18 0 0 0 20 0 15 0 71457171 15378358272 33156 33554432000 4194304 4196468 140730827993376 140568383439608 140569332340895 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31369] ppid=31352 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31369/stat : 31369 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15378358272 33156 33554432000 4194304 4196468 140730827993376 140566763400288 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31370] ppid=31352 vsize=15017928 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31370/stat : 31370 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457172 15378358272 33156 33554432000 4194304 4196468 140730827993376 140568382388528 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 132624 KiB
[startup+1.50075 s]
/proc/loadavg: 4.63 4.85 4.69 8/215 31370
/proc/meminfo: memFree=12155136/32770624 swapFree=67076460/67108860
[pid=31355] ppid=31352 vsize=15022100 memory=197892 CPUtime=3.44 cores=0,2,4,6
/proc/31355/stat : 31355 (java) S 31352 31355 29212 0 -1 1077944320 21870 0 0 0 337 7 0 0 20 0 15 0 71457164 15382630400 49473 33554432000 4194304 4196468 140730827993376 140730827975920 140569348095735 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
/proc/31355/statm: 3755525 49473 3213 1 0 3716910 0
[pid=31355/tid=31357] ppid=31352 vsize=15022100 memory=169456 CPUtime=1.46 cores=0,2,4,6
/proc/31355/task/31357/stat : 31357 (java) R 31352 31355 29212 0 -1 4202560 16339 0 0 0 141 5 0 0 20 0 15 0 71457165 15382630400 49473 33554432000 4194304 4196468 140730827993376 140569319929968 140569348107670 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31358] ppid=31352 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31358/stat : 31358 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457166 15382630400 49473 33554432000 4194304 4196468 140730827993376 140569352338192 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31359] ppid=31352 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31359/stat : 31359 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457166 15382630400 49473 33554432000 4194304 4196468 140730827993376 140569181432720 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31360] ppid=31352 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31360/stat : 31360 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457167 15382630400 49473 33554432000 4194304 4196468 140730827993376 140569180380176 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31361] ppid=31352 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31361/stat : 31361 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457167 15382630400 49473 33554432000 4194304 4196468 140730827993376 140568807160976 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31362] ppid=31352 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31362/stat : 31362 (java) S 31352 31355 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71457168 15382630400 49473 33554432000 4194304 4196468 140730827993376 140568386598896 140569348106882 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
################
# More data... #
################
[pid=31355/tid=31363] ppid=31352 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31363/stat : 31363 (java) S 31352 31355 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71457168 15384727552 195444 33554432000 4194304 4196468 140730827993376 140567904248736 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31364] ppid=31352 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31364/stat : 31364 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457169 15384727552 195444 33554432000 4194304 4196468 140730827993376 140567635813360 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31365] ppid=31352 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31365/stat : 31365 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15384727552 195444 33554432000 4194304 4196468 140730827993376 140567261305040 140569348114331 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31366] ppid=31352 vsize=15024148 memory=0 CPUtime=1.9 cores=0,2,4,6
/proc/31355/task/31366/stat : 31366 (java) S 31352 31355 29212 0 -1 1077944384 3448 0 0 0 189 1 0 0 20 0 15 0 71457171 15384727552 195444 33554432000 4194304 4196468 140730827993376 140568385546736 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31367] ppid=31352 vsize=15024148 memory=0 CPUtime=1.9 cores=0,2,4,6
/proc/31355/task/31367/stat : 31367 (java) R 31352 31355 29212 0 -1 4202560 1796 0 0 0 190 0 0 0 20 0 15 0 71457171 15384727552 195444 33554432000 4194304 4196468 140730827993376 140568384476784 140569332487722 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31368] ppid=31352 vsize=15024148 memory=171 CPUtime=0.95 cores=0,2,4,6
/proc/31355/task/31368/stat : 31368 (java) R 31352 31355 29212 0 -1 4202560 3269 0 0 0 94 1 0 0 20 0 15 0 71457171 15384727552 195444 33554432000 4194304 4196468 140730827993376 140568383441648 140569341192571 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31369] ppid=31352 vsize=15024148 memory=173 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31369/stat : 31369 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15384727552 195444 33554432000 4194304 4196468 140730827993376 140566763400288 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31370] ppid=31352 vsize=15024148 memory=93 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31370/stat : 31370 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457172 15384727552 195444 33554432000 4194304 4196468 140730827993376 140568382388528 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 781776 KiB
[startup+6.30084 s]
/proc/loadavg: 4.66 4.86 4.69 6/215 31370
/proc/meminfo: memFree=10259824/32770624 swapFree=67076460/67108860
[pid=31355] ppid=31352 vsize=15024148 memory=2269332 CPUtime=14.71 cores=0,2,4,6
/proc/31355/stat : 31355 (java) S 31352 31355 29212 0 -1 1077944320 33278 0 0 0 1428 43 0 0 20 0 15 0 71457164 15384727552 567333 33554432000 4194304 4196468 140730827993376 140730827975920 140569348095735 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
/proc/31355/statm: 3756037 567333 3217 1 0 3717422 0
[pid=31355/tid=31357] ppid=31352 vsize=15024148 memory=1675960 CPUtime=6.25 cores=0,2,4,6
/proc/31355/task/31357/stat : 31357 (java) R 31352 31355 29212 0 -1 4202560 18659 0 0 0 587 38 0 0 20 0 15 0 71457165 15384727552 567333 33554432000 4194304 4196468 140730827993376 140569319928272 140568861558184 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31358] ppid=31352 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31358/stat : 31358 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457166 15384727552 567333 33554432000 4194304 4196468 140730827993376 140569352338192 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31359] ppid=31352 vsize=15024148 memory=355 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31359/stat : 31359 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457166 15384727552 567333 33554432000 4194304 4196468 140730827993376 140569181432720 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31360] ppid=31352 vsize=15024148 memory=355 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31360/stat : 31360 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457167 15384727552 567333 33554432000 4194304 4196468 140730827993376 140569180380176 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31361] ppid=31352 vsize=15024148 memory=132 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31361/stat : 31361 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457167 15384727552 567333 33554432000 4194304 4196468 140730827993376 140568807160976 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31362] ppid=31352 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31362/stat : 31362 (java) S 31352 31355 29212 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 71457168 15384727552 567333 33554432000 4194304 4196468 140730827993376 140568386598896 140569348106882 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31363] ppid=31352 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31363/stat : 31363 (java) S 31352 31355 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71457168 15384727552 567333 33554432000 4194304 4196468 140730827993376 140567904248736 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31364] ppid=31352 vsize=15024148 memory=1317 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31364/stat : 31364 (java) S 31352 31355 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71457169 15384727552 567333 33554432000 4194304 4196468 140730827993376 140567635813360 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31365] ppid=31352 vsize=15024148 memory=56 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31365/stat : 31365 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15384727552 567333 33554432000 4194304 4196468 140730827993376 140567261305040 140569348114331 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31366] ppid=31352 vsize=15024148 memory=9169 CPUtime=3.55 cores=0,2,4,6
/proc/31355/task/31366/stat : 31366 (java) S 31352 31355 29212 0 -1 1077944384 4354 0 0 0 354 1 0 0 20 0 15 0 71457171 15384727552 567845 33554432000 4194304 4196468 140730827993376 140568385546736 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31367] ppid=31352 vsize=15024148 memory=21520 CPUtime=3.55 cores=0,2,4,6
/proc/31355/task/31367/stat : 31367 (java) S 31352 31355 29212 0 -1 1077944384 4431 0 0 0 354 1 0 0 20 0 15 0 71457171 15384727552 567845 33554432000 4194304 4196468 140730827993376 140568384494192 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31368] ppid=31352 vsize=15024148 memory=9169 CPUtime=1.32 cores=0,2,4,6
/proc/31355/task/31368/stat : 31368 (java) S 31352 31355 29212 0 -1 1077944384 4489 0 0 0 131 1 0 0 20 0 15 0 71457171 15384727552 567845 33554432000 4194304 4196468 140730827993376 140568383441648 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31369] ppid=31352 vsize=15024148 memory=280223396771072 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31369/stat : 31369 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15384727552 567845 33554432000 4194304 4196468 140730827993376 140566763400288 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31370] ppid=31352 vsize=15024148 memory=1792276432641 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31370/stat : 31370 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457172 15384727552 567845 33554432000 4194304 4196468 140730827993376 140568382388528 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
Current children cumulated CPU time: 14.71 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2269332 KiB
[startup+12.7011 s]
/proc/loadavg: 4.71 4.86 4.69 3/215 31370
/proc/meminfo: memFree=9192436/32770624 swapFree=67076460/67108860
[pid=31355] ppid=31352 vsize=15028312 memory=3110588 CPUtime=26.18 cores=0,2,4,6
/proc/31355/stat : 31355 (java) S 31352 31355 29212 0 -1 1077944320 41704 0 0 0 2551 67 0 0 20 0 15 0 71457164 15388991488 777647 33554432000 4194304 4196468 140730827993376 140730827975920 140569348095735 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
/proc/31355/statm: 3757078 777647 3251 1 0 3717934 0
[pid=31355/tid=31357] ppid=31352 vsize=15028312 memory=3110588 CPUtime=12.54 cores=0,2,4,6
/proc/31355/task/31357/stat : 31357 (java) R 31352 31355 29212 0 -1 4202560 20025 0 0 0 1204 50 0 0 20 0 15 0 71457165 15388991488 777647 33554432000 4194304 4196468 140730827993376 140569319931440 140568853922503 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31358] ppid=31352 vsize=15028312 memory=2920596 CPUtime=0.09 cores=0,2,4,6
/proc/31355/task/31358/stat : 31358 (java) S 31352 31355 29212 0 -1 1077944384 109 0 0 0 7 2 0 0 20 0 15 0 71457166 15388991488 777647 33554432000 4194304 4196468 140730827993376 140569352338192 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31359] ppid=31352 vsize=15028312 memory=3472328296160571505 CPUtime=0.09 cores=0,2,4,6
/proc/31355/task/31359/stat : 31359 (java) S 31352 31355 29212 0 -1 1077944384 152 0 0 0 7 2 0 0 20 0 15 0 71457166 15388991488 777647 33554432000 4194304 4196468 140730827993376 140569181432720 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31360] ppid=31352 vsize=15028312 memory=3096128 CPUtime=0.09 cores=0,2,4,6
/proc/31355/task/31360/stat : 31360 (java) S 31352 31355 29212 0 -1 1077944384 72 0 0 0 7 2 0 0 20 0 15 0 71457167 15388991488 777647 33554432000 4194304 4196468 140730827993376 140569180380176 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31361] ppid=31352 vsize=15028312 memory=3032 CPUtime=0.09 cores=0,2,4,6
/proc/31355/task/31361/stat : 31361 (java) S 31352 31355 29212 0 -1 1077944384 164 0 0 0 7 2 0 0 20 0 15 0 71457167 15388991488 777647 33554432000 4194304 4196468 140730827993376 140568807160976 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31362] ppid=31352 vsize=15028312 memory=3099404 CPUtime=0.01 cores=0,2,4,6
/proc/31355/task/31362/stat : 31362 (java) S 31352 31355 29212 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 71457168 15388991488 777647 33554432000 4194304 4196468 140730827993376 140568386598896 140569348106882 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31363] ppid=31352 vsize=15028312 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31363/stat : 31363 (java) S 31352 31355 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 71457168 15388991488 777647 33554432000 4194304 4196468 140730827993376 140567904248800 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31364] ppid=31352 vsize=15028312 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31364/stat : 31364 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71457169 15388991488 777647 33554432000 4194304 4196468 140730827993376 140567635813360 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31365] ppid=31352 vsize=15028312 memory=3090808 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31365/stat : 31365 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15388991488 777647 33554432000 4194304 4196468 140730827993376 140567261305040 140569348114331 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31366] ppid=31352 vsize=15028312 memory=2635924 CPUtime=5.65 cores=0,2,4,6
/proc/31355/task/31366/stat : 31366 (java) R 31352 31355 29212 0 -1 4202560 7431 0 0 0 563 2 0 0 20 0 15 0 71457171 15388991488 777647 33554432000 4194304 4196468 140730827993376 140568385546736 140569329640400 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31367] ppid=31352 vsize=15028312 memory=3544 CPUtime=5.9 cores=0,2,4,6
/proc/31355/task/31367/stat : 31367 (java) R 31352 31355 29212 0 -1 4202560 7831 0 0 0 588 2 0 0 20 0 15 0 71457171 15388991488 777647 33554432000 4194304 4196468 140730827993376 140568384480832 140569329639923 0 4 0 25189583 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31368] ppid=31352 vsize=15028312 memory=18464 CPUtime=1.65 cores=0,2,4,6
/proc/31355/task/31368/stat : 31368 (java) S 31352 31355 29212 0 -1 1077944384 4561 0 0 0 163 2 0 0 20 0 15 0 71457171 15388991488 777647 33554432000 4194304 4196468 140730827993376 140568383441648 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31369] ppid=31352 vsize=15028312 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31369/stat : 31369 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457171 15388991488 777647 33554432000 4194304 4196468 140730827993376 140566763400288 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31370] ppid=31352 vsize=15028312 memory=-2892745056948402235 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31370/stat : 31370 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71457172 15388991488 777647 33554432000 4194304 4196468 140730827993376 140568382388528 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
Current children cumulated CPU time: 26.18 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3110588 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+23.0007 s]*
/proc/loadavg: 4.75 4.87 4.69 6/220 31376
/proc/meminfo: memFree=8112392/32770624 swapFree=67076460/67108860
[pid=31355] ppid=31352 vsize=15683912 memory=3973004 CPUtime=41.45 cores=0,2,4,6
/proc/31355/stat : 31355 (java) S 31352 31355 29212 0 -1 1077944320 57792 0 0 0 3960 185 0 0 20 0 19 0 71457164 16060325888 993251 33554432000 4194304 4196468 140730827993376 140730827975920 140569348095735 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
/proc/31355/statm: 3920978 993251 3272 1 0 3881834 0
[pid=31371] ppid=31355 vsize=207464 memory=165600 CPUtime=0.49 cores=0,2,4,6
/proc/31371/stat : 31371 (minisat_release) R 31355 31355 29212 0 -1 4202496 35772 0 0 0 42 7 0 0 20 0 1 0 71459416 212443136 41400 33554432000 4194304 4308513 140733077604320 140733077601464 140363648777189 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 27983872 140733077607087 140733077607598 140733077607598 140733077610437 0
/proc/31371/statm: 51866 41400 318 28 0 48106 0
[pid=31355/tid=31357] ppid=31352 vsize=15683912 memory=-7824251494390716520 CPUtime=21.3 cores=0,2,4,6
/proc/31355/task/31357/stat : 31357 (java) S 31352 31355 29212 0 -1 1077944384 23553 0 0 0 2070 60 0 0 20 0 19 0 71457165 16060325888 993251 33554432000 4194304 4196468 140730827993376 140569319934976 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31358] ppid=31352 vsize=15683912 memory=7959395632135288376 CPUtime=1.09 cores=0,2,4,6
/proc/31355/task/31358/stat : 31358 (java) S 31352 31355 29212 0 -1 1077944384 2573 0 0 0 81 28 0 0 20 0 19 0 71457166 16060325888 993251 33554432000 4194304 4196468 140730827993376 140569352338192 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31359] ppid=31352 vsize=15683912 memory=7165352523810943801 CPUtime=1.1 cores=0,2,4,6
/proc/31355/task/31359/stat : 31359 (java) S 31352 31355 29212 0 -1 1077944384 712 0 0 0 82 28 0 0 20 0 19 0 71457166 16060325888 993251 33554432000 4194304 4196468 140730827993376 140569181432720 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31360] ppid=31352 vsize=15683912 memory=7165352523811009337 CPUtime=1.1 cores=0,2,4,6
/proc/31355/task/31360/stat : 31360 (java) S 31352 31355 29212 0 -1 1077944384 1130 0 0 0 81 29 0 0 20 0 19 0 71457167 16060325888 993251 33554432000 4194304 4196468 140730827993376 140569180380176 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31361] ppid=31352 vsize=15683912 memory=7165352523810747961 CPUtime=1.1 cores=0,2,4,6
/proc/31355/task/31361/stat : 31361 (java) S 31352 31355 29212 0 -1 1077944384 777 0 0 0 82 28 0 0 20 0 19 0 71457167 16060325888 993251 33554432000 4194304 4196468 140730827993376 140568807160976 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31362] ppid=31352 vsize=15683912 memory=7883313791599390769 CPUtime=0.02 cores=0,2,4,6
/proc/31355/task/31362/stat : 31362 (java) S 31352 31355 29212 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 19 0 71457168 16060325888 993251 33554432000 4194304 4196468 140730827993376 140568386598896 140569348106882 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31363] ppid=31352 vsize=15683912 memory=8104553123293509169 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31363/stat : 31363 (java) S 31352 31355 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 71457168 16060325888 993251 33554432000 4194304 4196468 140730827993376 140567904248800 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31364] ppid=31352 vsize=15683912 memory=7020451624686056890 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31364/stat : 31364 (java) S 31352 31355 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71457169 16060325888 993251 33554432000 4194304 4196468 140730827993376 140567635813376 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31365] ppid=31352 vsize=15683912 memory=7886128541265572146 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31365/stat : 31365 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71457171 16060325888 993251 33554432000 4194304 4196468 140730827993376 140567261305040 140569348114331 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31366] ppid=31352 vsize=15683912 memory=8386028099954094386 CPUtime=6.85 cores=0,2,4,6
/proc/31355/task/31366/stat : 31366 (java) S 31352 31355 29212 0 -1 1077944384 10267 0 0 0 683 2 0 0 20 0 19 0 71457171 16060325888 993251 33554432000 4194304 4196468 140730827993376 140568385546736 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31367] ppid=31352 vsize=15683912 memory=8242475861848437042 CPUtime=7.08 cores=0,2,4,6
/proc/31355/task/31367/stat : 31367 (java) S 31352 31355 29212 0 -1 1077944384 11238 0 0 0 706 2 0 0 20 0 19 0 71457171 16060325888 993251 33554432000 4194304 4196468 140730827993376 140568384494192 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31368] ppid=31352 vsize=15683912 memory=8389687274600674098 CPUtime=1.71 cores=0,2,4,6
/proc/31355/task/31368/stat : 31368 (java) S 31352 31355 29212 0 -1 1077944384 5734 0 0 0 169 2 0 0 20 0 19 0 71457171 16060325888 993251 33554432000 4194304 4196468 140730827993376 140568383441648 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31369] ppid=31352 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31369/stat : 31369 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71457171 16060325888 993251 33554432000 4194304 4196468 140730827993376 140566763400288 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31370] ppid=31352 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31370/stat : 31370 (java) S 31352 31355 29212 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 71457172 16060325888 993251 33554432000 4194304 4196468 140730827993376 140568382388528 140569348106882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31372] ppid=31352 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31372/stat : 31372 (java) S 31352 31355 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71459416 16060325888 993251 33554432000 4194304 4196468 140730827993376 140568374580288 140569348120345 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31374] ppid=31352 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31374/stat : 31374 (java) S 31352 31355 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 71459416 16060325888 993251 33554432000 4194304 4196468 140730827993376 140566226513456 140569348117661 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31375] ppid=31352 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31375/stat : 31375 (java) S 31352 31355 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 71459416 16060325888 993251 33554432000 4194304 4196468 140730827993376 140566360735408 140569348117661 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
[pid=31355/tid=31376] ppid=31352 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31355/task/31376/stat : 31376 (java) S 31352 31355 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71459418 16060325888 993251 33554432000 4194304 4196468 140730827993376 140565958090272 140569348105941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140730827998196 140730827998473 140730827998473 140730828001231 0
Current children cumulated CPU time: 41.94 s
Current children cumulated vsize: 15891376 KiB
Current children cumulated memory: 4138604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+23.0575 s]
# the end of solver process 31355 was just reported to runsolver
# cumulated CPU time of all completed processes: user=40.0349 s, system=1.97944 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 23.0576
CPU time (s): 42.0144
CPU user time (s): 40.0349
CPU system time (s): 1.97944
CPU usage (%): 182.215
Max. virtual memory (cumulated for all children) (KiB): 15891376
Max. memory (cumulated for all children) (KiB): 4138604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.0349
system time used= 1.97944
maximum resident set size= 3975472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 108440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6270
involuntary context switches= 269
# summary of solver processes directly reported to runsolver:
# pid: 31355
# total CPU time (s): 42.0144
# total CPU user time (s): 40.0349
# total CPU system time (s): 1.97944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.16622 second user time and 0.260777 second system time
The end