0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Thu Jul 26 02:08:32 CEST 2018
0.66/0.54 c PID: 1191
0.66/0.54 c IP: 172.20.3.150
0.66/0.54 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
3.40/1.43 c (0,0) Parsing End
3.40/1.44 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1440 ctr, max domain size 26
3.66/1.52 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.66/1.52 c (0,0) Constraint Name Generate Begin
3.66/1.52 c (0,0) Ctr:HOME/instance-4295020-1532563711.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.66/1.52 c (0,0) Constraint Name Generate End
3.66/1.52 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.66/1.52 c (0,0) CSP to CSPinCNF Begin
12.58/4.77 c (4,4) translated 144 (10%) constraints
13.11/5.23 c (4,4) translated 288 (20%) constraints
13.11/5.25 c (4,4) translated 432 (30%) constraints
13.11/5.28 c (4,4) translated 576 (40%) constraints
13.45/5.31 c (4,4) translated 720 (50%) constraints
13.45/5.34 c (4,4) translated 864 (60%) constraints
13.45/5.35 c (4,4) translated 1008 (70%) constraints
13.45/5.37 c (4,4) translated 1152 (80%) constraints
15.99/6.93 c (6,6) translated 1296 (90%) constraints
17.32/7.93 c (7,7) translated 1440 (100%) constraints
18.54/8.49 c (7,7) STATISTICS1:HOME/instance-4295020-1532563711.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
18.54/8.49 c (7,7) ===========================================
18.54/8.49 c (7,7) Order
18.54/8.49 c (7,7) ===========================================
20.74/9.25 c (8,8) translated 5707 (10%) constraints
21.62/9.50 c (8,8) translated 11413 (20%) constraints
21.88/9.60 c (9,8) translated 17120 (30%) constraints
21.88/9.68 c (9,9) translated 22826 (40%) constraints
21.98/9.76 c (9,9) translated 28533 (50%) constraints
22.08/9.85 c (9,9) translated 34239 (60%) constraints
22.18/9.93 c (9,9) translated 39946 (70%) constraints
22.29/10.01 c (9,9) translated 45652 (80%) constraints
22.29/10.09 c (9,9) translated 51359 (90%) constraints
28.56/12.26 c (11,11) translated 57065 (100%) constraints
28.56/12.28 c (11,11) CSP to CSPinCNF End
28.56/12.29 c (11,11) CSP: 4169 int (3969 aux), 21645 bool (20645 aux), 77809 ctr, max domain size 68
28.56/12.29 c (11,11) Heap : 2507 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
28.56/12.29 c (11,11) CSPinCNF Propagation Begin
30.01/12.79 c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
30.01/12.79 c (12,12) CSPinCNF Propagation End
30.26/12.80 c (12,12) CSP: 4169 int (3969 aux), 21645 bool (20645 aux), 77409 ctr, max domain size 68
30.26/12.80 c (12,12) Heap : 2835 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
30.26/12.80 c (12,12) Simplify CSPinCNF Begin
30.46/12.97 c (12,12) Simplify CSPinCNF End
30.46/12.97 c (12,12) CSP: 4169 int (3969 aux), 21645 bool (20645 aux), 77409 ctr, max domain size 68
30.46/12.97 c (12,12) Heap : 2890 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
30.46/12.97 c (12,12) Calculate Precise Domain Begin
30.62/13.03 c (12,12) 0 values are removed by re-calculation
30.62/13.03 c (12,12) Calculate Precise Domain End
30.62/13.03 c (12,12) CSP: 4169 int (3969 aux), 21645 bool (20645 aux), 77409 ctr, max domain size 68
30.62/13.03 c (12,12) Heap : 2890 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
30.62/13.03 c (12,12) CSPinCNF to SatSolver Begin
34.45/15.25 c (14,14) 7741 (10 %) CSP clauses are encoded (94877 SAT variables, 584439 SAT clauses)
34.75/15.32 c (14,14) 15482 (20 %) CSP clauses are encoded (94877 SAT variables, 592180 SAT clauses)
34.75/15.39 c (14,14) 23223 (30 %) CSP clauses are encoded (94877 SAT variables, 599921 SAT clauses)
34.97/15.45 c (14,14) 30964 (40 %) CSP clauses are encoded (94877 SAT variables, 607662 SAT clauses)
34.97/15.48 c (14,14) 38705 (50 %) CSP clauses are encoded (94877 SAT variables, 615403 SAT clauses)
35.14/15.52 c (15,14) 46446 (60 %) CSP clauses are encoded (94877 SAT variables, 623144 SAT clauses)
35.14/15.56 c (15,14) 54187 (70 %) CSP clauses are encoded (94877 SAT variables, 630885 SAT clauses)
35.25/15.60 c (15,14) 61928 (80 %) CSP clauses are encoded (94877 SAT variables, 638626 SAT clauses)
35.55/15.95 c (15,15) 69669 (90 %) CSP clauses are encoded (94877 SAT variables, 788953 SAT clauses)
40.26/20.44 c (19,19) 77409 (100 %) CSP clauses are encoded (94877 SAT variables, 2495108 SAT clauses)
40.26/20.44 c (19,19) CSPinCNF to SatSolver End
40.26/20.44 c (19,19) Heap : 881 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
41.09/20.80 c (20,19) STATISTICS2:HOME/instance-4295020-1532563711.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25814,77409,4556,68,24,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600:1;1560:3;1521:5;1482:2;1444:1;1406:5;1369:1;1332:2;1296:3;1260:3;1225:1;1190:16;1156:18;1122:19;1089:14;1056:18;1024:294;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:16;702:14;676:20;650:15;625:16;600:16;576:16;552:19;529:14;512:761;506:17;484:16;462:15;441:19;420:14;400:16;380:17;361:23;342:18;324:32;306:90;289:88;272:70;270:4;256:1924;255:8;252:4;240:71;238:8;225:80;216:4;210:72;204:8;198:4;196:79;187:8;182:76;180:16;170:32;169:69;156:71;144:81;136:8;132:67;128:1175;126:4;121:80;119:8;110:67;108:4;102:8;100:101;96:276;90:564;85:16;81:496;72:311;68:24;64:1164;56:292;54:8;51:16;49:294;36:28;34:40;25:292;16:968;9:16;4:436;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:28;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:26;44:28;43:30;42:24;41:34;40:24;39:42;38:28;37:26;36:32;35:54;34:148;33:142;32:136;31:150;30:136;29:142;28:140;27:138;26:30148;25:138;24:140;23:138;22:134;21:144;20:134;19:174;18:1112;17:1028;16:598;15:620;14:620;13:572;12:1140;11:592;10:1666;9:3694;8:2386;7:1764;6:36;5:1176;4:108;3:72;2:179776,24:200;3:29200;2:36400;1:11609,11:278;10:761;9:1847;8:1175;7:864;5:1220;3:5265;2:199;1:165200,
41.09/20.80 c (20,19) SatSolver.solve Begin
41.09/20.80 c (20,19) 94877 bool, 2495863 clause
41.09/20.80 c (20,19) 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-4295020-1532563711.xml-scop-1191.cnf HOME/instance-4295020-1532563711.xml-scop-1191.cnf.out
41.76/21.40 c (20,0) receiving signal SIGTERM
41.76/21.40 s UNKNOWN
41.76/21.41 c (20,19) SatSolver is killed by some reasons.
41.76/21.41 c (20,19) 0,0,11,12,12,12,19,TO,TO,STOP-AFTER(DIMACS)
41.76/21.41 c END-Prog: Thu Jul 26 02:08:53 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 (534 MiB free)
memory of node 1: 16384 MiB (11535 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295020-1532563711/watcher-4295020-1532563711 -o /tmp/evaluation-result-4295020-1532563711/solver-4295020-1532563711 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295020-1532563711.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1191, runsolver pid=1188
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 3.78 4.19 3.69 6/215 1207
/proc/meminfo: memFree=12300184/32770624 swapFree=67108860/67108860
[pid=1191] ppid=1188 vsize=15011656 memory=71492 CPUtime=0.11 cores=1,3,5,7
/proc/1191/stat : 1191 (java) S 1188 1191 32649 0 -1 1077944320 7080 0 0 0 10 1 0 0 20 0 15 0 73934382 15371935744 17873 33554432000 4194304 4196468 140722457392128 140722457374672 140330575945463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
/proc/1191/statm: 3752914 17873 2781 1 0 3715374 0
[pid=1191/tid=1194] ppid=1188 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/1191/task/1194/stat : 1194 (java) R 1188 1191 32649 0 -1 4202560 5569 0 0 0 8 1 0 0 20 0 15 0 73934382 15371935744 18269 33554432000 4194304 4196468 140722457392128 140330547741344 140330556221212 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1195] ppid=1188 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1195/stat : 1195 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 18269 33554432000 4194304 4196468 140722457392128 140330580187408 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1196] ppid=1188 vsize=15011656 memory=140547801319040 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1196/stat : 1196 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 18269 33554432000 4194304 4196468 140722457392128 140330036099472 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1197] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1197/stat : 1197 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 18269 33554432000 4194304 4196468 140722457392128 140330035046928 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1198] ppid=1188 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1198/stat : 1198 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 18335 33554432000 4194304 4196468 140722457392128 140330033994384 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1199] ppid=1188 vsize=15011656 memory=140547801319040 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1199/stat : 1199 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934385 15371935744 18335 33554432000 4194304 4196468 140722457392128 140329614334448 140330575956610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1200] ppid=1188 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1200/stat : 1200 (java) S 1188 1191 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73934386 15371935744 18335 33554432000 4194304 4196468 140722457392128 140329130911136 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1201] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1201/stat : 1201 (java) S 1188 1191 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73934386 15371935744 18335 33554432000 4194304 4196468 140722457392128 140328996689392 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1202] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1202/stat : 1202 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 18335 33554432000 4194304 4196468 140722457392128 140328622185168 140330575964059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1203] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1203/stat : 1203 (java) S 1188 1191 32649 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 18335 33554432000 4194304 4196468 140722457392128 140329613281264 140330575956610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1204] ppid=1188 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1204/stat : 1204 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 18335 33554432000 4194304 4196468 140722457392128 140329612228720 140330575956610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1205] ppid=1188 vsize=15011656 memory=140547801319040 CPUtime=0.01 cores=1,3,5,7
/proc/1191/task/1205/stat : 1205 (java) S 1188 1191 32649 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 73934389 15371935744 18335 33554432000 4194304 4196468 140722457392128 140329611176176 140330575956610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1206] ppid=1188 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1206/stat : 1206 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 18335 33554432000 4194304 4196468 140722457392128 140328124279392 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1207] ppid=1188 vsize=15011656 memory=140547801319040 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1207/stat : 1207 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 18335 33554432000 4194304 4196468 140722457392128 140329610124080 140330575956610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71492 KiB
[startup+0.210271 s]*
/proc/loadavg: 3.78 4.19 3.69 6/215 1207
/proc/meminfo: memFree=12286480/32770624 swapFree=67108860/67108860
[pid=1191] ppid=1188 vsize=15011656 memory=84552 CPUtime=0.25 cores=1,3,5,7
/proc/1191/stat : 1191 (java) S 1188 1191 32649 0 -1 1077944320 10614 0 0 0 23 2 0 0 20 0 15 0 73934382 15371935744 21138 33554432000 4194304 4196468 140722457392128 140722457374672 140330575945463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
/proc/1191/statm: 3752914 21138 2914 1 0 3715374 0
[pid=1191/tid=1194] ppid=1188 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1191/task/1194/stat : 1194 (java) R 1188 1191 32649 0 -1 4202560 8484 0 0 0 19 1 0 0 20 0 15 0 73934382 15371935744 21138 33554432000 4194304 4196468 140722457392128 140330547770912 140330078625860 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1195] ppid=1188 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1195/stat : 1195 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 21138 33554432000 4194304 4196468 140722457392128 140330580187408 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1196] ppid=1188 vsize=15011656 memory=140547801350962 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1196/stat : 1196 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 21138 33554432000 4194304 4196468 140722457392128 140330036099472 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1197] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1197/stat : 1197 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 21138 33554432000 4194304 4196468 140722457392128 140330035046928 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1198] ppid=1188 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1198/stat : 1198 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 21138 33554432000 4194304 4196468 140722457392128 140330033994384 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1199] ppid=1188 vsize=15011656 memory=140547801319040 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1199/stat : 1199 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934385 15371935744 21138 33554432000 4194304 4196468 140722457392128 140329614334448 140330575956610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1200] ppid=1188 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1200/stat : 1200 (java) S 1188 1191 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73934386 15371935744 21138 33554432000 4194304 4196468 140722457392128 140329130911136 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1201] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1201/stat : 1201 (java) S 1188 1191 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73934386 15371935744 21138 33554432000 4194304 4196468 140722457392128 140328996689392 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1202] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1202/stat : 1202 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 21138 33554432000 4194304 4196468 140722457392128 140328622185168 140330575964059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1203] ppid=1188 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1191/task/1203/stat : 1203 (java) R 1188 1191 32649 0 -1 4202560 317 0 0 0 1 0 0 0 20 0 15 0 73934389 15371935744 21138 33554432000 4194304 4196468 140722457392128 140329613281264 140330560343685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1204] ppid=1188 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1204/stat : 1204 (java) R 1188 1191 32649 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 21138 33554432000 4194304 4196468 140722457392128 140329612228720 140330575956610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1205] ppid=1188 vsize=15011656 memory=140547801319040 CPUtime=0.03 cores=1,3,5,7
/proc/1191/task/1205/stat : 1205 (java) S 1188 1191 32649 0 -1 1077944384 304 0 0 0 3 0 0 0 20 0 15 0 73934389 15371935744 21138 33554432000 4194304 4196468 140722457392128 140329611176176 140330575956610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1206] ppid=1188 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1206/stat : 1206 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 21138 33554432000 4194304 4196468 140722457392128 140328124279392 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1207] ppid=1188 vsize=15011656 memory=140547801319040 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1207/stat : 1207 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 21138 33554432000 4194304 4196468 140722457392128 140329610124080 140330575956610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84552 KiB
[startup+0.310353 s]*
/proc/loadavg: 3.78 4.19 3.69 6/215 1207
/proc/meminfo: memFree=12283292/32770624 swapFree=67108860/67108860
[pid=1191] ppid=1188 vsize=15011656 memory=88024 CPUtime=0.43 cores=1,3,5,7
/proc/1191/stat : 1191 (java) S 1188 1191 32649 0 -1 1077944320 11130 0 0 0 41 2 0 0 20 0 15 0 73934382 15371935744 22006 33554432000 4194304 4196468 140722457392128 140722457374672 140330575945463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
/proc/1191/statm: 3752914 22006 2979 1 0 3715374 0
[pid=1191/tid=1194] ppid=1188 vsize=15011656 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1191/task/1194/stat : 1194 (java) R 1188 1191 32649 0 -1 4202560 8857 0 0 0 29 1 0 0 20 0 15 0 73934382 15371935744 22006 33554432000 4194304 4196468 140722457392128 140330547749576 140330557509136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1195] ppid=1188 vsize=15011656 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1195/stat : 1195 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 22006 33554432000 4194304 4196468 140722457392128 140330580187408 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1196] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1196/stat : 1196 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 22006 33554432000 4194304 4196468 140722457392128 140330036099472 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1197] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1197/stat : 1197 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 22006 33554432000 4194304 4196468 140722457392128 140330035046928 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1198] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1198/stat : 1198 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15371935744 22006 33554432000 4194304 4196468 140722457392128 140330033994384 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1199] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1199/stat : 1199 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934385 15371935744 22006 33554432000 4194304 4196468 140722457392128 140329614334448 140330575956610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1200] ppid=1188 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1200/stat : 1200 (java) S 1188 1191 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73934386 15371935744 22006 33554432000 4194304 4196468 140722457392128 140329130911136 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1201] ppid=1188 vsize=15011656 memory=140547704596975 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1201/stat : 1201 (java) S 1188 1191 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73934386 15371935744 22006 33554432000 4194304 4196468 140722457392128 140328996689392 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1202] ppid=1188 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1202/stat : 1202 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 22006 33554432000 4194304 4196468 140722457392128 140328622185168 140330575964059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1203] ppid=1188 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1191/task/1203/stat : 1203 (java) S 1188 1191 32649 0 -1 1077944384 432 0 0 0 3 0 0 0 20 0 15 0 73934389 15371935744 22006 33554432000 4194304 4196468 140722457392128 140329613281264 140330575956610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1204] ppid=1188 vsize=15011656 memory=140547704583183 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1204/stat : 1204 (java) S 1188 1191 32649 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 22006 33554432000 4194304 4196468 140722457392128 140329612228720 140330575956610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1205] ppid=1188 vsize=15011656 memory=281095505911392 CPUtime=0.07 cores=1,3,5,7
/proc/1191/task/1205/stat : 1205 (java) S 1188 1191 32649 0 -1 1077944384 324 0 0 0 7 0 0 0 20 0 15 0 73934389 15371935744 22006 33554432000 4194304 4196468 140722457392128 140329611176176 140330575956610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1206] ppid=1188 vsize=15011656 memory=140547704587791 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1206/stat : 1206 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 22006 33554432000 4194304 4196468 140722457392128 140328124279392 140330575955669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1207] ppid=1188 vsize=15011656 memory=140547801319050 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1207/stat : 1207 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934389 15371935744 22006 33554432000 4194304 4196468 140722457392128 140329610124080 140330575956610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88024 KiB
[startup+0.70126 s]
/proc/loadavg: 3.78 4.19 3.69 6/215 1207
/proc/meminfo: memFree=12258860/32770624 swapFree=67108860/67108860
[pid=1191] ppid=1188 vsize=15019976 memory=131388 CPUtime=1.05 cores=1,3,5,7
/proc/1191/stat : 1191 (java) S 1188 1191 32649 0 -1 1077944320 18015 0 0 0 101 4 0 0 20 0 15 0 73934382 15380455424 32847 33554432000 4194304 4196468 140722457392128 140722457374672 140330575945463 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
/proc/1191/statm: 3754994 32847 3139 1 0 3716398 0
[pid=1191/tid=1194] ppid=1188 vsize=15019976 memory=145697370281998 CPUtime=0.67 cores=1,3,5,7
/proc/1191/task/1194/stat : 1194 (java) R 1188 1191 32649 0 -1 4202560 15297 0 0 0 65 2 0 0 20 0 15 0 73934382 15380455424 32847 33554432000 4194304 4196468 140722457392128 140330547781184 140330560025950 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1195] ppid=1188 vsize=15019976 memory=26529 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1195/stat : 1195 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15380455424 32847 33554432000 4194304 4196468 140722457392128 140330580187408 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1196] ppid=1188 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1196/stat : 1196 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15380455424 32847 33554432000 4194304 4196468 140722457392128 140330036099472 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1197] ppid=1188 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1197/stat : 1197 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934384 15380455424 32847 33554432000 4194304 4196468 140722457392128 140330035046928 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1198] ppid=1188 vsize=15019976 memory=281095408976112 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1198/stat : 1198 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15380455424 32847 33554432000 4194304 4196468 140722457392128 140330033994384 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1199] ppid=1188 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1199/stat : 1199 (java) S 1188 1191 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73934385 15380455424 32847 33554432000 4194304 4196468 140722457392128 140329614334448 140330575956610 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1200] ppid=1188 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1200/stat : 1200 (java) S 1188 1191 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73934386 15380455424 32847 33554432000 4194304 4196468 140722457392128 140329130911136 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1201] ppid=1188 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1201/stat : 1201 (java) S 1188 1191 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73934386 15380455424 32847 33554432000 4194304 4196468 140722457392128 140328996689392 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1202] ppid=1188 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1202/stat : 1202 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15380455424 32847 33554432000 4194304 4196468 140722457392128 140328622185168 140330575964059 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1203] ppid=1188 vsize=15019976 memory=7307210970617654738 CPUtime=0.11 cores=1,3,5,7
/proc/1191/task/1203/stat : 1203 (java) R 1188 1191 32649 0 -1 4202560 635 0 0 0 11 0 0 0 20 0 15 0 73934389 15380455424 32847 33554432000 4194304 4196468 140722457392128 140329613271056 140330560829895 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1204] ppid=1188 vsize=15019976 memory=-3535359994705171810 CPUtime=0.05 cores=1,3,5,7
/proc/1191/task/1204/stat : 1204 (java) R 1188 1191 32649 0 -1 4202560 274 0 0 0 5 0 0 0 20 0 15 0 73934389 15380455424 32847 33554432000 4194304 4196468 140722457392128 140329612228720 140330561626117 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1205] ppid=1188 vsize=15019976 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/1191/task/1205/stat : 1205 (java) S 1188 1191 32649 0 -1 1077944384 449 0 0 0 18 0 0 0 20 0 15 0 73934389 15380455424 32847 33554432000 4194304 4196468 140722457392128 140329611176176 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1206] ppid=1188 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1206/stat : 1206 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15380455424 32847 33554432000 4194304 4196468 140722457392128 140328124279392 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1207] ppid=1188 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1207/stat : 1207 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934389 15380455424 32847 33554432000 4194304 4196468 140722457392128 140329610124080 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 131388 KiB
[startup+1.5007 s]
/proc/loadavg: 3.78 4.19 3.69 8/215 1207
/proc/meminfo: memFree=12216552/32770624 swapFree=67108860/67108860
[pid=1191] ppid=1188 vsize=15022100 memory=203000 CPUtime=3.66 cores=1,3,5,7
/proc/1191/stat : 1191 (java) S 1188 1191 32649 0 -1 1077944320 23536 0 0 0 359 7 0 0 20 0 15 0 73934382 15382630400 50750 33554432000 4194304 4196468 140722457392128 140722457374672 140330575945463 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
/proc/1191/statm: 3755525 50750 3212 1 0 3716910 0
[pid=1191/tid=1194] ppid=1188 vsize=15022100 memory=281095409440704 CPUtime=1.46 cores=1,3,5,7
/proc/1191/task/1194/stat : 1194 (java) R 1188 1191 32649 0 -1 4202560 16208 0 0 0 142 4 0 0 20 0 15 0 73934382 15382630400 50750 33554432000 4194304 4196468 140722457392128 140330547766240 140330560025950 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1195] ppid=1188 vsize=15022100 memory=7091598681029830993 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1195/stat : 1195 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15382630400 50750 33554432000 4194304 4196468 140722457392128 140330580187408 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1196] ppid=1188 vsize=15022100 memory=5787495379064864864 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1196/stat : 1196 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15382630400 50750 33554432000 4194304 4196468 140722457392128 140330036099472 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1197] ppid=1188 vsize=15022100 memory=7019607635644916689 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1197/stat : 1197 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934384 15382630400 50750 33554432000 4194304 4196468 140722457392128 140330035046928 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1198] ppid=1188 vsize=15022100 memory=4294969536 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1198/stat : 1198 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15382630400 50790 33554432000 4194304 4196468 140722457392128 140330033994384 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1199] ppid=1188 vsize=15022100 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1199/stat : 1199 (java) S 1188 1191 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73934385 15382630400 50790 33554432000 4194304 4196468 140722457392128 140329614334448 140330575956610 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
################
# More data... #
################
[pid=1191/tid=1200] ppid=1188 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1200/stat : 1200 (java) S 1188 1191 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73934386 15382630400 207013 33554432000 4194304 4196468 140722457392128 140329130911136 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1201] ppid=1188 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1201/stat : 1201 (java) S 1188 1191 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73934386 15382630400 207013 33554432000 4194304 4196468 140722457392128 140328996689392 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1202] ppid=1188 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1202/stat : 1202 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15382630400 207013 33554432000 4194304 4196468 140722457392128 140328622185168 140330575964059 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1203] ppid=1188 vsize=15022100 memory=0 CPUtime=1.91 cores=1,3,5,7
/proc/1191/task/1203/stat : 1203 (java) R 1188 1191 32649 0 -1 4202560 2115 0 0 0 191 0 0 0 20 0 15 0 73934389 15382630400 207013 33554432000 4194304 4196468 140722457392128 140329613272720 140330557470436 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1204] ppid=1188 vsize=15022100 memory=0 CPUtime=2.07 cores=1,3,5,7
/proc/1191/task/1204/stat : 1204 (java) R 1188 1191 32649 0 -1 4202560 4455 0 0 0 206 1 0 0 20 0 15 0 73934389 15382630400 207013 33554432000 4194304 4196468 140722457392128 140329612213072 140330554322260 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1205] ppid=1188 vsize=15022100 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/1191/task/1205/stat : 1205 (java) S 1188 1191 32649 0 -1 1077944384 2980 0 0 0 92 1 0 0 20 0 15 0 73934389 15382630400 207013 33554432000 4194304 4196468 140722457392128 140329611176176 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1206] ppid=1188 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1206/stat : 1206 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15382630400 207013 33554432000 4194304 4196468 140722457392128 140328124279392 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1207] ppid=1188 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1207/stat : 1207 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934389 15382630400 207013 33554432000 4194304 4196468 140722457392128 140329610124080 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
Current children cumulated CPU time: 8.03 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 828052 KiB
[startup+6.30076 s]
/proc/loadavg: 3.96 4.22 3.70 7/215 1207
/proc/meminfo: memFree=10323748/32770624 swapFree=67108860/67108860
[pid=1191] ppid=1188 vsize=15024148 memory=2273532 CPUtime=15.38 cores=1,3,5,7
/proc/1191/stat : 1191 (java) S 1188 1191 32649 0 -1 1077944320 38463 0 0 0 1495 43 0 0 20 0 15 0 73934382 15384727552 568383 33554432000 4194304 4196468 140722457392128 140722457374672 140330575945463 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
/proc/1191/statm: 3756037 568383 3217 1 0 3717422 0
[pid=1191/tid=1194] ppid=1188 vsize=15024148 memory=0 CPUtime=6.26 cores=1,3,5,7
/proc/1191/task/1194/stat : 1194 (java) R 1188 1191 32649 0 -1 4202560 17949 0 0 0 589 37 0 0 20 0 15 0 73934382 15384727552 568383 33554432000 4194304 4196468 140722457392128 140330547777664 140330080096545 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1195] ppid=1188 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1195/stat : 1195 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15384727552 568383 33554432000 4194304 4196468 140722457392128 140330580187408 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1196] ppid=1188 vsize=15024148 memory=7019467088007344433 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1196/stat : 1196 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15384727552 568383 33554432000 4194304 4196468 140722457392128 140330036099472 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1197] ppid=1188 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1197/stat : 1197 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934384 15384727552 568383 33554432000 4194304 4196468 140722457392128 140330035046928 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1198] ppid=1188 vsize=15024148 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1198/stat : 1198 (java) S 1188 1191 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73934384 15384727552 568383 33554432000 4194304 4196468 140722457392128 140330033994384 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1199] ppid=1188 vsize=15024148 memory=140547801337873 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1199/stat : 1199 (java) S 1188 1191 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73934385 15384727552 568383 33554432000 4194304 4196468 140722457392128 140329614334448 140330575956610 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1200] ppid=1188 vsize=15024148 memory=7954030269704072298 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1200/stat : 1200 (java) S 1188 1191 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73934386 15384727552 568383 33554432000 4194304 4196468 140722457392128 140329130911136 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1201] ppid=1188 vsize=15024148 memory=7739548489513265259 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1201/stat : 1201 (java) S 1188 1191 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73934386 15384727552 568383 33554432000 4194304 4196468 140722457392128 140328996689392 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1202] ppid=1188 vsize=15024148 memory=7670301315261816931 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1202/stat : 1202 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15384727552 568383 33554432000 4194304 4196468 140722457392128 140328622185168 140330575964059 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1203] ppid=1188 vsize=15024148 memory=0 CPUtime=3.77 cores=1,3,5,7
/proc/1191/task/1203/stat : 1203 (java) S 1188 1191 32649 0 -1 1077944384 5850 0 0 0 375 2 0 0 20 0 15 0 73934389 15384727552 568383 33554432000 4194304 4196468 140722457392128 140329613281264 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1204] ppid=1188 vsize=15024148 memory=301741390604534054 CPUtime=3.99 cores=1,3,5,7
/proc/1191/task/1204/stat : 1204 (java) S 1188 1191 32649 0 -1 1077944384 7148 0 0 0 398 1 0 0 20 0 15 0 73934389 15384727552 568383 33554432000 4194304 4196468 140722457392128 140329612228720 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1205] ppid=1188 vsize=15024148 memory=288293281199293682 CPUtime=1.33 cores=1,3,5,7
/proc/1191/task/1205/stat : 1205 (java) S 1188 1191 32649 0 -1 1077944384 6154 0 0 0 131 2 0 0 20 0 15 0 73934389 15384727552 568383 33554432000 4194304 4196468 140722457392128 140329611176176 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1206] ppid=1188 vsize=15024148 memory=6944656425123094137 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1206/stat : 1206 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15384727552 568383 33554432000 4194304 4196468 140722457392128 140328124279392 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1207] ppid=1188 vsize=15024148 memory=4137287014106042691 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1207/stat : 1207 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934389 15384727552 568383 33554432000 4194304 4196468 140722457392128 140329610124080 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
Current children cumulated CPU time: 15.38 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2273532 KiB
[startup+12.7015 s]
/proc/loadavg: 3.96 4.21 3.70 8/215 1207
/proc/meminfo: memFree=9234616/32770624 swapFree=67108860/67108860
[pid=1191] ppid=1188 vsize=15024148 memory=3131600 CPUtime=30.01 cores=1,3,5,7
/proc/1191/stat : 1191 (java) S 1188 1191 32649 0 -1 1077944320 48887 0 0 0 2933 68 0 0 20 0 15 0 73934382 15384727552 782900 33554432000 4194304 4196468 140722457392128 140722457374672 140330575945463 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
/proc/1191/statm: 3756037 782900 3235 1 0 3717422 0
[pid=1191/tid=1194] ppid=1188 vsize=15024148 memory=0 CPUtime=12.55 cores=1,3,5,7
/proc/1191/task/1194/stat : 1194 (java) R 1188 1191 32649 0 -1 4202560 19115 0 0 0 1207 48 0 0 20 0 15 0 73934382 15384727552 782900 33554432000 4194304 4196468 140722457392128 140330547783728 140330092508761 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1195] ppid=1188 vsize=15024148 memory=9 CPUtime=0.09 cores=1,3,5,7
/proc/1191/task/1195/stat : 1195 (java) S 1188 1191 32649 0 -1 1077944384 121 0 0 0 7 2 0 0 20 0 15 0 73934384 15384727552 782900 33554432000 4194304 4196468 140722457392128 140330580187408 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1196] ppid=1188 vsize=15024148 memory=281095409491312 CPUtime=0.09 cores=1,3,5,7
/proc/1191/task/1196/stat : 1196 (java) S 1188 1191 32649 0 -1 1077944384 115 0 0 0 7 2 0 0 20 0 15 0 73934384 15384727552 782900 33554432000 4194304 4196468 140722457392128 140330036099472 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1197] ppid=1188 vsize=15024148 memory=4136 CPUtime=0.09 cores=1,3,5,7
/proc/1191/task/1197/stat : 1197 (java) S 1188 1191 32649 0 -1 1077944384 189 0 0 0 7 2 0 0 20 0 15 0 73934384 15384727552 782900 33554432000 4194304 4196468 140722457392128 140330035046928 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1198] ppid=1188 vsize=15024148 memory=4100 CPUtime=0.09 cores=1,3,5,7
/proc/1191/task/1198/stat : 1198 (java) S 1188 1191 32649 0 -1 1077944384 76 0 0 0 7 2 0 0 20 0 15 0 73934384 15384727552 782900 33554432000 4194304 4196468 140722457392128 140330033994384 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1199] ppid=1188 vsize=15024148 memory=22476 CPUtime=0.01 cores=1,3,5,7
/proc/1191/task/1199/stat : 1199 (java) S 1188 1191 32649 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 73934385 15384727552 782900 33554432000 4194304 4196468 140722457392128 140329614334448 140330575956610 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1200] ppid=1188 vsize=15024148 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1200/stat : 1200 (java) S 1188 1191 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 73934386 15384727552 782900 33554432000 4194304 4196468 140722457392128 140329130911200 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1201] ppid=1188 vsize=15024148 memory=55 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1201/stat : 1201 (java) S 1188 1191 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 73934386 15384727552 782900 33554432000 4194304 4196468 140722457392128 140328996689392 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1202] ppid=1188 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1202/stat : 1202 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15384727552 782900 33554432000 4194304 4196468 140722457392128 140328622185168 140330575964059 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1203] ppid=1188 vsize=15024148 memory=0 CPUtime=7.58 cores=1,3,5,7
/proc/1191/task/1203/stat : 1203 (java) S 1188 1191 32649 0 -1 1077944384 9421 0 0 0 755 3 0 0 20 0 15 0 73934389 15384727552 782900 33554432000 4194304 4196468 140722457392128 140329613281264 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1204] ppid=1188 vsize=15024148 memory=0 CPUtime=7.87 cores=1,3,5,7
/proc/1191/task/1204/stat : 1204 (java) R 1188 1191 32649 0 -1 4202560 12282 0 0 0 785 2 0 0 20 0 15 0 73934389 15384727552 782900 33554432000 4194304 4196468 140722457392128 140329612218640 140330553540896 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1205] ppid=1188 vsize=15024148 memory=65 CPUtime=1.56 cores=1,3,5,7
/proc/1191/task/1205/stat : 1205 (java) S 1188 1191 32649 0 -1 1077944384 6191 0 0 0 153 3 0 0 20 0 15 0 73934389 15384727552 782900 33554432000 4194304 4196468 140722457392128 140329611176176 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1206] ppid=1188 vsize=15024148 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1206/stat : 1206 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73934389 15384727552 782900 33554432000 4194304 4196468 140722457392128 140328124279392 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1207] ppid=1188 vsize=15024148 memory=15535211064591758 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1207/stat : 1207 (java) S 1188 1191 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73934389 15384727552 782900 33554432000 4194304 4196468 140722457392128 140329610124080 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
Current children cumulated CPU time: 30.01 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3131600 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+21.4008 s]
/proc/loadavg: 4.12 4.24 3.72 5/220 1213
/proc/meminfo: memFree=8960048/32770624 swapFree=67108860/67108860
[pid=1191] ppid=1188 vsize=15683912 memory=3279564 CPUtime=41.19 cores=1,3,5,7
/proc/1191/stat : 1191 (java) S 1188 1191 32649 0 -1 1077944320 62329 0 0 0 4023 96 0 0 20 0 19 0 73934382 16060325888 819891 33554432000 4194304 4196468 140722457392128 140722457374672 140330575945463 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
/proc/1191/statm: 3920978 819891 3268 1 0 3881834 0
[pid=1208] ppid=1191 vsize=215372 memory=161476 CPUtime=0.57 cores=1,3,5,7
/proc/1208/stat : 1208 (minisat_release) R 1191 1191 32649 0 -1 4202496 32186 0 0 0 51 6 0 0 20 0 1 0 73936464 220540928 40369 33554432000 4194304 4308513 140727482502464 140727481450696 4279458 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 9867264 140727482507953 140727482508462 140727482508462 140727482511301 0
/proc/1208/statm: 53843 40369 318 28 0 50083 0
[pid=1191/tid=1194] ppid=1188 vsize=15683912 memory=-6804530867367538332 CPUtime=20.2 cores=1,3,5,7
/proc/1191/task/1194/stat : 1194 (java) S 1188 1191 32649 0 -1 1077944384 22000 0 0 0 1962 58 0 0 20 0 19 0 73934382 16060325888 819891 33554432000 4194304 4196468 140722457392128 140330547784704 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1195] ppid=1188 vsize=15683912 memory=6958453264360695866 CPUtime=0.35 cores=1,3,5,7
/proc/1191/task/1195/stat : 1195 (java) S 1188 1191 32649 0 -1 1077944384 782 0 0 0 29 6 0 0 20 0 19 0 73934384 16060325888 819891 33554432000 4194304 4196468 140722457392128 140330580187408 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1196] ppid=1188 vsize=15683912 memory=140547801319968 CPUtime=0.35 cores=1,3,5,7
/proc/1191/task/1196/stat : 1196 (java) S 1188 1191 32649 0 -1 1077944384 306 0 0 0 29 6 0 0 20 0 19 0 73934384 16060325888 819891 33554432000 4194304 4196468 140722457392128 140330036099472 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1197] ppid=1188 vsize=15683912 memory=2241 CPUtime=0.36 cores=1,3,5,7
/proc/1191/task/1197/stat : 1197 (java) S 1188 1191 32649 0 -1 1077944384 2448 0 0 0 29 7 0 0 20 0 19 0 73934384 16060325888 819891 33554432000 4194304 4196468 140722457392128 140330035046928 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1198] ppid=1188 vsize=15683912 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/1191/task/1198/stat : 1198 (java) S 1188 1191 32649 0 -1 1077944384 205 0 0 0 29 6 0 0 20 0 19 0 73934384 16060325888 819891 33554432000 4194304 4196468 140722457392128 140330033994384 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1199] ppid=1188 vsize=15683912 memory=60340 CPUtime=0.02 cores=1,3,5,7
/proc/1191/task/1199/stat : 1199 (java) S 1188 1191 32649 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 19 0 73934385 16060325888 819891 33554432000 4194304 4196468 140722457392128 140329614334448 140330575956610 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1200] ppid=1188 vsize=15683912 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1200/stat : 1200 (java) S 1188 1191 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 73934386 16060325888 819891 33554432000 4194304 4196468 140722457392128 140329130911200 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1201] ppid=1188 vsize=15683912 memory=140547705228976 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1201/stat : 1201 (java) S 1188 1191 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 73934386 16060325888 819891 33554432000 4194304 4196468 140722457392128 140328996689408 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1202] ppid=1188 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1202/stat : 1202 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73934389 16060325888 819891 33554432000 4194304 4196468 140722457392128 140328622185168 140330575964059 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1203] ppid=1188 vsize=15683912 memory=0 CPUtime=8.5 cores=1,3,5,7
/proc/1191/task/1203/stat : 1203 (java) S 1188 1191 32649 0 -1 1077944384 11205 0 0 0 847 3 0 0 20 0 19 0 73934389 16060325888 819891 33554432000 4194304 4196468 140722457392128 140329613281264 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1204] ppid=1188 vsize=15683912 memory=0 CPUtime=9.24 cores=1,3,5,7
/proc/1191/task/1204/stat : 1204 (java) S 1188 1191 32649 0 -1 1077944384 15320 0 0 0 922 2 0 0 20 0 19 0 73934389 16060325888 819891 33554432000 4194304 4196468 140722457392128 140329612228720 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1205] ppid=1188 vsize=15683912 memory=0 CPUtime=1.72 cores=1,3,5,7
/proc/1191/task/1205/stat : 1205 (java) S 1188 1191 32649 0 -1 1077944384 7897 0 0 0 169 3 0 0 20 0 19 0 73934389 16060325888 819891 33554432000 4194304 4196468 140722457392128 140329611176176 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1206] ppid=1188 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1206/stat : 1206 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73934389 16060325888 819891 33554432000 4194304 4196468 140722457392128 140328124279392 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1207] ppid=1188 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1207/stat : 1207 (java) S 1188 1191 32649 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 19 0 73934389 16060325888 819891 33554432000 4194304 4196468 140722457392128 140329610124080 140330575956610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1209] ppid=1188 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1209/stat : 1209 (java) S 1188 1191 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73936464 16060325888 819891 33554432000 4194304 4196468 140722457392128 140329602315840 140330575970073 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1211] ppid=1188 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1211/stat : 1211 (java) S 1188 1191 32649 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 73936465 16060325888 819891 33554432000 4194304 4196468 140722457392128 140327721615408 140330575967389 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1212] ppid=1188 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1212/stat : 1212 (java) S 1188 1191 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73936465 16060325888 819891 33554432000 4194304 4196468 140722457392128 140327587392688 140330575967389 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
[pid=1191/tid=1213] ppid=1188 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1191/task/1213/stat : 1213 (java) S 1188 1191 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73936466 16060325888 819891 33554432000 4194304 4196468 140722457392128 140327318969376 140330575955669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6303744 140722457400307 140722457400585 140722457400585 140722457403343 0
Current children cumulated CPU time: 41.76 s
Current children cumulated vsize: 15899284 KiB
Current children cumulated memory: 3441040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+21.444 s]
# the end of solver process 1191 was just reported to runsolver
# cumulated CPU time of all completed processes: user=40.7538 s, system=1.07584 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 21.4441
CPU time (s): 41.8297
CPU user time (s): 40.7538
CPU system time (s): 1.07584
CPU usage (%): 195.064
Max. virtual memory (cumulated for all children) (KiB): 15899284
Max. memory (cumulated for all children) (KiB): 3441040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.7538
system time used= 1.07584
maximum resident set size= 3282052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 126472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6021
involuntary context switches= 143
# summary of solver processes directly reported to runsolver:
# pid: 1191
# total CPU time (s): 41.8297
# total CPU user time (s): 40.7538
# total CPU system time (s): 1.07584
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.136497 second user time and 0.265082 second system time
The end