0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Thu Jul 26 02:09:26 CEST 2018
0.66/0.54 c PID: 1445
0.66/0.54 c IP: 172.20.3.150
0.66/0.54 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
3.20/1.40 c (0,0) Parsing End
3.20/1.41 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1459 ctr, max domain size 27
3.20/1.41 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.20/1.41 c (0,0) Constraint Name Generate Begin
3.20/1.44 c (0,0) Ctr:HOME/instance-4295047-1532563765.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.20/1.44 c (0,0) Constraint Name Generate End
3.20/1.44 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.20/1.44 c (0,0) CSP to CSPinCNF Begin
12.85/4.99 c (4,4) translated 146 (10%) constraints
13.38/5.45 c (4,4) translated 292 (20%) constraints
13.38/5.48 c (4,4) translated 438 (30%) constraints
13.68/5.50 c (4,4) translated 584 (40%) constraints
13.68/5.53 c (5,4) translated 730 (50%) constraints
13.68/5.55 c (5,4) translated 876 (60%) constraints
13.68/5.56 c (5,4) translated 1022 (70%) constraints
13.68/5.58 c (5,4) translated 1168 (80%) constraints
16.00/7.22 c (6,6) translated 1314 (90%) constraints
17.23/8.15 c (7,7) translated 1459 (100%) constraints
18.65/8.72 c (8,7) STATISTICS1:HOME/instance-4295047-1532563765.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,17000,58485,9223372036854775807,27,26,200,9223372036854775807:270;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:3;8589934592:1;2147483648:3;536870912:2;268435456:2;134217728:1;33554432:3;8388608:1;4194304:1;524288:1;16:392;4:396;2:199,27:21200;2:162761,26:200;3:30400;2:26600;1:1285,200:59;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:3;36:1;35:3;34:1;32:3;30:2;29:2;28:1;26:3;24:1;23:1;20:1;5:392;3:396;2:199;1:149400;0:200,17689:59;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:3;1764:1
18.65/8.72 c (8,7) ===========================================
18.65/8.72 c (8,7) Order
18.65/8.72 c (8,7) ===========================================
21.00/9.50 c (8,8) translated 5849 (10%) constraints
21.60/9.76 c (9,9) translated 11697 (20%) constraints
21.87/9.86 c (9,9) translated 17546 (30%) constraints
22.05/9.95 c (9,9) translated 23394 (40%) constraints
22.16/10.04 c (9,9) translated 29243 (50%) constraints
22.27/10.12 c (9,9) translated 35091 (60%) constraints
22.36/10.21 c (9,9) translated 40940 (70%) constraints
22.36/10.29 c (9,9) translated 46788 (80%) constraints
22.46/10.38 c (9,9) translated 52637 (90%) constraints
28.60/12.54 c (12,11) translated 58485 (100%) constraints
28.60/12.55 c (12,11) CSP to CSPinCNF End
28.60/12.56 c (12,11) CSP: 4316 int (4116 aux), 22227 bool (21227 aux), 79829 ctr, max domain size 68
28.60/12.56 c (12,11) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
28.60/12.56 c (12,11) CSPinCNF Propagation Begin
29.66/13.04 c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
29.66/13.04 c (12,12) CSPinCNF Propagation End
29.66/13.04 c (12,12) CSP: 4316 int (4116 aux), 22227 bool (21227 aux), 79429 ctr, max domain size 68
29.66/13.04 c (12,12) Heap : 2865 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
29.66/13.04 c (12,12) Simplify CSPinCNF Begin
30.34/13.38 c (12,12) Simplify CSPinCNF End
30.34/13.39 c (12,12) CSP: 4316 int (4116 aux), 22227 bool (21227 aux), 79429 ctr, max domain size 68
30.34/13.39 c (12,12) Heap : 170 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
30.34/13.39 c (12,12) Calculate Precise Domain Begin
30.67/13.44 c (12,12) 0 values are removed by re-calculation
30.67/13.44 c (12,12) Calculate Precise Domain End
30.67/13.45 c (12,12) CSP: 4316 int (4116 aux), 22227 bool (21227 aux), 79429 ctr, max domain size 68
30.67/13.45 c (12,12) Heap : 170 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
30.67/13.45 c (12,12) CSPinCNF to SatSolver Begin
34.10/15.61 c (15,14) 7943 (10 %) CSP clauses are encoded (96788 SAT variables, 604083 SAT clauses)
34.10/15.68 c (15,14) 15886 (20 %) CSP clauses are encoded (96788 SAT variables, 612026 SAT clauses)
34.32/15.74 c (15,14) 23829 (30 %) CSP clauses are encoded (96788 SAT variables, 619969 SAT clauses)
34.32/15.79 c (15,14) 31772 (40 %) CSP clauses are encoded (96788 SAT variables, 627912 SAT clauses)
34.51/15.83 c (15,14) 39715 (50 %) CSP clauses are encoded (96788 SAT variables, 635855 SAT clauses)
34.51/15.87 c (15,14) 47658 (60 %) CSP clauses are encoded (96788 SAT variables, 643798 SAT clauses)
34.62/15.91 c (15,15) 55601 (70 %) CSP clauses are encoded (96788 SAT variables, 651741 SAT clauses)
34.62/15.94 c (15,15) 63544 (80 %) CSP clauses are encoded (96788 SAT variables, 659684 SAT clauses)
35.24/16.32 c (15,15) 71487 (90 %) CSP clauses are encoded (96788 SAT variables, 788969 SAT clauses)
40.35/21.53 c (21,19) 79429 (100 %) CSP clauses are encoded (96788 SAT variables, 2565390 SAT clauses)
40.35/21.53 c (21,19) CSPinCNF to SatSolver End
40.35/21.53 c (21,19) Heap : 1109 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
41.02/21.88 c (21,20) STATISTICS2:HOME/instance-4295047-1532563765.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,26543,79429,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:1;1560:3;1521:3;1482:2;1444:1;1406:5;1369:3;1332:2;1296:3;1260:3;1225:1;1190:16;1156:18;1122:19;1089:14;1056:18;1024:308;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:787;506:17;484:24;462:15;441:27;420:14;400:16;380:17;361:15;342:18;324:36;306:94;289:72;272:70;256:1964;240:71;234:4;225:72;221:8;216:4;210:72;204:8;198:4;196:71;187:8;182:77;180:12;170:24;169:78;162:4;156:73;153:8;144:86;136:16;132:70;128:1180;126:4;121:82;119:8;110:69;108:4;102:8;100:94;96:286;90:583;85:16;81:513;72:312;68:24;64:1193;56:295;54:20;51:40;49:303;36:20;34:24;25:302;16:988;9:40;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:24;39:30;38:28;37:38;36:32;35:54;34:148;33:142;32:136;31:150;30:136;29:142;28:140;27:31338;26:148;25:138;24:140;23:138;22:170;21:180;20:134;19:138;18:1144;17:1008;16:598;15:584;14:588;13:626;12:1180;11:620;10:1682;9:3810;8:2432;7:1806;6:36;5:1216;4:108;3:180;2:184069,25:200;3:30000;2:37400;1:11829,11:292;10:787;9:1887;8:1180;7:885;5:1250;3:5349;2:199;1:169800,
41.02/21.88 c (21,20) SatSolver.solve Begin
41.02/21.88 c (21,20) 96788 bool, 2566065 clause
41.02/21.88 c (21,20) 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-4295047-1532563765.xml-scop-1445.cnf HOME/instance-4295047-1532563765.xml-scop-1445.cnf.out
41.84/22.50 c (21,0) receiving signal SIGTERM
41.84/22.50 s UNKNOWN
41.84/22.51 c (21,20) SatSolver is killed by some reasons.
41.84/22.51 c (21,20) 0,0,12,12,12,12,21,TO,TO,STOP-AFTER(DIMACS)
41.84/22.51 c END-Prog: Thu Jul 26 02:09:48 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (535 MiB free)
memory of node 1: 16384 MiB (11535 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295047-1532563765/watcher-4295047-1532563765 -o /tmp/evaluation-result-4295047-1532563765/solver-4295047-1532563765 -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-4295047-1532563765.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=1445, runsolver pid=1442
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 4.19 4.26 3.74 6/215 1460
/proc/meminfo: memFree=12298136/32770624 swapFree=67108860/67108860
[pid=1445] ppid=1442 vsize=15011656 memory=73916 CPUtime=0.11 cores=1,3,5,7
/proc/1445/stat : 1445 (java) S 1442 1445 32649 0 -1 1077944320 6164 0 0 0 10 1 0 0 20 0 15 0 73939810 15371935744 18479 33554432000 4194304 4196468 140724777655376 140724777637920 140151319326455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
/proc/1445/statm: 3752914 18479 2780 1 0 3715374 0
[pid=1445/tid=1447] ppid=1442 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/1445/task/1447/stat : 1447 (java) R 1442 1445 32649 0 -1 4202560 4722 0 0 0 8 1 0 0 20 0 15 0 73939811 15371935744 18941 33554432000 4194304 4196468 140724777655376 140151291138440 140151304766624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1448] ppid=1442 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1448/stat : 1448 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 18941 33554432000 4194304 4196468 140724777655376 140151323568656 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1449] ppid=1442 vsize=15011656 memory=140432850757248 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1449/stat : 1449 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 18941 33554432000 4194304 4196468 140724777655376 140151099271824 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1450] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1450/stat : 1450 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 18941 33554432000 4194304 4196468 140724777655376 140151098218768 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1451] ppid=1442 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1451/stat : 1451 (java) S 1442 1445 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 18941 33554432000 4194304 4196468 140724777655376 140151097166224 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1452] ppid=1442 vsize=15011656 memory=140432850757248 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1452/stat : 1452 (java) S 1442 1445 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73939814 15371935744 18941 33554432000 4194304 4196468 140724777655376 140150658005744 140151319337602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1453] ppid=1442 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1453/stat : 1453 (java) S 1442 1445 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73939814 15371935744 18941 33554432000 4194304 4196468 140724777655376 140149950244512 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1454] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1454/stat : 1454 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939814 15371935744 18941 33554432000 4194304 4196468 140724777655376 140149681808624 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1455] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1455/stat : 1455 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 18941 33554432000 4194304 4196468 140724777655376 140149307300304 140151319345051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1456] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1456/stat : 1456 (java) S 1442 1445 32649 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 18941 33554432000 4194304 4196468 140724777655376 140150656952560 140151319337602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1457] ppid=1442 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1457/stat : 1457 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 18941 33554432000 4194304 4196468 140724777655376 140150655900016 140151319337602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1458] ppid=1442 vsize=15011656 memory=140432850757248 CPUtime=0.01 cores=1,3,5,7
/proc/1445/task/1458/stat : 1458 (java) R 1442 1445 32649 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 73939817 15371935744 18941 33554432000 4194304 4196468 140724777655376 140150654846960 140151299643129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1459] ppid=1442 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1459/stat : 1459 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 18941 33554432000 4194304 4196468 140724777655376 140148809394528 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1460] ppid=1442 vsize=15011656 memory=140432850757248 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1460/stat : 1460 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 18941 33554432000 4194304 4196468 140724777655376 140150653795376 140151319337602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73916 KiB
[startup+0.210263 s]*
/proc/loadavg: 4.19 4.26 3.74 6/215 1460
/proc/meminfo: memFree=12282448/32770624 swapFree=67108860/67108860
[pid=1445] ppid=1442 vsize=15011656 memory=89192 CPUtime=0.25 cores=1,3,5,7
/proc/1445/stat : 1445 (java) S 1442 1445 32649 0 -1 1077944320 10180 0 0 0 23 2 0 0 20 0 15 0 73939810 15371935744 22298 33554432000 4194304 4196468 140724777655376 140724777637920 140151319326455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
/proc/1445/statm: 3752914 22298 2935 1 0 3715374 0
[pid=1445/tid=1447] ppid=1442 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1445/task/1447/stat : 1447 (java) R 1442 1445 32649 0 -1 4202560 8082 0 0 0 18 2 0 0 20 0 15 0 73939811 15371935744 22298 33554432000 4194304 4196468 140724777655376 140151291152848 140150772433504 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1448] ppid=1442 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1448/stat : 1448 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 22298 33554432000 4194304 4196468 140724777655376 140151323568656 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1449] ppid=1442 vsize=15011656 memory=140432850789170 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1449/stat : 1449 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 22298 33554432000 4194304 4196468 140724777655376 140151099271824 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1450] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1450/stat : 1450 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 22298 33554432000 4194304 4196468 140724777655376 140151098218768 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1451] ppid=1442 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1451/stat : 1451 (java) S 1442 1445 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 22298 33554432000 4194304 4196468 140724777655376 140151097166224 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1452] ppid=1442 vsize=15011656 memory=140432850757248 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1452/stat : 1452 (java) S 1442 1445 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73939814 15371935744 22298 33554432000 4194304 4196468 140724777655376 140150658005744 140151319337602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1453] ppid=1442 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1453/stat : 1453 (java) S 1442 1445 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73939814 15371935744 22298 33554432000 4194304 4196468 140724777655376 140149950244512 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1454] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1454/stat : 1454 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939814 15371935744 22298 33554432000 4194304 4196468 140724777655376 140149681808624 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1455] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1455/stat : 1455 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 22298 33554432000 4194304 4196468 140724777655376 140149307300304 140151319345051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1456] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1456/stat : 1456 (java) R 1442 1445 32649 0 -1 4202560 347 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 22298 33554432000 4194304 4196468 140724777655376 140150656952560 140151298489616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1457] ppid=1442 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1457/stat : 1457 (java) R 1442 1445 32649 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 22298 33554432000 4194304 4196468 140724777655376 140150655900016 140151319337602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1458] ppid=1442 vsize=15011656 memory=140432850757248 CPUtime=0.03 cores=1,3,5,7
/proc/1445/task/1458/stat : 1458 (java) S 1442 1445 32649 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 73939817 15371935744 22298 33554432000 4194304 4196468 140724777655376 140150654846960 140151319337602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1459] ppid=1442 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1459/stat : 1459 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 22298 33554432000 4194304 4196468 140724777655376 140148809394528 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1460] ppid=1442 vsize=15011656 memory=140432850757248 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1460/stat : 1460 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 22298 33554432000 4194304 4196468 140724777655376 140150653795376 140151319337602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89192 KiB
[startup+0.310368 s]*
/proc/loadavg: 4.19 4.26 3.74 6/215 1460
/proc/meminfo: memFree=12279284/32770624 swapFree=67108860/67108860
[pid=1445] ppid=1442 vsize=15011656 memory=92296 CPUtime=0.43 cores=1,3,5,7
/proc/1445/stat : 1445 (java) S 1442 1445 32649 0 -1 1077944320 10625 0 0 0 40 3 0 0 20 0 15 0 73939810 15371935744 23074 33554432000 4194304 4196468 140724777655376 140724777637920 140151319326455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
/proc/1445/statm: 3752914 23074 2978 1 0 3715374 0
[pid=1445/tid=1447] ppid=1442 vsize=15011656 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1445/task/1447/stat : 1447 (java) R 1442 1445 32649 0 -1 4202560 8386 0 0 0 27 2 0 0 20 0 15 0 73939811 15371935744 23074 33554432000 4194304 4196468 140724777655376 140151291155696 140151303406942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1448] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1448/stat : 1448 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 23074 33554432000 4194304 4196468 140724777655376 140151323568656 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1449] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1449/stat : 1449 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 23074 33554432000 4194304 4196468 140724777655376 140151099271824 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1450] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1450/stat : 1450 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 23074 33554432000 4194304 4196468 140724777655376 140151098218768 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1451] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1451/stat : 1451 (java) S 1442 1445 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73939812 15371935744 23074 33554432000 4194304 4196468 140724777655376 140151097166224 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1452] ppid=1442 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1452/stat : 1452 (java) S 1442 1445 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73939814 15371935744 23074 33554432000 4194304 4196468 140724777655376 140150658005744 140151319337602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1453] ppid=1442 vsize=15011656 memory=140432747112911 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1453/stat : 1453 (java) S 1442 1445 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73939814 15371935744 23074 33554432000 4194304 4196468 140724777655376 140149950244512 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1454] ppid=1442 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1454/stat : 1454 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939814 15371935744 23074 33554432000 4194304 4196468 140724777655376 140149681808624 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1455] ppid=1442 vsize=15011656 memory=51172 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1455/stat : 1455 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 23074 33554432000 4194304 4196468 140724777655376 140149307300304 140151319345051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1456] ppid=1442 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1445/task/1456/stat : 1456 (java) S 1442 1445 32649 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 73939817 15371935744 23074 33554432000 4194304 4196468 140724777655376 140150656952560 140151319337602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1457] ppid=1442 vsize=15011656 memory=140432747101455 CPUtime=0.03 cores=1,3,5,7
/proc/1445/task/1457/stat : 1457 (java) S 1442 1445 32649 0 -1 1077944384 241 0 0 0 3 0 0 0 20 0 15 0 73939817 15371935744 23074 33554432000 4194304 4196468 140724777655376 140150655900016 140151319337602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1458] ppid=1442 vsize=15011656 memory=280865597867872 CPUtime=0.07 cores=1,3,5,7
/proc/1445/task/1458/stat : 1458 (java) S 1442 1445 32649 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 15 0 73939817 15371935744 23074 33554432000 4194304 4196468 140724777655376 140150654846960 140151319337602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1459] ppid=1442 vsize=15011656 memory=140432747106063 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1459/stat : 1459 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 23074 33554432000 4194304 4196468 140724777655376 140148809394528 140151319336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1460] ppid=1442 vsize=15011656 memory=140432850757258 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1460/stat : 1460 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939817 15371935744 23074 33554432000 4194304 4196468 140724777655376 140150653795376 140151319337602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 92296 KiB
[startup+0.703414 s]
/proc/loadavg: 4.19 4.26 3.74 6/215 1460
/proc/meminfo: memFree=12257208/32770624 swapFree=67108860/67108860
[pid=1445] ppid=1442 vsize=15020052 memory=132760 CPUtime=1.05 cores=1,3,5,7
/proc/1445/stat : 1445 (java) S 1442 1445 32649 0 -1 1077944320 17293 0 0 0 100 5 0 0 20 0 15 0 73939810 15380533248 33190 33554432000 4194304 4196468 140724777655376 140724777637920 140151319326455 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
/proc/1445/statm: 3755013 33190 3155 1 0 3716398 0
[pid=1445/tid=1447] ppid=1442 vsize=15020052 memory=146669039524107 CPUtime=0.68 cores=1,3,5,7
/proc/1445/task/1447/stat : 1447 (java) R 1442 1445 32649 0 -1 4202560 14346 0 0 0 64 4 0 0 20 0 15 0 73939811 15380533248 33190 33554432000 4194304 4196468 140724777655376 140151291157400 140151312004469 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1448] ppid=1442 vsize=15020052 memory=26529 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1448/stat : 1448 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15380533248 33190 33554432000 4194304 4196468 140724777655376 140151323568656 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1449] ppid=1442 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1449/stat : 1449 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15380533248 33190 33554432000 4194304 4196468 140724777655376 140151099271824 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1450] ppid=1442 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1450/stat : 1450 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15380533248 33190 33554432000 4194304 4196468 140724777655376 140151098218768 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1451] ppid=1442 vsize=15020052 memory=280865494008048 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1451/stat : 1451 (java) S 1442 1445 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73939812 15380533248 33190 33554432000 4194304 4196468 140724777655376 140151097166224 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1452] ppid=1442 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1452/stat : 1452 (java) S 1442 1445 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73939814 15380533248 33190 33554432000 4194304 4196468 140724777655376 140150658005744 140151319337602 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1453] ppid=1442 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1453/stat : 1453 (java) S 1442 1445 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73939814 15380533248 33190 33554432000 4194304 4196468 140724777655376 140149950244512 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1454] ppid=1442 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1454/stat : 1454 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939814 15380533248 33190 33554432000 4194304 4196468 140724777655376 140149681808624 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1455] ppid=1442 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1455/stat : 1455 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15380533248 33190 33554432000 4194304 4196468 140724777655376 140149307300304 140151319345051 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1456] ppid=1442 vsize=15020052 memory=7307210970617654738 CPUtime=0.07 cores=1,3,5,7
/proc/1445/task/1456/stat : 1456 (java) R 1442 1445 32649 0 -1 4202560 679 0 0 0 7 0 0 0 20 0 15 0 73939817 15380533248 33190 33554432000 4194304 4196468 140724777655376 140150656933576 140151300027943 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1457] ppid=1442 vsize=15020052 memory=-3535359994705171810 CPUtime=0.1 cores=1,3,5,7
/proc/1445/task/1457/stat : 1457 (java) R 1442 1445 32649 0 -1 4202560 465 0 0 0 10 0 0 0 20 0 15 0 73939817 15380533248 33190 33554432000 4194304 4196468 140724777655376 140150655888688 140151300847721 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1458] ppid=1442 vsize=15020052 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/1445/task/1458/stat : 1458 (java) S 1442 1445 32649 0 -1 1077944384 479 0 0 0 18 0 0 0 20 0 15 0 73939817 15380533248 33190 33554432000 4194304 4196468 140724777655376 140150654846960 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1459] ppid=1442 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1459/stat : 1459 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15380533248 33190 33554432000 4194304 4196468 140724777655376 140148809394528 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1460] ppid=1442 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1460/stat : 1460 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939817 15380533248 33190 33554432000 4194304 4196468 140724777655376 140150653795376 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 132760 KiB
[startup+1.50114 s]
/proc/loadavg: 4.19 4.26 3.74 8/215 1460
/proc/meminfo: memFree=12217320/32770624 swapFree=67108860/67108860
[pid=1445] ppid=1442 vsize=15022100 memory=200580 CPUtime=3.45 cores=1,3,5,7
/proc/1445/stat : 1445 (java) S 1442 1445 32649 0 -1 1077944320 20491 0 0 0 338 7 0 0 20 0 15 0 73939810 15382630400 50145 33554432000 4194304 4196468 140724777655376 140724777637920 140151319326455 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
/proc/1445/statm: 3755525 50145 3213 1 0 3716910 0
[pid=1445/tid=1447] ppid=1442 vsize=15022100 memory=280865494472640 CPUtime=1.47 cores=1,3,5,7
/proc/1445/task/1447/stat : 1447 (java) R 1442 1445 32649 0 -1 4202560 15295 0 0 0 142 5 0 0 20 0 15 0 73939811 15382630400 50145 33554432000 4194304 4196468 140724777655376 140151291161184 140151300732747 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1448] ppid=1442 vsize=15022100 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1448/stat : 1448 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15382630400 50145 33554432000 4194304 4196468 140724777655376 140151323568656 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1449] ppid=1442 vsize=15022100 memory=6009862732647583824 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1449/stat : 1449 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15382630400 50145 33554432000 4194304 4196468 140724777655376 140151099271824 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1450] ppid=1442 vsize=15022100 memory=2212 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1450/stat : 1450 (java) S 1442 1445 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73939812 15382630400 50145 33554432000 4194304 4196468 140724777655376 140151098218768 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1451] ppid=1442 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1451/stat : 1451 (java) S 1442 1445 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73939812 15382630400 50145 33554432000 4194304 4196468 140724777655376 140151097166224 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1452] ppid=1442 vsize=15022100 memory=33 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1452/stat : 1452 (java) S 1442 1445 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73939814 15382630400 50145 33554432000 4194304 4196468 140724777655376 140150658005744 140151319337602 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
################
# More data... #
################
/proc/1445/task/1458/stat : 1458 (java) S 1442 1445 32649 0 -1 1077944384 4906 0 0 0 128 2 0 0 20 0 15 0 73939817 15384727552 540134 33554432000 4194304 4196468 140724777655376 140150654846960 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1459] ppid=1442 vsize=15024148 memory=-7449383003082255510 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1459/stat : 1459 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15384727552 540134 33554432000 4194304 4196468 140724777655376 140148809394528 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1460] ppid=1442 vsize=15024148 memory=6944656425123094089 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1460/stat : 1460 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15384727552 540134 33554432000 4194304 4196468 140724777655376 140150653795376 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
Current children cumulated CPU time: 15.09 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2158488 KiB
[startup+12.7008 s]
/proc/loadavg: 4.46 4.31 3.77 8/215 1460
/proc/meminfo: memFree=9244036/32770624 swapFree=67108860/67108860
[pid=1445] ppid=1442 vsize=15024148 memory=3122860 CPUtime=29.13 cores=1,3,5,7
/proc/1445/stat : 1445 (java) S 1442 1445 32649 0 -1 1077944320 44166 0 0 0 2848 65 0 0 20 0 15 0 73939810 15384727552 780715 33554432000 4194304 4196468 140724777655376 140724777637920 140151319326455 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
/proc/1445/statm: 3756037 780715 3233 1 0 3717422 0
[pid=1445/tid=1447] ppid=1442 vsize=15024148 memory=280865494608128 CPUtime=12.46 cores=1,3,5,7
/proc/1445/task/1447/stat : 1447 (java) R 1442 1445 32649 0 -1 4202560 18119 0 0 0 1198 48 0 0 20 0 15 0 73939811 15384727552 780715 33554432000 4194304 4196468 140724777655376 140151291164208 140150773465267 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1448] ppid=1442 vsize=15024148 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/1445/task/1448/stat : 1448 (java) S 1442 1445 32649 0 -1 1077944384 201 0 0 0 7 1 0 0 20 0 15 0 73939812 15384727552 780715 33554432000 4194304 4196468 140724777655376 140151323568656 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1449] ppid=1442 vsize=15024148 memory=280865494419760 CPUtime=0.09 cores=1,3,5,7
/proc/1445/task/1449/stat : 1449 (java) S 1442 1445 32649 0 -1 1077944384 92 0 0 0 7 2 0 0 20 0 15 0 73939812 15384727552 780715 33554432000 4194304 4196468 140724777655376 140151099271824 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1450] ppid=1442 vsize=15024148 memory=280865494684048 CPUtime=0.09 cores=1,3,5,7
/proc/1445/task/1450/stat : 1450 (java) S 1442 1445 32649 0 -1 1077944384 119 0 0 0 7 2 0 0 20 0 15 0 73939812 15384727552 780715 33554432000 4194304 4196468 140724777655376 140151098218768 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1451] ppid=1442 vsize=15024148 memory=140432747417104 CPUtime=0.09 cores=1,3,5,7
/proc/1445/task/1451/stat : 1451 (java) S 1442 1445 32649 0 -1 1077944384 106 0 0 0 7 2 0 0 20 0 15 0 73939812 15384727552 780715 33554432000 4194304 4196468 140724777655376 140151097166224 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1452] ppid=1442 vsize=15024148 memory=280865494422808 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1452/stat : 1452 (java) S 1442 1445 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 73939814 15384727552 780715 33554432000 4194304 4196468 140724777655376 140150658005744 140151319337602 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1453] ppid=1442 vsize=15024148 memory=55 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1453/stat : 1453 (java) S 1442 1445 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 73939814 15384727552 780715 33554432000 4194304 4196468 140724777655376 140149950244576 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1454] ppid=1442 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1454/stat : 1454 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939814 15384727552 780715 33554432000 4194304 4196468 140724777655376 140149681808624 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1455] ppid=1442 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1455/stat : 1455 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15384727552 780715 33554432000 4194304 4196468 140724777655376 140149307300304 140151319345051 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1456] ppid=1442 vsize=15024148 memory=0 CPUtime=7.51 cores=1,3,5,7
/proc/1445/task/1456/stat : 1456 (java) R 1442 1445 32649 0 -1 4202560 8258 0 0 0 749 2 0 0 20 0 15 0 73939817 15384727552 780715 33554432000 4194304 4196468 140724777655376 140150656952560 140151302825320 0 4 0 25189583 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1457] ppid=1442 vsize=15024148 memory=1728 CPUtime=7.07 cores=1,3,5,7
/proc/1445/task/1457/stat : 1457 (java) R 1442 1445 32649 0 -1 4202560 7980 0 0 0 705 2 0 0 20 0 15 0 73939817 15384727552 780715 33554432000 4194304 4196468 140724777655376 140150655900016 140151302502045 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1458] ppid=1442 vsize=15024148 memory=1708 CPUtime=1.65 cores=1,3,5,7
/proc/1445/task/1458/stat : 1458 (java) S 1442 1445 32649 0 -1 1077944384 7932 0 0 0 162 3 0 0 20 0 15 0 73939817 15384727552 780715 33554432000 4194304 4196468 140724777655376 140150654846960 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1459] ppid=1442 vsize=15024148 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1459/stat : 1459 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15384727552 780715 33554432000 4194304 4196468 140724777655376 140148809394528 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1460] ppid=1442 vsize=15024148 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1460/stat : 1460 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73939817 15384727552 780715 33554432000 4194304 4196468 140724777655376 140150653795376 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
Current children cumulated CPU time: 29.13 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3122860 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+22.5009 s]
/proc/loadavg: 4.55 4.34 3.78 6/220 1466
/proc/meminfo: memFree=8970440/32770624 swapFree=67108860/67108860
[pid=1445] ppid=1442 vsize=15683912 memory=3288324 CPUtime=41.24 cores=1,3,5,7
/proc/1445/stat : 1445 (java) S 1442 1445 32649 0 -1 1077944320 57013 0 0 0 4027 97 0 0 20 0 19 0 73939810 16060325888 822081 33554432000 4194304 4196468 140724777655376 140724777637920 140151319326455 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
/proc/1445/statm: 3920978 822081 3269 1 0 3881834 0
[pid=1461] ppid=1445 vsize=219028 memory=169016 CPUtime=0.6 cores=1,3,5,7
/proc/1461/stat : 1461 (minisat_release) R 1445 1445 32649 0 -1 4202496 32568 0 0 0 53 7 0 0 20 0 1 0 73942000 224284672 42254 33554432000 4194304 4308513 140723880387776 140723879336184 140028695772160 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 32976896 140723880391345 140723880391854 140723880391854 140723880394693 0
/proc/1461/statm: 54757 42254 318 28 0 50997 0
[pid=1445/tid=1447] ppid=1442 vsize=15683912 memory=4136 CPUtime=20.8 cores=1,3,5,7
/proc/1445/task/1447/stat : 1447 (java) S 1442 1445 32649 0 -1 1077944384 20928 0 0 0 2022 58 0 0 20 0 19 0 73939811 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151291165696 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1448] ppid=1442 vsize=15683912 memory=4136 CPUtime=0.4 cores=1,3,5,7
/proc/1445/task/1448/stat : 1448 (java) S 1442 1445 32649 0 -1 1077944384 372 0 0 0 33 7 0 0 20 0 19 0 73939812 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151323568656 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1449] ppid=1442 vsize=15683912 memory=4100 CPUtime=0.4 cores=1,3,5,7
/proc/1445/task/1449/stat : 1449 (java) S 1442 1445 32649 0 -1 1077944384 1899 0 0 0 33 7 0 0 20 0 19 0 73939812 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151099271824 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1450] ppid=1442 vsize=15683912 memory=3472328279047811119 CPUtime=0.4 cores=1,3,5,7
/proc/1445/task/1450/stat : 1450 (java) S 1442 1445 32649 0 -1 1077944384 777 0 0 0 33 7 0 0 20 0 19 0 73939812 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151098218768 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1451] ppid=1442 vsize=15683912 memory=6656426216303648864 CPUtime=0.4 cores=1,3,5,7
/proc/1445/task/1451/stat : 1451 (java) S 1442 1445 32649 0 -1 1077944384 223 0 0 0 33 7 0 0 20 0 19 0 73939812 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151097166224 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1452] ppid=1442 vsize=15683912 memory=-7677921907076415900 CPUtime=0.02 cores=1,3,5,7
/proc/1445/task/1452/stat : 1452 (java) S 1442 1445 32649 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 19 0 73939814 16060325888 822081 33554432000 4194304 4196468 140724777655376 140150658005744 140151319337602 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1453] ppid=1442 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1453/stat : 1453 (java) S 1442 1445 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 73939814 16060325888 822081 33554432000 4194304 4196468 140724777655376 140149950244576 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1454] ppid=1442 vsize=15683912 memory=3285152 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1454/stat : 1454 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73939814 16060325888 822081 33554432000 4194304 4196468 140724777655376 140149681808640 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1455] ppid=1442 vsize=15683912 memory=280865495019360 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1455/stat : 1455 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140149307300304 140151319345051 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1456] ppid=1442 vsize=15683912 memory=4100 CPUtime=8.7 cores=1,3,5,7
/proc/1445/task/1456/stat : 1456 (java) S 1442 1445 32649 0 -1 1077944384 10479 0 0 0 868 2 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140150656952560 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1457] ppid=1442 vsize=15683912 memory=22476 CPUtime=8.19 cores=1,3,5,7
/proc/1445/task/1457/stat : 1457 (java) S 1442 1445 32649 0 -1 1077944384 11019 0 0 0 817 2 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140150655900016 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1458] ppid=1442 vsize=15683912 memory=1292 CPUtime=1.84 cores=1,3,5,7
/proc/1445/task/1458/stat : 1458 (java) S 1442 1445 32649 0 -1 1077944384 9185 0 0 0 181 3 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140150654846960 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1459] ppid=1442 vsize=15683912 memory=68988 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1459/stat : 1459 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140148809394528 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1460] ppid=1442 vsize=15683912 memory=140432747152616 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1460/stat : 1460 (java) S 1442 1445 32649 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140150653795376 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1462] ppid=1442 vsize=15683912 memory=280865494158952 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1462/stat : 1462 (java) S 1442 1445 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73942000 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151091566400 140151319351065 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1464] ppid=1442 vsize=15683912 memory=8520 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1464/stat : 1464 (java) S 1442 1445 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 73942001 16060325888 822081 33554432000 4194304 4196468 140724777655376 140148272508720 140151319348381 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1465] ppid=1442 vsize=15683912 memory=792 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1465/stat : 1465 (java) S 1442 1445 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 73942001 16060325888 822081 33554432000 4194304 4196468 140724777655376 140148406730160 140151319348381 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1466] ppid=1442 vsize=15683912 memory=3284888 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1466/stat : 1466 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73942002 16060325888 822081 33554432000 4194304 4196468 140724777655376 140148004085024 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
Current children cumulated CPU time: 41.84 s
Current children cumulated vsize: 15902940 KiB
Current children cumulated memory: 3457340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+22.5434 s]
# the end of solver process 1445 was just reported to runsolver
# cumulated CPU time of all completed processes: user=40.8112 s, system=1.09063 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+22.5009 s]
/proc/loadavg: 4.55 4.34 3.78 6/220 1466
/proc/meminfo: memFree=8970440/32770624 swapFree=67108860/67108860
[pid=1445] ppid=1442 vsize=15683912 memory=3288324 CPUtime=41.24 cores=1,3,5,7
/proc/1445/stat : 1445 (java) S 1442 1445 32649 0 -1 1077944320 57013 0 0 0 4027 97 0 0 20 0 19 0 73939810 16060325888 822081 33554432000 4194304 4196468 140724777655376 140724777637920 140151319326455 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
/proc/1445/statm: 3920978 822081 3269 1 0 3881834 0
[pid=1461] ppid=1445 vsize=219028 memory=169016 CPUtime=0.6 cores=1,3,5,7
/proc/1461/stat : 1461 (minisat_release) R 1445 1445 32649 0 -1 4202496 32568 0 0 0 53 7 0 0 20 0 1 0 73942000 224284672 42254 33554432000 4194304 4308513 140723880387776 140723879336184 140028695772160 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 32976896 140723880391345 140723880391854 140723880391854 140723880394693 0
/proc/1461/statm: 54757 42254 318 28 0 50997 0
[pid=1445/tid=1447] ppid=1442 vsize=15683912 memory=4136 CPUtime=20.8 cores=1,3,5,7
/proc/1445/task/1447/stat : 1447 (java) S 1442 1445 32649 0 -1 1077944384 20928 0 0 0 2022 58 0 0 20 0 19 0 73939811 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151291165696 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1448] ppid=1442 vsize=15683912 memory=4136 CPUtime=0.4 cores=1,3,5,7
/proc/1445/task/1448/stat : 1448 (java) S 1442 1445 32649 0 -1 1077944384 372 0 0 0 33 7 0 0 20 0 19 0 73939812 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151323568656 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1449] ppid=1442 vsize=15683912 memory=4100 CPUtime=0.4 cores=1,3,5,7
/proc/1445/task/1449/stat : 1449 (java) S 1442 1445 32649 0 -1 1077944384 1899 0 0 0 33 7 0 0 20 0 19 0 73939812 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151099271824 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1450] ppid=1442 vsize=15683912 memory=3472328279047811119 CPUtime=0.4 cores=1,3,5,7
/proc/1445/task/1450/stat : 1450 (java) S 1442 1445 32649 0 -1 1077944384 777 0 0 0 33 7 0 0 20 0 19 0 73939812 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151098218768 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1451] ppid=1442 vsize=15683912 memory=6656426216303648864 CPUtime=0.4 cores=1,3,5,7
/proc/1445/task/1451/stat : 1451 (java) S 1442 1445 32649 0 -1 1077944384 223 0 0 0 33 7 0 0 20 0 19 0 73939812 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151097166224 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1452] ppid=1442 vsize=15683912 memory=-7677921907076415900 CPUtime=0.02 cores=1,3,5,7
/proc/1445/task/1452/stat : 1452 (java) S 1442 1445 32649 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 19 0 73939814 16060325888 822081 33554432000 4194304 4196468 140724777655376 140150658005744 140151319337602 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1453] ppid=1442 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1453/stat : 1453 (java) S 1442 1445 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 73939814 16060325888 822081 33554432000 4194304 4196468 140724777655376 140149950244576 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1454] ppid=1442 vsize=15683912 memory=3285152 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1454/stat : 1454 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73939814 16060325888 822081 33554432000 4194304 4196468 140724777655376 140149681808640 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1455] ppid=1442 vsize=15683912 memory=280865495019360 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1455/stat : 1455 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140149307300304 140151319345051 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1456] ppid=1442 vsize=15683912 memory=4100 CPUtime=8.7 cores=1,3,5,7
/proc/1445/task/1456/stat : 1456 (java) S 1442 1445 32649 0 -1 1077944384 10479 0 0 0 868 2 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140150656952560 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1457] ppid=1442 vsize=15683912 memory=22476 CPUtime=8.19 cores=1,3,5,7
/proc/1445/task/1457/stat : 1457 (java) S 1442 1445 32649 0 -1 1077944384 11019 0 0 0 817 2 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140150655900016 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1458] ppid=1442 vsize=15683912 memory=1292 CPUtime=1.84 cores=1,3,5,7
/proc/1445/task/1458/stat : 1458 (java) S 1442 1445 32649 0 -1 1077944384 9185 0 0 0 181 3 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140150654846960 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1459] ppid=1442 vsize=15683912 memory=68988 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1459/stat : 1459 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140148809394528 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1460] ppid=1442 vsize=15683912 memory=140432747152616 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1460/stat : 1460 (java) S 1442 1445 32649 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 19 0 73939817 16060325888 822081 33554432000 4194304 4196468 140724777655376 140150653795376 140151319337602 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1462] ppid=1442 vsize=15683912 memory=280865494158952 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1462/stat : 1462 (java) S 1442 1445 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73942000 16060325888 822081 33554432000 4194304 4196468 140724777655376 140151091566400 140151319351065 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1464] ppid=1442 vsize=15683912 memory=8520 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1464/stat : 1464 (java) S 1442 1445 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 73942001 16060325888 822081 33554432000 4194304 4196468 140724777655376 140148272508720 140151319348381 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1465] ppid=1442 vsize=15683912 memory=792 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1465/stat : 1465 (java) S 1442 1445 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 73942001 16060325888 822081 33554432000 4194304 4196468 140724777655376 140148406730160 140151319348381 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
[pid=1445/tid=1466] ppid=1442 vsize=15683912 memory=3284888 CPUtime=0 cores=1,3,5,7
/proc/1445/task/1466/stat : 1466 (java) S 1442 1445 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73942002 16060325888 822081 33554432000 4194304 4196468 140724777655376 140148004085024 140151319336661 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140724777661427 140724777661705 140724777661705 140724777664463 0
Current children cumulated CPU time: 41.84 s
Current children cumulated vsize: 15902940 KiB
Current children cumulated memory: 3457340 KiB
Child status: 1
Real time (s): 22.5435
CPU time (s): 41.9018
CPU user time (s): 40.8112
CPU system time (s): 1.09063
CPU usage (%): 185.871
Max. virtual memory (cumulated for all children) (KiB): 15902940
Max. memory (cumulated for all children) (KiB): 3457340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.8112
system time used= 1.09062
maximum resident set size= 3290848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 130384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6387
involuntary context switches= 116
# summary of solver processes directly reported to runsolver:
# pid: 1445
# total CPU time (s): 41.9018
# total CPU user time (s): 40.8112
# total CPU system time (s): 1.09063
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.158476 second user time and 0.257524 second system time
The end