0.65/0.52
0.65/0.52 scop order+minisat_release (2018-06-13)
0.65/0.52
0.65/0.54 c BEGIN-Prog: Thu Jul 26 02:04:56 CEST 2018
0.65/0.54 c PID: 674
0.65/0.54 c IP: 172.20.3.150
0.65/0.54 c HOST: node150.alineos.net
0.65/0.55 c (0,0) Parsing Begin
2.91/1.39 c (0,0) Parsing End
3.22/1.40 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1442 ctr, max domain size 26
3.22/1.40 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.22/1.41 c (0,0) Constraint Name Generate Begin
3.22/1.44 c (0,0) Ctr:HOME/instance-4294966-1532563496.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.22/1.44 c (0,0) Constraint Name Generate End
3.22/1.44 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.22/1.44 c (0,0) CSP to CSPinCNF Begin
12.68/4.84 c (4,4) translated 145 (10%) constraints
13.19/5.32 c (4,4) translated 289 (20%) constraints
13.19/5.34 c (4,4) translated 433 (30%) constraints
13.19/5.37 c (4,4) translated 577 (40%) constraints
13.58/5.40 c (4,4) translated 721 (50%) constraints
13.58/5.42 c (4,4) translated 866 (60%) constraints
13.58/5.44 c (4,4) translated 1010 (70%) constraints
13.58/5.46 c (4,4) translated 1154 (80%) constraints
15.97/6.99 c (6,6) translated 1298 (90%) constraints
17.38/8.01 c (7,7) translated 1442 (100%) constraints
18.58/8.56 c (8,7) STATISTICS1:HOME/instance-4294966-1532563496.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,17200,59467,9223372036854775807,26,26,200,9223372036854775807:266;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:3;34359738368:1;17179869184:2;2147483648:1;16:392;4:396;2:199,26:20400;2:165392,26:200;3:30800;2:27200;1:1267,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:1;74:3;72:1;71:2;70:2;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:3;36:1;35:2;32:1;5:392;3:396;2:199;1:151800;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:2;2401:3;2304:1;2209:2;2116:2;2025:3;1936:1;1849:3;1764:1
18.58/8.56 c (8,7) ===========================================
18.58/8.56 c (8,7) Order
18.58/8.56 c (8,7) ===========================================
20.85/9.36 c (8,8) translated 5947 (10%) constraints
21.41/9.58 c (9,8) translated 11894 (20%) constraints
21.61/9.68 c (9,9) translated 17841 (30%) constraints
21.79/9.76 c (9,9) translated 23787 (40%) constraints
21.89/9.85 c (9,9) translated 29734 (50%) constraints
22.00/9.93 c (9,9) translated 35681 (60%) constraints
22.10/10.02 c (9,9) translated 41627 (70%) constraints
22.10/10.10 c (9,9) translated 47574 (80%) constraints
22.21/10.19 c (9,9) translated 53521 (90%) constraints
26.77/12.19 c (11,11) translated 59467 (100%) constraints
26.95/12.20 c (11,11) CSP to CSPinCNF End
26.95/12.22 c (11,11) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 80204 ctr, max domain size 68
26.95/12.22 c (11,11) Heap : 2563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.95/12.22 c (11,11) CSPinCNF Propagation Begin
27.71/12.68 c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
27.71/12.68 c (12,12) CSPinCNF Propagation End
27.71/12.68 c (12,12) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68
27.71/12.68 c (12,12) Heap : 2891 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.71/12.68 c (12,12) Simplify CSPinCNF Begin
28.62/12.99 c (12,12) Simplify CSPinCNF End
28.62/12.99 c (12,12) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68
28.62/12.99 c (12,12) Heap : 165 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.62/12.99 c (12,12) Calculate Precise Domain Begin
28.77/13.05 c (12,12) 0 values are removed by re-calculation
28.77/13.05 c (12,12) Calculate Precise Domain End
28.77/13.05 c (12,12) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68
28.77/13.05 c (12,12) Heap : 165 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
28.77/13.05 c (12,12) CSPinCNF to SatSolver Begin
31.86/15.09 c (14,14) 7981 (10 %) CSP clauses are encoded (95329 SAT variables, 585380 SAT clauses)
32.13/15.15 c (14,14) 15961 (20 %) CSP clauses are encoded (95329 SAT variables, 593360 SAT clauses)
32.39/15.21 c (14,14) 23942 (30 %) CSP clauses are encoded (95329 SAT variables, 601341 SAT clauses)
32.39/15.29 c (14,14) 31922 (40 %) CSP clauses are encoded (95329 SAT variables, 609321 SAT clauses)
32.65/15.37 c (14,14) 39902 (50 %) CSP clauses are encoded (95329 SAT variables, 617301 SAT clauses)
32.87/15.44 c (14,14) 47883 (60 %) CSP clauses are encoded (95329 SAT variables, 625282 SAT clauses)
32.87/15.48 c (14,14) 55863 (70 %) CSP clauses are encoded (95329 SAT variables, 633262 SAT clauses)
33.02/15.52 c (15,14) 63844 (80 %) CSP clauses are encoded (95329 SAT variables, 641243 SAT clauses)
33.22/15.75 c (15,14) 71824 (90 %) CSP clauses are encoded (95329 SAT variables, 730289 SAT clauses)
38.07/20.22 c (19,19) 79804 (100 %) CSP clauses are encoded (95329 SAT variables, 2490622 SAT clauses)
38.07/20.22 c (19,19) CSPinCNF to SatSolver End
38.07/20.22 c (19,19) Heap : 939 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
38.71/20.58 c (20,19) STATISTICS2:HOME/instance-4294966-1532563496.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,26409,79804,4556,68,25,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:3;1560:3;1521:3;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:295;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:16;702:14;676:19;650:15;625:16;600:16;576:15;552:19;529:22;512:761;506:17;484:16;462:15;441:19;420:14;400:16;380:17;361:15;342:18;324:32;306:90;289:88;272:70;270:8;256:1924;255:16;240:71;234:4;225:88;221:8;210:72;198:4;196:71;187:8;182:74;169:77;162:16;156:70;153:32;144:69;132:68;128:1174;126:4;121:80;119:8;110:67;100:69;96:277;90:568;85:24;81:528;72:315;68:32;64:1153;56:291;54:16;51:32;49:293;36:12;34:24;25:301;16:978;9:32;4:420;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:36;39:30;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:30142;25:136;24:136;23:174;22:134;21:144;20:134;19:138;18:1112;17:1028;16:598;15:656;14:582;13:606;12:1108;11:594;10:1522;9:3838;8:2348;7:1758;5:1216;4:144;3:144;2:185900,25:200;3:30400;2:37600;1:11604,11:279;10:761;9:1847;8:1174;7:861;5:1223;3:5260;2:199;1:171400,
38.71/20.58 c (20,19) SatSolver.solve Begin
38.71/20.58 c (20,19) 95329 bool, 2491323 clause
38.71/20.58 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-4294966-1532563496.xml-scop-674.cnf HOME/instance-4294966-1532563496.xml-scop-674.cnf.out
39.54/21.20 c (20,0) receiving signal SIGTERM
39.54/21.20 s UNKNOWN
39.54/21.21 c (20,19) SatSolver is killed by some reasons.
39.54/21.21 c (20,19) 0,0,11,12,12,12,19,TO,TO,STOP-AFTER(DIMACS)
39.54/21.21 c END-Prog: Thu Jul 26 02:05:17 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 (539 MiB free)
memory of node 1: 16384 MiB (11926 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294966-1532563496/watcher-4294966-1532563496 -o /tmp/evaluation-result-4294966-1532563496/solver-4294966-1532563496 -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-4294966-1532563496.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=674, runsolver pid=671
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 4.56 4.94 3.76 3/216 689
/proc/meminfo: memFree=12701776/32770624 swapFree=67108860/67108860
[pid=674] ppid=671 vsize=15011656 memory=74560 CPUtime=0.11 cores=1,3,5,7
/proc/674/stat : 674 (java) S 671 674 32649 0 -1 1077944320 6341 0 0 0 9 2 0 0 20 0 15 0 73912828 15371935744 18640 33554432000 4194304 4196468 140733282314352 140733282296896 140499967909623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
/proc/674/statm: 3752914 18640 2750 1 0 3715374 0
[pid=674/tid=676] ppid=671 vsize=15011656 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/674/task/676/stat : 676 (java) R 671 674 32649 0 -1 4202560 4815 0 0 0 8 1 0 0 20 0 15 0 73912828 15371935744 19035 33554432000 4194304 4196468 140733282314352 140499939721608 140499948185330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=677] ppid=671 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/674/task/677/stat : 677 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 19035 33554432000 4194304 4196468 140733282314352 140499972152208 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=678] ppid=671 vsize=15011656 memory=139744425698098 CPUtime=0 cores=1,3,5,7
/proc/674/task/678/stat : 678 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 19101 33554432000 4194304 4196468 140733282314352 140499790240528 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=679] ppid=671 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/679/stat : 679 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 19101 33554432000 4194304 4196468 140733282314352 140499427601552 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=680] ppid=671 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/674/task/680/stat : 680 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 19101 33554432000 4194304 4196468 140733282314352 140499426548752 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=681] ppid=671 vsize=15011656 memory=139744425666176 CPUtime=0 cores=1,3,5,7
/proc/674/task/681/stat : 681 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912831 15371935744 19101 33554432000 4194304 4196468 140733282314352 140499006310512 140499967920770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=682] ppid=671 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/674/task/682/stat : 682 (java) S 671 674 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73912832 15371935744 19101 33554432000 4194304 4196468 140733282314352 140498513683232 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=683] ppid=671 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/683/stat : 683 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912832 15371935744 19101 33554432000 4194304 4196468 140733282314352 140498245248112 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=684] ppid=671 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/684/stat : 684 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912834 15371935744 19101 33554432000 4194304 4196468 140733282314352 140497870739536 140499967928219 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=685] ppid=671 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/685/stat : 685 (java) S 671 674 32649 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 73912834 15371935744 19101 33554432000 4194304 4196468 140733282314352 140499005258352 140499967920770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=686] ppid=671 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/674/task/686/stat : 686 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912834 15371935744 19101 33554432000 4194304 4196468 140733282314352 140499004205552 140499967920770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=687] ppid=671 vsize=15011656 memory=139744425666176 CPUtime=0 cores=1,3,5,7
/proc/674/task/687/stat : 687 (java) S 671 674 32649 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 73912834 15371935744 19101 33554432000 4194304 4196468 140733282314352 140499003153264 140499967920770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=688] ppid=671 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/674/task/688/stat : 688 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912835 15371935744 19101 33554432000 4194304 4196468 140733282314352 140497372834784 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=689] ppid=671 vsize=15011656 memory=139744425666176 CPUtime=0 cores=1,3,5,7
/proc/674/task/689/stat : 689 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912835 15371935744 19167 33554432000 4194304 4196468 140733282314352 140499002100144 140499967920770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74560 KiB
[startup+0.210425 s]*
/proc/loadavg: 4.56 4.94 3.76 3/216 689
/proc/meminfo: memFree=12688692/32770624 swapFree=67108860/67108860
[pid=674] ppid=671 vsize=15011656 memory=87908 CPUtime=0.25 cores=1,3,5,7
/proc/674/stat : 674 (java) S 671 674 32649 0 -1 1077944320 9878 0 0 0 22 3 0 0 20 0 15 0 73912828 15371935744 21977 33554432000 4194304 4196468 140733282314352 140733282296896 140499967909623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
/proc/674/statm: 3752914 21977 2881 1 0 3715374 0
[pid=674/tid=676] ppid=671 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/674/task/676/stat : 676 (java) R 671 674 32649 0 -1 4202560 7788 0 0 0 18 2 0 0 20 0 15 0 73912828 15371935744 21977 33554432000 4194304 4196468 140733282314352 140499939734992 140499470137008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=677] ppid=671 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/674/task/677/stat : 677 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 21977 33554432000 4194304 4196468 140733282314352 140499972152208 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=678] ppid=671 vsize=15011656 memory=139744425698098 CPUtime=0 cores=1,3,5,7
/proc/674/task/678/stat : 678 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 21977 33554432000 4194304 4196468 140733282314352 140499790240528 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=679] ppid=671 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/679/stat : 679 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 21977 33554432000 4194304 4196468 140733282314352 140499427601552 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=680] ppid=671 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/674/task/680/stat : 680 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 21977 33554432000 4194304 4196468 140733282314352 140499426548752 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=681] ppid=671 vsize=15011656 memory=139744425666176 CPUtime=0 cores=1,3,5,7
/proc/674/task/681/stat : 681 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912831 15371935744 21977 33554432000 4194304 4196468 140733282314352 140499006310512 140499967920770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=682] ppid=671 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/674/task/682/stat : 682 (java) S 671 674 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73912832 15371935744 21977 33554432000 4194304 4196468 140733282314352 140498513683232 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=683] ppid=671 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/683/stat : 683 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912832 15371935744 21977 33554432000 4194304 4196468 140733282314352 140498245248112 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=684] ppid=671 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/684/stat : 684 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912834 15371935744 21977 33554432000 4194304 4196468 140733282314352 140497870739536 140499967928219 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=685] ppid=671 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/674/task/685/stat : 685 (java) R 671 674 32649 0 -1 4202560 440 0 0 0 1 0 0 0 20 0 15 0 73912834 15371935744 21977 33554432000 4194304 4196468 140733282314352 140499005258352 140499947072784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=686] ppid=671 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/674/task/686/stat : 686 (java) R 671 674 32649 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 73912834 15371935744 21977 33554432000 4194304 4196468 140733282314352 140499004205552 140499967920770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=687] ppid=671 vsize=15011656 memory=139744425666176 CPUtime=0.03 cores=1,3,5,7
/proc/674/task/687/stat : 687 (java) S 671 674 32649 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 73912834 15371935744 21977 33554432000 4194304 4196468 140733282314352 140499003153264 140499967920770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=688] ppid=671 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/674/task/688/stat : 688 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912835 15371935744 21977 33554432000 4194304 4196468 140733282314352 140497372834784 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=689] ppid=671 vsize=15011656 memory=139744425666176 CPUtime=0 cores=1,3,5,7
/proc/674/task/689/stat : 689 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912835 15371935744 21977 33554432000 4194304 4196468 140733282314352 140499002100144 140499967920770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87908 KiB
[startup+0.310514 s]*
/proc/loadavg: 4.56 4.94 3.76 3/216 689
/proc/meminfo: memFree=12684908/32770624 swapFree=67108860/67108860
[pid=674] ppid=671 vsize=15011656 memory=91436 CPUtime=0.41 cores=1,3,5,7
/proc/674/stat : 674 (java) S 671 674 32649 0 -1 1077944320 10426 0 0 0 38 3 0 0 20 0 15 0 73912828 15371935744 22859 33554432000 4194304 4196468 140733282314352 140733282296896 140499967909623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
/proc/674/statm: 3752914 22859 2985 1 0 3715374 0
[pid=674/tid=676] ppid=671 vsize=15011656 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/674/task/676/stat : 676 (java) R 671 674 32649 0 -1 4202560 8177 0 0 0 27 3 0 0 20 0 15 0 73912828 15371935744 22859 33554432000 4194304 4196468 140733282314352 140499939713776 140499953075262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=677] ppid=671 vsize=15011656 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/674/task/677/stat : 677 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 22859 33554432000 4194304 4196468 140733282314352 140499972152208 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=678] ppid=671 vsize=15011656 memory=9920 CPUtime=0 cores=1,3,5,7
/proc/674/task/678/stat : 678 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 22859 33554432000 4194304 4196468 140733282314352 140499790240528 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=679] ppid=671 vsize=15011656 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/674/task/679/stat : 679 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 22859 33554432000 4194304 4196468 140733282314352 140499427601552 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=680] ppid=671 vsize=15011656 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/674/task/680/stat : 680 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15371935744 22859 33554432000 4194304 4196468 140733282314352 140499426548752 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=681] ppid=671 vsize=15011656 memory=8520 CPUtime=0 cores=1,3,5,7
/proc/674/task/681/stat : 681 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912831 15371935744 22859 33554432000 4194304 4196468 140733282314352 140499006310512 140499967920770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=682] ppid=671 vsize=15011656 memory=792 CPUtime=0 cores=1,3,5,7
/proc/674/task/682/stat : 682 (java) S 671 674 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73912832 15371935744 22859 33554432000 4194304 4196468 140733282314352 140498513683232 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=683] ppid=671 vsize=15011656 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/674/task/683/stat : 683 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912832 15371935744 22859 33554432000 4194304 4196468 140733282314352 140498245248112 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=684] ppid=671 vsize=15011656 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/674/task/684/stat : 684 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912834 15371935744 22859 33554432000 4194304 4196468 140733282314352 140497870739536 140499967928219 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=685] ppid=671 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/674/task/685/stat : 685 (java) S 671 674 32649 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 15 0 73912834 15371935744 22859 33554432000 4194304 4196468 140733282314352 140499005258352 140499967920770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=686] ppid=671 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/674/task/686/stat : 686 (java) S 671 674 32649 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 15 0 73912834 15371935744 22859 33554432000 4194304 4196468 140733282314352 140499004205552 140499967920770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=687] ppid=671 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/674/task/687/stat : 687 (java) S 671 674 32649 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 15 0 73912834 15371935744 22859 33554432000 4194304 4196468 140733282314352 140499003153264 140499967920770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=688] ppid=671 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/688/stat : 688 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912835 15371935744 22859 33554432000 4194304 4196468 140733282314352 140497372834784 140499967919829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=689] ppid=671 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/674/task/689/stat : 689 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912835 15371935744 22859 33554432000 4194304 4196468 140733282314352 140499002100144 140499967920770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91436 KiB
[startup+0.700754 s]
/proc/loadavg: 4.56 4.94 3.76 3/216 689
/proc/meminfo: memFree=12660352/32770624 swapFree=67108860/67108860
[pid=674] ppid=671 vsize=15019976 memory=133548 CPUtime=1.03 cores=1,3,5,7
/proc/674/stat : 674 (java) S 671 674 32649 0 -1 1077944320 17492 0 0 0 97 6 0 0 20 0 15 0 73912828 15380455424 33387 33554432000 4194304 4196468 140733282314352 140733282296896 140499967909623 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
/proc/674/statm: 3754994 33387 3149 1 0 3716398 0
[pid=674/tid=676] ppid=671 vsize=15019976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/674/task/676/stat : 676 (java) R 671 674 32649 0 -1 4202560 14751 0 0 0 63 4 0 0 20 0 15 0 73912828 15380455424 33387 33554432000 4194304 4196468 140733282314352 140499939747488 140499949771709 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=677] ppid=671 vsize=15019976 memory=5789203943361106019 CPUtime=0 cores=1,3,5,7
/proc/674/task/677/stat : 677 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15380455424 33387 33554432000 4194304 4196468 140733282314352 140499972152208 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=678] ppid=671 vsize=15019976 memory=5795964947836661100 CPUtime=0 cores=1,3,5,7
/proc/674/task/678/stat : 678 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15380455424 33387 33554432000 4194304 4196468 140733282314352 140499790240528 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=679] ppid=671 vsize=15019976 memory=6226598563231715942 CPUtime=0 cores=1,3,5,7
/proc/674/task/679/stat : 679 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15380455424 33387 33554432000 4194304 4196468 140733282314352 140499427601552 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=680] ppid=671 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/680/stat : 680 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15380455424 33387 33554432000 4194304 4196468 140733282314352 140499426548752 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=681] ppid=671 vsize=15019976 memory=142669150036712 CPUtime=0 cores=1,3,5,7
/proc/674/task/681/stat : 681 (java) S 671 674 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73912831 15380455424 33387 33554432000 4194304 4196468 140733282314352 140499006310512 140499967920770 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=682] ppid=671 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/682/stat : 682 (java) S 671 674 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73912832 15380455424 33387 33554432000 4194304 4196468 140733282314352 140498513683232 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=683] ppid=671 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/683/stat : 683 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912832 15380455424 33387 33554432000 4194304 4196468 140733282314352 140498245248112 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=684] ppid=671 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/684/stat : 684 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912834 15380455424 33387 33554432000 4194304 4196468 140733282314352 140497870739536 140499967928219 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=685] ppid=671 vsize=15019976 memory=279488554336496 CPUtime=0.06 cores=1,3,5,7
/proc/674/task/685/stat : 685 (java) S 671 674 32649 0 -1 1077944384 548 0 0 0 6 0 0 0 20 0 15 0 73912834 15380455424 33387 33554432000 4194304 4196468 140733282314352 140499005258352 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=686] ppid=671 vsize=15019976 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/674/task/686/stat : 686 (java) R 671 674 32649 0 -1 4202560 344 0 0 0 9 0 0 0 20 0 15 0 73912834 15380455424 33387 33554432000 4194304 4196468 140733282314352 140499004197504 140499947127624 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=687] ppid=671 vsize=15019976 memory=-1807685287717842718 CPUtime=0.18 cores=1,3,5,7
/proc/674/task/687/stat : 687 (java) R 671 674 32649 0 -1 4202560 508 0 0 0 18 0 0 0 20 0 15 0 73912834 15380455424 33387 33554432000 4194304 4196468 140733282314352 140499003152448 140499954233998 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=688] ppid=671 vsize=15019976 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/674/task/688/stat : 688 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912835 15380455424 33387 33554432000 4194304 4196468 140733282314352 140497372834784 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=689] ppid=671 vsize=15019976 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/674/task/689/stat : 689 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912835 15380455424 33387 33554432000 4194304 4196468 140733282314352 140499002100144 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 133548 KiB
[startup+1.50141 s]
/proc/loadavg: 4.56 4.94 3.76 5/216 689
/proc/meminfo: memFree=12619284/32770624 swapFree=67108860/67108860
[pid=674] ppid=671 vsize=15022100 memory=204160 CPUtime=3.45 cores=1,3,5,7
/proc/674/stat : 674 (java) S 671 674 32649 0 -1 1077944320 21409 0 0 0 336 9 0 0 20 0 15 0 73912828 15382630400 51040 33554432000 4194304 4196468 140733282314352 140733282296896 140499967909623 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
/proc/674/statm: 3755525 51040 3211 1 0 3716910 0
[pid=674/tid=676] ppid=671 vsize=15022100 memory=1412 CPUtime=1.47 cores=1,3,5,7
/proc/674/task/676/stat : 676 (java) R 671 674 32649 0 -1 4202560 15757 0 0 0 141 6 0 0 20 0 15 0 73912828 15382630400 51040 33554432000 4194304 4196468 140733282314352 140499939741552 140499967921558 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=677] ppid=671 vsize=15022100 memory=3104 CPUtime=0 cores=1,3,5,7
/proc/674/task/677/stat : 677 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15382630400 51040 33554432000 4194304 4196468 140733282314352 140499972152208 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=678] ppid=671 vsize=15022100 memory=11680660 CPUtime=0 cores=1,3,5,7
/proc/674/task/678/stat : 678 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15382630400 51040 33554432000 4194304 4196468 140733282314352 140499790240528 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=679] ppid=671 vsize=15022100 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/674/task/679/stat : 679 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15382630400 51040 33554432000 4194304 4196468 140733282314352 140499427601552 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=680] ppid=671 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/680/stat : 680 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15382630400 51040 33554432000 4194304 4196468 140733282314352 140499426548752 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=681] ppid=671 vsize=15022100 memory=142669150171240 CPUtime=0 cores=1,3,5,7
/proc/674/task/681/stat : 681 (java) S 671 674 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73912831 15382630400 51040 33554432000 4194304 4196468 140733282314352 140499006310512 140499967920770 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
################
# More data... #
################
[pid=674/tid=682] ppid=671 vsize=15022100 memory=14409311157749108 CPUtime=0 cores=1,3,5,7
/proc/674/task/682/stat : 682 (java) S 671 674 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73912832 15382630400 208834 33554432000 4194304 4196468 140733282314352 140498513683232 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=683] ppid=671 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/683/stat : 683 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912832 15382630400 208834 33554432000 4194304 4196468 140733282314352 140498245248112 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=684] ppid=671 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/684/stat : 684 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912834 15382630400 208834 33554432000 4194304 4196468 140733282314352 140497870739536 140499967928219 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=685] ppid=671 vsize=15022100 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/674/task/685/stat : 685 (java) R 671 674 32649 0 -1 4202560 2238 0 0 0 174 1 0 0 20 0 15 0 73912834 15382630400 208834 33554432000 4194304 4196468 140733282314352 140499005238112 140499947412683 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=686] ppid=671 vsize=15022100 memory=0 CPUtime=2.06 cores=1,3,5,7
/proc/674/task/686/stat : 686 (java) R 671 674 32649 0 -1 4202560 2938 0 0 0 205 1 0 0 20 0 15 0 73912834 15382630400 208834 33554432000 4194304 4196468 140733282314352 140499004198744 140499951406411 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=687] ppid=671 vsize=15022100 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/674/task/687/stat : 687 (java) S 671 674 32649 0 -1 1077944384 3031 0 0 0 91 2 0 0 20 0 15 0 73912834 15382630400 208834 33554432000 4194304 4196468 140733282314352 140499003153264 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=688] ppid=671 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/688/stat : 688 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912835 15382630400 208834 33554432000 4194304 4196468 140733282314352 140497372834784 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=689] ppid=671 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/689/stat : 689 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912835 15382630400 208834 33554432000 4194304 4196468 140733282314352 140499002100144 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
Current children cumulated CPU time: 7.85 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 835336 KiB
[startup+6.30077 s]
/proc/loadavg: 4.43 4.91 3.76 3/216 689
/proc/meminfo: memFree=10753012/32770624 swapFree=67108860/67108860
[pid=674] ppid=671 vsize=15024148 memory=2246208 CPUtime=15.35 cores=1,3,5,7
/proc/674/stat : 674 (java) S 671 674 32649 0 -1 1077944320 37089 0 0 0 1491 44 0 0 20 0 15 0 73912828 15384727552 561552 33554432000 4194304 4196468 140733282314352 140733282296896 140499967909623 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
/proc/674/statm: 3756037 561552 3217 1 0 3717422 0
[pid=674/tid=676] ppid=671 vsize=15024148 memory=6944613755495348631 CPUtime=6.26 cores=1,3,5,7
/proc/674/task/676/stat : 676 (java) R 671 674 32649 0 -1 4202560 17399 0 0 0 589 37 0 0 20 0 15 0 73912828 15384727552 561552 33554432000 4194304 4196468 140733282314352 140499939744504 140499477902889 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=677] ppid=671 vsize=15024148 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/674/task/677/stat : 677 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15384727552 561552 33554432000 4194304 4196468 140733282314352 140499972152208 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=678] ppid=671 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/678/stat : 678 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15384727552 561552 33554432000 4194304 4196468 140733282314352 140499790240528 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=679] ppid=671 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/679/stat : 679 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912830 15384727552 561552 33554432000 4194304 4196468 140733282314352 140499427601552 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=680] ppid=671 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/680/stat : 680 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912830 15384727552 561552 33554432000 4194304 4196468 140733282314352 140499426548752 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=681] ppid=671 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/681/stat : 681 (java) S 671 674 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73912831 15384727552 561552 33554432000 4194304 4196468 140733282314352 140499006310512 140499967920770 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=682] ppid=671 vsize=15024148 memory=219264 CPUtime=0 cores=1,3,5,7
/proc/674/task/682/stat : 682 (java) S 671 674 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73912832 15384727552 561552 33554432000 4194304 4196468 140733282314352 140498513683232 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=683] ppid=671 vsize=15024148 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/674/task/683/stat : 683 (java) S 671 674 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73912832 15384727552 561552 33554432000 4194304 4196468 140733282314352 140498245248112 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=684] ppid=671 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/684/stat : 684 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912834 15384727552 561552 33554432000 4194304 4196468 140733282314352 140497870739536 140499967928219 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=685] ppid=671 vsize=15024148 memory=0 CPUtime=3.81 cores=1,3,5,7
/proc/674/task/685/stat : 685 (java) S 671 674 32649 0 -1 1077944384 5895 0 0 0 379 2 0 0 20 0 15 0 73912834 15384727552 561552 33554432000 4194304 4196468 140733282314352 140499005258352 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=686] ppid=671 vsize=15024148 memory=0 CPUtime=3.93 cores=1,3,5,7
/proc/674/task/686/stat : 686 (java) S 671 674 32649 0 -1 1077944384 5843 0 0 0 391 2 0 0 20 0 15 0 73912834 15384727552 561552 33554432000 4194304 4196468 140733282314352 140499004205552 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=687] ppid=671 vsize=15024148 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/674/task/687/stat : 687 (java) S 671 674 32649 0 -1 1077944384 6608 0 0 0 130 3 0 0 20 0 15 0 73912834 15384727552 561552 33554432000 4194304 4196468 140733282314352 140499003153264 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=688] ppid=671 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/688/stat : 688 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912835 15384727552 561552 33554432000 4194304 4196468 140733282314352 140497372834784 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=689] ppid=671 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/689/stat : 689 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912835 15384727552 561552 33554432000 4194304 4196468 140733282314352 140499002100144 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2246208 KiB
[startup+12.7007 s]
/proc/loadavg: 4.24 4.86 3.75 4/216 689
/proc/meminfo: memFree=9648964/32770624 swapFree=67108860/67108860
[pid=674] ppid=671 vsize=15024148 memory=3120660 CPUtime=27.95 cores=1,3,5,7
/proc/674/stat : 674 (java) S 671 674 32649 0 -1 1077944320 45258 0 0 0 2728 67 0 0 20 0 15 0 73912828 15384727552 780165 33554432000 4194304 4196468 140733282314352 140733282296896 140499967909623 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
/proc/674/statm: 3756037 780165 3234 1 0 3717422 0
[pid=674/tid=676] ppid=671 vsize=15024148 memory=3120628 CPUtime=12.55 cores=1,3,5,7
/proc/674/task/676/stat : 676 (java) R 671 674 32649 0 -1 4202560 18708 0 0 0 1207 48 0 0 20 0 15 0 73912828 15384727552 780165 33554432000 4194304 4196468 140733282314352 140499939748112 140499483093276 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=677] ppid=671 vsize=15024148 memory=3120628 CPUtime=0.09 cores=1,3,5,7
/proc/674/task/677/stat : 677 (java) S 671 674 32649 0 -1 1077944384 206 0 0 0 7 2 0 0 20 0 15 0 73912830 15384727552 780165 33554432000 4194304 4196468 140733282314352 140499972152208 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=678] ppid=671 vsize=15024148 memory=849100 CPUtime=0.09 cores=1,3,5,7
/proc/674/task/678/stat : 678 (java) S 671 674 32649 0 -1 1077944384 78 0 0 0 7 2 0 0 20 0 15 0 73912830 15384727552 780165 33554432000 4194304 4196468 140733282314352 140499790240528 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=679] ppid=671 vsize=15024148 memory=279488555360032 CPUtime=0.09 cores=1,3,5,7
/proc/674/task/679/stat : 679 (java) S 671 674 32649 0 -1 1077944384 106 0 0 0 7 2 0 0 20 0 15 0 73912830 15384727552 780165 33554432000 4194304 4196468 140733282314352 140499427601552 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=680] ppid=671 vsize=15024148 memory=279488554976016 CPUtime=0.09 cores=1,3,5,7
/proc/674/task/680/stat : 680 (java) S 671 674 32649 0 -1 1077944384 122 0 0 0 7 2 0 0 20 0 15 0 73912830 15384727552 780165 33554432000 4194304 4196468 140733282314352 140499426548752 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=681] ppid=671 vsize=15024148 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/674/task/681/stat : 681 (java) S 671 674 32649 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 73912831 15384727552 780165 33554432000 4194304 4196468 140733282314352 140499006310512 140499967920770 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=682] ppid=671 vsize=15024148 memory=8225999880896056075 CPUtime=0 cores=1,3,5,7
/proc/674/task/682/stat : 682 (java) S 671 674 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 73912832 15384727552 780165 33554432000 4194304 4196468 140733282314352 140498513683296 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=683] ppid=671 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/683/stat : 683 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73912832 15384727552 780165 33554432000 4194304 4196468 140733282314352 140498245248112 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=684] ppid=671 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/684/stat : 684 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912834 15384727552 780165 33554432000 4194304 4196468 140733282314352 140497870739536 140499967928219 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=685] ppid=671 vsize=15024148 memory=279485333402385 CPUtime=6.65 cores=1,3,5,7
/proc/674/task/685/stat : 685 (java) S 671 674 32649 0 -1 1077944384 7690 0 0 0 663 2 0 0 20 0 15 0 73912834 15384727552 780165 33554432000 4194304 4196468 140733282314352 140499005258352 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=686] ppid=671 vsize=15024148 memory=0 CPUtime=6.73 cores=1,3,5,7
/proc/674/task/686/stat : 686 (java) S 671 674 32649 0 -1 1077944384 10337 0 0 0 671 2 0 0 20 0 15 0 73912834 15384727552 780165 33554432000 4194304 4196468 140733282314352 140499004205552 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=687] ppid=671 vsize=15024148 memory=6947385649911455296 CPUtime=1.58 cores=1,3,5,7
/proc/674/task/687/stat : 687 (java) S 671 674 32649 0 -1 1077944384 6652 0 0 0 155 3 0 0 20 0 15 0 73912834 15384727552 780165 33554432000 4194304 4196468 140733282314352 140499003153264 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=688] ppid=671 vsize=15024148 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/674/task/688/stat : 688 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912835 15384727552 780165 33554432000 4194304 4196468 140733282314352 140497372834784 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=689] ppid=671 vsize=15024148 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/674/task/689/stat : 689 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73912835 15384727552 780165 33554432000 4194304 4196468 140733282314352 140499002100144 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
Current children cumulated CPU time: 27.95 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3120660 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+21.2009 s]
/proc/loadavg: 3.97 4.78 3.73 3/221 695
/proc/meminfo: memFree=9294340/32770624 swapFree=67108860/67108860
[pid=674] ppid=671 vsize=15683912 memory=3294272 CPUtime=38.95 cores=1,3,5,7
/proc/674/stat : 674 (java) S 671 674 32649 0 -1 1077944320 59126 0 0 0 3799 96 0 0 20 0 19 0 73912828 16060325888 823568 33554432000 4194304 4196468 140733282314352 140733282296896 140499967909623 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
/proc/674/statm: 3920978 823568 3267 1 0 3881834 0
[pid=690] ppid=674 vsize=218868 memory=166304 CPUtime=0.59 cores=1,3,5,7
/proc/690/stat : 690 (minisat_release) R 674 674 32649 0 -1 4202496 33901 0 0 0 52 7 0 0 20 0 1 0 73914888 224120832 41576 33554432000 4194304 4308513 140730470124864 140730470122008 139647164558215 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 24653824 140730470126259 140730470126766 140730470126766 140730470129605 0
/proc/690/statm: 54717 41576 318 28 0 50957 0
[pid=674/tid=676] ppid=671 vsize=15683912 memory=0 CPUtime=20.07 cores=1,3,5,7
/proc/674/task/676/stat : 676 (java) S 671 674 32649 0 -1 1077944384 21553 0 0 0 1948 59 0 0 20 0 19 0 73912828 16060325888 823568 33554432000 4194304 4196468 140733282314352 140499939748864 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=677] ppid=671 vsize=15683912 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/674/task/677/stat : 677 (java) S 671 674 32649 0 -1 1077944384 913 0 0 0 31 6 0 0 20 0 19 0 73912830 16060325888 823568 33554432000 4194304 4196468 140733282314352 140499972152208 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=678] ppid=671 vsize=15683912 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/674/task/678/stat : 678 (java) S 671 674 32649 0 -1 1077944384 176 0 0 0 31 6 0 0 20 0 19 0 73912830 16060325888 823568 33554432000 4194304 4196468 140733282314352 140499790240528 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=679] ppid=671 vsize=15683912 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/674/task/679/stat : 679 (java) S 671 674 32649 0 -1 1077944384 304 0 0 0 31 6 0 0 20 0 19 0 73912830 16060325888 823568 33554432000 4194304 4196468 140733282314352 140499427601552 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=680] ppid=671 vsize=15683912 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/674/task/680/stat : 680 (java) S 671 674 32649 0 -1 1077944384 2030 0 0 0 31 6 0 0 20 0 19 0 73912830 16060325888 823568 33554432000 4194304 4196468 140733282314352 140499426548752 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=681] ppid=671 vsize=15683912 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/674/task/681/stat : 681 (java) S 671 674 32649 0 -1 1077944384 316 0 0 0 2 0 0 0 20 0 19 0 73912831 16060325888 823568 33554432000 4194304 4196468 140733282314352 140499006310512 140499967920770 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=682] ppid=671 vsize=15683912 memory=3294272 CPUtime=0 cores=1,3,5,7
/proc/674/task/682/stat : 682 (java) S 671 674 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 73912832 16060325888 823568 33554432000 4194304 4196468 140733282314352 140498513683296 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=683] ppid=671 vsize=15683912 memory=3291480 CPUtime=0 cores=1,3,5,7
/proc/674/task/683/stat : 683 (java) S 671 674 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73912832 16060325888 823568 33554432000 4194304 4196468 140733282314352 140498245248128 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=684] ppid=671 vsize=15683912 memory=7158585322977649255 CPUtime=0 cores=1,3,5,7
/proc/674/task/684/stat : 684 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73912834 16060325888 823568 33554432000 4194304 4196468 140733282314352 140497870739536 140499967928219 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=685] ppid=671 vsize=15683912 memory=6369332748227994730 CPUtime=7.74 cores=1,3,5,7
/proc/674/task/685/stat : 685 (java) S 671 674 32649 0 -1 1077944384 9868 0 0 0 772 2 0 0 20 0 19 0 73912834 16060325888 823568 33554432000 4194304 4196468 140733282314352 140499005258352 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=686] ppid=671 vsize=15683912 memory=6369332748227994730 CPUtime=7.8 cores=1,3,5,7
/proc/674/task/686/stat : 686 (java) S 671 674 32649 0 -1 1077944384 13508 0 0 0 777 3 0 0 20 0 19 0 73912834 16060325888 823568 33554432000 4194304 4196468 140733282314352 140499004205552 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=687] ppid=671 vsize=15683912 memory=6369332748227994730 CPUtime=1.73 cores=1,3,5,7
/proc/674/task/687/stat : 687 (java) S 671 674 32649 0 -1 1077944384 8580 0 0 0 170 3 0 0 20 0 19 0 73912834 16060325888 823568 33554432000 4194304 4196468 140733282314352 140499003153264 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=688] ppid=671 vsize=15683912 memory=6369332748227994730 CPUtime=0 cores=1,3,5,7
/proc/674/task/688/stat : 688 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73912835 16060325888 823568 33554432000 4194304 4196468 140733282314352 140497372834784 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=689] ppid=671 vsize=15683912 memory=7449895396905806436 CPUtime=0.01 cores=1,3,5,7
/proc/674/task/689/stat : 689 (java) S 671 674 32649 0 -1 1077944384 471 0 0 0 0 1 0 0 20 0 19 0 73912835 16060325888 823568 33554432000 4194304 4196468 140733282314352 140499002100144 140499967920770 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=691] ppid=671 vsize=15683912 memory=7449895396905806436 CPUtime=0 cores=1,3,5,7
/proc/674/task/691/stat : 691 (java) S 671 674 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73914888 16060325888 823568 33554432000 4194304 4196468 140733282314352 140498983736256 140499967934233 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=693] ppid=671 vsize=15683912 memory=7090745369611101034 CPUtime=0 cores=1,3,5,7
/proc/674/task/693/stat : 693 (java) S 671 674 32649 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 73914888 16060325888 823568 33554432000 4194304 4196468 140733282314352 140496835947952 140499967931549 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=694] ppid=671 vsize=15683912 memory=7090745369611101034 CPUtime=0 cores=1,3,5,7
/proc/674/task/694/stat : 694 (java) S 671 674 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 73914888 16060325888 823568 33554432000 4194304 4196468 140733282314352 140496970170160 140499967931549 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
[pid=674/tid=695] ppid=671 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/674/task/695/stat : 695 (java) S 671 674 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73914890 16060325888 823568 33554432000 4194304 4196468 140733282314352 140496567524768 140499967919829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39043072 140733282321395 140733282321673 140733282321673 140733282324431 0
Current children cumulated CPU time: 39.54 s
Current children cumulated vsize: 15902780 KiB
Current children cumulated memory: 3460576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+21.2436 s]
# the end of solver process 674 was just reported to runsolver
# cumulated CPU time of all completed processes: user=38.5253 s, system=1.07734 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 21.2437
CPU time (s): 39.6027
CPU user time (s): 38.5253
CPU system time (s): 1.07734
CPU usage (%): 186.421
Max. virtual memory (cumulated for all children) (KiB): 15902780
Max. memory (cumulated for all children) (KiB): 3460576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.5253
system time used= 1.07734
maximum resident set size= 3296784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 126304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6652
involuntary context switches= 110
# summary of solver processes directly reported to runsolver:
# pid: 674
# total CPU time (s): 39.6027
# total CPU user time (s): 38.5253
# total CPU system time (s): 1.07734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.128931 second user time and 0.272189 second system time
The end