0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Wed Jul 25 19:14:55 CEST 2018
0.67/0.55 c PID: 31190
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
3.19/1.40 c (0,0) Parsing End
3.19/1.42 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1453 ctr, max domain size 27
3.19/1.42 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.19/1.42 c (0,0) Constraint Name Generate Begin
3.19/1.44 c (0,0) Ctr:HOME/instance-4295064-1532538894.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.19/1.44 c (0,0) Constraint Name Generate End
3.19/1.44 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.19/1.44 c (0,0) CSP to CSPinCNF Begin
12.29/4.85 c (4,4) translated 146 (10%) constraints
12.84/5.31 c (4,4) translated 291 (20%) constraints
12.84/5.33 c (4,4) translated 436 (30%) constraints
12.84/5.36 c (4,4) translated 582 (40%) constraints
12.84/5.39 c (4,4) translated 727 (50%) constraints
13.23/5.41 c (4,4) translated 872 (60%) constraints
13.23/5.43 c (4,4) translated 1018 (70%) constraints
13.23/5.45 c (4,4) translated 1163 (80%) constraints
15.37/7.04 c (6,6) translated 1308 (90%) constraints
16.56/7.97 c (7,7) translated 1453 (100%) constraints
17.88/8.53 c (8,7) STATISTICS1:HOME/instance-4295064-1532538894.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,17200,59079,9223372036854775807,27,25,200,9223372036854775807:271;2305843009213693952:3;576460752303423488:3;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:1;8589934592:1;2147483648:2;536870912:1;268435456:1;134217728:1;33554432:1;8388608:1;2097152:1;16:392;4:396;2:199,27:20800;2:164252,25:200;3:30600;2:27000;1:1279,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:4;64:1;62:3;60:3;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:1;34:1;32:2;30:1;29:1;28:1;26:1;24:1;22:1;5:392;3:396;2:199;1:150600;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:4;1764:1
17.88/8.53 c (8,7) ===========================================
17.88/8.53 c (8,7) Both Encoding selects:
17.88/8.53 c (8,7) Log
17.88/8.53 c (8,7) ===========================================
19.05/9.09 c (8,8) translated 5908 (10%) constraints
19.77/9.31 c (8,8) translated 11816 (20%) constraints
20.01/9.40 c (8,8) translated 17724 (30%) constraints
20.01/9.49 c (8,8) translated 23632 (40%) constraints
20.12/9.57 c (9,8) translated 29540 (50%) constraints
20.22/9.66 c (9,9) translated 35448 (60%) constraints
20.31/9.74 c (9,9) translated 41356 (70%) constraints
20.42/9.83 c (9,9) translated 47264 (80%) constraints
20.52/9.91 c (9,9) translated 53172 (90%) constraints
21.97/11.04 c (10,10) translated 59079 (100%) constraints
21.97/11.05 c (10,10) CSP to CSPinCNF End
21.97/11.06 c (10,10) CSP: 200 int (0 aux), 22400 bool (21400 aux), 69906 ctr, max domain size 27
21.97/11.06 c (10,10) Heap : 1962 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.97/11.06 c (10,10) CSPinCNF Propagation Begin
22.95/11.70 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.95/11.70 c (11,11) CSPinCNF Propagation End
22.95/11.70 c (11,11) CSP: 200 int (0 aux), 22400 bool (21400 aux), 69506 ctr, max domain size 27
22.95/11.70 c (11,11) Heap : 2235 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.95/11.70 c (11,11) Simplify CSPinCNF Begin
23.39/11.85 c (11,11) Simplify CSPinCNF End
23.39/11.86 c (11,11) CSP: 200 int (0 aux), 22400 bool (21400 aux), 69506 ctr, max domain size 27
23.39/11.86 c (11,11) Heap : 2290 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.39/11.86 c (11,11) Calculate Precise Domain Begin
23.39/11.86 c (11,11) 0 values are removed by re-calculation
23.39/11.86 c (11,11) Calculate Precise Domain End
23.39/11.86 c (11,11) CSP: 200 int (0 aux), 22400 bool (21400 aux), 69506 ctr, max domain size 27
23.39/11.86 c (11,11) Heap : 2290 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.39/11.86 c (11,11) CSPinCNF to SatSolver Begin
27.41/13.52 c (12,12) 6951 (10 %) CSP clauses are being encoded (128720 SAT variables, 282966 SAT clauses)
27.88/13.86 c (13,13) 13902 (20 %) CSP clauses are being encoded (153221 SAT variables, 335442 SAT clauses)
28.18/14.19 c (13,13) 20852 (30 %) CSP clauses are being encoded (178225 SAT variables, 389024 SAT clauses)
28.57/14.36 c (13,13) 27803 (40 %) CSP clauses are being encoded (184540 SAT variables, 407310 SAT clauses)
28.96/14.51 c (13,13) 34753 (50 %) CSP clauses are being encoded (190660 SAT variables, 425060 SAT clauses)
29.07/14.66 c (14,13) 41704 (60 %) CSP clauses are being encoded (196780 SAT variables, 442811 SAT clauses)
29.28/14.81 c (14,13) 48655 (70 %) CSP clauses are being encoded (202696 SAT variables, 460202 SAT clauses)
29.38/14.96 c (14,14) 55605 (80 %) CSP clauses are being encoded (208816 SAT variables, 477952 SAT clauses)
29.49/15.10 c (14,14) 62556 (90 %) CSP clauses are being encoded (214732 SAT variables, 495343 SAT clauses)
41.98/24.48 c (23,22) 69506 (100 %) CSP clauses are being encoded (1120759 SAT variables, 3168256 SAT clauses)
44.43/25.14 c (24,22) CSPinCNF to SatSolver End
44.43/25.14 c (24,22) Heap : 780 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
45.52/25.60 c (25,23) STATISTICS2:HOME/instance-4295064-1532538894.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,22600,69506,9223372036854775807,27,24,200,9223372036854775807:271;2305843009213693952:3;576460752303423488:3;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:1;8589934592:1;2147483648:2;536870912:1;268435456:1;134217728:1;33554432:1;8388608:1;2097152:1;16:392;4:396;2:199,27:30800;2:185452,24:200;3:30200;2:37800;1:1306,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:4;64:1;62:3;60:3;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:1;34:1;32:2;30:1;29:1;28:1;26:1;24:1;22:1;5:392;3:396;2:199;1:171000,2:271
45.52/25.60 c (25,23) SatSolver.solve Begin
45.52/25.60 c (25,23) 1127493 bool, 3188311 clause
45.52/25.60 c (25,23) 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-4295064-1532538894.xml-scop-31190.cnf HOME/instance-4295064-1532538894.xml-scop-31190.cnf.out
46.09/26.11 c (25,0) receiving signal SIGTERM
46.09/26.11 s UNKNOWN
46.09/26.12 c (25,23) SatSolver is killed by some reasons.
46.09/26.12 c (25,23) 0,0,10,11,11,11,24,TO,TO,STOP-AFTER(DIMACS)
46.09/26.12 c END-Prog: Wed Jul 25 19:15:20 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 (8229 MiB free)
memory of node 1: 16384 MiB (3780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295064-1532538894/watcher-4295064-1532538894 -o /tmp/evaluation-result-4295064-1532538894/solver-4295064-1532538894 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295064-1532538894.xml
running on 4 cores: 0,2,4,6
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=31190, runsolver pid=31187
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.58 4.88 4.69 6/215 31205
/proc/meminfo: memFree=12237560/32770624 swapFree=67076460/67108860
[pid=31190] ppid=31187 vsize=15011656 memory=74188 CPUtime=0.12 cores=0,2,4,6
/proc/31190/stat : 31190 (java) S 31187 31190 29212 0 -1 1077944320 6699 0 0 0 10 2 0 0 20 0 15 0 71452599 15371935744 18547 33554432000 4194304 4196468 140730099042096 140730099024640 140215583362807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
/proc/31190/statm: 3752914 18547 2782 1 0 3715374 0
[pid=31190/tid=31192] ppid=31187 vsize=15011656 memory=-8484391872771296642 CPUtime=0.09 cores=0,2,4,6
/proc/31190/task/31192/stat : 31192 (java) R 31187 31190 29212 0 -1 4202560 4817 0 0 0 8 1 0 0 20 0 15 0 71452600 15371935744 18547 33554432000 4194304 4196468 140730099042096 140215555189136 140215563639632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31193] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31193/stat : 31193 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452601 15371935744 18547 33554432000 4194304 4196468 140730099042096 140215587604880 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31194] ppid=31187 vsize=15011656 memory=140583045699200 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31194/stat : 31194 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452601 15371935744 18547 33554432000 4194304 4196468 140730099042096 140215386380560 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31195] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31195/stat : 31195 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452602 15371935744 18547 33554432000 4194304 4196468 140730099042096 140215385328272 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31196] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31196/stat : 31196 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452602 15371935744 18547 33554432000 4194304 4196468 140730099042096 140215384275472 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31197] ppid=31187 vsize=15011656 memory=140583045699200 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31197/stat : 31197 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452603 15371935744 18613 33554432000 4194304 4196468 140730099042096 140214554008176 140215583373954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31198] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31198/stat : 31198 (java) S 31187 31190 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71452603 15371935744 18613 33554432000 4194304 4196468 140730099042096 140214173426976 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31199] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31199/stat : 31199 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452604 15371935744 18613 33554432000 4194304 4196468 140730099042096 140213904991856 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31200] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31200/stat : 31200 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 18613 33554432000 4194304 4196468 140730099042096 140213530483280 140215583381403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31201] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31201/stat : 31201 (java) S 31187 31190 29212 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 18613 33554432000 4194304 4196468 140730099042096 140214552954992 140215583373954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31202] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31202/stat : 31202 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 18613 33554432000 4194304 4196468 140730099042096 140214551902192 140215583373954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31203] ppid=31187 vsize=15011656 memory=140583045699200 CPUtime=0.01 cores=0,2,4,6
/proc/31190/task/31203/stat : 31203 (java) S 31187 31190 29212 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 71452606 15371935744 18613 33554432000 4194304 4196468 140730099042096 140214550849904 140215583373954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31204] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31204/stat : 31204 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 18613 33554432000 4194304 4196468 140730099042096 140213032577504 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31205] ppid=31187 vsize=15011656 memory=140583045699200 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31205/stat : 31205 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 18613 33554432000 4194304 4196468 140730099042096 140214549797808 140215583373954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74188 KiB
[startup+0.210296 s]*
/proc/loadavg: 4.58 4.88 4.69 6/215 31205
/proc/meminfo: memFree=12224724/32770624 swapFree=67076460/67108860
[pid=31190] ppid=31187 vsize=15011656 memory=86744 CPUtime=0.26 cores=0,2,4,6
/proc/31190/stat : 31190 (java) S 31187 31190 29212 0 -1 1077944320 10100 0 0 0 23 3 0 0 20 0 15 0 71452599 15371935744 21686 33554432000 4194304 4196468 140730099042096 140730099024640 140215583362807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
/proc/31190/statm: 3752914 21686 2892 1 0 3715374 0
[pid=31190/tid=31192] ppid=31187 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31190/task/31192/stat : 31192 (java) R 31187 31190 29212 0 -1 4202560 8006 0 0 0 18 2 0 0 20 0 15 0 71452600 15371935744 21686 33554432000 4194304 4196468 140730099042096 140215555188656 140215583374742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31193] ppid=31187 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31193/stat : 31193 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452601 15371935744 21686 33554432000 4194304 4196468 140730099042096 140215587604880 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31194] ppid=31187 vsize=15011656 memory=3616867780034565792 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31194/stat : 31194 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452601 15371935744 21686 33554432000 4194304 4196468 140730099042096 140215386380560 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31195] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31195/stat : 31195 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452602 15371935744 21686 33554432000 4194304 4196468 140730099042096 140215385328272 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31196] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31196/stat : 31196 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452602 15371935744 21686 33554432000 4194304 4196468 140730099042096 140215384275472 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31197] ppid=31187 vsize=15011656 memory=140583045699200 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31197/stat : 31197 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452603 15371935744 21686 33554432000 4194304 4196468 140730099042096 140214554008176 140215583373954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31198] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31198/stat : 31198 (java) S 31187 31190 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71452603 15371935744 21686 33554432000 4194304 4196468 140730099042096 140214173426976 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31199] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31199/stat : 31199 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452604 15371935744 21686 33554432000 4194304 4196468 140730099042096 140213904991856 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31200] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31200/stat : 31200 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 21686 33554432000 4194304 4196468 140730099042096 140213530483280 140215583381403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31201] ppid=31187 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31190/task/31201/stat : 31201 (java) R 31187 31190 29212 0 -1 4202560 444 0 0 0 1 0 0 0 20 0 15 0 71452606 15371935744 21686 33554432000 4194304 4196468 140730099042096 140214552954992 140215583374742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31202] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31202/stat : 31202 (java) R 31187 31190 29212 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 21686 33554432000 4194304 4196468 140730099042096 140214551902192 140215583373954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31203] ppid=31187 vsize=15011656 memory=140583045699200 CPUtime=0.03 cores=0,2,4,6
/proc/31190/task/31203/stat : 31203 (java) R 31187 31190 29212 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 71452606 15371935744 21686 33554432000 4194304 4196468 140730099042096 140214550849904 140215562324450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31204] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31204/stat : 31204 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 21686 33554432000 4194304 4196468 140730099042096 140213032577504 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31205] ppid=31187 vsize=15011656 memory=140583045699200 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31205/stat : 31205 (java) R 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 21686 33554432000 4194304 4196468 140730099042096 140214549797808 140215583373954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86744 KiB
[startup+0.310238 s]*
/proc/loadavg: 4.58 4.88 4.69 6/215 31205
/proc/meminfo: memFree=12221064/32770624 swapFree=67076460/67108860
[pid=31190] ppid=31187 vsize=15011656 memory=90216 CPUtime=0.43 cores=0,2,4,6
/proc/31190/stat : 31190 (java) S 31187 31190 29212 0 -1 1077944320 10630 0 0 0 40 3 0 0 20 0 15 0 71452599 15371935744 22554 33554432000 4194304 4196468 140730099042096 140730099024640 140215583362807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
/proc/31190/statm: 3752914 22554 2996 1 0 3715374 0
[pid=31190/tid=31192] ppid=31187 vsize=15011656 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/31190/task/31192/stat : 31192 (java) S 31187 31190 29212 0 -1 1077944384 8375 0 0 0 27 2 0 0 20 0 15 0 71452600 15371935744 22554 33554432000 4194304 4196468 140730099042096 140215555190608 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31193] ppid=31187 vsize=15011656 memory=8941 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31193/stat : 31193 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452601 15371935744 22554 33554432000 4194304 4196468 140730099042096 140215587604880 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31194] ppid=31187 vsize=15011656 memory=3906785906534913696 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31194/stat : 31194 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452601 15371935744 22554 33554432000 4194304 4196468 140730099042096 140215386380560 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31195] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31195/stat : 31195 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452602 15371935744 22554 33554432000 4194304 4196468 140730099042096 140215385328272 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31196] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31196/stat : 31196 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452602 15371935744 22554 33554432000 4194304 4196468 140730099042096 140215384275472 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31197] ppid=31187 vsize=15011656 memory=140583045699200 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31197/stat : 31197 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452603 15371935744 22554 33554432000 4194304 4196468 140730099042096 140214554008176 140215583373954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31198] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31198/stat : 31198 (java) S 31187 31190 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71452603 15371935744 22554 33554432000 4194304 4196468 140730099042096 140214173426976 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31199] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31199/stat : 31199 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452604 15371935744 22554 33554432000 4194304 4196468 140730099042096 140213904991856 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31200] ppid=31187 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31200/stat : 31200 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 22554 33554432000 4194304 4196468 140730099042096 140213530483280 140215583381403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31201] ppid=31187 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31190/task/31201/stat : 31201 (java) R 31187 31190 29212 0 -1 4202560 559 0 0 0 3 0 0 0 20 0 15 0 71452606 15371935744 22554 33554432000 4194304 4196468 140730099042096 140214552954992 140215566920152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31202] ppid=31187 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31190/task/31202/stat : 31202 (java) R 31187 31190 29212 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 71452606 15371935744 22554 33554432000 4194304 4196468 140730099042096 140214551902192 140215583373954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31203] ppid=31187 vsize=15011656 memory=140583045699200 CPUtime=0.07 cores=0,2,4,6
/proc/31190/task/31203/stat : 31203 (java) R 31187 31190 29212 0 -1 4202560 311 0 0 0 7 0 0 0 20 0 15 0 71452606 15371935744 22554 33554432000 4194304 4196468 140730099042096 140214550849904 140215561882942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31204] ppid=31187 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31204/stat : 31204 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 22554 33554432000 4194304 4196468 140730099042096 140213032577504 140215583373013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31205] ppid=31187 vsize=15011656 memory=140583045699200 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31205/stat : 31205 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452606 15371935744 22554 33554432000 4194304 4196468 140730099042096 140214549797808 140215583373954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90216 KiB
[startup+0.702106 s]
/proc/loadavg: 4.58 4.88 4.69 6/215 31205
/proc/meminfo: memFree=12196880/32770624 swapFree=67076460/67108860
[pid=31190] ppid=31187 vsize=15017928 memory=131068 CPUtime=1.04 cores=0,2,4,6
/proc/31190/stat : 31190 (java) S 31187 31190 29212 0 -1 1077944320 17486 0 0 0 99 5 0 0 20 0 15 0 71452599 15378358272 32767 33554432000 4194304 4196468 140730099042096 140730099024640 140215583362807 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
/proc/31190/statm: 3754482 32767 3107 1 0 3715886 0
[pid=31190/tid=31192] ppid=31187 vsize=15017928 memory=9972 CPUtime=0.67 cores=0,2,4,6
/proc/31190/task/31192/stat : 31192 (java) R 31187 31190 29212 0 -1 4202560 14783 0 0 0 63 4 0 0 20 0 15 0 71452600 15378358272 32767 33554432000 4194304 4196468 140730099042096 140215555194704 140215583374742 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31193] ppid=31187 vsize=15017928 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31193/stat : 31193 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452601 15378358272 32767 33554432000 4194304 4196468 140730099042096 140215587604880 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31194] ppid=31187 vsize=15017928 memory=640 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31194/stat : 31194 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452601 15378358272 32767 33554432000 4194304 4196468 140730099042096 140215386380560 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31195] ppid=31187 vsize=15017928 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31195/stat : 31195 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452602 15378358272 32767 33554432000 4194304 4196468 140730099042096 140215385328272 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31196] ppid=31187 vsize=15017928 memory=960 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31196/stat : 31196 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452602 15378358272 32767 33554432000 4194304 4196468 140730099042096 140215384275472 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31197] ppid=31187 vsize=15017928 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31197/stat : 31197 (java) S 31187 31190 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71452603 15378358272 32767 33554432000 4194304 4196468 140730099042096 140214554008176 140215583373954 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31198] ppid=31187 vsize=15017928 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31198/stat : 31198 (java) S 31187 31190 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71452603 15378358272 32831 33554432000 4194304 4196468 140730099042096 140214173426976 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31199] ppid=31187 vsize=15017928 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31199/stat : 31199 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452604 15378358272 32831 33554432000 4194304 4196468 140730099042096 140213904991856 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31200] ppid=31187 vsize=15017928 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31200/stat : 31200 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15378358272 32831 33554432000 4194304 4196468 140730099042096 140213530483280 140215583381403 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31201] ppid=31187 vsize=15017928 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/31190/task/31201/stat : 31201 (java) R 31187 31190 29212 0 -1 4202560 591 0 0 0 7 0 0 0 20 0 15 0 71452606 15378358272 32831 33554432000 4194304 4196468 140730099042096 140214552941536 140215568464650 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31202] ppid=31187 vsize=15017928 memory=7019257425709197167 CPUtime=0.09 cores=0,2,4,6
/proc/31190/task/31202/stat : 31202 (java) R 31187 31190 29212 0 -1 1077944384 293 0 0 0 9 0 0 0 20 0 15 0 71452606 15378358272 32831 33554432000 4194304 4196468 140730099042096 140214551894144 140215583373013 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31203] ppid=31187 vsize=15017928 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/31190/task/31203/stat : 31203 (java) R 31187 31190 29212 0 -1 4202560 480 0 0 0 18 0 0 0 20 0 15 0 71452606 15378358272 32831 33554432000 4194304 4196468 140730099042096 140214550847160 140215562329712 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31204] ppid=31187 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31204/stat : 31204 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15378358272 32831 33554432000 4194304 4196468 140730099042096 140213032577504 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31205] ppid=31187 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31205/stat : 31205 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452606 15378358272 32831 33554432000 4194304 4196468 140730099042096 140214549797808 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131068 KiB
[startup+1.50085 s]
/proc/loadavg: 4.58 4.88 4.69 7/215 31205
/proc/meminfo: memFree=12158264/32770624 swapFree=67076460/67108860
[pid=31190] ppid=31187 vsize=15022100 memory=199928 CPUtime=3.44 cores=0,2,4,6
/proc/31190/stat : 31190 (java) S 31187 31190 29212 0 -1 1077944320 21730 0 0 0 337 7 0 0 20 0 15 0 71452599 15382630400 49982 33554432000 4194304 4196468 140730099042096 140730099024640 140215583362807 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
/proc/31190/statm: 3755525 49982 3212 1 0 3716910 0
[pid=31190/tid=31192] ppid=31187 vsize=15022100 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/31190/task/31192/stat : 31192 (java) R 31187 31190 29212 0 -1 4202560 15816 0 0 0 141 5 0 0 20 0 15 0 71452600 15382630400 49982 33554432000 4194304 4196468 140730099042096 140215555194528 140215583374742 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31193] ppid=31187 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31193/stat : 31193 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452601 15382630400 49982 33554432000 4194304 4196468 140730099042096 140215587604880 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31194] ppid=31187 vsize=15022100 memory=281165874134016 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31194/stat : 31194 (java) S 31187 31190 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71452601 15382630400 49982 33554432000 4194304 4196468 140730099042096 140215386380560 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31195] ppid=31187 vsize=15022100 memory=7093354114875441334 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31195/stat : 31195 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452602 15382630400 49982 33554432000 4194304 4196468 140730099042096 140215385328272 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31196] ppid=31187 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31196/stat : 31196 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452602 15382630400 49982 33554432000 4194304 4196468 140730099042096 140215384275472 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31197] ppid=31187 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31197/stat : 31197 (java) S 31187 31190 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71452603 15382630400 49982 33554432000 4194304 4196468 140730099042096 140214554008176 140215583373954 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
################
# More data... #
################
/proc/31190/task/31203/stat : 31203 (java) S 31187 31190 29212 0 -1 1077944384 6512 0 0 0 158 2 0 0 20 0 15 0 71452606 15388991488 777400 33554432000 4194304 4196468 140730099042096 140214550849904 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31204] ppid=31187 vsize=15028312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31204/stat : 31204 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15388991488 777400 33554432000 4194304 4196468 140730099042096 140213032577504 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31205] ppid=31187 vsize=15028312 memory=281165873283312 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31205/stat : 31205 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15388991488 777400 33554432000 4194304 4196468 140730099042096 140214549797808 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3109600 KiB
[startup+25.5014 s]
/proc/loadavg: 4.49 4.84 4.68 9/214 31205
/proc/meminfo: memFree=8037708/32770624 swapFree=67076460/67108860
[pid=31190] ppid=31187 vsize=15028312 memory=4275620 CPUtime=45.38 cores=0,2,4,6
/proc/31190/stat : 31190 (java) S 31187 31190 29212 0 -1 1077944320 59823 0 0 0 4321 217 0 0 20 0 15 0 71452599 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140730099024640 140215583362807 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
/proc/31190/statm: 3757078 1068905 3265 1 0 3717934 0
[pid=31190/tid=31192] ppid=31187 vsize=15028312 memory=4107564 CPUtime=23.78 cores=0,2,4,6
/proc/31190/task/31192/stat : 31192 (java) R 31187 31190 29212 0 -1 4202560 20895 0 0 0 2323 55 0 0 20 0 15 0 71452600 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140215555200384 140215063756804 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31193] ppid=31187 vsize=15028312 memory=4275500 CPUtime=1.64 cores=0,2,4,6
/proc/31190/task/31193/stat : 31193 (java) S 31187 31190 29212 0 -1 1077944384 882 0 0 0 126 38 0 0 20 0 15 0 71452601 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140215587604880 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31194] ppid=31187 vsize=15028312 memory=0 CPUtime=1.61 cores=0,2,4,6
/proc/31190/task/31194/stat : 31194 (java) S 31187 31190 29212 0 -1 1077944384 1582 0 0 0 124 37 0 0 20 0 15 0 71452601 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140215386380560 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31195] ppid=31187 vsize=15028312 memory=140582936852504 CPUtime=1.63 cores=0,2,4,6
/proc/31190/task/31195/stat : 31195 (java) S 31187 31190 29212 0 -1 1077944384 2623 0 0 0 125 38 0 0 20 0 15 0 71452602 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140215385328272 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31196] ppid=31187 vsize=15028312 memory=3544 CPUtime=1.64 cores=0,2,4,6
/proc/31190/task/31196/stat : 31196 (java) S 31187 31190 29212 0 -1 1077944384 931 0 0 0 127 37 0 0 20 0 15 0 71452602 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140215384275472 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31197] ppid=31187 vsize=15028312 memory=3547168 CPUtime=0.02 cores=0,2,4,6
/proc/31190/task/31197/stat : 31197 (java) S 31187 31190 29212 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 71452603 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140214554008176 140215583373954 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31198] ppid=31187 vsize=15028312 memory=3288156 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31198/stat : 31198 (java) S 31187 31190 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 71452603 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140214173427040 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31199] ppid=31187 vsize=15028312 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31199/stat : 31199 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71452604 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140213904991872 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31200] ppid=31187 vsize=15028312 memory=7230638415855315543 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31200/stat : 31200 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140213530483280 140215583381403 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31201] ppid=31187 vsize=15028312 memory=0 CPUtime=6.77 cores=0,2,4,6
/proc/31190/task/31201/stat : 31201 (java) R 31187 31190 29212 0 -1 4202560 12924 0 0 0 675 2 0 0 20 0 15 0 71452606 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140214552955288 140215562609560 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31202] ppid=31187 vsize=15028312 memory=0 CPUtime=6.48 cores=0,2,4,6
/proc/31190/task/31202/stat : 31202 (java) R 31187 31190 29212 0 -1 4202560 9243 0 0 0 646 2 0 0 20 0 15 0 71452606 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140214551887264 140215562606686 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31203] ppid=31187 vsize=15028312 memory=7680491646476186426 CPUtime=1.71 cores=0,2,4,6
/proc/31190/task/31203/stat : 31203 (java) S 31187 31190 29212 0 -1 1077944384 7949 0 0 0 169 2 0 0 20 0 15 0 71452606 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140214550849904 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31204] ppid=31187 vsize=15028312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31204/stat : 31204 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71452606 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140213032577504 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31205] ppid=31187 vsize=15028312 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31190/task/31205/stat : 31205 (java) S 31187 31190 29212 0 -1 1077944384 1188 0 0 0 0 1 0 0 20 0 15 0 71452606 15388991488 1068905 33554432000 4194304 4196468 140730099042096 140214549797808 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
Current children cumulated CPU time: 45.38 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 4275620 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+26.11 s]
/proc/loadavg: 4.49 4.84 4.68 6/219 31211
/proc/meminfo: memFree=7822508/32770624 swapFree=67076460/67108860
[pid=31190] ppid=31187 vsize=15683912 memory=4278704 CPUtime=45.6 cores=0,2,4,6
/proc/31190/stat : 31190 (java) S 31187 31190 29212 0 -1 1077944320 60942 0 0 0 4343 217 0 0 20 0 19 0 71452599 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140730099024640 140215583362807 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
/proc/31190/statm: 3920978 1069676 3269 1 0 3881834 0
[pid=31206] ppid=31190 vsize=207880 memory=165608 CPUtime=0.49 cores=0,2,4,6
/proc/31206/stat : 31206 (minisat_release) R 31190 31190 29212 0 -1 4202496 35275 0 0 0 43 6 0 0 20 0 1 0 71455161 212869120 41402 33554432000 4194304 4308513 140732547672512 140732546621512 4279657 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 24412160 140732547674799 140732547675310 140732547675310 140732547678149 0
/proc/31206/statm: 51970 41402 318 28 0 48210 0
[pid=31190/tid=31192] ppid=31187 vsize=15683912 memory=0 CPUtime=23.94 cores=0,2,4,6
/proc/31190/task/31192/stat : 31192 (java) S 31187 31190 29212 0 -1 1077944384 21739 0 0 0 2338 56 0 0 20 0 19 0 71452600 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215555202048 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31193] ppid=31187 vsize=15683912 memory=4107564 CPUtime=1.64 cores=0,2,4,6
/proc/31190/task/31193/stat : 31193 (java) S 31187 31190 29212 0 -1 1077944384 882 0 0 0 126 38 0 0 20 0 19 0 71452601 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215587604880 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31194] ppid=31187 vsize=15683912 memory=4278704 CPUtime=1.61 cores=0,2,4,6
/proc/31190/task/31194/stat : 31194 (java) S 31187 31190 29212 0 -1 1077944384 1582 0 0 0 124 37 0 0 20 0 19 0 71452601 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215386380560 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31195] ppid=31187 vsize=15683912 memory=4275500 CPUtime=1.63 cores=0,2,4,6
/proc/31190/task/31195/stat : 31195 (java) S 31187 31190 29212 0 -1 1077944384 2623 0 0 0 125 38 0 0 20 0 19 0 71452602 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215385328272 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31196] ppid=31187 vsize=15683912 memory=3544 CPUtime=1.64 cores=0,2,4,6
/proc/31190/task/31196/stat : 31196 (java) S 31187 31190 29212 0 -1 1077944384 931 0 0 0 127 37 0 0 20 0 19 0 71452602 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215384275472 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31197] ppid=31187 vsize=15683912 memory=3547168 CPUtime=0.02 cores=0,2,4,6
/proc/31190/task/31197/stat : 31197 (java) S 31187 31190 29212 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 19 0 71452603 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214554008176 140215583373954 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31198] ppid=31187 vsize=15683912 memory=3288156 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31198/stat : 31198 (java) S 31187 31190 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71452603 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214173427040 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31199] ppid=31187 vsize=15683912 memory=7680491646476186426 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31199/stat : 31199 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71452604 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140213904991872 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31200] ppid=31187 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31200/stat : 31200 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140213530483280 140215583381403 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31201] ppid=31187 vsize=15683912 memory=6791534058613427641 CPUtime=6.78 cores=0,2,4,6
/proc/31190/task/31201/stat : 31201 (java) S 31187 31190 29212 0 -1 1077944384 12946 0 0 0 676 2 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214552954992 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31202] ppid=31187 vsize=15683912 memory=7230638415855315543 CPUtime=6.5 cores=0,2,4,6
/proc/31190/task/31202/stat : 31202 (java) S 31187 31190 29212 0 -1 1077944384 9275 0 0 0 648 2 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214551902192 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31203] ppid=31187 vsize=15683912 memory=0 CPUtime=1.72 cores=0,2,4,6
/proc/31190/task/31203/stat : 31203 (java) S 31187 31190 29212 0 -1 1077944384 8032 0 0 0 170 2 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214550849904 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31204] ppid=31187 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31204/stat : 31204 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140213032577504 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31205] ppid=31187 vsize=15683912 memory=6655300316396806240 CPUtime=0.01 cores=0,2,4,6
/proc/31190/task/31205/stat : 31205 (java) S 31187 31190 29212 0 -1 1077944384 1188 0 0 0 0 1 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214549797808 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31207] ppid=31187 vsize=15683912 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31207/stat : 31207 (java) S 31187 31190 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71455161 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215381665216 140215583387417 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31209] ppid=31187 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31209/stat : 31209 (java) S 31187 31190 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 71455162 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140212495691696 140215583384733 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31210] ppid=31187 vsize=15683912 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31210/stat : 31210 (java) S 31187 31190 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 71455162 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140212629912880 140215583384733 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31211] ppid=31187 vsize=15683912 memory=15258134151170438 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31211/stat : 31211 (java) S 31187 31190 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 71455164 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140212227267488 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
Current children cumulated CPU time: 46.09 s
Current children cumulated vsize: 15891792 KiB
Current children cumulated memory: 4444312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+26.1576 s]
# the end of solver process 31190 was just reported to runsolver
# cumulated CPU time of all completed processes: user=43.87 s, system=2.28485 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+26.11 s]
/proc/loadavg: 4.49 4.84 4.68 6/219 31211
/proc/meminfo: memFree=7822508/32770624 swapFree=67076460/67108860
[pid=31190] ppid=31187 vsize=15683912 memory=4278704 CPUtime=45.6 cores=0,2,4,6
/proc/31190/stat : 31190 (java) S 31187 31190 29212 0 -1 1077944320 60942 0 0 0 4343 217 0 0 20 0 19 0 71452599 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140730099024640 140215583362807 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
/proc/31190/statm: 3920978 1069676 3269 1 0 3881834 0
[pid=31206] ppid=31190 vsize=207880 memory=165608 CPUtime=0.49 cores=0,2,4,6
/proc/31206/stat : 31206 (minisat_release) R 31190 31190 29212 0 -1 4202496 35275 0 0 0 43 6 0 0 20 0 1 0 71455161 212869120 41402 33554432000 4194304 4308513 140732547672512 140732546621512 4279657 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 24412160 140732547674799 140732547675310 140732547675310 140732547678149 0
/proc/31206/statm: 51970 41402 318 28 0 48210 0
[pid=31190/tid=31192] ppid=31187 vsize=15683912 memory=0 CPUtime=23.94 cores=0,2,4,6
/proc/31190/task/31192/stat : 31192 (java) S 31187 31190 29212 0 -1 1077944384 21739 0 0 0 2338 56 0 0 20 0 19 0 71452600 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215555202048 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31193] ppid=31187 vsize=15683912 memory=4107564 CPUtime=1.64 cores=0,2,4,6
/proc/31190/task/31193/stat : 31193 (java) S 31187 31190 29212 0 -1 1077944384 882 0 0 0 126 38 0 0 20 0 19 0 71452601 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215587604880 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31194] ppid=31187 vsize=15683912 memory=4278704 CPUtime=1.61 cores=0,2,4,6
/proc/31190/task/31194/stat : 31194 (java) S 31187 31190 29212 0 -1 1077944384 1582 0 0 0 124 37 0 0 20 0 19 0 71452601 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215386380560 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31195] ppid=31187 vsize=15683912 memory=4275500 CPUtime=1.63 cores=0,2,4,6
/proc/31190/task/31195/stat : 31195 (java) S 31187 31190 29212 0 -1 1077944384 2623 0 0 0 125 38 0 0 20 0 19 0 71452602 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215385328272 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31196] ppid=31187 vsize=15683912 memory=3544 CPUtime=1.64 cores=0,2,4,6
/proc/31190/task/31196/stat : 31196 (java) S 31187 31190 29212 0 -1 1077944384 931 0 0 0 127 37 0 0 20 0 19 0 71452602 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215384275472 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31197] ppid=31187 vsize=15683912 memory=3547168 CPUtime=0.02 cores=0,2,4,6
/proc/31190/task/31197/stat : 31197 (java) S 31187 31190 29212 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 19 0 71452603 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214554008176 140215583373954 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31198] ppid=31187 vsize=15683912 memory=3288156 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31198/stat : 31198 (java) S 31187 31190 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71452603 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214173427040 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31199] ppid=31187 vsize=15683912 memory=7680491646476186426 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31199/stat : 31199 (java) S 31187 31190 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71452604 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140213904991872 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31200] ppid=31187 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31200/stat : 31200 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140213530483280 140215583381403 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31201] ppid=31187 vsize=15683912 memory=6791534058613427641 CPUtime=6.78 cores=0,2,4,6
/proc/31190/task/31201/stat : 31201 (java) S 31187 31190 29212 0 -1 1077944384 12946 0 0 0 676 2 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214552954992 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31202] ppid=31187 vsize=15683912 memory=7230638415855315543 CPUtime=6.5 cores=0,2,4,6
/proc/31190/task/31202/stat : 31202 (java) S 31187 31190 29212 0 -1 1077944384 9275 0 0 0 648 2 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214551902192 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31203] ppid=31187 vsize=15683912 memory=0 CPUtime=1.72 cores=0,2,4,6
/proc/31190/task/31203/stat : 31203 (java) S 31187 31190 29212 0 -1 1077944384 8032 0 0 0 170 2 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214550849904 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31204] ppid=31187 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31204/stat : 31204 (java) S 31187 31190 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140213032577504 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31205] ppid=31187 vsize=15683912 memory=6655300316396806240 CPUtime=0.01 cores=0,2,4,6
/proc/31190/task/31205/stat : 31205 (java) S 31187 31190 29212 0 -1 1077944384 1188 0 0 0 0 1 0 0 20 0 19 0 71452606 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140214549797808 140215583373954 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31207] ppid=31187 vsize=15683912 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31207/stat : 31207 (java) S 31187 31190 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71455161 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140215381665216 140215583387417 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31209] ppid=31187 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31209/stat : 31209 (java) S 31187 31190 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 71455162 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140212495691696 140215583384733 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31210] ppid=31187 vsize=15683912 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31210/stat : 31210 (java) S 31187 31190 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 71455162 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140212629912880 140215583384733 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
[pid=31190/tid=31211] ppid=31187 vsize=15683912 memory=15258134151170438 CPUtime=0 cores=0,2,4,6
/proc/31190/task/31211/stat : 31211 (java) S 31187 31190 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 71455164 16060325888 1069676 33554432000 4194304 4196468 140730099042096 140212227267488 140215583373013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21712896 140730099049460 140730099049737 140730099049737 140730099052495 0
Current children cumulated CPU time: 46.09 s
Current children cumulated vsize: 15891792 KiB
Current children cumulated memory: 4444312 KiB
Child status: 1
Real time (s): 26.1576
CPU time (s): 46.1549
CPU user time (s): 43.87
CPU system time (s): 2.28485
CPU usage (%): 176.449
Max. virtual memory (cumulated for all children) (KiB): 15891792
Max. memory (cumulated for all children) (KiB): 4444312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.87
system time used= 2.28485
maximum resident set size= 4281188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 140896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6456
involuntary context switches= 224
# summary of solver processes directly reported to runsolver:
# pid: 31190
# total CPU time (s): 46.1549
# total CPU user time (s): 43.87
# total CPU system time (s): 2.28485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.158729 second user time and 0.314338 second system time
The end