0.65/0.52
0.65/0.52 scop order+minisat_release (2018-06-13)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Thu Jul 26 02:07:48 CEST 2018
0.65/0.55 c PID: 1012
0.65/0.55 c IP: 172.20.3.150
0.65/0.55 c HOST: node150.alineos.net
0.65/0.56 c (0,0) Parsing Begin
2.89/1.39 c (0,0) Parsing End
3.20/1.40 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1389 ctr, max domain size 26
3.20/1.40 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.20/1.40 c (0,0) Constraint Name Generate Begin
3.20/1.43 c (0,0) Ctr:HOME/instance-4295002-1532563667.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.20/1.43 c (0,0) Constraint Name Generate End
3.20/1.43 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.20/1.43 c (0,0) CSP to CSPinCNF Begin
12.34/4.69 c (4,4) translated 139 (10%) constraints
12.88/5.19 c (4,4) translated 278 (20%) constraints
13.04/5.21 c (4,4) translated 417 (30%) constraints
13.04/5.23 c (4,4) translated 556 (40%) constraints
13.04/5.26 c (4,4) translated 695 (50%) constraints
13.04/5.29 c (4,4) translated 834 (60%) constraints
13.44/5.31 c (4,4) translated 973 (70%) constraints
13.44/5.33 c (4,4) translated 1112 (80%) constraints
15.23/6.30 c (5,5) translated 1251 (90%) constraints
16.98/7.72 c (7,7) translated 1389 (100%) constraints
18.12/8.17 c (7,7) STATISTICS1:HOME/instance-4295002-1532563667.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57014,9223372036854775807,26,25,200,9223372036854775807:235;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:2;8796093022208:2;1099511627776:1;137438953472:1;17179869184:1;2147483648:1;16:392;4:396;2:199,26:20400;2:155567,25:200;3:29600;2:26000;1:1214,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;101:2;100:1;98:2;95:3;92:2;89:2;86:2;83:2;80:2;77:2;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:2;44:2;41:1;38:1;35:1;32: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;4489:2;4356:1;4225:2;3969:3;3721:2;3481:2;3249:2;3025:2;2809:2;2601:2;2401:2;2209:2;2025:2;1849:2
18.12/8.17 c (7,7) ===========================================
18.12/8.17 c (7,7) Order
18.12/8.17 c (7,7) ===========================================
20.37/8.92 c (8,8) translated 5702 (10%) constraints
21.00/9.17 c (8,8) translated 11403 (20%) constraints
21.28/9.27 c (8,8) translated 17105 (30%) constraints
21.58/9.35 c (8,8) translated 22806 (40%) constraints
21.83/9.44 c (8,8) translated 28507 (50%) constraints
22.01/9.52 c (8,8) translated 34209 (60%) constraints
22.11/9.60 c (9,8) translated 39910 (70%) constraints
22.11/9.68 c (9,9) translated 45612 (80%) constraints
22.21/9.76 c (9,9) translated 51313 (90%) constraints
28.28/11.81 c (11,11) translated 57014 (100%) constraints
28.28/11.82 c (11,11) CSP to CSPinCNF End
28.28/11.83 c (11,11) CSP: 3718 int (3518 aux), 21690 bool (20690 aux), 76878 ctr, max domain size 68
28.28/11.83 c (11,11) Heap : 2288 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
28.28/11.83 c (11,11) CSPinCNF Propagation Begin
29.82/12.36 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
29.82/12.36 c (11,11) CSPinCNF Propagation End
29.82/12.37 c (11,11) CSP: 3718 int (3518 aux), 21690 bool (20690 aux), 76478 ctr, max domain size 68
29.82/12.37 c (11,11) Heap : 2616 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
29.82/12.37 c (11,11) Simplify CSPinCNF Begin
30.34/12.54 c (12,11) Simplify CSPinCNF End
30.34/12.54 c (12,11) CSP: 3718 int (3518 aux), 21690 bool (20690 aux), 76478 ctr, max domain size 68
30.34/12.54 c (12,11) Heap : 2671 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
30.34/12.54 c (12,11) Calculate Precise Domain Begin
30.55/12.60 c (12,11) 0 values are removed by re-calculation
30.55/12.60 c (12,11) Calculate Precise Domain End
30.55/12.60 c (12,11) CSP: 3718 int (3518 aux), 21690 bool (20690 aux), 76478 ctr, max domain size 68
30.55/12.60 c (12,11) Heap : 2671 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
30.55/12.60 c (12,11) CSPinCNF to SatSolver Begin
34.03/14.76 c (14,13) 7648 (10 %) CSP clauses are encoded (89107 SAT variables, 582242 SAT clauses)
34.32/14.83 c (14,14) 15296 (20 %) CSP clauses are encoded (89107 SAT variables, 589890 SAT clauses)
34.32/14.89 c (14,14) 22944 (30 %) CSP clauses are encoded (89107 SAT variables, 597538 SAT clauses)
34.58/14.95 c (14,14) 30592 (40 %) CSP clauses are encoded (89107 SAT variables, 605186 SAT clauses)
34.58/14.98 c (14,14) 38239 (50 %) CSP clauses are encoded (89107 SAT variables, 612833 SAT clauses)
34.76/15.02 c (14,14) 45887 (60 %) CSP clauses are encoded (89107 SAT variables, 620481 SAT clauses)
34.76/15.05 c (14,14) 53535 (70 %) CSP clauses are encoded (89107 SAT variables, 628129 SAT clauses)
34.76/15.09 c (14,14) 61183 (80 %) CSP clauses are encoded (89107 SAT variables, 635777 SAT clauses)
34.86/15.13 c (14,14) 68831 (90 %) CSP clauses are encoded (89107 SAT variables, 645585 SAT clauses)
39.10/19.66 c (19,18) 76478 (100 %) CSP clauses are encoded (89107 SAT variables, 2254562 SAT clauses)
39.10/19.66 c (19,18) CSPinCNF to SatSolver End
39.10/19.66 c (19,18) Heap : 2914 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
40.09/20.07 c (19,18) STATISTICS2:HOME/instance-4295002-1532563667.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25408,76478,4556,68,24,11,4556:7;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:3;1482:2;1444:1;1406:5;1369:1;1332:2;1296:3;1260:3;1190:16;1156:16;1122:18;1089:13;1056:17;1024:268;992:14;961:25;930:14;900:15;870:16;841:13;812:18;784:13;756:16;729:15;702:14;676:17;650:14;625:15;600:16;576:13;552:18;529:13;512:720;506:16;484:15;462:14;441:17;420:14;400:15;380:16;361:13;342:18;324:26;306:78;289:64;288:4;272:73;256:1795;252:4;240:64;238:8;225:62;210:63;198:8;196:70;187:16;182:65;169:62;162:4;156:63;153:8;144:62;132:63;128:1016;126:4;121:80;119:8;110:62;108:4;102:8;100:62;96:251;90:542;85:16;81:473;72:271;68:24;64:1011;56:253;54:8;51:16;49:261;36:48;34:80;25:267;16:918;9:16;4:476;2:199,68:28;67:30;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:30;38:28;37:26;36:32;35:44;34:136;33:128;32:126;31:164;30:124;29:124;28:124;27:124;26:30128;25:124;24:124;23:124;22:124;21:128;20:124;19:124;18:1068;17:930;16:554;15:504;14:542;13:506;12:1004;11:578;10:1440;9:3482;8:2032;7:1554;6:36;5:1076;4:108;3:72;2:176327,24:200;3:29200;2:36400;1:10678,11:253;10:720;9:1723;8:1016;7:759;5:1145;3:4863;2:199;1:165200,
40.09/20.07 c (19,18) SatSolver.solve Begin
40.09/20.07 c (19,18) 89107 bool, 2255650 clause
40.09/20.07 c (19,18) 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-4295002-1532563667.xml-scop-1012.cnf HOME/instance-4295002-1532563667.xml-scop-1012.cnf.out
41.21/21.01 c (20,0) receiving signal SIGTERM
41.21/21.01 s UNKNOWN
41.21/21.02 c (20,18) SatSolver is killed by some reasons.
41.21/21.02 c (20,18) 0,0,11,11,12,12,19,TO,TO,STOP-AFTER(DIMACS)
41.21/21.02 c END-Prog: Thu Jul 26 02:08:09 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 (535 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-4295002-1532563667/watcher-4295002-1532563667 -o /tmp/evaluation-result-4295002-1532563667/solver-4295002-1532563667 -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-4295002-1532563667.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=1012, runsolver pid=1009
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 3.49 4.20 3.67 3/215 1029
/proc/meminfo: memFree=12299492/32770624 swapFree=67108860/67108860
[pid=1012] ppid=1009 vsize=15011656 memory=72576 CPUtime=0.11 cores=1,3,5,7
/proc/1012/stat : 1012 (java) S 1009 1012 32649 0 -1 1077944320 6395 0 0 0 9 2 0 0 20 0 15 0 73930013 15371935744 18144 33554432000 4194304 4196468 140725451362288 140725451344832 139650501582583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
/proc/1012/statm: 3752914 18144 2750 1 0 3715374 0
[pid=1012/tid=1015] ppid=1009 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/1012/task/1015/stat : 1015 (java) R 1009 1012 32649 0 -1 4202560 4642 0 0 0 8 1 0 0 20 0 15 0 73930014 15371935744 18341 33554432000 4194304 4196468 140725451362288 139650473394568 139650481859408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1016] ppid=1009 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1016/stat : 1016 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 18407 33554432000 4194304 4196468 140725451362288 139650505824912 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1017] ppid=1009 vsize=15011656 memory=140213929289344 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1017/stat : 1017 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 18407 33554432000 4194304 4196468 140725451362288 139650326120976 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1018] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1018/stat : 1018 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 18407 33554432000 4194304 4196468 140725451362288 139649961392528 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1019] ppid=1009 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1019/stat : 1019 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 18407 33554432000 4194304 4196468 140725451362288 139649960339728 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1020] ppid=1009 vsize=15011656 memory=140213929289344 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1020/stat : 1020 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930017 15371935744 18407 33554432000 4194304 4196468 140725451362288 139649539779440 139650501593730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1021] ppid=1009 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1021/stat : 1021 (java) S 1009 1012 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73930017 15371935744 18407 33554432000 4194304 4196468 140725451362288 139649049683488 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1022] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1022/stat : 1022 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930017 15371935744 18407 33554432000 4194304 4196468 140725451362288 139648781247856 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1023] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1023/stat : 1023 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 18407 33554432000 4194304 4196468 140725451362288 139648406739280 139650501601179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1024] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1024/stat : 1024 (java) S 1009 1012 32649 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 18407 33554432000 4194304 4196468 140725451362288 139649538726256 139650501593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1026] ppid=1009 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1026/stat : 1026 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 18407 33554432000 4194304 4196468 140725451362288 139649537673456 139650501593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1027] ppid=1009 vsize=15011656 memory=140213929289344 CPUtime=0.01 cores=1,3,5,7
/proc/1012/task/1027/stat : 1027 (java) S 1009 1012 32649 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 73930020 15371935744 18473 33554432000 4194304 4196468 140725451362288 139649536620656 139650501593730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1028] ppid=1009 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1028/stat : 1028 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 18473 33554432000 4194304 4196468 140725451362288 139647908833504 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1029] ppid=1009 vsize=15011656 memory=140213929289344 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1029/stat : 1029 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 18473 33554432000 4194304 4196468 140725451362288 139649535569072 139650501593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72576 KiB
[startup+0.210204 s]*
/proc/loadavg: 3.49 4.20 3.67 3/215 1029
/proc/meminfo: memFree=12286408/32770624 swapFree=67108860/67108860
[pid=1012] ppid=1009 vsize=15011656 memory=86204 CPUtime=0.24 cores=1,3,5,7
/proc/1012/stat : 1012 (java) S 1009 1012 32649 0 -1 1077944320 9955 0 0 0 22 2 0 0 20 0 15 0 73930013 15371935744 21551 33554432000 4194304 4196468 140725451362288 140725451344832 139650501582583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
/proc/1012/statm: 3752914 21551 2885 1 0 3715374 0
[pid=1012/tid=1015] ppid=1009 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1012/task/1015/stat : 1015 (java) R 1009 1012 32649 0 -1 4202560 7873 0 0 0 18 2 0 0 20 0 15 0 73930014 15371935744 21551 33554432000 4194304 4196468 140725451362288 139650473408976 139650003934192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1016] ppid=1009 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1016/stat : 1016 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 21551 33554432000 4194304 4196468 140725451362288 139650505824912 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1017] ppid=1009 vsize=15011656 memory=140213929321266 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1017/stat : 1017 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 21551 33554432000 4194304 4196468 140725451362288 139650326120976 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1018] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1018/stat : 1018 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 21551 33554432000 4194304 4196468 140725451362288 139649961392528 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1019] ppid=1009 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1019/stat : 1019 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 21551 33554432000 4194304 4196468 140725451362288 139649960339728 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1020] ppid=1009 vsize=15011656 memory=140213929289344 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1020/stat : 1020 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930017 15371935744 21551 33554432000 4194304 4196468 140725451362288 139649539779440 139650501593730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1021] ppid=1009 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1021/stat : 1021 (java) S 1009 1012 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73930017 15371935744 21551 33554432000 4194304 4196468 140725451362288 139649049683488 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1022] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1022/stat : 1022 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930017 15371935744 21551 33554432000 4194304 4196468 140725451362288 139648781247856 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1023] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1023/stat : 1023 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 21551 33554432000 4194304 4196468 140725451362288 139648406739280 139650501601179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1024] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1024/stat : 1024 (java) S 1009 1012 32649 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 21551 33554432000 4194304 4196468 140725451362288 139649538726256 139650501593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1026] ppid=1009 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1026/stat : 1026 (java) S 1009 1012 32649 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 21551 33554432000 4194304 4196468 140725451362288 139649537673456 139650501593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1027] ppid=1009 vsize=15011656 memory=140213929289344 CPUtime=0.03 cores=1,3,5,7
/proc/1012/task/1027/stat : 1027 (java) R 1009 1012 32649 0 -1 4202560 285 0 0 0 3 0 0 0 20 0 15 0 73930020 15371935744 21551 33554432000 4194304 4196468 140725451362288 139649536620656 139650501603930 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1028] ppid=1009 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1028/stat : 1028 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 21551 33554432000 4194304 4196468 140725451362288 139647908833504 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1029] ppid=1009 vsize=15011656 memory=140213929289344 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1029/stat : 1029 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 21551 33554432000 4194304 4196468 140725451362288 139649535569072 139650501593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86204 KiB
[startup+0.310172 s]*
/proc/loadavg: 3.49 4.20 3.67 5/215 1029
/proc/meminfo: memFree=12282748/32770624 swapFree=67108860/67108860
[pid=1012] ppid=1009 vsize=15011656 memory=89672 CPUtime=0.42 cores=1,3,5,7
/proc/1012/stat : 1012 (java) S 1009 1012 32649 0 -1 1077944320 10483 0 0 0 39 3 0 0 20 0 15 0 73930013 15371935744 22418 33554432000 4194304 4196468 140725451362288 140725451344832 139650501582583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
/proc/1012/statm: 3752914 22418 2982 1 0 3715374 0
[pid=1012/tid=1015] ppid=1009 vsize=15011656 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1012/task/1015/stat : 1015 (java) R 1009 1012 32649 0 -1 4202560 8242 0 0 0 27 2 0 0 20 0 15 0 73930014 15371935744 22484 33554432000 4194304 4196468 140725451362288 139650473410208 139650005347529 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1016] ppid=1009 vsize=15011656 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1016/stat : 1016 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 22484 33554432000 4194304 4196468 140725451362288 139650505824912 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1017] ppid=1009 vsize=15011656 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1017/stat : 1017 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 22484 33554432000 4194304 4196468 140725451362288 139650326120976 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1018] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1018/stat : 1018 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 22484 33554432000 4194304 4196468 140725451362288 139649961392528 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1019] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1019/stat : 1019 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15371935744 22484 33554432000 4194304 4196468 140725451362288 139649960339728 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1020] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1020/stat : 1020 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930017 15371935744 22484 33554432000 4194304 4196468 140725451362288 139649539779440 139650501593730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1021] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1021/stat : 1021 (java) S 1009 1012 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73930017 15371935744 22484 33554432000 4194304 4196468 140725451362288 139649049683488 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1022] ppid=1009 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1022/stat : 1022 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930017 15371935744 22484 33554432000 4194304 4196468 140725451362288 139648781247856 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1023] ppid=1009 vsize=15011656 memory=140213770889711 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1023/stat : 1023 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 22484 33554432000 4194304 4196468 140725451362288 139648406739280 139650501601179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1024] ppid=1009 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1012/task/1024/stat : 1024 (java) R 1009 1012 32649 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 15 0 73930020 15371935744 22484 33554432000 4194304 4196468 140725451362288 139649538726256 139650501593730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1026] ppid=1009 vsize=15011656 memory=140213770873615 CPUtime=0.02 cores=1,3,5,7
/proc/1012/task/1026/stat : 1026 (java) R 1009 1012 32649 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 15 0 73930020 15371935744 22484 33554432000 4194304 4196468 140725451362288 139649537673456 139650483109107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1027] ppid=1009 vsize=15011656 memory=280427700172128 CPUtime=0.07 cores=1,3,5,7
/proc/1012/task/1027/stat : 1027 (java) R 1009 1012 32649 0 -1 4202560 304 0 0 0 7 0 0 0 20 0 15 0 73930020 15371935744 22484 33554432000 4194304 4196468 140725451362288 139649536620656 139650481015675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1028] ppid=1009 vsize=15011656 memory=140213770878223 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1028/stat : 1028 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 22484 33554432000 4194304 4196468 140725451362288 139647908833504 139650501592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1029] ppid=1009 vsize=15011656 memory=140213929289353 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1029/stat : 1029 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930020 15371935744 22484 33554432000 4194304 4196468 140725451362288 139649535569072 139650501593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89672 KiB
[startup+0.704555 s]
/proc/loadavg: 3.49 4.20 3.67 3/215 1029
/proc/meminfo: memFree=12258316/32770624 swapFree=67108860/67108860
[pid=1012] ppid=1009 vsize=15019976 memory=131928 CPUtime=1.04 cores=1,3,5,7
/proc/1012/stat : 1012 (java) S 1009 1012 32649 0 -1 1077944320 17616 0 0 0 99 5 0 0 20 0 15 0 73930013 15380455424 32982 33554432000 4194304 4196468 140725451362288 140725451344832 139650501582583 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
/proc/1012/statm: 3754994 32982 3150 1 0 3716398 0
[pid=1012/tid=1015] ppid=1009 vsize=15019976 memory=144594637428571 CPUtime=0.67 cores=1,3,5,7
/proc/1012/task/1015/stat : 1015 (java) R 1009 1012 32649 0 -1 4202560 14818 0 0 0 63 4 0 0 20 0 15 0 73930014 15380455424 32982 33554432000 4194304 4196468 140725451362288 139650473420672 139650501603930 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1016] ppid=1009 vsize=15019976 memory=26529 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1016/stat : 1016 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15380455424 32982 33554432000 4194304 4196468 140725451362288 139650505824912 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1017] ppid=1009 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1017/stat : 1017 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15380455424 32982 33554432000 4194304 4196468 140725451362288 139650326120976 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1018] ppid=1009 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1018/stat : 1018 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15380455424 32982 33554432000 4194304 4196468 140725451362288 139649961392528 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1019] ppid=1009 vsize=15019976 memory=280427541561584 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1019/stat : 1019 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15380455424 32982 33554432000 4194304 4196468 140725451362288 139649960339728 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1020] ppid=1009 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1020/stat : 1020 (java) S 1009 1012 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73930017 15380455424 32982 33554432000 4194304 4196468 140725451362288 139649539779440 139650501593730 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1021] ppid=1009 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1021/stat : 1021 (java) S 1009 1012 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73930017 15380455424 32982 33554432000 4194304 4196468 140725451362288 139649049683488 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1022] ppid=1009 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1022/stat : 1022 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930017 15380455424 32982 33554432000 4194304 4196468 140725451362288 139648781247856 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1023] ppid=1009 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1023/stat : 1023 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15380455424 32982 33554432000 4194304 4196468 140725451362288 139648406739280 139650501601179 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1024] ppid=1009 vsize=15019976 memory=7307210970617654738 CPUtime=0.07 cores=1,3,5,7
/proc/1012/task/1024/stat : 1024 (java) R 1009 1012 32649 0 -1 4202560 623 0 0 0 7 0 0 0 20 0 15 0 73930020 15380455424 32982 33554432000 4194304 4196468 140725451362288 139649538715728 139650485969793 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1026] ppid=1009 vsize=15019976 memory=-3535359994705171810 CPUtime=0.09 cores=1,3,5,7
/proc/1012/task/1026/stat : 1026 (java) R 1009 1012 32649 0 -1 4202560 357 0 0 0 9 0 0 0 20 0 15 0 73930020 15380455424 32982 33554432000 4194304 4196468 140725451362288 139649537673584 139650501603930 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1027] ppid=1009 vsize=15019976 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/1012/task/1027/stat : 1027 (java) R 1009 1012 32649 0 -1 1077944384 476 0 0 0 18 0 0 0 20 0 15 0 73930020 15380455424 32982 33554432000 4194304 4196468 140725451362288 139649536618448 139650501592789 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1028] ppid=1009 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1028/stat : 1028 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15380455424 32982 33554432000 4194304 4196468 140725451362288 139647908833504 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1029] ppid=1009 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1029/stat : 1029 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930020 15380455424 32982 33554432000 4194304 4196468 140725451362288 139649535569072 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 131928 KiB
[startup+1.50495 s]
/proc/loadavg: 3.49 4.20 3.67 6/215 1029
/proc/meminfo: memFree=12218036/32770624 swapFree=67108860/67108860
[pid=1012] ppid=1009 vsize=15022100 memory=199180 CPUtime=3.47 cores=1,3,5,7
/proc/1012/stat : 1012 (java) S 1009 1012 32649 0 -1 1077944320 21178 0 0 0 339 8 0 0 20 0 15 0 73930013 15382630400 49795 33554432000 4194304 4196468 140725451362288 140725451344832 139650501582583 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
/proc/1012/statm: 3755525 49795 3213 1 0 3716910 0
[pid=1012/tid=1015] ppid=1009 vsize=15022100 memory=280427542026176 CPUtime=1.47 cores=1,3,5,7
/proc/1012/task/1015/stat : 1015 (java) R 1009 1012 32649 0 -1 4202560 15803 0 0 0 141 6 0 0 20 0 15 0 73930014 15382630400 49795 33554432000 4194304 4196468 140725451362288 139650473414672 139650501594518 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1016] ppid=1009 vsize=15022100 memory=5938386888038574696 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1016/stat : 1016 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15382630400 49795 33554432000 4194304 4196468 140725451362288 139650505824912 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1017] ppid=1009 vsize=15022100 memory=7884234384169330280 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1017/stat : 1017 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15382630400 49795 33554432000 4194304 4196468 140725451362288 139650326120976 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1018] ppid=1009 vsize=15022100 memory=2110564378091220 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1018/stat : 1018 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15382630400 49795 33554432000 4194304 4196468 140725451362288 139649961392528 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1019] ppid=1009 vsize=15022100 memory=280427542044480 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1019/stat : 1019 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15382630400 49795 33554432000 4194304 4196468 140725451362288 139649960339728 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1020] ppid=1009 vsize=15022100 memory=6153431502485415267 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1020/stat : 1020 (java) S 1009 1012 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73930017 15382630400 49795 33554432000 4194304 4196468 140725451362288 139649539779440 139650501593730 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
################
# More data... #
################
[pid=1012/tid=1021] ppid=1009 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1021/stat : 1021 (java) S 1009 1012 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73930017 15382630400 208679 33554432000 4194304 4196468 140725451362288 139649049683488 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1022] ppid=1009 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1022/stat : 1022 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930017 15382630400 208679 33554432000 4194304 4196468 140725451362288 139648781247856 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1023] ppid=1009 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1023/stat : 1023 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15382630400 208679 33554432000 4194304 4196468 140725451362288 139648406739280 139650501601179 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1024] ppid=1009 vsize=15022100 memory=0 CPUtime=2.05 cores=1,3,5,7
/proc/1012/task/1024/stat : 1024 (java) R 1009 1012 32649 0 -1 4202560 3239 0 0 0 204 1 0 0 20 0 15 0 73930020 15382630400 208679 33554432000 4194304 4196468 140725451362288 139649538716048 139650485114062 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1026] ppid=1009 vsize=15022100 memory=0 CPUtime=1.8 cores=1,3,5,7
/proc/1012/task/1026/stat : 1026 (java) R 1009 1012 32649 0 -1 4202560 1819 0 0 0 180 0 0 0 20 0 15 0 73930020 15382630400 208679 33554432000 4194304 4196468 140725451362288 139649537673456 139650485896144 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1027] ppid=1009 vsize=15022100 memory=280427541720224 CPUtime=0.92 cores=1,3,5,7
/proc/1012/task/1027/stat : 1027 (java) S 1009 1012 32649 0 -1 1077944384 2976 0 0 0 91 1 0 0 20 0 15 0 73930020 15382630400 208679 33554432000 4194304 4196468 140725451362288 139649536620656 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1028] ppid=1009 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1028/stat : 1028 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15382630400 208679 33554432000 4194304 4196468 140725451362288 139647908833504 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1029] ppid=1009 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1029/stat : 1029 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930020 15382630400 208679 33554432000 4194304 4196468 140725451362288 139649535569072 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
Current children cumulated CPU time: 7.88 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 834716 KiB
[startup+6.30073 s]
/proc/loadavg: 3.69 4.23 3.68 6/215 1029
/proc/meminfo: memFree=10285092/32770624 swapFree=67108860/67108860
[pid=1012] ppid=1009 vsize=15024148 memory=2316732 CPUtime=15.23 cores=1,3,5,7
/proc/1012/stat : 1012 (java) S 1009 1012 32649 0 -1 1077944320 38916 0 0 0 1480 43 0 0 20 0 15 0 73930013 15384727552 579183 33554432000 4194304 4196468 140725451362288 140725451344832 139650501582583 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
/proc/1012/statm: 3756037 579183 3216 1 0 3717422 0
[pid=1012/tid=1015] ppid=1009 vsize=15024148 memory=2005436 CPUtime=6.25 cores=1,3,5,7
/proc/1012/task/1015/stat : 1015 (java) R 1009 1012 32649 0 -1 4202560 18122 0 0 0 589 36 0 0 20 0 15 0 73930014 15384727552 579183 33554432000 4194304 4196468 140725451362288 139650473415024 139650005861195 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1016] ppid=1009 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1016/stat : 1016 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15384727552 579183 33554432000 4194304 4196468 140725451362288 139650505824912 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1017] ppid=1009 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1017/stat : 1017 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15384727552 579183 33554432000 4194304 4196468 140725451362288 139650326120976 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1018] ppid=1009 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1018/stat : 1018 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930015 15384727552 579183 33554432000 4194304 4196468 140725451362288 139649961392528 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1019] ppid=1009 vsize=15024148 memory=280427541780688 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1019/stat : 1019 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930015 15384727552 579183 33554432000 4194304 4196468 140725451362288 139649960339728 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1020] ppid=1009 vsize=15024148 memory=1344 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1020/stat : 1020 (java) S 1009 1012 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73930017 15384727552 579183 33554432000 4194304 4196468 140725451362288 139649539779440 139650501593730 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1021] ppid=1009 vsize=15024148 memory=140213770815496 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1021/stat : 1021 (java) S 1009 1012 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73930017 15384727552 579183 33554432000 4194304 4196468 140725451362288 139649049683488 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1022] ppid=1009 vsize=15024148 memory=7523093111085297257 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1022/stat : 1022 (java) S 1009 1012 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73930017 15384727552 579183 33554432000 4194304 4196468 140725451362288 139648781247856 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1023] ppid=1009 vsize=15024148 memory=7523093111085297257 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1023/stat : 1023 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15384727552 579183 33554432000 4194304 4196468 140725451362288 139648406739280 139650501601179 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1024] ppid=1009 vsize=15024148 memory=0 CPUtime=3.93 cores=1,3,5,7
/proc/1012/task/1024/stat : 1024 (java) S 1009 1012 32649 0 -1 1077944384 6335 0 0 0 392 1 0 0 20 0 15 0 73930020 15384727552 579183 33554432000 4194304 4196468 140725451362288 139649538726256 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1026] ppid=1009 vsize=15024148 memory=0 CPUtime=3.69 cores=1,3,5,7
/proc/1012/task/1026/stat : 1026 (java) S 1009 1012 32649 0 -1 1077944384 5734 0 0 0 367 2 0 0 20 0 15 0 73930020 15384727552 579183 33554432000 4194304 4196468 140725451362288 139649537673456 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1027] ppid=1009 vsize=15024148 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/1012/task/1027/stat : 1027 (java) S 1009 1012 32649 0 -1 1077944384 7383 0 0 0 130 2 0 0 20 0 15 0 73930020 15384727552 579183 33554432000 4194304 4196468 140725451362288 139649536620656 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1028] ppid=1009 vsize=15024148 memory=280427542582400 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1028/stat : 1028 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15384727552 579183 33554432000 4194304 4196468 140725451362288 139647908833504 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1029] ppid=1009 vsize=15024148 memory=1927612 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1029/stat : 1029 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930020 15384727552 579183 33554432000 4194304 4196468 140725451362288 139649535569072 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
Current children cumulated CPU time: 15.23 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2316732 KiB
[startup+12.7007 s]
/proc/loadavg: 3.79 4.24 3.69 5/215 1029
/proc/meminfo: memFree=9240948/32770624 swapFree=67108860/67108860
[pid=1012] ppid=1009 vsize=15026264 memory=3127776 CPUtime=30.83 cores=1,3,5,7
/proc/1012/stat : 1012 (java) S 1009 1012 32649 0 -1 1077944320 50095 0 0 0 3017 66 0 0 20 0 15 0 73930013 15386894336 781944 33554432000 4194304 4196468 140725451362288 140725451344832 139650501582583 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
/proc/1012/statm: 3756566 781944 3231 1 0 3717422 0
[pid=1012/tid=1015] ppid=1009 vsize=15026264 memory=0 CPUtime=12.54 cores=1,3,5,7
/proc/1012/task/1015/stat : 1015 (java) R 1009 1012 32649 0 -1 4202560 19496 0 0 0 1206 48 0 0 20 0 15 0 73930014 15386894336 781944 33554432000 4194304 4196468 140725451362288 139650473421056 139650012205061 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1016] ppid=1009 vsize=15026264 memory=3109360 CPUtime=0.09 cores=1,3,5,7
/proc/1012/task/1016/stat : 1016 (java) S 1009 1012 32649 0 -1 1077944384 113 0 0 0 8 1 0 0 20 0 15 0 73930015 15386894336 781944 33554432000 4194304 4196468 140725451362288 139650505824912 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1017] ppid=1009 vsize=15026264 memory=2701756 CPUtime=0.09 cores=1,3,5,7
/proc/1012/task/1017/stat : 1017 (java) S 1009 1012 32649 0 -1 1077944384 152 0 0 0 7 2 0 0 20 0 15 0 73930015 15386894336 781944 33554432000 4194304 4196468 140725451362288 139650326120976 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1018] ppid=1009 vsize=15026264 memory=-6860437260722525840 CPUtime=0.09 cores=1,3,5,7
/proc/1012/task/1018/stat : 1018 (java) S 1009 1012 32649 0 -1 1077944384 64 0 0 0 7 2 0 0 20 0 15 0 73930015 15386894336 781944 33554432000 4194304 4196468 140725451362288 139649961392528 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1019] ppid=1009 vsize=15026264 memory=288230574492221466 CPUtime=0.09 cores=1,3,5,7
/proc/1012/task/1019/stat : 1019 (java) S 1009 1012 32649 0 -1 1077944384 64 0 0 0 8 1 0 0 20 0 15 0 73930015 15386894336 781944 33554432000 4194304 4196468 140725451362288 139649960339728 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1020] ppid=1009 vsize=15026264 memory=288230583166042426 CPUtime=0.01 cores=1,3,5,7
/proc/1012/task/1020/stat : 1020 (java) S 1009 1012 32649 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 73930017 15386894336 781944 33554432000 4194304 4196468 140725451362288 139649539779440 139650501593730 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1021] ppid=1009 vsize=15026264 memory=14409311157749108 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1021/stat : 1021 (java) S 1009 1012 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 73930017 15386894336 781944 33554432000 4194304 4196468 140725451362288 139649049683552 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1022] ppid=1009 vsize=15026264 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1022/stat : 1022 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930017 15386894336 781944 33554432000 4194304 4196468 140725451362288 139648781247856 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1023] ppid=1009 vsize=15026264 memory=422 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1023/stat : 1023 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15386894336 781944 33554432000 4194304 4196468 140725451362288 139648406739280 139650501601179 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1024] ppid=1009 vsize=15026264 memory=397 CPUtime=8.2 cores=1,3,5,7
/proc/1012/task/1024/stat : 1024 (java) R 1009 1012 32649 0 -1 4202560 11136 0 0 0 817 3 0 0 20 0 15 0 73930020 15386894336 781944 33554432000 4194304 4196468 140725451362288 139649538726256 139650483106065 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1026] ppid=1009 vsize=15026264 memory=138 CPUtime=8.03 cores=1,3,5,7
/proc/1012/task/1026/stat : 1026 (java) R 1009 1012 32649 0 -1 4202560 10283 0 0 0 800 3 0 0 20 0 15 0 73930020 15386894336 781944 33554432000 4194304 4196468 140725451362288 139649537664784 139650487646528 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1027] ppid=1009 vsize=15026264 memory=0 CPUtime=1.61 cores=1,3,5,7
/proc/1012/task/1027/stat : 1027 (java) S 1009 1012 32649 0 -1 1077944384 7429 0 0 0 159 2 0 0 20 0 15 0 73930020 15386894336 781944 33554432000 4194304 4196468 140725451362288 139649536620656 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1028] ppid=1009 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1028/stat : 1028 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73930020 15386894336 781944 33554432000 4194304 4196468 140725451362288 139647908833504 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1029] ppid=1009 vsize=15026264 memory=846552 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1029/stat : 1029 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73930020 15386894336 781944 33554432000 4194304 4196468 140725451362288 139649535569072 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
Current children cumulated CPU time: 30.83 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 3127776 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+21.0007 s]*
/proc/loadavg: 3.68 4.20 3.68 6/220 1038
/proc/meminfo: memFree=8775316/32770624 swapFree=67108860/67108860
[pid=1012] ppid=1009 vsize=15683912 memory=3274116 CPUtime=40.31 cores=1,3,5,7
/proc/1012/stat : 1012 (java) S 1009 1012 32649 0 -1 1077944320 61864 0 0 0 3940 91 0 0 20 0 19 0 73930013 16060325888 818529 33554432000 4194304 4196468 140725451362288 140725451344832 139650501582583 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
/proc/1012/statm: 3920978 818529 3269 1 0 3881834 0
[pid=1030] ppid=1012 vsize=316344 memory=258876 CPUtime=0.9 cores=1,3,5,7
/proc/1030/stat : 1030 (minisat_release) R 1012 1012 32649 0 -1 4202496 36127 0 0 0 83 7 0 0 20 0 1 0 73932023 323936256 64719 33554432000 4194304 4308513 140728866837008 140728865785416 4238134 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 17072128 140728866841265 140728866841774 140728866841774 140728866844613 0
/proc/1030/statm: 79086 64719 331 28 0 75326 0
[pid=1012/tid=1015] ppid=1009 vsize=15683912 memory=7883960649037381690 CPUtime=19.21 cores=1,3,5,7
/proc/1012/task/1015/stat : 1015 (java) S 1009 1012 32649 0 -1 1077944384 22830 0 0 0 1864 57 0 0 20 0 19 0 73930014 16060325888 818529 33554432000 4194304 4196468 140725451362288 139650473421824 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1016] ppid=1009 vsize=15683912 memory=288230617609666583 CPUtime=0.34 cores=1,3,5,7
/proc/1012/task/1016/stat : 1016 (java) S 1009 1012 32649 0 -1 1077944384 560 0 0 0 29 5 0 0 20 0 19 0 73930015 16060325888 818529 33554432000 4194304 4196468 140725451362288 139650505824912 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1017] ppid=1009 vsize=15683912 memory=3905243411820838944 CPUtime=0.35 cores=1,3,5,7
/proc/1012/task/1017/stat : 1017 (java) S 1009 1012 32649 0 -1 1077944384 252 0 0 0 29 6 0 0 20 0 19 0 73930015 16060325888 818529 33554432000 4194304 4196468 140725451362288 139650326120976 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1018] ppid=1009 vsize=15683912 memory=140213771012703 CPUtime=0.34 cores=1,3,5,7
/proc/1012/task/1018/stat : 1018 (java) S 1009 1012 32649 0 -1 1077944384 228 0 0 0 29 5 0 0 20 0 19 0 73930015 16060325888 818529 33554432000 4194304 4196468 140725451362288 139649961392528 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1019] ppid=1009 vsize=15683912 memory=140213929289344 CPUtime=0.34 cores=1,3,5,7
/proc/1012/task/1019/stat : 1019 (java) S 1009 1012 32649 0 -1 1077944384 190 0 0 0 29 5 0 0 20 0 19 0 73930015 16060325888 818529 33554432000 4194304 4196468 140725451362288 139649960339728 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1020] ppid=1009 vsize=15683912 memory=4122824664003129644 CPUtime=0.02 cores=1,3,5,7
/proc/1012/task/1020/stat : 1020 (java) S 1009 1012 32649 0 -1 1077944384 1048 0 0 0 2 0 0 0 20 0 19 0 73930017 16060325888 818529 33554432000 4194304 4196468 140725451362288 139649539779440 139650501593730 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1021] ppid=1009 vsize=15683912 memory=140213771485017 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1021/stat : 1021 (java) S 1009 1012 32649 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 73930017 16060325888 818529 33554432000 4194304 4196468 140725451362288 139649049683552 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1022] ppid=1009 vsize=15683912 memory=280427541780672 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1022/stat : 1022 (java) S 1009 1012 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73930017 16060325888 818529 33554432000 4194304 4196468 140725451362288 139648781247872 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1023] ppid=1009 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1023/stat : 1023 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73930020 16060325888 818529 33554432000 4194304 4196468 140725451362288 139648406739280 139650501601179 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1024] ppid=1009 vsize=15683912 memory=3977583576072075061 CPUtime=9.13 cores=1,3,5,7
/proc/1012/task/1024/stat : 1024 (java) S 1009 1012 32649 0 -1 1077944384 13632 0 0 0 910 3 0 0 20 0 19 0 73930020 16060325888 818529 33554432000 4194304 4196468 140725451362288 139649538726256 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1026] ppid=1009 vsize=15683912 memory=6199981078827556786 CPUtime=8.76 cores=1,3,5,7
/proc/1012/task/1026/stat : 1026 (java) S 1009 1012 32649 0 -1 1077944384 13379 0 0 0 873 3 0 0 20 0 19 0 73930020 16060325888 818529 33554432000 4194304 4196468 140725451362288 139649537673456 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1027] ppid=1009 vsize=15683912 memory=4122764027638068785 CPUtime=1.72 cores=1,3,5,7
/proc/1012/task/1027/stat : 1027 (java) S 1009 1012 32649 0 -1 1077944384 8297 0 0 0 169 3 0 0 20 0 19 0 73930020 16060325888 818529 33554432000 4194304 4196468 140725451362288 139649536620656 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1028] ppid=1009 vsize=15683912 memory=3472468510156959674 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1028/stat : 1028 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73930020 16060325888 818529 33554432000 4194304 4196468 140725451362288 139647908833504 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1029] ppid=1009 vsize=15683912 memory=3461362030354657376 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1029/stat : 1029 (java) S 1009 1012 32649 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 73930020 16060325888 818529 33554432000 4194304 4196468 140725451362288 139649535569072 139650501593730 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1031] ppid=1009 vsize=15683912 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1031/stat : 1031 (java) S 1009 1012 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 73932023 16060325888 818529 33554432000 4194304 4196468 140725451362288 139650325067456 139650501607193 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1036] ppid=1009 vsize=15683912 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1036/stat : 1036 (java) S 1009 1012 32649 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 73932023 16060325888 818529 33554432000 4194304 4196468 140725451362288 139647371947696 139650501604509 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1037] ppid=1009 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1037/stat : 1037 (java) S 1009 1012 32649 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 73932023 16060325888 818529 33554432000 4194304 4196468 140725451362288 139647506169392 139650501604509 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
[pid=1012/tid=1038] ppid=1009 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1012/task/1038/stat : 1038 (java) S 1009 1012 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73932025 16060325888 818529 33554432000 4194304 4196468 140725451362288 139647103524000 139650501592789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140725451363315 140725451363593 140725451363593 140725451366351 0
Current children cumulated CPU time: 41.21 s
Current children cumulated vsize: 16000256 KiB
Current children cumulated memory: 3532992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+21.0538 s]
# the end of solver process 1012 was just reported to runsolver
# cumulated CPU time of all completed processes: user=40.253 s, system=1.03251 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 21.0538
CPU time (s): 41.2855
CPU user time (s): 40.253
CPU system time (s): 1.03251
CPU usage (%): 196.095
Max. virtual memory (cumulated for all children) (KiB): 16000256
Max. memory (cumulated for all children) (KiB): 3532992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.253
system time used= 1.03251
maximum resident set size= 3277380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 115160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6237
involuntary context switches= 102
# summary of solver processes directly reported to runsolver:
# pid: 1012
# total CPU time (s): 41.2855
# total CPU user time (s): 40.253
# total CPU system time (s): 1.03251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.141078 second user time and 0.255284 second system time
The end