0.64/0.52
0.64/0.53 scop order+minisat_release (2018-06-13)
0.64/0.53
0.64/0.55 c BEGIN-Prog: Thu Jul 26 02:09:49 CEST 2018
0.64/0.55 c PID: 1527
0.64/0.55 c IP: 172.20.3.150
0.64/0.55 c HOST: node150.alineos.net
0.64/0.56 c (0,0) Parsing Begin
2.92/1.39 c (0,0) Parsing End
3.21/1.41 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1429 ctr, max domain size 26
3.21/1.41 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.41 c (0,0) Constraint Name Generate Begin
3.21/1.43 c (0,0) Ctr:HOME/instance-4295056-1532563789.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.21/1.43 c (0,0) Constraint Name Generate End
3.21/1.43 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.43 c (0,0) CSP to CSPinCNF Begin
12.44/4.82 c (4,4) translated 143 (10%) constraints
12.86/5.29 c (4,4) translated 286 (20%) constraints
13.04/5.31 c (4,4) translated 429 (30%) constraints
13.04/5.33 c (4,4) translated 572 (40%) constraints
13.04/5.36 c (4,4) translated 715 (50%) constraints
13.04/5.38 c (4,4) translated 858 (60%) constraints
13.04/5.39 c (4,4) translated 1001 (70%) constraints
13.38/5.41 c (4,4) translated 1144 (80%) constraints
15.33/6.86 c (6,6) translated 1287 (90%) constraints
16.74/7.95 c (7,7) translated 1429 (100%) constraints
17.95/8.48 c (7,7) STATISTICS1:HOME/instance-4295056-1532563789.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57054,9223372036854775807,26,25,200,9223372036854775807:268;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:3;70368744177664:2;17592186044416:1;8796093022208:1;1099511627776:1;549755813888:1;16:392;4:396;2:199,26:20400;2:158730,25:200;3:29600;2:26000;1:1254,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:3;47:2;45:1;44:1;41:1;40:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:3;1764:1
17.95/8.48 c (7,7) ===========================================
17.95/8.48 c (7,7) Order
17.95/8.48 c (7,7) ===========================================
20.26/9.27 c (8,8) translated 5706 (10%) constraints
21.16/9.55 c (9,8) translated 11411 (20%) constraints
21.46/9.65 c (9,8) translated 17117 (30%) constraints
21.63/9.73 c (9,9) translated 22822 (40%) constraints
21.73/9.81 c (9,9) translated 28527 (50%) constraints
21.73/9.89 c (9,9) translated 34233 (60%) constraints
21.83/9.97 c (9,9) translated 39938 (70%) constraints
21.94/10.06 c (9,9) translated 45644 (80%) constraints
22.04/10.14 c (9,9) translated 51349 (90%) constraints
27.07/12.21 c (11,11) translated 57054 (100%) constraints
27.07/12.22 c (11,11) CSP to CSPinCNF End
27.07/12.23 c (11,11) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77698 ctr, max domain size 68
27.07/12.23 c (11,11) Heap : 2507 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
27.07/12.23 c (11,11) CSPinCNF Propagation Begin
28.49/12.70 c (12,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
28.49/12.70 c (12,11) CSPinCNF Propagation End
28.49/12.71 c (12,11) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77298 ctr, max domain size 68
28.49/12.71 c (12,11) Heap : 2780 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
28.49/12.71 c (12,11) Simplify CSPinCNF Begin
28.71/12.88 c (12,12) Simplify CSPinCNF End
28.71/12.88 c (12,12) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77298 ctr, max domain size 68
28.71/12.88 c (12,12) Heap : 2890 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
28.71/12.88 c (12,12) Calculate Precise Domain Begin
28.83/12.93 c (12,12) 0 values are removed by re-calculation
28.83/12.93 c (12,12) Calculate Precise Domain End
28.83/12.94 c (12,12) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77298 ctr, max domain size 68
28.83/12.94 c (12,12) Heap : 2890 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.83/12.94 c (12,12) CSPinCNF to SatSolver Begin
32.39/15.10 c (14,14) 7730 (10 %) CSP clauses are encoded (94297 SAT variables, 584865 SAT clauses)
32.63/15.17 c (14,14) 15460 (20 %) CSP clauses are encoded (94297 SAT variables, 592595 SAT clauses)
32.87/15.23 c (14,14) 23190 (30 %) CSP clauses are encoded (94297 SAT variables, 600325 SAT clauses)
32.87/15.28 c (14,14) 30920 (40 %) CSP clauses are encoded (94297 SAT variables, 608055 SAT clauses)
33.09/15.32 c (14,14) 38649 (50 %) CSP clauses are encoded (94297 SAT variables, 615784 SAT clauses)
33.09/15.36 c (14,14) 46379 (60 %) CSP clauses are encoded (94297 SAT variables, 623514 SAT clauses)
33.09/15.39 c (14,14) 54109 (70 %) CSP clauses are encoded (94297 SAT variables, 631244 SAT clauses)
33.19/15.43 c (14,14) 61839 (80 %) CSP clauses are encoded (94297 SAT variables, 638974 SAT clauses)
33.69/15.78 c (15,14) 69569 (90 %) CSP clauses are encoded (94297 SAT variables, 759892 SAT clauses)
38.57/20.52 c (19,19) 77298 (100 %) CSP clauses are encoded (94297 SAT variables, 2458952 SAT clauses)
38.57/20.52 c (19,19) CSPinCNF to SatSolver End
38.57/20.52 c (19,19) Heap : 769 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
39.28/20.86 c (20,19) STATISTICS2:HOME/instance-4295056-1532563789.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25757,77298,4556,68,24,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600: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:294;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:16;702:14;676:20;650:15;625:16;600:16;576:16;552:19;529:14;512:759;506:17;484:16;462:15;441:27;420:14;400:16;380:17;361:15;342:18;324:32;306:85;289:71;288:4;272:78;270:8;256:1913;255:16;252:4;240:69;238:8;225:87;216:4;210:71;204:8;196:78;182:74;180:12;170:24;169:69;162:4;156:70;153:8;144:77;132:67;128:1146;126:8;121:72;119:16;110:67;100:93;96:275;90:562;85:16;81:499;72:305;68:24;64:1133;56:285;54:8;51:16;49:298;36:24;34:48;25:291;16:966;9:16;4:444;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:30148;25:138;24:140;23:138;22:134;21:180;20:134;19:138;18:1108;17:982;16:622;15:640;14:606;13:564;12:1136;11:556;10:1626;9:3694;8:2292;7:1770;5:1172;4:108;3:72;2:179346,24:200;3:29200;2:36400;1:11498,11:278;10:759;9:1829;8:1146;7:849;5:1217;3:5221;2:199;1:165200,
39.28/20.86 c (20,19) SatSolver.solve Begin
39.28/20.86 c (20,19) 94297 bool, 2459653 clause
39.28/20.86 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-4295056-1532563789.xml-scop-1527.cnf HOME/instance-4295056-1532563789.xml-scop-1527.cnf.out
40.06/21.50 c (20,0) receiving signal SIGTERM
40.06/21.50 s UNKNOWN
40.06/21.51 c (20,19) SatSolver is killed by some reasons.
40.06/21.51 c (20,19) 0,0,11,12,12,12,19,TO,TO,STOP-AFTER(DIMACS)
40.06/21.51 c END-Prog: Thu Jul 26 02:10:10 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 (11534 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295056-1532563789/watcher-4295056-1532563789 -o /tmp/evaluation-result-4295056-1532563789/solver-4295056-1532563789 -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-4295056-1532563789.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=1527, runsolver pid=1524
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 4.55 4.34 3.78 7/215 1542
/proc/meminfo: memFree=12297564/32770624 swapFree=67108860/67108860
[pid=1527] ppid=1524 vsize=15011656 memory=71164 CPUtime=0.1 cores=1,3,5,7
/proc/1527/stat : 1527 (java) S 1524 1527 32649 0 -1 1077944320 6003 0 0 0 8 2 0 0 20 0 15 0 73942134 15371935744 17791 33554432000 4194304 4196468 140722977781504 140722977764048 140299938234103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
/proc/1527/statm: 3752914 17791 2755 1 0 3715374 0
[pid=1527/tid=1529] ppid=1524 vsize=15011656 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (java) R 1524 1527 32649 0 -1 4202560 4309 0 0 0 7 1 0 0 20 0 15 0 73942135 15371935744 17989 33554432000 4194304 4196468 140722977781504 140299910070848 140299938256029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1530] ppid=1524 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1530/stat : 1530 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 17989 33554432000 4194304 4196468 140722977781504 140299942476048 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1531] ppid=1524 vsize=15011656 memory=139701826328192 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1531/stat : 1531 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 17989 33554432000 4194304 4196468 140722977781504 140299741251984 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1532] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1532/stat : 1532 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 17989 33554432000 4194304 4196468 140722977781504 140299740199440 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1533] ppid=1524 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1533/stat : 1533 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 17989 33554432000 4194304 4196468 140722977781504 140299739146896 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1534] ppid=1524 vsize=15011656 memory=139701826328192 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1534/stat : 1534 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73942138 15371935744 17989 33554432000 4194304 4196468 140722977781504 140299345304048 140299938245250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1535] ppid=1524 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1535/stat : 1535 (java) S 1524 1527 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73942138 15371935744 17989 33554432000 4194304 4196468 140722977781504 140298629932448 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1536] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1536/stat : 1536 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942139 15371935744 17989 33554432000 4194304 4196468 140722977781504 140298395051504 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1537] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1537/stat : 1537 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 17989 33554432000 4194304 4196468 140722977781504 140298020543184 140299938252699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1538] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1538/stat : 1538 (java) S 1524 1527 32649 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 17989 33554432000 4194304 4196468 140722977781504 140299344250864 140299938245250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1539] ppid=1524 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1539/stat : 1539 (java) R 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 17989 33554432000 4194304 4196468 140722977781504 140299343198320 140299938245250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1540] ppid=1524 vsize=15011656 memory=139701826328192 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1540/stat : 1540 (java) R 1524 1527 32649 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 17989 33554432000 4194304 4196468 140722977781504 140299342145776 140299938245250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1541] ppid=1524 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1541/stat : 1541 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 17989 33554432000 4194304 4196468 140722977781504 140297522637408 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1542] ppid=1524 vsize=15011656 memory=139701826328192 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1542/stat : 1542 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 17989 33554432000 4194304 4196468 140722977781504 140299341093680 140299938245250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71164 KiB
[startup+0.210207 s]*
/proc/loadavg: 4.55 4.34 3.78 6/215 1542
/proc/meminfo: memFree=12283488/32770624 swapFree=67108860/67108860
[pid=1527] ppid=1524 vsize=15011656 memory=85544 CPUtime=0.24 cores=1,3,5,7
/proc/1527/stat : 1527 (java) S 1524 1527 32649 0 -1 1077944320 9823 0 0 0 21 3 0 0 20 0 15 0 73942134 15371935744 21386 33554432000 4194304 4196468 140722977781504 140722977764048 140299938234103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
/proc/1527/statm: 3752914 21386 2874 1 0 3715374 0
[pid=1527/tid=1529] ppid=1524 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (java) R 1524 1527 32649 0 -1 4202560 7735 0 0 0 17 2 0 0 20 0 15 0 73942135 15371935744 21386 33554432000 4194304 4196468 140722977781504 140299910056640 140299922454336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1530] ppid=1524 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1530/stat : 1530 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 21386 33554432000 4194304 4196468 140722977781504 140299942476048 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1531] ppid=1524 vsize=15011656 memory=139701826360114 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1531/stat : 1531 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 21386 33554432000 4194304 4196468 140722977781504 140299741251984 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1532] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1532/stat : 1532 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 21386 33554432000 4194304 4196468 140722977781504 140299740199440 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1533] ppid=1524 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1533/stat : 1533 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 21386 33554432000 4194304 4196468 140722977781504 140299739146896 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1534] ppid=1524 vsize=15011656 memory=139701826328192 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1534/stat : 1534 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73942138 15371935744 21386 33554432000 4194304 4196468 140722977781504 140299345304048 140299938245250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1535] ppid=1524 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1535/stat : 1535 (java) S 1524 1527 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73942138 15371935744 21386 33554432000 4194304 4196468 140722977781504 140298629932448 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1536] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1536/stat : 1536 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942139 15371935744 21386 33554432000 4194304 4196468 140722977781504 140298395051504 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1537] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1537/stat : 1537 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 21386 33554432000 4194304 4196468 140722977781504 140298020543184 140299938252699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1538] ppid=1524 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1527/task/1538/stat : 1538 (java) S 1524 1527 32649 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 15 0 73942141 15371935744 21386 33554432000 4194304 4196468 140722977781504 140299344250864 140299938245250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1539] ppid=1524 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1539/stat : 1539 (java) R 1524 1527 32649 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 21386 33554432000 4194304 4196468 140722977781504 140299343198320 140299938245250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1540] ppid=1524 vsize=15011656 memory=139701826328192 CPUtime=0.02 cores=1,3,5,7
/proc/1527/task/1540/stat : 1540 (java) R 1524 1527 32649 0 -1 4202560 280 0 0 0 2 0 0 0 20 0 15 0 73942141 15371935744 21386 33554432000 4194304 4196468 140722977781504 140299342145776 140299938255450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1541] ppid=1524 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1541/stat : 1541 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 21386 33554432000 4194304 4196468 140722977781504 140297522637408 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1542] ppid=1524 vsize=15011656 memory=139701826328192 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1542/stat : 1542 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 21386 33554432000 4194304 4196468 140722977781504 140299341093680 140299938245250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85544 KiB
[startup+0.310111 s]*
/proc/loadavg: 4.55 4.34 3.78 8/215 1542
/proc/meminfo: memFree=12279300/32770624 swapFree=67108860/67108860
[pid=1527] ppid=1524 vsize=15011656 memory=89440 CPUtime=0.41 cores=1,3,5,7
/proc/1527/stat : 1527 (java) S 1524 1527 32649 0 -1 1077944320 10455 0 0 0 38 3 0 0 20 0 15 0 73942134 15371935744 22360 33554432000 4194304 4196468 140722977781504 140722977764048 140299938234103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
/proc/1527/statm: 3752914 22360 2975 1 0 3715374 0
[pid=1527/tid=1529] ppid=1524 vsize=15011656 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (java) R 1524 1527 32649 0 -1 4202560 8174 0 0 0 26 3 0 0 20 0 15 0 73942135 15371935744 22360 33554432000 4194304 4196468 140722977781504 140299910038256 140299938256029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1530] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1530/stat : 1530 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 22360 33554432000 4194304 4196468 140722977781504 140299942476048 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1531] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1531/stat : 1531 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 22360 33554432000 4194304 4196468 140722977781504 140299741251984 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1532] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1532/stat : 1532 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 22360 33554432000 4194304 4196468 140722977781504 140299740199440 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1533] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1533/stat : 1533 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73942137 15371935744 22360 33554432000 4194304 4196468 140722977781504 140299739146896 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1534] ppid=1524 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1534/stat : 1534 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73942138 15371935744 22360 33554432000 4194304 4196468 140722977781504 140299345304048 140299938245250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1535] ppid=1524 vsize=15011656 memory=139701663148495 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1535/stat : 1535 (java) S 1524 1527 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73942138 15371935744 22360 33554432000 4194304 4196468 140722977781504 140298629932448 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1536] ppid=1524 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1536/stat : 1536 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942139 15371935744 22360 33554432000 4194304 4196468 140722977781504 140298395051504 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1537] ppid=1524 vsize=15011656 memory=51172 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1537/stat : 1537 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 22360 33554432000 4194304 4196468 140722977781504 140298020543184 140299938252699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1538] ppid=1524 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1527/task/1538/stat : 1538 (java) R 1524 1527 32649 0 -1 1077944384 496 0 0 0 2 0 0 0 20 0 15 0 73942141 15371935744 22360 33554432000 4194304 4196468 140722977781504 140299344250864 140299938245250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1539] ppid=1524 vsize=15011656 memory=139701663137039 CPUtime=0.02 cores=1,3,5,7
/proc/1527/task/1539/stat : 1539 (java) R 1524 1527 32649 0 -1 1077944384 131 0 0 0 2 0 0 0 20 0 15 0 73942141 15371935744 22360 33554432000 4194304 4196468 140722977781504 140299343198320 140299938245250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1540] ppid=1524 vsize=15011656 memory=279403489474400 CPUtime=0.07 cores=1,3,5,7
/proc/1527/task/1540/stat : 1540 (java) S 1524 1527 32649 0 -1 1077944384 321 0 0 0 7 0 0 0 20 0 15 0 73942141 15371935744 22360 33554432000 4194304 4196468 140722977781504 140299342145776 140299938245250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1541] ppid=1524 vsize=15011656 memory=139701663141647 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1541/stat : 1541 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 22360 33554432000 4194304 4196468 140722977781504 140297522637408 140299938244309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1542] ppid=1524 vsize=15011656 memory=139701826328200 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1542/stat : 1542 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942141 15371935744 22360 33554432000 4194304 4196468 140722977781504 140299341093680 140299938245250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89440 KiB
[startup+0.701207 s]
/proc/loadavg: 4.55 4.34 3.78 6/215 1542
/proc/meminfo: memFree=12254900/32770624 swapFree=67108860/67108860
[pid=1527] ppid=1524 vsize=15017928 memory=131492 CPUtime=1.01 cores=1,3,5,7
/proc/1527/stat : 1527 (java) S 1524 1527 32649 0 -1 1077944320 17517 0 0 0 95 6 0 0 20 0 15 0 73942134 15378358272 32873 33554432000 4194304 4196468 140722977781504 140722977764048 140299938234103 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
/proc/1527/statm: 3754482 32873 3143 1 0 3715886 0
[pid=1527/tid=1529] ppid=1524 vsize=15017928 memory=146290142878045 CPUtime=0.67 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (java) R 1524 1527 32649 0 -1 4202560 14741 0 0 0 62 5 0 0 20 0 15 0 73942135 15378358272 32873 33554432000 4194304 4196468 140722977781504 140299910066000 140299922314590 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1530] ppid=1524 vsize=15017928 memory=26529 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1530/stat : 1530 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15378358272 32873 33554432000 4194304 4196468 140722977781504 140299942476048 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1531] ppid=1524 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1531/stat : 1531 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15378358272 32873 33554432000 4194304 4196468 140722977781504 140299741251984 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1532] ppid=1524 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1532/stat : 1532 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15378358272 32873 33554432000 4194304 4196468 140722977781504 140299740199440 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1533] ppid=1524 vsize=15017928 memory=279403326079216 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1533/stat : 1533 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73942137 15378358272 32873 33554432000 4194304 4196468 140722977781504 140299739146896 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1534] ppid=1524 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1534/stat : 1534 (java) S 1524 1527 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73942138 15378358272 32938 33554432000 4194304 4196468 140722977781504 140299345304048 140299938245250 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1535] ppid=1524 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1535/stat : 1535 (java) S 1524 1527 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73942138 15378358272 32938 33554432000 4194304 4196468 140722977781504 140298629932448 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1536] ppid=1524 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1536/stat : 1536 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942139 15378358272 32938 33554432000 4194304 4196468 140722977781504 140298395051504 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1537] ppid=1524 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1537/stat : 1537 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15378358272 32938 33554432000 4194304 4196468 140722977781504 140298020543184 140299938252699 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1538] ppid=1524 vsize=15017928 memory=7307210970617654738 CPUtime=0.06 cores=1,3,5,7
/proc/1527/task/1538/stat : 1538 (java) R 1524 1527 32649 0 -1 4202560 595 0 0 0 6 0 0 0 20 0 15 0 73942141 15378358272 32938 33554432000 4194304 4196468 140722977781504 140299344242816 140299930523552 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1539] ppid=1524 vsize=15017928 memory=-3535359994705171810 CPUtime=0.08 cores=1,3,5,7
/proc/1527/task/1539/stat : 1539 (java) R 1524 1527 32649 0 -1 4202560 364 0 0 0 8 0 0 0 20 0 15 0 73942141 15378358272 32938 33554432000 4194304 4196468 140722977781504 140299343188240 140299922641547 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1540] ppid=1524 vsize=15017928 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/1527/task/1540/stat : 1540 (java) R 1524 1527 32649 0 -1 4202560 510 0 0 0 17 0 0 0 20 0 15 0 73942141 15378358272 32938 33554432000 4194304 4196468 140722977781504 140299342143736 140299918056609 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1541] ppid=1524 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1541/stat : 1541 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15378358272 32938 33554432000 4194304 4196468 140722977781504 140297522637408 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1542] ppid=1524 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1542/stat : 1542 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942141 15380455424 32957 33554432000 4194304 4196468 140722977781504 140299341093680 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131492 KiB
[startup+1.50067 s]
/proc/loadavg: 4.55 4.34 3.78 10/215 1542
/proc/meminfo: memFree=12213708/32770624 swapFree=67108860/67108860
[pid=1527] ppid=1524 vsize=15022100 memory=202832 CPUtime=3.48 cores=1,3,5,7
/proc/1527/stat : 1527 (java) S 1524 1527 32649 0 -1 1077944320 21605 0 0 0 339 9 0 0 20 0 15 0 73942134 15382630400 50708 33554432000 4194304 4196468 140722977781504 140722977764048 140299938234103 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
/proc/1527/statm: 3755525 50708 3213 1 0 3716910 0
[pid=1527/tid=1529] ppid=1524 vsize=15022100 memory=279403326543808 CPUtime=1.46 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (java) R 1524 1527 32649 0 -1 4202560 15771 0 0 0 140 6 0 0 20 0 15 0 73942135 15382630400 50708 33554432000 4194304 4196468 140722977781504 140299910065552 140299938246038 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1530] ppid=1524 vsize=15022100 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1530/stat : 1530 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15382630400 50708 33554432000 4194304 4196468 140722977781504 140299942476048 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1531] ppid=1524 vsize=15022100 memory=6009862732647583824 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1531/stat : 1531 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15382630400 50708 33554432000 4194304 4196468 140722977781504 140299741251984 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1532] ppid=1524 vsize=15022100 memory=4260 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1532/stat : 1532 (java) S 1524 1527 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73942137 15382630400 50708 33554432000 4194304 4196468 140722977781504 140299740199440 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1533] ppid=1524 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1533/stat : 1533 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73942137 15382630400 50708 33554432000 4194304 4196468 140722977781504 140299739146896 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1534] ppid=1524 vsize=15022100 memory=33 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1534/stat : 1534 (java) S 1524 1527 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73942138 15382630400 50708 33554432000 4194304 4196468 140722977781504 140299345304048 140299938245250 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
################
# More data... #
################
/proc/1527/task/1540/stat : 1540 (java) S 1524 1527 32649 0 -1 1077944384 5245 0 0 0 129 1 0 0 20 0 15 0 73942141 15384727552 560912 33554432000 4194304 4196468 140722977781504 140299342145776 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1541] ppid=1524 vsize=15024148 memory=-7449383003082255510 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1541/stat : 1541 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15384727552 560912 33554432000 4194304 4196468 140722977781504 140297522637408 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1542] ppid=1524 vsize=15024148 memory=6944656425123094089 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1542/stat : 1542 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15384727552 560912 33554432000 4194304 4196468 140722977781504 140299341093680 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
Current children cumulated CPU time: 14.82 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2243648 KiB
[startup+12.7007 s]
/proc/loadavg: 4.32 4.30 3.78 9/216 1550
/proc/meminfo: memFree=9250720/32770624 swapFree=67108860/67108860
[pid=1527] ppid=1524 vsize=15024148 memory=3109840 CPUtime=28.49 cores=1,3,5,7
/proc/1527/stat : 1527 (java) S 1524 1527 32649 0 -1 1077944320 45327 0 0 0 2783 66 0 0 20 0 15 0 73942134 15384727552 777460 33554432000 4194304 4196468 140722977781504 140722977764048 140299938234103 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
/proc/1527/statm: 3756037 777460 3233 1 0 3717422 0
[pid=1527/tid=1529] ppid=1524 vsize=15024148 memory=279403326679296 CPUtime=12.49 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (java) R 1524 1527 32649 0 -1 4202560 18564 0 0 0 1201 48 0 0 20 0 15 0 73942135 15384727552 777460 33554432000 4194304 4196468 140722977781504 140299910071680 140299426419276 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1530] ppid=1524 vsize=15024148 memory=164 CPUtime=0.09 cores=1,3,5,7
/proc/1527/task/1530/stat : 1530 (java) S 1524 1527 32649 0 -1 1077944384 90 0 0 0 7 2 0 0 20 0 15 0 73942137 15384727552 777460 33554432000 4194304 4196468 140722977781504 140299942476048 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1531] ppid=1524 vsize=15024148 memory=279403326490928 CPUtime=0.08 cores=1,3,5,7
/proc/1527/task/1531/stat : 1531 (java) S 1524 1527 32649 0 -1 1077944384 127 0 0 0 6 2 0 0 20 0 15 0 73942137 15384727552 777460 33554432000 4194304 4196468 140722977781504 140299741251984 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1532] ppid=1524 vsize=15024148 memory=279403326755216 CPUtime=0.09 cores=1,3,5,7
/proc/1527/task/1532/stat : 1532 (java) S 1524 1527 32649 0 -1 1077944384 190 0 0 0 7 2 0 0 20 0 15 0 73942137 15384727552 777460 33554432000 4194304 4196468 140722977781504 140299740199440 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1533] ppid=1524 vsize=15024148 memory=139701663452688 CPUtime=0.09 cores=1,3,5,7
/proc/1527/task/1533/stat : 1533 (java) S 1524 1527 32649 0 -1 1077944384 104 0 0 0 7 2 0 0 20 0 15 0 73942137 15384727552 777460 33554432000 4194304 4196468 140722977781504 140299739146896 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1534] ppid=1524 vsize=15024148 memory=279403326493976 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1534/stat : 1534 (java) S 1524 1527 32649 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 73942138 15384727552 777460 33554432000 4194304 4196468 140722977781504 140299345304048 140299938245250 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1535] ppid=1524 vsize=15024148 memory=55 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1535/stat : 1535 (java) S 1524 1527 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 73942138 15384727552 777460 33554432000 4194304 4196468 140722977781504 140298629932512 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1536] ppid=1524 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1536/stat : 1536 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73942139 15384727552 777460 33554432000 4194304 4196468 140722977781504 140298395051504 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1537] ppid=1524 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1537/stat : 1537 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15384727552 777460 33554432000 4194304 4196468 140722977781504 140298020543184 140299938252699 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1538] ppid=1524 vsize=15024148 memory=0 CPUtime=6.79 cores=1,3,5,7
/proc/1527/task/1538/stat : 1538 (java) S 1524 1527 32649 0 -1 1077944384 7893 0 0 0 677 2 0 0 20 0 15 0 73942141 15384727552 777460 33554432000 4194304 4196468 140722977781504 140299344250864 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1539] ppid=1524 vsize=15024148 memory=1728 CPUtime=7.11 cores=1,3,5,7
/proc/1527/task/1539/stat : 1539 (java) R 1524 1527 32649 0 -1 4202560 8683 0 0 0 709 2 0 0 20 0 15 0 73942141 15384727552 777460 33554432000 4194304 4196468 140722977781504 140299343180912 140299921730937 0 4 0 25189583 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1540] ppid=1524 vsize=15024148 memory=1708 CPUtime=1.67 cores=1,3,5,7
/proc/1527/task/1540/stat : 1540 (java) S 1524 1527 32649 0 -1 1077944384 8318 0 0 0 165 2 0 0 20 0 15 0 73942141 15384727552 777460 33554432000 4194304 4196468 140722977781504 140299342145776 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1541] ppid=1524 vsize=15024148 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1541/stat : 1541 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15384727552 777460 33554432000 4194304 4196468 140722977781504 140297522637408 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1542] ppid=1524 vsize=15024148 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1542/stat : 1542 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73942141 15384727552 777460 33554432000 4194304 4196468 140722977781504 140299341093680 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
Current children cumulated CPU time: 28.49 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3109840 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+21.5008 s]
/proc/loadavg: 4.38 4.31 3.79 7/221 1556
/proc/meminfo: memFree=8979124/32770624 swapFree=67108860/67108860
[pid=1527] ppid=1524 vsize=15683912 memory=3275272 CPUtime=39.45 cores=1,3,5,7
/proc/1527/stat : 1527 (java) S 1524 1527 32649 0 -1 1077944320 57790 0 0 0 3851 94 0 0 20 0 19 0 73942134 16060325888 818818 33554432000 4194304 4196468 140722977781504 140722977764048 140299938234103 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
/proc/1527/statm: 3920978 818818 3266 1 0 3881834 0
[pid=1551] ppid=1527 vsize=221912 memory=172616 CPUtime=0.61 cores=1,3,5,7
/proc/1551/stat : 1551 (minisat_release) R 1527 1527 32649 0 -1 4202496 33965 0 0 0 55 6 0 0 20 0 1 0 73944222 227237888 43154 33554432000 4194304 4308513 140728595024576 140728593972808 4259292 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 16850944 140728595030705 140728595031214 140728595031214 140728595034053 0
/proc/1551/statm: 55478 43154 318 28 0 51718 0
[pid=1527/tid=1529] ppid=1524 vsize=15683912 memory=6656426216303648864 CPUtime=20.01 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (java) S 1524 1527 32649 0 -1 1077944384 22334 0 0 0 1943 58 0 0 20 0 19 0 73942135 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299910073344 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1530] ppid=1524 vsize=15683912 memory=-7677921907076285339 CPUtime=0.36 cores=1,3,5,7
/proc/1527/task/1530/stat : 1530 (java) S 1524 1527 32649 0 -1 1077944384 268 0 0 0 30 6 0 0 20 0 19 0 73942137 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299942476048 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1531] ppid=1524 vsize=15683912 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/1527/task/1531/stat : 1531 (java) S 1524 1527 32649 0 -1 1077944384 528 0 0 0 29 6 0 0 20 0 19 0 73942137 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299741251984 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1532] ppid=1524 vsize=15683912 memory=3272128 CPUtime=0.36 cores=1,3,5,7
/proc/1527/task/1532/stat : 1532 (java) S 1524 1527 32649 0 -1 1077944384 345 0 0 0 30 6 0 0 20 0 19 0 73942137 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299740199440 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1533] ppid=1524 vsize=15683912 memory=279403326708480 CPUtime=0.35 cores=1,3,5,7
/proc/1527/task/1533/stat : 1533 (java) S 1524 1527 32649 0 -1 1077944384 234 0 0 0 29 6 0 0 20 0 19 0 73942137 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299739146896 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1534] ppid=1524 vsize=15683912 memory=3271928 CPUtime=0.02 cores=1,3,5,7
/proc/1527/task/1534/stat : 1534 (java) S 1524 1527 32649 0 -1 1077944384 1018 0 0 0 2 0 0 0 20 0 19 0 73942138 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299345304048 140299938245250 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1535] ppid=1524 vsize=15683912 memory=279403327090528 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1535/stat : 1535 (java) S 1524 1527 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 73942138 16060325888 818818 33554432000 4194304 4196468 140722977781504 140298629932512 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1536] ppid=1524 vsize=15683912 memory=139701663509900 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1536/stat : 1536 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73942139 16060325888 818818 33554432000 4194304 4196468 140722977781504 140298395051520 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1537] ppid=1524 vsize=15683912 memory=212 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1537/stat : 1537 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140298020543184 140299938252699 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1538] ppid=1524 vsize=15683912 memory=0 CPUtime=7.71 cores=1,3,5,7
/proc/1527/task/1538/stat : 1538 (java) S 1524 1527 32649 0 -1 1077944384 9914 0 0 0 769 2 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299344250864 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1539] ppid=1524 vsize=15683912 memory=0 CPUtime=8.34 cores=1,3,5,7
/proc/1527/task/1539/stat : 1539 (java) S 1524 1527 32649 0 -1 1077944384 11590 0 0 0 832 2 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299343198320 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1540] ppid=1524 vsize=15683912 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/1527/task/1540/stat : 1540 (java) S 1524 1527 32649 0 -1 1077944384 9687 0 0 0 181 3 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299342145776 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1541] ppid=1524 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1541/stat : 1541 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140297522637408 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1542] ppid=1524 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1542/stat : 1542 (java) S 1524 1527 32649 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299341093680 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1552] ppid=1524 vsize=15683912 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1552/stat : 1552 (java) S 1524 1527 32649 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 73944222 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299335714368 140299938258713 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1554] ppid=1524 vsize=15683912 memory=22484 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1554/stat : 1554 (java) S 1524 1527 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73944222 16060325888 818818 33554432000 4194304 4196468 140722977781504 140296985751600 140299938256029 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1555] ppid=1524 vsize=15683912 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1555/stat : 1555 (java) S 1524 1527 32649 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 73944222 16060325888 818818 33554432000 4194304 4196468 140722977781504 140297119972528 140299938256029 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1556] ppid=1524 vsize=15683912 memory=279403326634240 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1556/stat : 1556 (java) S 1524 1527 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 73944224 16060325888 818818 33554432000 4194304 4196468 140722977781504 140296717327392 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
Current children cumulated CPU time: 40.06 s
Current children cumulated vsize: 15905824 KiB
Current children cumulated memory: 3447888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+21.5438 s]
# the end of solver process 1527 was just reported to runsolver
# cumulated CPU time of all completed processes: user=39.0732 s, system=1.05515 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+21.5008 s]
/proc/loadavg: 4.38 4.31 3.79 7/221 1556
/proc/meminfo: memFree=8979124/32770624 swapFree=67108860/67108860
[pid=1527] ppid=1524 vsize=15683912 memory=3275272 CPUtime=39.45 cores=1,3,5,7
/proc/1527/stat : 1527 (java) S 1524 1527 32649 0 -1 1077944320 57790 0 0 0 3851 94 0 0 20 0 19 0 73942134 16060325888 818818 33554432000 4194304 4196468 140722977781504 140722977764048 140299938234103 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
/proc/1527/statm: 3920978 818818 3266 1 0 3881834 0
[pid=1551] ppid=1527 vsize=221912 memory=172616 CPUtime=0.61 cores=1,3,5,7
/proc/1551/stat : 1551 (minisat_release) R 1527 1527 32649 0 -1 4202496 33965 0 0 0 55 6 0 0 20 0 1 0 73944222 227237888 43154 33554432000 4194304 4308513 140728595024576 140728593972808 4259292 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 16850944 140728595030705 140728595031214 140728595031214 140728595034053 0
/proc/1551/statm: 55478 43154 318 28 0 51718 0
[pid=1527/tid=1529] ppid=1524 vsize=15683912 memory=6656426216303648864 CPUtime=20.01 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (java) S 1524 1527 32649 0 -1 1077944384 22334 0 0 0 1943 58 0 0 20 0 19 0 73942135 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299910073344 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1530] ppid=1524 vsize=15683912 memory=-7677921907076285339 CPUtime=0.36 cores=1,3,5,7
/proc/1527/task/1530/stat : 1530 (java) S 1524 1527 32649 0 -1 1077944384 268 0 0 0 30 6 0 0 20 0 19 0 73942137 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299942476048 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1531] ppid=1524 vsize=15683912 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/1527/task/1531/stat : 1531 (java) S 1524 1527 32649 0 -1 1077944384 528 0 0 0 29 6 0 0 20 0 19 0 73942137 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299741251984 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1532] ppid=1524 vsize=15683912 memory=3272128 CPUtime=0.36 cores=1,3,5,7
/proc/1527/task/1532/stat : 1532 (java) S 1524 1527 32649 0 -1 1077944384 345 0 0 0 30 6 0 0 20 0 19 0 73942137 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299740199440 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1533] ppid=1524 vsize=15683912 memory=279403326708480 CPUtime=0.35 cores=1,3,5,7
/proc/1527/task/1533/stat : 1533 (java) S 1524 1527 32649 0 -1 1077944384 234 0 0 0 29 6 0 0 20 0 19 0 73942137 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299739146896 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1534] ppid=1524 vsize=15683912 memory=3271928 CPUtime=0.02 cores=1,3,5,7
/proc/1527/task/1534/stat : 1534 (java) S 1524 1527 32649 0 -1 1077944384 1018 0 0 0 2 0 0 0 20 0 19 0 73942138 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299345304048 140299938245250 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1535] ppid=1524 vsize=15683912 memory=279403327090528 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1535/stat : 1535 (java) S 1524 1527 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 73942138 16060325888 818818 33554432000 4194304 4196468 140722977781504 140298629932512 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1536] ppid=1524 vsize=15683912 memory=139701663509900 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1536/stat : 1536 (java) S 1524 1527 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73942139 16060325888 818818 33554432000 4194304 4196468 140722977781504 140298395051520 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1537] ppid=1524 vsize=15683912 memory=212 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1537/stat : 1537 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140298020543184 140299938252699 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1538] ppid=1524 vsize=15683912 memory=0 CPUtime=7.71 cores=1,3,5,7
/proc/1527/task/1538/stat : 1538 (java) S 1524 1527 32649 0 -1 1077944384 9914 0 0 0 769 2 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299344250864 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1539] ppid=1524 vsize=15683912 memory=0 CPUtime=8.34 cores=1,3,5,7
/proc/1527/task/1539/stat : 1539 (java) S 1524 1527 32649 0 -1 1077944384 11590 0 0 0 832 2 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299343198320 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1540] ppid=1524 vsize=15683912 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/1527/task/1540/stat : 1540 (java) S 1524 1527 32649 0 -1 1077944384 9687 0 0 0 181 3 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299342145776 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1541] ppid=1524 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1541/stat : 1541 (java) S 1524 1527 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140297522637408 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1542] ppid=1524 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1542/stat : 1542 (java) S 1524 1527 32649 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 19 0 73942141 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299341093680 140299938245250 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1552] ppid=1524 vsize=15683912 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1552/stat : 1552 (java) S 1524 1527 32649 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 73944222 16060325888 818818 33554432000 4194304 4196468 140722977781504 140299335714368 140299938258713 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1554] ppid=1524 vsize=15683912 memory=22484 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1554/stat : 1554 (java) S 1524 1527 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73944222 16060325888 818818 33554432000 4194304 4196468 140722977781504 140296985751600 140299938256029 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1555] ppid=1524 vsize=15683912 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1555/stat : 1555 (java) S 1524 1527 32649 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 73944222 16060325888 818818 33554432000 4194304 4196468 140722977781504 140297119972528 140299938256029 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
[pid=1527/tid=1556] ppid=1524 vsize=15683912 memory=279403326634240 CPUtime=0 cores=1,3,5,7
/proc/1527/task/1556/stat : 1556 (java) S 1524 1527 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 73944224 16060325888 818818 33554432000 4194304 4196468 140722977781504 140296717327392 140299938244309 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29847552 140722977784819 140722977785097 140722977785097 140722977787855 0
Current children cumulated CPU time: 40.06 s
Current children cumulated vsize: 15905824 KiB
Current children cumulated memory: 3447888 KiB
Child status: 1
Real time (s): 21.5438
CPU time (s): 40.1283
CPU user time (s): 39.0732
CPU system time (s): 1.05515
CPU usage (%): 186.264
Max. virtual memory (cumulated for all children) (KiB): 15905824
Max. memory (cumulated for all children) (KiB): 3447888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.0732
system time used= 1.05515
maximum resident set size= 3277804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 124920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6243
involuntary context switches= 127
# summary of solver processes directly reported to runsolver:
# pid: 1527
# total CPU time (s): 40.1283
# total CPU user time (s): 39.0732
# total CPU system time (s): 1.05515
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.178227 second user time and 0.219132 second system time
The end