0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Wed Jul 25 19:13:03 CEST 2018
0.66/0.55 c PID: 30776
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
3.21/1.40 c (0,0) Parsing End
3.21/1.41 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1440 ctr, max domain size 26
3.21/1.41 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.41 c (0,0) Constraint Name Generate Begin
3.21/1.44 c (0,0) Ctr:HOME/instance-4295019-1532538782.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.21/1.44 c (0,0) Constraint Name Generate End
3.21/1.44 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.44 c (0,0) CSP to CSPinCNF Begin
12.11/4.73 c (4,4) translated 144 (10%) constraints
12.54/5.19 c (4,4) translated 288 (20%) constraints
12.71/5.22 c (4,4) translated 432 (30%) constraints
12.71/5.24 c (4,4) translated 576 (40%) constraints
12.71/5.28 c (4,4) translated 720 (50%) constraints
13.07/5.30 c (4,4) translated 864 (60%) constraints
13.07/5.32 c (4,4) translated 1008 (70%) constraints
13.07/5.34 c (4,4) translated 1152 (80%) constraints
15.08/6.83 c (6,6) translated 1296 (90%) constraints
16.39/7.80 c (7,7) translated 1440 (100%) constraints
17.62/8.37 c (7,7) STATISTICS1:HOME/instance-4295019-1532538782.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57065,9223372036854775807,26,25,200,9223372036854775807:268;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:2;17179869184:1;16:392;4:396;2:199,26:20400;2:159196,25:200;3:29600;2:26000;1:1265,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:2;35: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:5;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:3;1764:1
17.62/8.37 c (7,7) ===========================================
17.62/8.37 c (7,7) Both Encoding selects:
17.62/8.37 c (7,7) Log
17.62/8.37 c (7,7) ===========================================
18.98/8.91 c (8,8) translated 5707 (10%) constraints
19.42/9.12 c (8,8) translated 11413 (20%) constraints
19.68/9.21 c (8,8) translated 17120 (30%) constraints
19.68/9.29 c (8,8) translated 22826 (40%) constraints
19.80/9.37 c (8,8) translated 28533 (50%) constraints
19.90/9.46 c (8,8) translated 34239 (60%) constraints
20.00/9.54 c (9,8) translated 39946 (70%) constraints
20.10/9.62 c (9,8) translated 45652 (80%) constraints
20.20/9.70 c (9,9) translated 51359 (90%) constraints
21.72/10.82 c (10,10) translated 57065 (100%) constraints
21.72/10.82 c (10,10) CSP to CSPinCNF End
21.72/10.83 c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67491 ctr, max domain size 26
21.72/10.83 c (10,10) Heap : 1852 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.72/10.83 c (10,10) CSPinCNF Propagation Begin
22.76/11.45 c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.76/11.45 c (10,10) CSPinCNF Propagation End
22.76/11.46 c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67091 ctr, max domain size 26
22.76/11.46 c (10,10) Heap : 2180 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.76/11.46 c (10,10) Simplify CSPinCNF Begin
23.13/11.60 c (11,10) Simplify CSPinCNF End
23.13/11.60 c (11,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67091 ctr, max domain size 26
23.13/11.60 c (11,10) Heap : 2234 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.13/11.60 c (11,10) Calculate Precise Domain Begin
23.13/11.60 c (11,10) 0 values are removed by re-calculation
23.13/11.60 c (11,10) Calculate Precise Domain End
23.13/11.61 c (11,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67091 ctr, max domain size 26
23.13/11.61 c (11,10) Heap : 2234 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.13/11.61 c (11,10) CSPinCNF to SatSolver Begin
26.91/13.27 c (12,12) 6710 (10 %) CSP clauses are being encoded (126143 SAT variables, 279028 SAT clauses)
27.63/13.61 c (13,12) 13419 (20 %) CSP clauses are being encoded (149484 SAT variables, 329064 SAT clauses)
27.93/13.93 c (13,13) 20128 (30 %) CSP clauses are being encoded (173500 SAT variables, 380591 SAT clauses)
28.46/14.14 c (13,13) 26837 (40 %) CSP clauses are being encoded (180080 SAT variables, 399116 SAT clauses)
28.86/14.30 c (13,13) 33546 (50 %) CSP clauses are being encoded (185996 SAT variables, 416265 SAT clauses)
28.96/14.45 c (13,13) 40255 (60 %) CSP clauses are being encoded (192116 SAT variables, 433774 SAT clauses)
29.06/14.59 c (14,13) 46964 (70 %) CSP clauses are being encoded (198032 SAT variables, 450923 SAT clauses)
29.26/14.74 c (14,13) 53673 (80 %) CSP clauses are being encoded (204152 SAT variables, 468432 SAT clauses)
29.36/14.88 c (14,14) 60382 (90 %) CSP clauses are being encoded (210098 SAT variables, 485633 SAT clauses)
41.91/24.14 c (23,22) 67091 (100 %) CSP clauses are being encoded (1089100 SAT variables, 3076012 SAT clauses)
42.00/24.20 c (23,22) CSPinCNF to SatSolver End
42.00/24.20 c (23,22) Heap : 3089 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
45.28/25.21 c (24,23) STATISTICS2:HOME/instance-4295019-1532538782.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21800,67091,9223372036854775807,26,24,200,9223372036854775807:268;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:2;17179869184:1;16:392;4:396;2:199,26:30000;2:179596,24:200;3:29200;2:36400;1:1291,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:2;35:1;5:392;3:396;2:199;1:165200,2:268
45.28/25.21 c (24,23) SatSolver.solve Begin
45.28/25.21 c (24,23) 1095657 bool, 3095526 clause
45.28/25.21 c (24,23) 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-4295019-1532538782.xml-scop-30776.cnf HOME/instance-4295019-1532538782.xml-scop-30776.cnf.out
46.17/26.01 c (25,0) receiving signal SIGTERM
46.17/26.01 s UNKNOWN
46.17/26.02 c (25,23) SatSolver is killed by some reasons.
46.17/26.02 c (25,23) 0,0,10,10,11,11,23,TO,TO,STOP-AFTER(DIMACS)
46.17/26.02 c END-Prog: Wed Jul 25 19:13:29 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 (8231 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-4295019-1532538782/watcher-4295019-1532538782 -o /tmp/evaluation-result-4295019-1532538782/solver-4295019-1532538782 -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-4295019-1532538782.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30776, runsolver pid=30773
[startup+0.100091 s]*
/proc/loadavg: 5.00 5.03 4.70 6/216 30791
/proc/meminfo: memFree=12238780/32770624 swapFree=67076460/67108860
[pid=30776] ppid=30773 vsize=15011656 memory=74156 CPUtime=0.11 cores=0,2,4,6
/proc/30776/stat : 30776 (java) S 30773 30776 29212 0 -1 1077944320 6199 0 0 0 9 2 0 0 20 0 15 0 71441419 15371935744 18539 33554432000 4194304 4196468 140721575033120 140721575015664 140645559803639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
/proc/30776/statm: 3752914 18539 2778 1 0 3715374 0
[pid=30776/tid=30778] ppid=30773 vsize=15011656 memory=-8484391872771428482 CPUtime=0.09 cores=0,2,4,6
/proc/30776/task/30778/stat : 30778 (java) R 30773 30776 29212 0 -1 4202560 4314 0 0 0 7 2 0 0 20 0 15 0 71441420 15371935744 18539 33554432000 4194304 4196468 140721575033120 140645531615624 140645540079388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30779] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30779/stat : 30779 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 18539 33554432000 4194304 4196468 140721575033120 140645564046480 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30780] ppid=30773 vsize=15011656 memory=140248776676992 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30780/stat : 30780 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 18539 33554432000 4194304 4196468 140721575033120 140645355129872 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30781] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30781/stat : 30781 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 18605 33554432000 4194304 4196468 140721575033120 140645354077072 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30782] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30782/stat : 30782 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 18605 33554432000 4194304 4196468 140721575033120 140645353024272 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30783] ppid=30773 vsize=15011656 memory=140248776676992 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30783/stat : 30783 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441423 15371935744 18605 33554432000 4194304 4196468 140721575033120 140644899031408 140645559814786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30784] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30784/stat : 30784 (java) S 30773 30776 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71441423 15371935744 18605 33554432000 4194304 4196468 140721575033120 140644207027232 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30785] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30785/stat : 30785 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441424 15371935744 18605 33554432000 4194304 4196468 140721575033120 140643938591600 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30786] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30786/stat : 30786 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 18605 33554432000 4194304 4196468 140721575033120 140643564083024 140645559822235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30787] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30787/stat : 30787 (java) S 30773 30776 29212 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 18605 33554432000 4194304 4196468 140721575033120 140644897979248 140645559814786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30788] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30788/stat : 30788 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 18605 33554432000 4194304 4196468 140721575033120 140644896926448 140645559814786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30789] ppid=30773 vsize=15011656 memory=140248776676992 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30789/stat : 30789 (java) S 30773 30776 29212 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 18605 33554432000 4194304 4196468 140721575033120 140644895873648 140645559814786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30790] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30790/stat : 30790 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 18605 33554432000 4194304 4196468 140721575033120 140643066178272 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30791] ppid=30773 vsize=15011656 memory=140248776676992 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30791/stat : 30791 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 18605 33554432000 4194304 4196468 140721575033120 140644894821040 140645559814786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74156 KiB
[startup+0.210504 s]*
/proc/loadavg: 5.00 5.03 4.70 6/216 30791
/proc/meminfo: memFree=12225324/32770624 swapFree=67076460/67108860
[pid=30776] ppid=30773 vsize=15011656 memory=86716 CPUtime=0.25 cores=0,2,4,6
/proc/30776/stat : 30776 (java) S 30773 30776 29212 0 -1 1077944320 9586 0 0 0 22 3 0 0 20 0 15 0 71441419 15371935744 21679 33554432000 4194304 4196468 140721575033120 140721575015664 140645559803639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
/proc/30776/statm: 3752914 21679 2912 1 0 3715374 0
[pid=30776/tid=30778] ppid=30773 vsize=15011656 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30776/task/30778/stat : 30778 (java) R 30773 30776 29212 0 -1 4202560 7490 0 0 0 17 2 0 0 20 0 15 0 71441420 15371935744 21679 33554432000 4194304 4196468 140721575033120 140645531628848 140645559824986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30779] ppid=30773 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30779/stat : 30779 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 21679 33554432000 4194304 4196468 140721575033120 140645564046480 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30780] ppid=30773 vsize=15011656 memory=3906785572265891488 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30780/stat : 30780 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 21679 33554432000 4194304 4196468 140721575033120 140645355129872 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30781] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30781/stat : 30781 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 21679 33554432000 4194304 4196468 140721575033120 140645354077072 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30782] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30782/stat : 30782 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 21679 33554432000 4194304 4196468 140721575033120 140645353024272 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30783] ppid=30773 vsize=15011656 memory=140248776676992 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30783/stat : 30783 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441423 15371935744 21679 33554432000 4194304 4196468 140721575033120 140644899031408 140645559814786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30784] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30784/stat : 30784 (java) S 30773 30776 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71441423 15371935744 21679 33554432000 4194304 4196468 140721575033120 140644207027232 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30785] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30785/stat : 30785 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441424 15371935744 21679 33554432000 4194304 4196468 140721575033120 140643938591600 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30786] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30786/stat : 30786 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 21679 33554432000 4194304 4196468 140721575033120 140643564083024 140645559822235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30787] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30787/stat : 30787 (java) R 30773 30776 29212 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 21679 33554432000 4194304 4196468 140721575033120 140644897979248 140645559814786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30788] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30788/stat : 30788 (java) R 30773 30776 29212 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 21679 33554432000 4194304 4196468 140721575033120 140644896926288 140645544198576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30789] ppid=30773 vsize=15011656 memory=140248776676992 CPUtime=0.03 cores=0,2,4,6
/proc/30776/task/30789/stat : 30789 (java) R 30773 30776 29212 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 71441426 15371935744 21679 33554432000 4194304 4196468 140721575033120 140644895873648 140645544969294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30790] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30790/stat : 30790 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 21679 33554432000 4194304 4196468 140721575033120 140643066178272 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30791] ppid=30773 vsize=15011656 memory=140248776676992 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30791/stat : 30791 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 21679 33554432000 4194304 4196468 140721575033120 140644894821040 140645559814786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86716 KiB
[startup+0.310369 s]*
/proc/loadavg: 5.00 5.03 4.70 6/216 30791
/proc/meminfo: memFree=12220912/32770624 swapFree=67076460/67108860
[pid=30776] ppid=30773 vsize=15011656 memory=90452 CPUtime=0.43 cores=0,2,4,6
/proc/30776/stat : 30776 (java) S 30773 30776 29212 0 -1 1077944320 10127 0 0 0 39 4 0 0 20 0 15 0 71441419 15371935744 22613 33554432000 4194304 4196468 140721575033120 140721575015664 140645559803639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
/proc/30776/statm: 3752914 22613 3030 1 0 3715374 0
[pid=30776/tid=30778] ppid=30773 vsize=15011656 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/30776/task/30778/stat : 30778 (java) R 30773 30776 29212 0 -1 4202560 7860 0 0 0 27 3 0 0 20 0 15 0 71441420 15371935744 22613 33554432000 4194304 4196468 140721575033120 140645531631264 140645543847269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30779] ppid=30773 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30779/stat : 30779 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 22613 33554432000 4194304 4196468 140721575033120 140645564046480 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30780] ppid=30773 vsize=15011656 memory=3762670384190035616 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30780/stat : 30780 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 22613 33554432000 4194304 4196468 140721575033120 140645355129872 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30781] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30781/stat : 30781 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 22613 33554432000 4194304 4196468 140721575033120 140645354077072 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30782] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30782/stat : 30782 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441421 15371935744 22613 33554432000 4194304 4196468 140721575033120 140645353024272 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30783] ppid=30773 vsize=15011656 memory=140248776676992 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30783/stat : 30783 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441423 15371935744 22613 33554432000 4194304 4196468 140721575033120 140644899031408 140645559814786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30784] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30784/stat : 30784 (java) S 30773 30776 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71441423 15371935744 22613 33554432000 4194304 4196468 140721575033120 140644207027232 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30785] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30785/stat : 30785 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441424 15371935744 22613 33554432000 4194304 4196468 140721575033120 140643938591600 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30786] ppid=30773 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30786/stat : 30786 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 22613 33554432000 4194304 4196468 140721575033120 140643564083024 140645559822235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30787] ppid=30773 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30776/task/30787/stat : 30787 (java) R 30773 30776 29212 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 71441426 15371935744 22613 33554432000 4194304 4196468 140721575033120 140644897979248 140645552093088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30788] ppid=30773 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30776/task/30788/stat : 30788 (java) R 30773 30776 29212 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 71441426 15371935744 22613 33554432000 4194304 4196468 140721575033120 140644896926448 140645559814786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30789] ppid=30773 vsize=15011656 memory=140248776676992 CPUtime=0.07 cores=0,2,4,6
/proc/30776/task/30789/stat : 30789 (java) R 30773 30776 29212 0 -1 4202560 310 0 0 0 7 0 0 0 20 0 15 0 71441426 15371935744 22613 33554432000 4194304 4196468 140721575033120 140644895873648 140645538749288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30790] ppid=30773 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30790/stat : 30790 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 22613 33554432000 4194304 4196468 140721575033120 140643066178272 140645559813845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30791] ppid=30773 vsize=15011656 memory=140248776676992 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30791/stat : 30791 (java) R 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441426 15371935744 22613 33554432000 4194304 4196468 140721575033120 140644894821040 140645559814786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90452 KiB
[startup+0.701795 s]
/proc/loadavg: 5.00 5.03 4.70 6/216 30791
/proc/meminfo: memFree=12196852/32770624 swapFree=67076460/67108860
[pid=30776] ppid=30773 vsize=15017928 memory=131688 CPUtime=1.03 cores=0,2,4,6
/proc/30776/stat : 30776 (java) S 30773 30776 29212 0 -1 1077944320 17040 0 0 0 97 6 0 0 20 0 15 0 71441419 15378358272 32922 33554432000 4194304 4196468 140721575033120 140721575015664 140645559803639 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
/proc/30776/statm: 3754482 32922 3155 1 0 3715886 0
[pid=30776/tid=30778] ppid=30773 vsize=15017928 memory=9972 CPUtime=0.67 cores=0,2,4,6
/proc/30776/task/30778/stat : 30778 (java) R 30773 30776 29212 0 -1 4202560 14281 0 0 0 62 5 0 0 20 0 15 0 71441420 15378358272 32922 33554432000 4194304 4196468 140721575033120 140645531641232 140645543847269 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30779] ppid=30773 vsize=15019976 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30779/stat : 30779 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441421 15380455424 32922 33554432000 4194304 4196468 140721575033120 140645564046480 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30780] ppid=30773 vsize=15019976 memory=640 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30780/stat : 30780 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441421 15380455424 32922 33554432000 4194304 4196468 140721575033120 140645355129872 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30781] ppid=30773 vsize=15019976 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30781/stat : 30781 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441421 15380455424 32922 33554432000 4194304 4196468 140721575033120 140645354077072 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30782] ppid=30773 vsize=15019976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30782/stat : 30782 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441421 15380455424 32922 33554432000 4194304 4196468 140721575033120 140645353024272 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30783] ppid=30773 vsize=15019976 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30783/stat : 30783 (java) S 30773 30776 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71441423 15380455424 32922 33554432000 4194304 4196468 140721575033120 140644899031408 140645559814786 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30784] ppid=30773 vsize=15019976 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30784/stat : 30784 (java) S 30773 30776 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71441423 15380455424 32922 33554432000 4194304 4196468 140721575033120 140644207027232 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30785] ppid=30773 vsize=15019976 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30785/stat : 30785 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441424 15380455424 32922 33554432000 4194304 4196468 140721575033120 140643938591600 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30786] ppid=30773 vsize=15019976 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30786/stat : 30786 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15380455424 32922 33554432000 4194304 4196468 140721575033120 140643564083024 140645559822235 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30787] ppid=30773 vsize=15019976 memory=7881696724453321575 CPUtime=0.06 cores=0,2,4,6
/proc/30776/task/30787/stat : 30787 (java) R 30773 30776 29212 0 -1 1077944384 447 0 0 0 6 0 0 0 20 0 15 0 71441426 15380455424 32922 33554432000 4194304 4196468 140721575033120 140644897971200 140645559813845 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30788] ppid=30773 vsize=15019976 memory=7019257425709197167 CPUtime=0.09 cores=0,2,4,6
/proc/30776/task/30788/stat : 30788 (java) R 30773 30776 29212 0 -1 4202560 493 0 0 0 9 0 0 0 20 0 15 0 71441426 15380455424 32922 33554432000 4194304 4196468 140721575033120 140644896915920 140645543190716 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30789] ppid=30773 vsize=15019976 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/30776/task/30789/stat : 30789 (java) R 30773 30776 29212 0 -1 4202560 489 0 0 0 18 0 0 0 20 0 15 0 71441426 15380455424 32922 33554432000 4194304 4196468 140721575033120 140644895870904 140645552900475 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30790] ppid=30773 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30790/stat : 30790 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15380455424 32922 33554432000 4194304 4196468 140721575033120 140643066178272 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30791] ppid=30773 vsize=15019976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30791/stat : 30791 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441426 15380455424 32922 33554432000 4194304 4196468 140721575033120 140644894821040 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131688 KiB
[startup+1.5007 s]
/proc/loadavg: 5.00 5.03 4.70 8/216 30791
/proc/meminfo: memFree=12156608/32770624 swapFree=67076460/67108860
[pid=30776] ppid=30773 vsize=15022100 memory=202868 CPUtime=3.46 cores=0,2,4,6
/proc/30776/stat : 30776 (java) S 30773 30776 29212 0 -1 1077944320 21074 0 0 0 337 9 0 0 20 0 15 0 71441419 15382630400 50717 33554432000 4194304 4196468 140721575033120 140721575015664 140645559803639 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
/proc/30776/statm: 3755525 50717 3211 1 0 3716910 0
[pid=30776/tid=30778] ppid=30773 vsize=15022100 memory=172500 CPUtime=1.47 cores=0,2,4,6
/proc/30776/task/30778/stat : 30778 (java) R 30773 30776 29212 0 -1 4202560 15294 0 0 0 140 7 0 0 20 0 15 0 71441420 15382630400 50717 33554432000 4194304 4196468 140721575033120 140645531635120 140645540643136 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30779] ppid=30773 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30779/stat : 30779 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441421 15382630400 50717 33554432000 4194304 4196468 140721575033120 140645564046480 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30780] ppid=30773 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30780/stat : 30780 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441421 15382630400 50717 33554432000 4194304 4196468 140721575033120 140645355129872 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30781] ppid=30773 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30781/stat : 30781 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441421 15382630400 50717 33554432000 4194304 4196468 140721575033120 140645354077072 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30782] ppid=30773 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30782/stat : 30782 (java) S 30773 30776 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71441421 15382630400 50717 33554432000 4194304 4196468 140721575033120 140645353024272 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30783] ppid=30773 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30783/stat : 30783 (java) S 30773 30776 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71441423 15382630400 50717 33554432000 4194304 4196468 140721575033120 140644899031408 140645559814786 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
################
# More data... #
################
[pid=30776/tid=30784] ppid=30773 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30784/stat : 30784 (java) S 30773 30776 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71441423 15384727552 583420 33554432000 4194304 4196468 140721575033120 140644207027232 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30785] ppid=30773 vsize=15024148 memory=1271 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30785/stat : 30785 (java) S 30773 30776 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71441424 15384727552 583420 33554432000 4194304 4196468 140721575033120 140643938591600 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30786] ppid=30773 vsize=15024148 memory=56 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30786/stat : 30786 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15384727552 583420 33554432000 4194304 4196468 140721575033120 140643564083024 140645559822235 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30787] ppid=30773 vsize=15024148 memory=9169 CPUtime=3.52 cores=0,2,4,6
/proc/30776/task/30787/stat : 30787 (java) S 30773 30776 29212 0 -1 1077944384 5881 0 0 0 351 1 0 0 20 0 15 0 71441426 15384727552 583420 33554432000 4194304 4196468 140721575033120 140644897979248 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30788] ppid=30773 vsize=15024148 memory=21520 CPUtime=3.41 cores=0,2,4,6
/proc/30776/task/30788/stat : 30788 (java) S 30773 30776 29212 0 -1 1077944384 4172 0 0 0 340 1 0 0 20 0 15 0 71441426 15384727552 583420 33554432000 4194304 4196468 140721575033120 140644896926448 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30789] ppid=30773 vsize=15024148 memory=9169 CPUtime=1.31 cores=0,2,4,6
/proc/30776/task/30789/stat : 30789 (java) S 30773 30776 29212 0 -1 1077944384 6468 0 0 0 130 1 0 0 20 0 15 0 71441426 15384727552 583420 33554432000 4194304 4196468 140721575033120 140644895873648 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30790] ppid=30773 vsize=15024148 memory=280497335153920 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30790/stat : 30790 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15384727552 583420 33554432000 4194304 4196468 140721575033120 140643066178272 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30791] ppid=30773 vsize=15024148 memory=1791806670593 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30791/stat : 30791 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15384727552 583420 33554432000 4194304 4196468 140721575033120 140644894821040 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
Current children cumulated CPU time: 14.54 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2333680 KiB
[startup+12.7007 s]
/proc/loadavg: 5.31 5.09 4.73 5/216 30791
/proc/meminfo: memFree=9193736/32770624 swapFree=67076460/67108860
[pid=30776] ppid=30773 vsize=15028312 memory=3114720 CPUtime=25.51 cores=0,2,4,6
/proc/30776/stat : 30776 (java) S 30773 30776 29212 0 -1 1077944320 42697 0 0 0 2488 63 0 0 20 0 15 0 71441419 15388991488 778680 33554432000 4194304 4196468 140721575033120 140721575015664 140645559803639 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
/proc/30776/statm: 3757078 778680 3249 1 0 3717934 0
[pid=30776/tid=30778] ppid=30773 vsize=15028312 memory=3114720 CPUtime=12.55 cores=0,2,4,6
/proc/30776/task/30778/stat : 30778 (java) R 30773 30776 29212 0 -1 4202560 18993 0 0 0 1207 48 0 0 20 0 15 0 71441420 15388991488 778680 33554432000 4194304 4196468 140721575033120 140645531638400 140645033599864 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30779] ppid=30773 vsize=15028312 memory=2987212 CPUtime=0.09 cores=0,2,4,6
/proc/30776/task/30779/stat : 30779 (java) S 30773 30776 29212 0 -1 1077944384 167 0 0 0 7 2 0 0 20 0 15 0 71441421 15388991488 778680 33554432000 4194304 4196468 140721575033120 140645564046480 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30780] ppid=30773 vsize=15028312 memory=32705 CPUtime=0.08 cores=0,2,4,6
/proc/30776/task/30780/stat : 30780 (java) S 30773 30776 29212 0 -1 1077944384 128 0 0 0 7 1 0 0 20 0 15 0 71441421 15388991488 778680 33554432000 4194304 4196468 140721575033120 140645355129872 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30781] ppid=30773 vsize=15028312 memory=3101940 CPUtime=0.08 cores=0,2,4,6
/proc/30776/task/30781/stat : 30781 (java) S 30773 30776 29212 0 -1 1077944384 50 0 0 0 6 2 0 0 20 0 15 0 71441421 15388991488 778680 33554432000 4194304 4196468 140721575033120 140645354077072 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30782] ppid=30773 vsize=15028312 memory=3032 CPUtime=0.09 cores=0,2,4,6
/proc/30776/task/30782/stat : 30782 (java) S 30773 30776 29212 0 -1 1077944384 67 0 0 0 7 2 0 0 20 0 15 0 71441421 15388991488 778680 33554432000 4194304 4196468 140721575033120 140645353024272 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30783] ppid=30773 vsize=15028312 memory=3101844 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30783/stat : 30783 (java) S 30773 30776 29212 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 71441423 15388991488 778680 33554432000 4194304 4196468 140721575033120 140644899031408 140645559814786 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30784] ppid=30773 vsize=15028312 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30784/stat : 30784 (java) S 30773 30776 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71441423 15388991488 778680 33554432000 4194304 4196468 140721575033120 140644207027296 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30785] ppid=30773 vsize=15028312 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30785/stat : 30785 (java) S 30773 30776 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 71441424 15388991488 778680 33554432000 4194304 4196468 140721575033120 140643938591600 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30786] ppid=30773 vsize=15028312 memory=3044556 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30786/stat : 30786 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15388991488 778680 33554432000 4194304 4196468 140721575033120 140643564083024 140645559822235 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30787] ppid=30773 vsize=15028312 memory=2722800 CPUtime=5.6 cores=0,2,4,6
/proc/30776/task/30787/stat : 30787 (java) R 30773 30776 29212 0 -1 4202560 8522 0 0 0 558 2 0 0 20 0 15 0 71441426 15388991488 778680 33554432000 4194304 4196468 140721575033120 140644897972272 140645539647247 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30788] ppid=30773 vsize=15028312 memory=3544 CPUtime=5.33 cores=0,2,4,6
/proc/30776/task/30788/stat : 30788 (java) R 30773 30776 29212 0 -1 4202560 6885 0 0 0 531 2 0 0 20 0 15 0 71441426 15388991488 778680 33554432000 4194304 4196468 140721575033120 140644896907984 140645541109396 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30789] ppid=30773 vsize=15028312 memory=18464 CPUtime=1.62 cores=0,2,4,6
/proc/30776/task/30789/stat : 30789 (java) S 30773 30776 29212 0 -1 1077944384 6526 0 0 0 160 2 0 0 20 0 15 0 71441426 15388991488 778680 33554432000 4194304 4196468 140721575033120 140644895873648 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30790] ppid=30773 vsize=15028312 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30790/stat : 30790 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15388991488 778680 33554432000 4194304 4196468 140721575033120 140643066178272 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30791] ppid=30773 vsize=15028312 memory=-2892745056948402235 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30791/stat : 30791 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71441426 15388991488 778680 33554432000 4194304 4196468 140721575033120 140644894821040 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3114720 KiB
[startup+25.5008 s]
/proc/loadavg: 5.00 5.04 4.72 9/216 30791
/proc/meminfo: memFree=8134432/32770624 swapFree=67076460/67108860
[pid=30776] ppid=30773 vsize=15683912 memory=4259844 CPUtime=45.4 cores=0,2,4,6
/proc/30776/stat : 30776 (java) S 30773 30776 29212 0 -1 1077944320 62273 0 0 0 4323 217 0 0 20 0 19 0 71441419 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140721575015664 140645559803639 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
/proc/30776/statm: 3920978 1064961 3270 1 0 3881834 0
[pid=30776/tid=30778] ppid=30773 vsize=15683912 memory=159 CPUtime=23.58 cores=0,2,4,6
/proc/30776/task/30778/stat : 30778 (java) S 30773 30776 29212 0 -1 1077944384 22428 0 0 0 2299 59 0 0 20 0 19 0 71441420 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645531642880 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30779] ppid=30773 vsize=15683912 memory=4199368 CPUtime=1.6 cores=0,2,4,6
/proc/30776/task/30779/stat : 30779 (java) S 30773 30776 29212 0 -1 1077944384 947 0 0 0 124 36 0 0 20 0 19 0 71441421 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645564046480 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30780] ppid=30773 vsize=15683912 memory=3926576 CPUtime=1.59 cores=0,2,4,6
/proc/30776/task/30780/stat : 30780 (java) S 30773 30776 29212 0 -1 1077944384 903 0 0 0 123 36 0 0 20 0 19 0 71441421 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645355129872 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30781] ppid=30773 vsize=15683912 memory=3926576 CPUtime=1.59 cores=0,2,4,6
/proc/30776/task/30781/stat : 30781 (java) S 30773 30776 29212 0 -1 1077944384 1327 0 0 0 122 37 0 0 20 0 19 0 71441421 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645354077072 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30782] ppid=30773 vsize=15683912 memory=3306208 CPUtime=1.59 cores=0,2,4,6
/proc/30776/task/30782/stat : 30782 (java) S 30773 30776 29212 0 -1 1077944384 2518 0 0 0 122 37 0 0 20 0 19 0 71441421 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645353024272 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30783] ppid=30773 vsize=15683912 memory=7518023259226791573 CPUtime=0.02 cores=0,2,4,6
/proc/30776/task/30783/stat : 30783 (java) S 30773 30776 29212 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 19 0 71441423 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644899031408 140645559814786 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30784] ppid=30773 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30784/stat : 30784 (java) S 30773 30776 29212 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 71441423 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644207027296 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30785] ppid=30773 vsize=15683912 memory=18464 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30785/stat : 30785 (java) S 30773 30776 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71441424 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140643938591616 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30786] ppid=30773 vsize=15683912 memory=776 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30786/stat : 30786 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140643564083024 140645559822235 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30787] ppid=30773 vsize=15683912 memory=3926576 CPUtime=6.82 cores=0,2,4,6
/proc/30776/task/30787/stat : 30787 (java) S 30773 30776 29212 0 -1 1077944384 12597 0 0 0 680 2 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644897979248 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30788] ppid=30773 vsize=15683912 memory=0 CPUtime=6.79 cores=0,2,4,6
/proc/30776/task/30788/stat : 30788 (java) S 30773 30776 29212 0 -1 1077944384 10606 0 0 0 677 2 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644896926448 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30789] ppid=30773 vsize=15683912 memory=0 CPUtime=1.71 cores=0,2,4,6
/proc/30776/task/30789/stat : 30789 (java) S 30773 30776 29212 0 -1 1077944384 8032 0 0 0 169 2 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644895873648 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30790] ppid=30773 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30790/stat : 30790 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140643066178272 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30791] ppid=30773 vsize=15683912 memory=3543600 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30791/stat : 30791 (java) S 30773 30776 29212 0 -1 1077944384 1180 0 0 0 0 0 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644894821040 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
Current children cumulated CPU time: 45.4 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 4259844 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+26.0007 s]*
/proc/loadavg: 5.00 5.04 4.72 6/221 30797
/proc/meminfo: memFree=7726908/32770624 swapFree=67076460/67108860
[pid=30776] ppid=30773 vsize=15683912 memory=4259844 CPUtime=45.4 cores=0,2,4,6
/proc/30776/stat : 30776 (java) S 30773 30776 29212 0 -1 1077944320 62273 0 0 0 4323 217 0 0 20 0 19 0 71441419 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140721575015664 140645559803639 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
/proc/30776/statm: 3920978 1064961 3270 1 0 3881834 0
[pid=30792] ppid=30776 vsize=306464 memory=250496 CPUtime=0.77 cores=0,2,4,6
/proc/30792/stat : 30792 (minisat_release) R 30776 30776 29212 0 -1 4202496 48843 0 0 0 69 8 0 0 20 0 1 0 71443942 313819136 62624 33554432000 4194304 4308513 140731860717824 140731859666056 140537189596133 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 26492928 140731860722351 140731860722862 140731860722862 140731860725701 0
/proc/30792/statm: 76616 62624 318 28 0 72856 0
[pid=30776/tid=30778] ppid=30773 vsize=15683912 memory=-7824251494390650468 CPUtime=23.58 cores=0,2,4,6
/proc/30776/task/30778/stat : 30778 (java) S 30773 30776 29212 0 -1 1077944384 22428 0 0 0 2299 59 0 0 20 0 19 0 71441420 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645531642880 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30779] ppid=30773 vsize=15683912 memory=776 CPUtime=1.6 cores=0,2,4,6
/proc/30776/task/30779/stat : 30779 (java) S 30773 30776 29212 0 -1 1077944384 947 0 0 0 124 36 0 0 20 0 19 0 71441421 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645564046480 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30780] ppid=30773 vsize=15683912 memory=1876 CPUtime=1.59 cores=0,2,4,6
/proc/30776/task/30780/stat : 30780 (java) S 30773 30776 29212 0 -1 1077944384 903 0 0 0 123 36 0 0 20 0 19 0 71441421 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645355129872 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30781] ppid=30773 vsize=15683912 memory=1664 CPUtime=1.59 cores=0,2,4,6
/proc/30776/task/30781/stat : 30781 (java) S 30773 30776 29212 0 -1 1077944384 1327 0 0 0 122 37 0 0 20 0 19 0 71441421 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645354077072 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30782] ppid=30773 vsize=15683912 memory=1828 CPUtime=1.59 cores=0,2,4,6
/proc/30776/task/30782/stat : 30782 (java) S 30773 30776 29212 0 -1 1077944384 2518 0 0 0 122 37 0 0 20 0 19 0 71441421 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645353024272 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30783] ppid=30773 vsize=15683912 memory=800 CPUtime=0.02 cores=0,2,4,6
/proc/30776/task/30783/stat : 30783 (java) S 30773 30776 29212 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 19 0 71441423 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644899031408 140645559814786 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30784] ppid=30773 vsize=15683912 memory=5192 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30784/stat : 30784 (java) S 30773 30776 29212 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 71441423 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644207027296 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30785] ppid=30773 vsize=15683912 memory=12816 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30785/stat : 30785 (java) S 30773 30776 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71441424 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140643938591616 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30786] ppid=30773 vsize=15683912 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30786/stat : 30786 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140643564083024 140645559822235 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30787] ppid=30773 vsize=15683912 memory=1508 CPUtime=6.82 cores=0,2,4,6
/proc/30776/task/30787/stat : 30787 (java) S 30773 30776 29212 0 -1 1077944384 12597 0 0 0 680 2 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644897979248 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30788] ppid=30773 vsize=15683912 memory=3328 CPUtime=6.79 cores=0,2,4,6
/proc/30776/task/30788/stat : 30788 (java) S 30773 30776 29212 0 -1 1077944384 10606 0 0 0 677 2 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644896926448 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30789] ppid=30773 vsize=15683912 memory=3032 CPUtime=1.71 cores=0,2,4,6
/proc/30776/task/30789/stat : 30789 (java) S 30773 30776 29212 0 -1 1077944384 8032 0 0 0 169 2 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644895873648 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30790] ppid=30773 vsize=15683912 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30790/stat : 30790 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140643066178272 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30791] ppid=30773 vsize=15683912 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30791/stat : 30791 (java) S 30773 30776 29212 0 -1 1077944384 1180 0 0 0 0 0 0 0 20 0 19 0 71441426 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140644894821040 140645559814786 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30793] ppid=30773 vsize=15683912 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30793/stat : 30793 (java) S 30773 30776 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71443943 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140645348476096 140645559828249 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30795] ppid=30773 vsize=15683912 memory=6768 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30795/stat : 30795 (java) S 30773 30776 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 71443943 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140642663513264 140645559825565 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30796] ppid=30773 vsize=15683912 memory=824 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30796/stat : 30796 (java) S 30773 30776 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71443943 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140642529292336 140645559825565 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
[pid=30776/tid=30797] ppid=30773 vsize=15683912 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/30776/task/30797/stat : 30797 (java) S 30773 30776 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71443945 16060325888 1064961 33554432000 4194304 4196468 140721575033120 140642260868768 140645559813845 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22900736 140721575039988 140721575040265 140721575040265 140721575043023 0
Current children cumulated CPU time: 46.17 s
Current children cumulated vsize: 15990376 KiB
Current children cumulated memory: 4510340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+26.0635 s]
# the end of solver process 30776 was just reported to runsolver
# cumulated CPU time of all completed processes: user=43.923 s, system=2.31915 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 26.0635
CPU time (s): 46.2422
CPU user time (s): 43.923
CPU system time (s): 2.31915
CPU usage (%): 177.421
Max. virtual memory (cumulated for all children) (KiB): 15990376
Max. memory (cumulated for all children) (KiB): 4510340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.923
system time used= 2.31915
maximum resident set size= 4262300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111246
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6502
involuntary context switches= 240
# summary of solver processes directly reported to runsolver:
# pid: 30776
# total CPU time (s): 46.2422
# total CPU user time (s): 43.923
# total CPU system time (s): 2.31915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.20351 second user time and 0.276049 second system time
The end