0.66/0.53
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Wed Jul 25 19:14:29 CEST 2018
0.66/0.56 c PID: 31108
0.66/0.56 c IP: 172.20.3.102
0.66/0.56 c HOST: node102.alineos.net
0.66/0.57 c (0,0) Parsing Begin
3.21/1.42 c (0,0) Parsing End
3.21/1.43 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1429 ctr, max domain size 26
3.21/1.43 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.43 c (0,0) Constraint Name Generate Begin
3.21/1.46 c (0,0) Ctr:HOME/instance-4295055-1532538869.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.21/1.46 c (0,0) Constraint Name Generate End
3.21/1.46 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.46 c (0,0) CSP to CSPinCNF Begin
12.29/4.83 c (4,4) translated 143 (10%) constraints
12.71/5.29 c (4,4) translated 286 (20%) constraints
12.92/5.31 c (4,4) translated 429 (30%) constraints
12.92/5.34 c (4,4) translated 572 (40%) constraints
12.92/5.37 c (4,4) translated 715 (50%) constraints
12.92/5.40 c (4,4) translated 858 (60%) constraints
13.31/5.41 c (4,4) translated 1001 (70%) constraints
13.31/5.43 c (4,4) translated 1144 (80%) constraints
15.65/6.91 c (6,6) translated 1287 (90%) constraints
17.10/8.01 c (7,7) translated 1429 (100%) constraints
18.33/8.55 c (8,7) STATISTICS1:HOME/instance-4295055-1532538869.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57054,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:3;70368744177664:2;17592186044416:1;8796093022208:1;1099511627776:1;549755813888:1;16:392;4:396;2:199,26:20400;2:158730,25:200;3:29600;2:26000;1:1254,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:3;47:2;45:1;44:1;41:1;40: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
18.33/8.55 c (8,7) ===========================================
18.33/8.55 c (8,7) Both Encoding selects:
18.33/8.55 c (8,7) Log
18.33/8.55 c (8,7) ===========================================
19.97/9.15 c (8,8) translated 5706 (10%) constraints
20.43/9.37 c (8,8) translated 11411 (20%) constraints
20.64/9.46 c (8,8) translated 17117 (30%) constraints
20.82/9.54 c (9,8) translated 22822 (40%) constraints
20.92/9.62 c (9,8) translated 28527 (50%) constraints
21.02/9.70 c (9,8) translated 34233 (60%) constraints
21.02/9.79 c (9,9) translated 39938 (70%) constraints
21.12/9.87 c (9,9) translated 45644 (80%) constraints
21.22/9.95 c (9,9) translated 51349 (90%) constraints
22.94/11.08 c (10,10) translated 57054 (100%) constraints
22.94/11.08 c (10,10) CSP to CSPinCNF End
22.94/11.09 c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67480 ctr, max domain size 26
22.94/11.09 c (10,10) Heap : 1852 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.94/11.09 c (10,10) CSPinCNF Propagation Begin
24.12/11.71 c (11,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
24.12/11.71 c (11,10) CSPinCNF Propagation End
24.12/11.72 c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67080 ctr, max domain size 26
24.12/11.72 c (11,11) Heap : 2179 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.12/11.72 c (11,11) Simplify CSPinCNF Begin
24.37/11.86 c (11,11) Simplify CSPinCNF End
24.37/11.87 c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67080 ctr, max domain size 26
24.37/11.87 c (11,11) Heap : 2234 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.37/11.87 c (11,11) Calculate Precise Domain Begin
24.37/11.87 c (11,11) 0 values are removed by re-calculation
24.37/11.87 c (11,11) Calculate Precise Domain End
24.37/11.87 c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67080 ctr, max domain size 26
24.37/11.87 c (11,11) Heap : 2234 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.37/11.87 c (11,11) CSPinCNF to SatSolver Begin
28.09/13.48 c (12,12) 6708 (10 %) CSP clauses are being encoded (125804 SAT variables, 278021 SAT clauses)
28.77/13.80 c (13,12) 13416 (20 %) CSP clauses are being encoded (149146 SAT variables, 328059 SAT clauses)
29.12/14.12 c (13,13) 20124 (30 %) CSP clauses are being encoded (173164 SAT variables, 379587 SAT clauses)
29.65/14.32 c (13,13) 26832 (40 %) CSP clauses are being encoded (179752 SAT variables, 398127 SAT clauses)
29.91/14.48 c (13,13) 33540 (50 %) CSP clauses are being encoded (185668 SAT variables, 415275 SAT clauses)
30.11/14.62 c (14,13) 40248 (60 %) CSP clauses are being encoded (191788 SAT variables, 432783 SAT clauses)
30.22/14.76 c (14,13) 46956 (70 %) CSP clauses are being encoded (197704 SAT variables, 449931 SAT clauses)
30.42/14.90 c (14,13) 53664 (80 %) CSP clauses are being encoded (203824 SAT variables, 467439 SAT clauses)
30.53/15.05 c (14,14) 60372 (90 %) CSP clauses are being encoded (209740 SAT variables, 484587 SAT clauses)
42.46/23.79 c (23,22) 67080 (100 %) CSP clauses are being encoded (1050660 SAT variables, 2959949 SAT clauses)
42.57/23.86 c (23,22) CSPinCNF to SatSolver End
42.57/23.86 c (23,22) Heap : 2753 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
43.73/24.30 c (23,22) STATISTICS2:HOME/instance-4295055-1532538869.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21800,67080,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:3;70368744177664:2;17592186044416:1;8796093022208:1;1099511627776:1;549755813888:1;16:392;4:396;2:199,26:30000;2:179130,24:200;3:29200;2:36400;1:1280,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:3;47:2;45:1;44:1;41:1;40:1;5:392;3:396;2:199;1:165200,2:268
43.73/24.30 c (23,22) SatSolver.solve Begin
43.73/24.30 c (23,22) 1056743 bool, 2978041 clause
43.73/24.30 c (23,22) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295055-1532538869.xml-scop-31108.cnf HOME/instance-4295055-1532538869.xml-scop-31108.cnf.out
44.51/25.01 c (24,0) receiving signal SIGTERM
44.51/25.01 s UNKNOWN
44.51/25.02 c (24,22) SatSolver is killed by some reasons.
44.51/25.02 c (24,22) 0,0,10,11,11,11,23,TO,TO,STOP-AFTER(DIMACS)
44.51/25.02 c END-Prog: Wed Jul 25 19:14:54 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8230 MiB free)
memory of node 1: 16384 MiB (3780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295055-1532538869/watcher-4295055-1532538869 -o /tmp/evaluation-result-4295055-1532538869/solver-4295055-1532538869 -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-4295055-1532538869.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=31108, runsolver pid=31105
[startup+0.10009 s]*
/proc/loadavg: 4.58 4.91 4.69 3/215 31123
/proc/meminfo: memFree=12240872/32770624 swapFree=67076460/67108860
[pid=31108] ppid=31105 vsize=15011656 memory=71192 CPUtime=0.1 cores=0,2,4,6
/proc/31108/stat : 31108 (java) S 31105 31108 29212 0 -1 1077944320 5977 0 0 0 9 1 0 0 20 0 15 0 71450045 15371935744 17798 33554432000 4194304 4196468 140734169136832 140734169119376 140536874204919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
/proc/31108/statm: 3752914 17798 2751 1 0 3715374 0
[pid=31108/tid=31110] ppid=31105 vsize=15011656 memory=-8700564654885473410 CPUtime=0.08 cores=0,2,4,6
/proc/31108/task/31110/stat : 31110 (java) R 31105 31108 29212 0 -1 4202560 4127 0 0 0 7 1 0 0 20 0 15 0 71450046 15371935744 17798 33554432000 4194304 4196468 140734169136832 140536846009120 140536854480679 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31111] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31111/stat : 31111 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 17798 33554432000 4194304 4196468 140734169136832 140536878447248 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31112] ppid=31105 vsize=15011656 memory=139973786379904 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31112/stat : 31112 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 17798 33554432000 4194304 4196468 140734169136832 140536335268368 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31113] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31113/stat : 31113 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 17798 33554432000 4194304 4196468 140734169136832 140536334215568 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31114] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31114/stat : 31114 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 17798 33554432000 4194304 4196468 140734169136832 140536333162768 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31115] ppid=31105 vsize=15011656 memory=139973786379904 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31115/stat : 31115 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450049 15371935744 17798 33554432000 4194304 4196468 140734169136832 140535912602480 140536874216066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31116] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31116/stat : 31116 (java) S 31105 31108 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71450050 15371935744 17864 33554432000 4194304 4196468 140734169136832 140535423559200 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31117] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31117/stat : 31117 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450050 15371935744 17864 33554432000 4194304 4196468 140734169136832 140535155123568 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31118] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31118/stat : 31118 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 17864 33554432000 4194304 4196468 140734169136832 140534780614992 140536874223515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31119] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31119/stat : 31119 (java) S 31105 31108 29212 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 17864 33554432000 4194304 4196468 140734169136832 140535911549296 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31120] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31120/stat : 31120 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 17864 33554432000 4194304 4196468 140734169136832 140535910496496 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31121] ppid=31105 vsize=15011656 memory=139973786379904 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31121/stat : 31121 (java) S 31105 31108 29212 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 17864 33554432000 4194304 4196468 140734169136832 140535909443696 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31122] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31122/stat : 31122 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 17864 33554432000 4194304 4196468 140734169136832 140534282709216 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31123] ppid=31105 vsize=15011656 memory=139973786379904 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31123/stat : 31123 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 17864 33554432000 4194304 4196468 140734169136832 140535908392112 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71192 KiB
[startup+0.210232 s]*
/proc/loadavg: 4.58 4.91 4.69 3/215 31123
/proc/meminfo: memFree=12226300/32770624 swapFree=67076460/67108860
[pid=31108] ppid=31105 vsize=15011656 memory=85620 CPUtime=0.24 cores=0,2,4,6
/proc/31108/stat : 31108 (java) S 31105 31108 29212 0 -1 1077944320 9844 0 0 0 22 2 0 0 20 0 15 0 71450045 15371935744 21405 33554432000 4194304 4196468 140734169136832 140734169119376 140536874204919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
/proc/31108/statm: 3752914 21405 2895 1 0 3715374 0
[pid=31108/tid=31110] ppid=31105 vsize=15011656 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/31108/task/31110/stat : 31110 (java) R 31105 31108 29212 0 -1 4202560 7747 0 0 0 17 2 0 0 20 0 15 0 71450046 15371935744 21405 33554432000 4194304 4196468 140734169136832 140536846014192 140536874226845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31111] ppid=31105 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31111/stat : 31111 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 21405 33554432000 4194304 4196468 140734169136832 140536878447248 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31112] ppid=31105 vsize=15011656 memory=3616867170775246496 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31112/stat : 31112 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 21405 33554432000 4194304 4196468 140734169136832 140536335268368 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31113] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31113/stat : 31113 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 21405 33554432000 4194304 4196468 140734169136832 140536334215568 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31114] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31114/stat : 31114 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 21405 33554432000 4194304 4196468 140734169136832 140536333162768 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31115] ppid=31105 vsize=15011656 memory=139973786379904 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31115/stat : 31115 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450049 15371935744 21405 33554432000 4194304 4196468 140734169136832 140535912602480 140536874216066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31116] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31116/stat : 31116 (java) S 31105 31108 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71450050 15371935744 21405 33554432000 4194304 4196468 140734169136832 140535423559200 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31117] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31117/stat : 31117 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450050 15371935744 21405 33554432000 4194304 4196468 140734169136832 140535155123568 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31118] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31118/stat : 31118 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 21405 33554432000 4194304 4196468 140734169136832 140534780614992 140536874223515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31119] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31119/stat : 31119 (java) S 31105 31108 29212 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 21405 33554432000 4194304 4196468 140734169136832 140535911549296 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31120] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31120/stat : 31120 (java) S 31105 31108 29212 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 21405 33554432000 4194304 4196468 140734169136832 140535910496496 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31121] ppid=31105 vsize=15011656 memory=139973786379904 CPUtime=0.02 cores=0,2,4,6
/proc/31108/task/31121/stat : 31121 (java) S 31105 31108 29212 0 -1 1077944384 300 0 0 0 2 0 0 0 20 0 15 0 71450053 15371935744 21405 33554432000 4194304 4196468 140734169136832 140535909443696 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31122] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31122/stat : 31122 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 21405 33554432000 4194304 4196468 140734169136832 140534282709216 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31123] ppid=31105 vsize=15011656 memory=139973786379904 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31123/stat : 31123 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 21405 33554432000 4194304 4196468 140734169136832 140535908392112 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85620 KiB
[startup+0.310171 s]*
/proc/loadavg: 4.58 4.91 4.69 3/215 31123
/proc/meminfo: memFree=12221992/32770624 swapFree=67076460/67108860
[pid=31108] ppid=31105 vsize=15011656 memory=89780 CPUtime=0.42 cores=0,2,4,6
/proc/31108/stat : 31108 (java) S 31105 31108 29212 0 -1 1077944320 10452 0 0 0 39 3 0 0 20 0 15 0 71450045 15371935744 22445 33554432000 4194304 4196468 140734169136832 140734169119376 140536874204919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
/proc/31108/statm: 3752914 22445 2991 1 0 3715374 0
[pid=31108/tid=31110] ppid=31105 vsize=15011656 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/31108/task/31110/stat : 31110 (java) R 31105 31108 29212 0 -1 4202560 8184 0 0 0 27 2 0 0 20 0 15 0 71450046 15371935744 22445 33554432000 4194304 4196468 140734169136832 140536846009072 140536858285406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31111] ppid=31105 vsize=15011656 memory=8941 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31111/stat : 31111 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 22445 33554432000 4194304 4196468 140734169136832 140536878447248 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31112] ppid=31105 vsize=15011656 memory=3906785297275594400 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31112/stat : 31112 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 22445 33554432000 4194304 4196468 140734169136832 140536335268368 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31113] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31113/stat : 31113 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 22445 33554432000 4194304 4196468 140734169136832 140536334215568 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31114] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31114/stat : 31114 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15371935744 22445 33554432000 4194304 4196468 140734169136832 140536333162768 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31115] ppid=31105 vsize=15011656 memory=139973786379904 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31115/stat : 31115 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450049 15371935744 22445 33554432000 4194304 4196468 140734169136832 140535912602480 140536874216066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31116] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31116/stat : 31116 (java) S 31105 31108 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71450050 15371935744 22445 33554432000 4194304 4196468 140734169136832 140535423559200 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31117] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31117/stat : 31117 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450050 15371935744 22445 33554432000 4194304 4196468 140734169136832 140535155123568 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31118] ppid=31105 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31118/stat : 31118 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 22445 33554432000 4194304 4196468 140734169136832 140534780614992 140536874223515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31119] ppid=31105 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31108/task/31119/stat : 31119 (java) S 31105 31108 29212 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 15 0 71450053 15371935744 22445 33554432000 4194304 4196468 140734169136832 140535911549296 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31120] ppid=31105 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31108/task/31120/stat : 31120 (java) S 31105 31108 29212 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 15 0 71450053 15371935744 22445 33554432000 4194304 4196468 140734169136832 140535910496496 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31121] ppid=31105 vsize=15011656 memory=139973786379904 CPUtime=0.07 cores=0,2,4,6
/proc/31108/task/31121/stat : 31121 (java) S 31105 31108 29212 0 -1 1077944384 346 0 0 0 7 0 0 0 20 0 15 0 71450053 15371935744 22445 33554432000 4194304 4196468 140734169136832 140535909443696 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31122] ppid=31105 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31122/stat : 31122 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 22445 33554432000 4194304 4196468 140734169136832 140534282709216 140536874215125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31123] ppid=31105 vsize=15011656 memory=139973786379904 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31123/stat : 31123 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450053 15371935744 22445 33554432000 4194304 4196468 140734169136832 140535908392112 140536874216066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89780 KiB
[startup+0.701074 s]
/proc/loadavg: 4.58 4.91 4.69 3/215 31123
/proc/meminfo: memFree=12198304/32770624 swapFree=67076460/67108860
[pid=31108] ppid=31105 vsize=15017928 memory=127052 CPUtime=1.02 cores=0,2,4,6
/proc/31108/stat : 31108 (java) S 31105 31108 29212 0 -1 1077944320 17421 0 0 0 96 6 0 0 20 0 15 0 71450045 15378358272 31763 33554432000 4194304 4196468 140734169136832 140734169119376 140536874204919 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
/proc/31108/statm: 3754482 31763 3136 1 0 3715886 0
[pid=31108/tid=31110] ppid=31105 vsize=15017928 memory=9972 CPUtime=0.67 cores=0,2,4,6
/proc/31108/task/31110/stat : 31110 (java) R 31105 31108 29212 0 -1 4202560 14687 0 0 0 62 5 0 0 20 0 15 0 71450046 15378358272 31763 33554432000 4194304 4196468 140734169136832 140536846042480 140536874216854 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31111] ppid=31105 vsize=15017928 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31111/stat : 31111 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15378358272 31763 33554432000 4194304 4196468 140734169136832 140536878447248 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31112] ppid=31105 vsize=15017928 memory=640 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31112/stat : 31112 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15378358272 31763 33554432000 4194304 4196468 140734169136832 140536335268368 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31113] ppid=31105 vsize=15017928 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31113/stat : 31113 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15378358272 31763 33554432000 4194304 4196468 140734169136832 140536334215568 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31114] ppid=31105 vsize=15017928 memory=960 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31114/stat : 31114 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15378358272 31763 33554432000 4194304 4196468 140734169136832 140536333162768 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31115] ppid=31105 vsize=15017928 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31115/stat : 31115 (java) S 31105 31108 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71450049 15378358272 31763 33554432000 4194304 4196468 140734169136832 140535912602480 140536874216066 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31116] ppid=31105 vsize=15017928 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31116/stat : 31116 (java) S 31105 31108 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71450050 15378358272 31763 33554432000 4194304 4196468 140734169136832 140535423559200 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31117] ppid=31105 vsize=15017928 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31117/stat : 31117 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450050 15378358272 31763 33554432000 4194304 4196468 140734169136832 140535155123568 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31118] ppid=31105 vsize=15017928 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31118/stat : 31118 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15378358272 31763 33554432000 4194304 4196468 140734169136832 140534780614992 140536874223515 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31119] ppid=31105 vsize=15017928 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/31108/task/31119/stat : 31119 (java) R 31105 31108 29212 0 -1 4202560 698 0 0 0 7 0 0 0 20 0 15 0 71450053 15378358272 31763 33554432000 4194304 4196468 140734169136832 140535911549296 140536859313315 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31120] ppid=31105 vsize=15017928 memory=7019257425709197167 CPUtime=0.07 cores=0,2,4,6
/proc/31108/task/31120/stat : 31120 (java) R 31105 31108 29212 0 -1 1077944384 214 0 0 0 7 0 0 0 20 0 15 0 71450053 15378358272 31763 33554432000 4194304 4196468 140734169136832 140535910496496 140536874216066 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31121] ppid=31105 vsize=15017928 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/31108/task/31121/stat : 31121 (java) R 31105 31108 29212 0 -1 4202560 483 0 0 0 17 0 0 0 20 0 15 0 71450053 15378358272 31763 33554432000 4194304 4196468 140734169136832 140535909439648 140536858285406 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31122] ppid=31105 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31122/stat : 31122 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15378358272 31763 33554432000 4194304 4196468 140734169136832 140534282709216 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31123] ppid=31105 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31123/stat : 31123 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450053 15378358272 31763 33554432000 4194304 4196468 140734169136832 140535908392112 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 127052 KiB
[startup+1.50116 s]
/proc/loadavg: 4.58 4.91 4.69 6/215 31123
/proc/meminfo: memFree=12156988/32770624 swapFree=67076460/67108860
[pid=31108] ppid=31105 vsize=15022100 memory=200276 CPUtime=3.47 cores=0,2,4,6
/proc/31108/stat : 31108 (java) S 31105 31108 29212 0 -1 1077944320 21453 0 0 0 339 8 0 0 20 0 15 0 71450045 15382630400 50069 33554432000 4194304 4196468 140734169136832 140734169119376 140536874204919 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
/proc/31108/statm: 3755525 50069 3213 1 0 3716910 0
[pid=31108/tid=31110] ppid=31105 vsize=15022100 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/31108/task/31110/stat : 31110 (java) R 31105 31108 29212 0 -1 4202560 15713 0 0 0 141 6 0 0 20 0 15 0 71450046 15382630400 50069 33554432000 4194304 4196468 140734169136832 140536846025696 140536874216854 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31111] ppid=31105 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31111/stat : 31111 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15382630400 50069 33554432000 4194304 4196468 140734169136832 140536878447248 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31112] ppid=31105 vsize=15022100 memory=279947311381504 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31112/stat : 31112 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15382630400 50069 33554432000 4194304 4196468 140734169136832 140536335268368 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31113] ppid=31105 vsize=15022100 memory=7093353505594065078 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31113/stat : 31113 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15382630400 50069 33554432000 4194304 4196468 140734169136832 140536334215568 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31114] ppid=31105 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31114/stat : 31114 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15382630400 50069 33554432000 4194304 4196468 140734169136832 140536333162768 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31115] ppid=31105 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31115/stat : 31115 (java) S 31105 31108 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71450049 15382630400 50069 33554432000 4194304 4196468 140734169136832 140535912602480 140536874216066 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
################
# More data... #
################
[pid=31108/tid=31116] ppid=31105 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31116/stat : 31116 (java) S 31105 31108 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71450050 15382630400 206929 33554432000 4194304 4196468 140734169136832 140535423559200 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31117] ppid=31105 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31117/stat : 31117 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450050 15382630400 206929 33554432000 4194304 4196468 140734169136832 140535155123568 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31118] ppid=31105 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31118/stat : 31118 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15382630400 206929 33554432000 4194304 4196468 140734169136832 140534780614992 140536874223515 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31119] ppid=31105 vsize=15022100 memory=0 CPUtime=1.82 cores=0,2,4,6
/proc/31108/task/31119/stat : 31119 (java) R 31105 31108 29212 0 -1 4202560 2050 0 0 0 181 1 0 0 20 0 15 0 71450053 15382630400 206929 33554432000 4194304 4196468 140734169136832 140535911549296 140536855750217 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31120] ppid=31105 vsize=15022100 memory=0 CPUtime=2.05 cores=0,2,4,6
/proc/31108/task/31120/stat : 31120 (java) R 31105 31108 29212 0 -1 4202560 3084 0 0 0 204 1 0 0 20 0 15 0 71450053 15382630400 206929 33554432000 4194304 4196468 140734169136832 140535910496496 140536851475013 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31121] ppid=31105 vsize=15022100 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/31108/task/31121/stat : 31121 (java) R 31105 31108 29212 0 -1 1077944384 3024 0 0 0 92 1 0 0 20 0 15 0 71450053 15382630400 206929 33554432000 4194304 4196468 140734169136832 140535909443696 140536874216066 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31122] ppid=31105 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31122/stat : 31122 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15382630400 206929 33554432000 4194304 4196468 140734169136832 140534282709216 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31123] ppid=31105 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31123/stat : 31123 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450053 15382630400 206929 33554432000 4194304 4196468 140734169136832 140535908392112 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 827716 KiB
[startup+6.30072 s]
/proc/loadavg: 4.70 4.93 4.70 6/215 31123
/proc/meminfo: memFree=10312692/32770624 swapFree=67076460/67108860
[pid=31108] ppid=31105 vsize=15024148 memory=2222668 CPUtime=15.03 cores=0,2,4,6
/proc/31108/stat : 31108 (java) S 31105 31108 29212 0 -1 1077944320 37264 0 0 0 1457 46 0 0 20 0 15 0 71450045 15384727552 555667 33554432000 4194304 4196468 140734169136832 140734169119376 140536874204919 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
/proc/31108/statm: 3756037 555667 3217 1 0 3717422 0
[pid=31108/tid=31110] ppid=31105 vsize=15024148 memory=139973655672136 CPUtime=6.2 cores=0,2,4,6
/proc/31108/task/31110/stat : 31110 (java) R 31105 31108 29212 0 -1 4202560 17404 0 0 0 581 39 0 0 20 0 15 0 71450046 15384727552 555667 33554432000 4194304 4196468 140734169136832 140536846036912 140536377997163 0 4 0 25189583 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31111] ppid=31105 vsize=15024148 memory=1625088 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31111/stat : 31111 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15384727552 555667 33554432000 4194304 4196468 140734169136832 140536878447248 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31112] ppid=31105 vsize=15024148 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31112/stat : 31112 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15384727552 555667 33554432000 4194304 4196468 140734169136832 140536335268368 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31113] ppid=31105 vsize=15024148 memory=18464 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31113/stat : 31113 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450048 15384727552 555667 33554432000 4194304 4196468 140734169136832 140536334215568 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31114] ppid=31105 vsize=15024148 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31114/stat : 31114 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450048 15384727552 555667 33554432000 4194304 4196468 140734169136832 140536333162768 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31115] ppid=31105 vsize=15024148 memory=1158400 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31115/stat : 31115 (java) S 31105 31108 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71450049 15384727552 555667 33554432000 4194304 4196468 140734169136832 140535912602480 140536874216066 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31116] ppid=31105 vsize=15024148 memory=3472328296227681521 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31116/stat : 31116 (java) S 31105 31108 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71450050 15384727552 555667 33554432000 4194304 4196468 140734169136832 140535423559200 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31117] ppid=31105 vsize=15024148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31117/stat : 31117 (java) S 31105 31108 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71450050 15384727552 555667 33554432000 4194304 4196468 140734169136832 140535155123568 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31118] ppid=31105 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31118/stat : 31118 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15384727552 555667 33554432000 4194304 4196468 140734169136832 140534780614992 140536874223515 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31119] ppid=31105 vsize=15024148 memory=682472 CPUtime=3.67 cores=0,2,4,6
/proc/31108/task/31119/stat : 31119 (java) S 31105 31108 29212 0 -1 1077944384 6249 0 0 0 365 2 0 0 20 0 15 0 71450053 15384727552 555667 33554432000 4194304 4196468 140734169136832 140535911549296 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31120] ppid=31105 vsize=15024148 memory=6791534058613427641 CPUtime=3.79 cores=0,2,4,6
/proc/31108/task/31120/stat : 31120 (java) S 31105 31108 29212 0 -1 1077944384 5085 0 0 0 378 1 0 0 20 0 15 0 71450053 15384727552 555667 33554432000 4194304 4196468 140734169136832 140535910496496 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31121] ppid=31105 vsize=15024148 memory=5192 CPUtime=1.32 cores=0,2,4,6
/proc/31108/task/31121/stat : 31121 (java) S 31105 31108 29212 0 -1 1077944384 7183 0 0 0 130 2 0 0 20 0 15 0 71450053 15384727552 555667 33554432000 4194304 4196468 140734169136832 140535909443696 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31122] ppid=31105 vsize=15024148 memory=1369136 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31122/stat : 31122 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15384727552 555667 33554432000 4194304 4196468 140734169136832 140534282709216 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31123] ppid=31105 vsize=15024148 memory=1235948 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31123/stat : 31123 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15384727552 555667 33554432000 4194304 4196468 140734169136832 140535908392112 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
Current children cumulated CPU time: 15.03 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2222668 KiB
[startup+12.7008 s]
/proc/loadavg: 4.72 4.93 4.70 4/215 31123
/proc/meminfo: memFree=9199604/32770624 swapFree=67076460/67108860
[pid=31108] ppid=31105 vsize=15028312 memory=3109280 CPUtime=26.26 cores=0,2,4,6
/proc/31108/stat : 31108 (java) S 31105 31108 29212 0 -1 1077944320 41786 0 0 0 2556 70 0 0 20 0 15 0 71450045 15388991488 777320 33554432000 4194304 4196468 140734169136832 140734169119376 140536874204919 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
/proc/31108/statm: 3757078 777320 3251 1 0 3717934 0
[pid=31108/tid=31110] ppid=31105 vsize=15028312 memory=3108756 CPUtime=12.49 cores=0,2,4,6
/proc/31108/task/31110/stat : 31110 (java) R 31105 31108 29212 0 -1 4202560 18698 0 0 0 1198 51 0 0 20 0 15 0 71450046 15388991488 777320 33554432000 4194304 4196468 140734169136832 140536846037472 140536378791156 0 4 0 25189583 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31111] ppid=31105 vsize=15028312 memory=3109280 CPUtime=0.09 cores=0,2,4,6
/proc/31108/task/31111/stat : 31111 (java) S 31105 31108 29212 0 -1 1077944384 103 0 0 0 7 2 0 0 20 0 15 0 71450048 15388991488 777320 33554432000 4194304 4196468 140734169136832 140536878447248 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31112] ppid=31105 vsize=15028312 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/31108/task/31112/stat : 31112 (java) S 31105 31108 29212 0 -1 1077944384 87 0 0 0 6 2 0 0 20 0 15 0 71450048 15388991488 777320 33554432000 4194304 4196468 140734169136832 140536335268368 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31113] ppid=31105 vsize=15028312 memory=3544 CPUtime=0.09 cores=0,2,4,6
/proc/31108/task/31113/stat : 31113 (java) S 31105 31108 29212 0 -1 1077944384 123 0 0 0 7 2 0 0 20 0 15 0 71450048 15388991488 777320 33554432000 4194304 4196468 140734169136832 140536334215568 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31114] ppid=31105 vsize=15028312 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31108/task/31114/stat : 31114 (java) S 31105 31108 29212 0 -1 1077944384 191 0 0 0 6 2 0 0 20 0 15 0 71450048 15388991488 777320 33554432000 4194304 4196468 140734169136832 140536333162768 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31115] ppid=31105 vsize=15028312 memory=4354298702720640922 CPUtime=0.01 cores=0,2,4,6
/proc/31108/task/31115/stat : 31115 (java) S 31105 31108 29212 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 71450049 15388991488 777320 33554432000 4194304 4196468 140734169136832 140535912602480 140536874216066 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31116] ppid=31105 vsize=15028312 memory=-6538550277136813654 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31116/stat : 31116 (java) S 31105 31108 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 71450050 15388991488 777320 33554432000 4194304 4196468 140734169136832 140535423559264 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31117] ppid=31105 vsize=15028312 memory=7091009329778415714 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31117/stat : 31117 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71450050 15388991488 777320 33554432000 4194304 4196468 140734169136832 140535155123568 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31118] ppid=31105 vsize=15028312 memory=7085686568235591783 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31118/stat : 31118 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15388991488 777320 33554432000 4194304 4196468 140734169136832 140534780614992 140536874223515 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31119] ppid=31105 vsize=15028312 memory=3105064 CPUtime=5.79 cores=0,2,4,6
/proc/31108/task/31119/stat : 31119 (java) S 31105 31108 29212 0 -1 1077944384 7856 0 0 0 576 3 0 0 20 0 15 0 71450053 15388991488 777320 33554432000 4194304 4196468 140734169136832 140535911549296 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31120] ppid=31105 vsize=15028312 memory=0 CPUtime=5.95 cores=0,2,4,6
/proc/31108/task/31120/stat : 31120 (java) S 31105 31108 29212 0 -1 1077944384 6134 0 0 0 593 2 0 0 20 0 15 0 71450053 15388991488 777320 33554432000 4194304 4196468 140734169136832 140535910496496 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31121] ppid=31105 vsize=15028312 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/31108/task/31121/stat : 31121 (java) S 31105 31108 29212 0 -1 1077944384 7237 0 0 0 156 3 0 0 20 0 15 0 71450053 15388991488 777320 33554432000 4194304 4196468 140734169136832 140535909443696 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31122] ppid=31105 vsize=15028312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31122/stat : 31122 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15388991488 777320 33554432000 4194304 4196468 140734169136832 140534282709216 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31123] ppid=31105 vsize=15028312 memory=279947310530800 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31123/stat : 31123 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71450053 15388991488 777320 33554432000 4194304 4196468 140734169136832 140535908392112 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
Current children cumulated CPU time: 26.26 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3109280 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+25.0007 s]*
/proc/loadavg: 4.58 4.88 4.69 6/220 31129
/proc/meminfo: memFree=8096252/32770624 swapFree=67076460/67108860
[pid=31108] ppid=31105 vsize=15683912 memory=3920964 CPUtime=43.83 cores=0,2,4,6
/proc/31108/stat : 31108 (java) S 31105 31108 29212 0 -1 1077944320 62619 0 0 0 4205 178 0 0 20 0 19 0 71450045 16060325888 980241 33554432000 4194304 4196468 140734169136832 140734169119376 140536874204919 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
/proc/31108/statm: 3920978 980241 3272 1 0 3881834 0
[pid=31124] ppid=31108 vsize=268656 memory=225836 CPUtime=0.68 cores=0,2,4,6
/proc/31124/stat : 31124 (minisat_release) R 31108 31108 29212 0 -1 4202496 47810 0 0 0 60 8 0 0 20 0 1 0 71452478 275103744 56459 33554432000 4194304 4308513 140724599169824 140724599166968 140039457024997 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6409496 6410680 18079744 140724599173807 140724599174318 140724599174318 140724599177157 0
/proc/31124/statm: 67164 56459 318 28 0 63404 0
[pid=31108/tid=31110] ppid=31105 vsize=15683912 memory=8389772277269004345 CPUtime=23.16 cores=0,2,4,6
/proc/31108/task/31110/stat : 31110 (java) S 31105 31108 29212 0 -1 1077944384 21933 0 0 0 2254 62 0 0 20 0 19 0 71450046 16060325888 980241 33554432000 4194304 4196468 140734169136832 140536846044160 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31111] ppid=31105 vsize=15683912 memory=301741407901843479 CPUtime=1.04 cores=0,2,4,6
/proc/31108/task/31111/stat : 31111 (java) S 31105 31108 29212 0 -1 1077944384 1086 0 0 0 79 25 0 0 20 0 19 0 71450048 16060325888 980241 33554432000 4194304 4196468 140734169136832 140536878447248 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31112] ppid=31105 vsize=15683912 memory=3918521355547455520 CPUtime=1.05 cores=0,2,4,6
/proc/31108/task/31112/stat : 31112 (java) S 31105 31108 29212 0 -1 1077944384 597 0 0 0 79 26 0 0 20 0 19 0 71450048 16060325888 980241 33554432000 4194304 4196468 140734169136832 140536335268368 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31113] ppid=31105 vsize=15683912 memory=3472328296227679279 CPUtime=1.06 cores=0,2,4,6
/proc/31108/task/31113/stat : 31113 (java) S 31105 31108 29212 0 -1 1077944384 658 0 0 0 80 26 0 0 20 0 19 0 71450048 16060325888 980241 33554432000 4194304 4196468 140734169136832 140536334215568 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31114] ppid=31105 vsize=15683912 memory=3472468270013798064 CPUtime=1.05 cores=0,2,4,6
/proc/31108/task/31114/stat : 31114 (java) S 31105 31108 29212 0 -1 1077944384 2563 0 0 0 79 26 0 0 20 0 19 0 71450048 16060325888 980241 33554432000 4194304 4196468 140734169136832 140536333162768 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31115] ppid=31105 vsize=15683912 memory=3472328296227680303 CPUtime=0.02 cores=0,2,4,6
/proc/31108/task/31115/stat : 31115 (java) S 31105 31108 29212 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 19 0 71450049 16060325888 980241 33554432000 4194304 4196468 140734169136832 140535912602480 140536874216066 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31116] ppid=31105 vsize=15683912 memory=-7089928415307258220 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31116/stat : 31116 (java) S 31105 31108 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71450050 16060325888 980241 33554432000 4194304 4196468 140734169136832 140535423559264 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31117] ppid=31105 vsize=15683912 memory=5787213827181732953 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31117/stat : 31117 (java) S 31105 31108 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71450050 16060325888 980241 33554432000 4194304 4196468 140734169136832 140535155123584 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31118] ppid=31105 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31118/stat : 31118 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71450053 16060325888 980241 33554432000 4194304 4196468 140734169136832 140534780614992 140536874223515 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31119] ppid=31105 vsize=15683912 memory=139973655936607 CPUtime=7.13 cores=0,2,4,6
/proc/31108/task/31119/stat : 31119 (java) S 31105 31108 29212 0 -1 1077944384 12855 0 0 0 710 3 0 0 20 0 19 0 71450053 16060325888 980241 33554432000 4194304 4196468 140734169136832 140535911549296 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31120] ppid=31105 vsize=15683912 memory=139973786379904 CPUtime=7.5 cores=0,2,4,6
/proc/31108/task/31120/stat : 31120 (java) S 31105 31108 29212 0 -1 1077944384 11246 0 0 0 748 2 0 0 20 0 19 0 71450053 16060325888 980241 33554432000 4194304 4196468 140734169136832 140535910496496 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31121] ppid=31105 vsize=15683912 memory=139973655265399 CPUtime=1.71 cores=0,2,4,6
/proc/31108/task/31121/stat : 31121 (java) S 31105 31108 29212 0 -1 1077944384 8767 0 0 0 168 3 0 0 20 0 19 0 71450053 16060325888 980241 33554432000 4194304 4196468 140734169136832 140535909443696 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31122] ppid=31105 vsize=15683912 memory=139973786379904 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31122/stat : 31122 (java) S 31105 31108 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71450053 16060325888 980241 33554432000 4194304 4196468 140734169136832 140534282709216 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31123] ppid=31105 vsize=15683912 memory=9891309682687 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31123/stat : 31123 (java) S 31105 31108 29212 0 -1 1077944384 1216 0 0 0 0 0 0 0 20 0 19 0 71450053 16060325888 980241 33554432000 4194304 4196468 140734169136832 140535908392112 140536874216066 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31125] ppid=31105 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31125/stat : 31125 (java) S 31105 31108 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71452478 16060325888 980241 33554432000 4194304 4196468 140734169136832 140535894292160 140536874229529 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31127] ppid=31105 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31127/stat : 31127 (java) S 31105 31108 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71452478 16060325888 980241 33554432000 4194304 4196468 140734169136832 140533880045232 140536874226845 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31128] ppid=31105 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31128/stat : 31128 (java) S 31105 31108 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71452478 16060325888 980241 33554432000 4194304 4196468 140734169136832 140533745823280 140536874226845 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
[pid=31108/tid=31129] ppid=31105 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31108/task/31129/stat : 31129 (java) S 31105 31108 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71452480 16060325888 980241 33554432000 4194304 4196468 140734169136832 140533477399712 140536874215125 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140734169142260 140734169142537 140734169142537 140734169145295 0
Current children cumulated CPU time: 44.51 s
Current children cumulated vsize: 15952568 KiB
Current children cumulated memory: 4146800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+25.0618 s]
# the end of solver process 31108 was just reported to runsolver
# cumulated CPU time of all completed processes: user=42.6638 s, system=1.91932 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 25.0619
CPU time (s): 44.5831
CPU user time (s): 42.6638
CPU system time (s): 1.91932
CPU usage (%): 177.892
Max. virtual memory (cumulated for all children) (KiB): 15952568
Max. memory (cumulated for all children) (KiB): 4146800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.6638
system time used= 1.91932
maximum resident set size= 3924760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 130616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6341
involuntary context switches= 232
# summary of solver processes directly reported to runsolver:
# pid: 31108
# total CPU time (s): 44.5831
# total CPU user time (s): 42.6638
# total CPU system time (s): 1.91932
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.172551 second user time and 0.285188 second system time
The end