0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Wed Jul 25 19:14:02 CEST 2018
0.66/0.55 c PID: 31026
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
3.22/1.42 c (0,0) Parsing End
3.22/1.43 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1459 ctr, max domain size 27
3.22/1.43 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.22/1.43 c (0,0) Constraint Name Generate Begin
3.22/1.46 c (0,0) Ctr:HOME/instance-4295046-1532538842.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.22/1.46 c (0,0) Constraint Name Generate End
3.22/1.46 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.22/1.46 c (0,0) CSP to CSPinCNF Begin
12.60/4.95 c (4,4) translated 146 (10%) constraints
13.21/5.40 c (4,4) translated 292 (20%) constraints
13.21/5.43 c (4,4) translated 438 (30%) constraints
13.21/5.45 c (4,4) translated 584 (40%) constraints
13.21/5.48 c (4,4) translated 730 (50%) constraints
13.21/5.50 c (4,4) translated 876 (60%) constraints
13.56/5.51 c (4,4) translated 1022 (70%) constraints
13.56/5.53 c (4,4) translated 1168 (80%) constraints
15.60/7.19 c (6,6) translated 1314 (90%) constraints
16.91/8.13 c (7,7) translated 1459 (100%) constraints
18.11/8.66 c (8,7) STATISTICS1:HOME/instance-4295046-1532538842.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.11/8.66 c (8,7) ===========================================
18.11/8.66 c (8,7) Both Encoding selects:
18.11/8.66 c (8,7) Log
18.11/8.66 c (8,7) ===========================================
19.39/9.19 c (8,8) translated 5849 (10%) constraints
20.11/9.42 c (8,8) translated 11697 (20%) constraints
20.40/9.52 c (8,8) translated 17546 (30%) constraints
20.50/9.60 c (9,8) translated 23394 (40%) constraints
20.50/9.69 c (9,8) translated 29243 (50%) constraints
20.60/9.77 c (9,9) translated 35091 (60%) constraints
20.70/9.85 c (9,9) translated 40940 (70%) constraints
20.80/9.93 c (9,9) translated 46788 (80%) constraints
20.91/10.02 c (9,9) translated 52637 (90%) constraints
22.12/11.15 c (10,10) translated 58485 (100%) constraints
22.12/11.15 c (10,10) CSP to CSPinCNF End
22.12/11.16 c (10,10) CSP: 200 int (0 aux), 22200 bool (21200 aux), 69312 ctr, max domain size 27
22.12/11.16 c (10,10) Heap : 1962 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
22.12/11.16 c (10,10) CSPinCNF Propagation Begin
23.37/11.80 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.37/11.80 c (11,11) CSPinCNF Propagation End
23.37/11.80 c (11,11) CSP: 200 int (0 aux), 22200 bool (21200 aux), 68912 ctr, max domain size 27
23.37/11.80 c (11,11) Heap : 2235 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.37/11.80 c (11,11) Simplify CSPinCNF Begin
23.58/11.95 c (11,11) Simplify CSPinCNF End
23.58/11.96 c (11,11) CSP: 200 int (0 aux), 22200 bool (21200 aux), 68912 ctr, max domain size 27
23.58/11.96 c (11,11) Heap : 2290 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.58/11.96 c (11,11) Calculate Precise Domain Begin
23.58/11.96 c (11,11) 0 values are removed by re-calculation
23.58/11.96 c (11,11) Calculate Precise Domain End
23.58/11.96 c (11,11) CSP: 200 int (0 aux), 22200 bool (21200 aux), 68912 ctr, max domain size 27
23.58/11.96 c (11,11) Heap : 2290 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.58/11.96 c (11,11) CSPinCNF to SatSolver Begin
27.52/13.60 c (13,12) 6892 (10 %) CSP clauses are being encoded (127815 SAT variables, 280992 SAT clauses)
28.06/13.94 c (13,13) 13783 (20 %) CSP clauses are being encoded (152012 SAT variables, 332834 SAT clauses)
28.37/14.27 c (13,13) 20674 (30 %) CSP clauses are being encoded (177139 SAT variables, 386542 SAT clauses)
28.79/14.46 c (13,13) 27565 (40 %) CSP clauses are being encoded (184024 SAT variables, 405854 SAT clauses)
29.15/14.62 c (14,13) 34456 (50 %) CSP clauses are being encoded (190210 SAT variables, 423657 SAT clauses)
29.25/14.77 c (14,13) 41348 (60 %) CSP clauses are being encoded (196532 SAT variables, 441703 SAT clauses)
29.46/14.92 c (14,14) 48239 (70 %) CSP clauses are being encoded (202892 SAT variables, 459814 SAT clauses)
29.57/15.07 c (14,14) 55130 (80 %) CSP clauses are being encoded (209252 SAT variables, 477925 SAT clauses)
29.76/15.21 c (14,14) 62021 (90 %) CSP clauses are being encoded (215400 SAT variables, 495662 SAT clauses)
45.06/25.40 c (24,22) 68912 (100 %) CSP clauses are being encoded (1130577 SAT variables, 3196672 SAT clauses)
45.06/25.45 c (24,22) CSPinCNF to SatSolver End
45.06/25.45 c (24,22) Heap : 889 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
46.23/25.91 c (25,23) STATISTICS2:HOME/instance-4295046-1532538842.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,22400,68912,9223372036854775807,27,25,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:31200;2:183961,25:200;3:30000;2:37400;1:1312,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:169800,2:270
46.23/25.91 c (25,23) SatSolver.solve Begin
46.23/25.91 c (25,23) 1136247 bool, 3213557 clause
46.23/25.91 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-4295046-1532538842.xml-scop-31026.cnf HOME/instance-4295046-1532538842.xml-scop-31026.cnf.out
46.89/26.50 c (25,0) receiving signal SIGTERM
46.89/26.50 s UNKNOWN
46.89/26.51 c (25,23) SatSolver is killed by some reasons.
46.89/26.51 c (25,23) 0,0,10,11,11,11,24,TO,TO,STOP-AFTER(DIMACS)
46.89/26.51 c END-Prog: Wed Jul 25 19:14:28 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 (8230 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-4295046-1532538842/watcher-4295046-1532538842 -o /tmp/evaluation-result-4295046-1532538842/solver-4295046-1532538842 -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-4295046-1532538842.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
Current StackSize limit: 8192 KiB
solver pid=31026, runsolver pid=31023
[startup+0.100091 s]*
/proc/loadavg: 4.71 4.96 4.70 6/216 31041
/proc/meminfo: memFree=12240892/32770624 swapFree=67076460/67108860
[pid=31026] ppid=31023 vsize=15011656 memory=71956 CPUtime=0.11 cores=0,2,4,6
/proc/31026/stat : 31026 (java) S 31023 31026 29212 0 -1 1077944320 6704 0 0 0 9 2 0 0 20 0 15 0 71447330 15371935744 17989 33554432000 4194304 4196468 140732620691744 140732620674288 139621647740663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
/proc/31026/statm: 3752914 17989 2757 1 0 3715374 0
[pid=31026/tid=31028] ppid=31023 vsize=15011656 memory=-8700564654885212282 CPUtime=0.09 cores=0,2,4,6
/proc/31026/task/31028/stat : 31028 (java) R 31023 31026 29212 0 -1 4202560 4793 0 0 0 7 2 0 0 20 0 15 0 71447330 15371935744 17989 33554432000 4194304 4196468 140732620691744 139621619566992 139621628016477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31029] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31029/stat : 31029 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 18055 33554432000 4194304 4196468 140732620691744 139621651983248 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31030] ppid=31023 vsize=15011656 memory=140110524225152 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31030/stat : 31030 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 18055 33554432000 4194304 4196468 140732620691744 139621470071568 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31031] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31031/stat : 31031 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 18055 33554432000 4194304 4196468 140732620691744 139621469019280 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31032] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31032/stat : 31032 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 18055 33554432000 4194304 4196468 140732620691744 139621106789392 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31033] ppid=31023 vsize=15011656 memory=140110524225152 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31033/stat : 31033 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447333 15371935744 18055 33554432000 4194304 4196468 140732620691744 139620484335728 139621647751810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31034] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31034/stat : 31034 (java) S 31023 31026 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71447334 15371935744 18055 33554432000 4194304 4196468 140732620691744 139620259980064 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31035] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31035/stat : 31035 (java) S 31023 31026 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71447334 15371935744 18055 33554432000 4194304 4196468 140732620691744 139620125758576 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31036] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31036/stat : 31036 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447336 15371935744 18055 33554432000 4194304 4196468 140732620691744 139619751254096 139621647759259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31037] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31037/stat : 31037 (java) S 31023 31026 29212 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 71447336 15371935744 18055 33554432000 4194304 4196468 140732620691744 139620483283568 139621647751810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31038] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31038/stat : 31038 (java) S 31023 31026 29212 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 71447336 15371935744 18055 33554432000 4194304 4196468 140732620691744 139620482230768 139621647751810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31039] ppid=31023 vsize=15011656 memory=140110524225152 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31039/stat : 31039 (java) S 31023 31026 29212 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 71447336 15371935744 18055 33554432000 4194304 4196468 140732620691744 139620481178480 139621647751810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31040] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31040/stat : 31040 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447337 15371935744 18055 33554432000 4194304 4196468 140732620691744 139619253349344 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31041] ppid=31023 vsize=15011656 memory=140110524225152 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31041/stat : 31041 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447337 15371935744 18055 33554432000 4194304 4196468 140732620691744 139620480125360 139621647751810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71956 KiB
[startup+0.210381 s]*
/proc/loadavg: 4.71 4.96 4.70 6/216 31041
/proc/meminfo: memFree=12226972/32770624 swapFree=67076460/67108860
[pid=31026] ppid=31023 vsize=15011656 memory=83688 CPUtime=0.25 cores=0,2,4,6
/proc/31026/stat : 31026 (java) S 31023 31026 29212 0 -1 1077944320 9881 0 0 0 22 3 0 0 20 0 15 0 71447330 15371935744 20922 33554432000 4194304 4196468 140732620691744 140732620674288 139621647740663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
/proc/31026/statm: 3752914 20922 2891 1 0 3715374 0
[pid=31026/tid=31028] ppid=31023 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31026/task/31028/stat : 31028 (java) R 31023 31026 29212 0 -1 4202560 7738 0 0 0 17 3 0 0 20 0 15 0 71447330 15371935744 20922 33554432000 4194304 4196468 140732620691744 139621619567056 139621639977790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31029] ppid=31023 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31029/stat : 31029 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 20922 33554432000 4194304 4196468 140732620691744 139621651983248 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31030] ppid=31023 vsize=15011656 memory=3906785434013439648 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31030/stat : 31030 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 20922 33554432000 4194304 4196468 140732620691744 139621470071568 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31031] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31031/stat : 31031 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 20922 33554432000 4194304 4196468 140732620691744 139621469019280 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31032] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31032/stat : 31032 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 20922 33554432000 4194304 4196468 140732620691744 139621106789392 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31033] ppid=31023 vsize=15011656 memory=140110524225152 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31033/stat : 31033 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447333 15371935744 20922 33554432000 4194304 4196468 140732620691744 139620484335728 139621647751810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31034] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31034/stat : 31034 (java) S 31023 31026 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71447334 15371935744 20922 33554432000 4194304 4196468 140732620691744 139620259980064 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31035] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31035/stat : 31035 (java) S 31023 31026 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71447334 15371935744 20922 33554432000 4194304 4196468 140732620691744 139620125758576 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31036] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31036/stat : 31036 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447336 15371935744 20922 33554432000 4194304 4196468 140732620691744 139619751254096 139621647759259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31037] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31037/stat : 31037 (java) R 31023 31026 29212 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 15 0 71447336 15371935744 20922 33554432000 4194304 4196468 140732620691744 139620483283568 139621647751810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31038] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31038/stat : 31038 (java) R 31023 31026 29212 0 -1 4202560 285 0 0 0 0 0 0 0 20 0 15 0 71447336 15371935744 20922 33554432000 4194304 4196468 140732620691744 139620482230768 139621629287322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31039] ppid=31023 vsize=15011656 memory=140110524225152 CPUtime=0.03 cores=0,2,4,6
/proc/31026/task/31039/stat : 31039 (java) S 31023 31026 29212 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 15 0 71447336 15371935744 20922 33554432000 4194304 4196468 140732620691744 139620481178480 139621647751810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31040] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31040/stat : 31040 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447337 15371935744 20922 33554432000 4194304 4196468 140732620691744 139619253349344 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31041] ppid=31023 vsize=15011656 memory=140110524225152 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31041/stat : 31041 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447337 15371935744 20922 33554432000 4194304 4196468 140732620691744 139620480125360 139621647751810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83688 KiB
[startup+0.310453 s]*
/proc/loadavg: 4.71 4.96 4.70 6/216 31041
/proc/meminfo: memFree=12223436/32770624 swapFree=67076460/67108860
[pid=31026] ppid=31023 vsize=15011656 memory=87840 CPUtime=0.43 cores=0,2,4,6
/proc/31026/stat : 31026 (java) S 31023 31026 29212 0 -1 1077944320 10492 0 0 0 39 4 0 0 20 0 15 0 71447330 15371935744 21960 33554432000 4194304 4196468 140732620691744 140732620674288 139621647740663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
/proc/31026/statm: 3752914 21960 3035 1 0 3715374 0
[pid=31026/tid=31028] ppid=31023 vsize=15011656 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/31026/task/31028/stat : 31028 (java) R 31023 31026 29212 0 -1 4202560 8169 0 0 0 26 3 0 0 20 0 15 0 71447330 15371935744 21960 33554432000 4194304 4196468 140732620691744 139621619568160 139621631821150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31029] ppid=31023 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31029/stat : 31029 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 21960 33554432000 4194304 4196468 140732620691744 139621651983248 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31030] ppid=31023 vsize=15011656 memory=3762670245937583776 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31030/stat : 31030 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 21960 33554432000 4194304 4196468 140732620691744 139621470071568 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31031] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31031/stat : 31031 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 21960 33554432000 4194304 4196468 140732620691744 139621469019280 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31032] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31032/stat : 31032 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447332 15371935744 21960 33554432000 4194304 4196468 140732620691744 139621106789392 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31033] ppid=31023 vsize=15011656 memory=140110524225152 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31033/stat : 31033 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447333 15371935744 21960 33554432000 4194304 4196468 140732620691744 139620484335728 139621647751810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31034] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31034/stat : 31034 (java) S 31023 31026 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71447334 15371935744 21960 33554432000 4194304 4196468 140732620691744 139620259980064 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31035] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31035/stat : 31035 (java) S 31023 31026 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71447334 15371935744 21960 33554432000 4194304 4196468 140732620691744 139620125758576 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31036] ppid=31023 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31036/stat : 31036 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447336 15371935744 21960 33554432000 4194304 4196468 140732620691744 139619751254096 139621647759259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31037] ppid=31023 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31026/task/31037/stat : 31037 (java) S 31023 31026 29212 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 71447336 15371935744 21960 33554432000 4194304 4196468 140732620691744 139620483283568 139621647751810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31038] ppid=31023 vsize=15011656 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/31026/task/31038/stat : 31038 (java) S 31023 31026 29212 0 -1 1077944384 406 0 0 0 3 0 0 0 20 0 15 0 71447336 15371935744 21960 33554432000 4194304 4196468 140732620691744 139620482230768 139621647751810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31039] ppid=31023 vsize=15011656 memory=140110524225152 CPUtime=0.07 cores=0,2,4,6
/proc/31026/task/31039/stat : 31039 (java) R 31023 31026 29212 0 -1 4202560 361 0 0 0 7 0 0 0 20 0 15 0 71447336 15371935744 21960 33554432000 4194304 4196468 140732620691744 139620481178480 139621625856404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31040] ppid=31023 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31040/stat : 31040 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447337 15371935744 21960 33554432000 4194304 4196468 140732620691744 139619253349344 139621647750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31041] ppid=31023 vsize=15011656 memory=140110524225152 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31041/stat : 31041 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447337 15371935744 21960 33554432000 4194304 4196468 140732620691744 139620480125360 139621647751810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87840 KiB
[startup+0.704928 s]
/proc/loadavg: 4.71 4.96 4.70 7/216 31041
/proc/meminfo: memFree=12198516/32770624 swapFree=67076460/67108860
[pid=31026] ppid=31023 vsize=15019976 memory=129664 CPUtime=1.04 cores=0,2,4,6
/proc/31026/stat : 31026 (java) S 31023 31026 29212 0 -1 1077944320 17591 0 0 0 97 7 0 0 20 0 15 0 71447330 15380455424 32416 33554432000 4194304 4196468 140732620691744 140732620674288 139621647740663 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
/proc/31026/statm: 3754994 32416 3154 1 0 3716398 0
[pid=31026/tid=31028] ppid=31023 vsize=15019976 memory=9972 CPUtime=0.68 cores=0,2,4,6
/proc/31026/task/31028/stat : 31028 (java) R 31023 31026 29212 0 -1 4202560 14740 0 0 0 62 6 0 0 20 0 15 0 71447330 15380455424 32416 33554432000 4194304 4196468 140732620691744 139621619561952 139621647752598 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31029] ppid=31023 vsize=15019976 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31029/stat : 31029 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447332 15380455424 32416 33554432000 4194304 4196468 140732620691744 139621651983248 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31030] ppid=31023 vsize=15019976 memory=640 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31030/stat : 31030 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447332 15380455424 32416 33554432000 4194304 4196468 140732620691744 139621470071568 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31031] ppid=31023 vsize=15019976 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31031/stat : 31031 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447332 15380455424 32416 33554432000 4194304 4196468 140732620691744 139621469019280 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31032] ppid=31023 vsize=15019976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31032/stat : 31032 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447332 15380455424 32416 33554432000 4194304 4196468 140732620691744 139621106789392 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31033] ppid=31023 vsize=15019976 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31033/stat : 31033 (java) S 31023 31026 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71447333 15380455424 32416 33554432000 4194304 4196468 140732620691744 139620484335728 139621647751810 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31034] ppid=31023 vsize=15019976 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31034/stat : 31034 (java) S 31023 31026 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71447334 15380455424 32416 33554432000 4194304 4196468 140732620691744 139620259980064 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31035] ppid=31023 vsize=15019976 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31035/stat : 31035 (java) S 31023 31026 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71447334 15380455424 32416 33554432000 4194304 4196468 140732620691744 139620125758576 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31036] ppid=31023 vsize=15019976 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31036/stat : 31036 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447336 15380455424 32416 33554432000 4194304 4196468 140732620691744 139619751254096 139621647759259 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31037] ppid=31023 vsize=15019976 memory=7881696724453321575 CPUtime=0.06 cores=0,2,4,6
/proc/31026/task/31037/stat : 31037 (java) R 31023 31026 29212 0 -1 4202560 310 0 0 0 6 0 0 0 20 0 15 0 71447336 15380455424 32416 33554432000 4194304 4196468 140732620691744 139620483273488 139621639977790 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31038] ppid=31023 vsize=15019976 memory=7019257425709197167 CPUtime=0.1 cores=0,2,4,6
/proc/31026/task/31038/stat : 31038 (java) S 31023 31026 29212 0 -1 1077944384 630 0 0 0 10 0 0 0 20 0 15 0 71447336 15380455424 32416 33554432000 4194304 4196468 140732620691744 139620482230768 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31039] ppid=31023 vsize=15019976 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/31026/task/31039/stat : 31039 (java) R 31023 31026 29212 0 -1 4202560 551 0 0 0 18 0 0 0 20 0 15 0 71447336 15380455424 32416 33554432000 4194304 4196468 140732620691744 139620481174048 139621647752598 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31040] ppid=31023 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31040/stat : 31040 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447337 15380455424 32416 33554432000 4194304 4196468 140732620691744 139619253349344 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31041] ppid=31023 vsize=15019976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31041/stat : 31041 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447337 15380455424 32416 33554432000 4194304 4196468 140732620691744 139620480125360 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 129664 KiB
[startup+1.50072 s]
/proc/loadavg: 4.71 4.96 4.70 7/216 31041
/proc/meminfo: memFree=12157820/32770624 swapFree=67076460/67108860
[pid=31026] ppid=31023 vsize=15022100 memory=200020 CPUtime=3.47 cores=0,2,4,6
/proc/31026/stat : 31026 (java) S 31023 31026 29212 0 -1 1077944320 21408 0 0 0 337 10 0 0 20 0 15 0 71447330 15382630400 50005 33554432000 4194304 4196468 140732620691744 140732620674288 139621647740663 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
/proc/31026/statm: 3755525 50005 3213 1 0 3716910 0
[pid=31026/tid=31028] ppid=31023 vsize=15022100 memory=169852 CPUtime=1.46 cores=0,2,4,6
/proc/31026/task/31028/stat : 31028 (java) R 31023 31026 29212 0 -1 4202560 15720 0 0 0 139 7 0 0 20 0 15 0 71447330 15382630400 50005 33554432000 4194304 4196468 140732620691744 139621619561440 139621631821150 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31029] ppid=31023 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31029/stat : 31029 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447332 15382630400 50005 33554432000 4194304 4196468 140732620691744 139621651983248 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31030] ppid=31023 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31030/stat : 31030 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447332 15382630400 50005 33554432000 4194304 4196468 140732620691744 139621470071568 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31031] ppid=31023 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31031/stat : 31031 (java) S 31023 31026 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71447332 15382630400 50005 33554432000 4194304 4196468 140732620691744 139621469019280 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31032] ppid=31023 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31032/stat : 31032 (java) S 31023 31026 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71447332 15382630400 50005 33554432000 4194304 4196468 140732620691744 139621106789392 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31033] ppid=31023 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31033/stat : 31033 (java) S 31023 31026 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71447333 15382630400 50005 33554432000 4194304 4196468 140732620691744 139620484335728 139621647751810 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
################
# More data... #
################
/proc/31026/task/31039/stat : 31039 (java) S 31023 31026 29212 0 -1 1077944384 7084 0 0 0 171 2 0 0 20 0 15 0 71447336 15388991488 776158 33554432000 4194304 4196468 140732620691744 139620481178480 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31040] ppid=31023 vsize=15028312 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31040/stat : 31040 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447337 15388991488 776158 33554432000 4194304 4196468 140732620691744 139619253349344 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31041] ppid=31023 vsize=15028312 memory=-2892745056948402235 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31041/stat : 31041 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447337 15388991488 776158 33554432000 4194304 4196468 140732620691744 139620480125360 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3104632 KiB
[startup+25.5103 s]
/proc/loadavg: 4.58 4.91 4.69 9/216 31041
/proc/meminfo: memFree=8223696/32770624 swapFree=67076460/67108860
[pid=31026] ppid=31023 vsize=15028312 memory=4285992 CPUtime=45.28 cores=0,2,4,6
/proc/31026/stat : 31026 (java) S 31023 31026 29212 0 -1 1077944320 64384 0 0 0 4298 230 0 0 20 0 15 0 71447330 15388991488 1071498 33554432000 4194304 4196468 140732620691744 140732620674288 139621647740663 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
/proc/31026/statm: 3757078 1071498 3266 1 0 3717934 0
[pid=31026/tid=31028] ppid=31023 vsize=15028312 memory=162 CPUtime=23.49 cores=0,2,4,6
/proc/31026/task/31028/stat : 31028 (java) R 31023 31026 29212 0 -1 4202560 20967 0 0 0 2286 63 0 0 20 0 15 0 71447330 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139621619579680 139621157310656 0 4 0 25189583 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31029] ppid=31023 vsize=15028312 memory=4117704 CPUtime=1.61 cores=0,2,4,6
/proc/31026/task/31029/stat : 31029 (java) S 31023 31026 29212 0 -1 1077944384 2662 0 0 0 123 38 0 0 20 0 15 0 71447332 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139621651983248 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31030] ppid=31023 vsize=15028312 memory=3925120 CPUtime=1.63 cores=0,2,4,6
/proc/31026/task/31030/stat : 31030 (java) S 31023 31026 29212 0 -1 1077944384 940 0 0 0 124 39 0 0 20 0 15 0 71447332 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139621470071568 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31031] ppid=31023 vsize=15028312 memory=3925120 CPUtime=1.62 cores=0,2,4,6
/proc/31026/task/31031/stat : 31031 (java) S 31023 31026 29212 0 -1 1077944384 1440 0 0 0 122 40 0 0 20 0 15 0 71447332 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139621469019280 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31032] ppid=31023 vsize=15028312 memory=3292700 CPUtime=1.61 cores=0,2,4,6
/proc/31026/task/31032/stat : 31032 (java) S 31023 31026 29212 0 -1 1077944384 807 0 0 0 123 38 0 0 20 0 15 0 71447332 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139621106789392 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31033] ppid=31023 vsize=15028312 memory=7518023259226791573 CPUtime=0.02 cores=0,2,4,6
/proc/31026/task/31033/stat : 31033 (java) S 31023 31026 29212 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 15 0 71447333 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139620484335728 139621647751810 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31034] ppid=31023 vsize=15028312 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31034/stat : 31034 (java) S 31023 31026 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 71447334 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139620259980128 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31035] ppid=31023 vsize=15028312 memory=18464 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31035/stat : 31035 (java) S 31023 31026 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 71447334 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139620125758592 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31036] ppid=31023 vsize=15028312 memory=776 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31036/stat : 31036 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447336 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139619751254096 139621647759259 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31037] ppid=31023 vsize=15028312 memory=3925120 CPUtime=6.56 cores=0,2,4,6
/proc/31026/task/31037/stat : 31037 (java) R 31023 31026 29212 0 -1 4202560 13753 0 0 0 654 2 0 0 20 0 15 0 71447336 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139620483263280 139621629260698 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31038] ppid=31023 vsize=15028312 memory=0 CPUtime=6.8 cores=0,2,4,6
/proc/31026/task/31038/stat : 31038 (java) R 31023 31026 29212 0 -1 4202560 12217 0 0 0 677 3 0 0 20 0 15 0 71447336 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139620482215728 139621629284952 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31039] ppid=31023 vsize=15028312 memory=0 CPUtime=1.84 cores=0,2,4,6
/proc/31026/task/31039/stat : 31039 (java) S 31023 31026 29212 0 -1 1077944384 8488 0 0 0 181 3 0 0 20 0 15 0 71447336 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139620481178480 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31040] ppid=31023 vsize=15028312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31040/stat : 31040 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71447337 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139619253349344 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31041] ppid=31023 vsize=15028312 memory=3544068 CPUtime=0.01 cores=0,2,4,6
/proc/31026/task/31041/stat : 31041 (java) S 31023 31026 29212 0 -1 1077944384 1462 0 0 0 0 1 0 0 20 0 15 0 71447337 15388991488 1071498 33554432000 4194304 4196468 140732620691744 139620480125360 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
Current children cumulated CPU time: 45.28 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 4285992 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+26.501 s]
/proc/loadavg: 4.58 4.91 4.69 6/220 31047
/proc/meminfo: memFree=7914880/32770624 swapFree=67076460/67108860
[pid=31026] ppid=31023 vsize=15683912 memory=4289104 CPUtime=46.33 cores=0,2,4,6
/proc/31026/stat : 31026 (java) S 31023 31026 29212 0 -1 1077944320 67507 0 0 0 4402 231 0 0 20 0 19 0 71447330 16060325888 1072276 33554432000 4194304 4196468 140732620691744 140732620674288 139621647740663 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
/proc/31026/statm: 3920978 1072276 3270 1 0 3881834 0
[pid=31042] ppid=31026 vsize=233140 memory=190088 CPUtime=0.56 cores=0,2,4,6
/proc/31042/stat : 31042 (minisat_release) R 31026 31026 29212 0 -1 4202496 41874 0 0 0 50 6 0 0 20 0 1 0 71449923 238735360 47522 33554432000 4194304 4308513 140724434196912 140724434194056 4279657 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6409496 6410680 25235456 140724434203311 140724434203822 140724434203822 140724434206661 0
/proc/31042/statm: 58285 47522 318 28 0 54525 0
[pid=31026/tid=31028] ppid=31023 vsize=15683912 memory=162 CPUtime=23.95 cores=0,2,4,6
/proc/31026/task/31028/stat : 31028 (java) S 31023 31026 29212 0 -1 1077944384 21860 0 0 0 2332 63 0 0 20 0 19 0 71447330 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621619579904 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31029] ppid=31023 vsize=15683912 memory=4285996 CPUtime=1.61 cores=0,2,4,6
/proc/31026/task/31029/stat : 31029 (java) S 31023 31026 29212 0 -1 1077944384 2662 0 0 0 123 38 0 0 20 0 19 0 71447332 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621651983248 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31030] ppid=31023 vsize=15683912 memory=4289104 CPUtime=1.63 cores=0,2,4,6
/proc/31026/task/31030/stat : 31030 (java) S 31023 31026 29212 0 -1 1077944384 940 0 0 0 124 39 0 0 20 0 19 0 71447332 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621470071568 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31031] ppid=31023 vsize=15683912 memory=3292700 CPUtime=1.62 cores=0,2,4,6
/proc/31026/task/31031/stat : 31031 (java) S 31023 31026 29212 0 -1 1077944384 1440 0 0 0 122 40 0 0 20 0 19 0 71447332 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621469019280 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31032] ppid=31023 vsize=15683912 memory=7518023259226791573 CPUtime=1.61 cores=0,2,4,6
/proc/31026/task/31032/stat : 31032 (java) S 31023 31026 29212 0 -1 1077944384 807 0 0 0 123 38 0 0 20 0 19 0 71447332 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621106789392 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31033] ppid=31023 vsize=15683912 memory=3925120 CPUtime=0.02 cores=0,2,4,6
/proc/31026/task/31033/stat : 31033 (java) S 31023 31026 29212 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 19 0 71447333 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620484335728 139621647751810 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31034] ppid=31023 vsize=15683912 memory=3925120 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31034/stat : 31034 (java) S 31023 31026 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71447334 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620259980128 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31035] ppid=31023 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31035/stat : 31035 (java) S 31023 31026 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71447334 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620125758592 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31036] ppid=31023 vsize=15683912 memory=18464 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31036/stat : 31036 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71447336 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139619751254096 139621647759259 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31037] ppid=31023 vsize=15683912 memory=776 CPUtime=6.79 cores=0,2,4,6
/proc/31026/task/31037/stat : 31037 (java) S 31023 31026 29212 0 -1 1077944384 14532 0 0 0 677 2 0 0 20 0 19 0 71447336 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620483283568 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31038] ppid=31023 vsize=15683912 memory=4100 CPUtime=7.12 cores=0,2,4,6
/proc/31026/task/31038/stat : 31038 (java) S 31023 31026 29212 0 -1 1077944384 13410 0 0 0 709 3 0 0 20 0 19 0 71447336 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620482230768 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31039] ppid=31023 vsize=15683912 memory=1800 CPUtime=1.86 cores=0,2,4,6
/proc/31026/task/31039/stat : 31039 (java) S 31023 31026 29212 0 -1 1077944384 8601 0 0 0 183 3 0 0 20 0 19 0 71447336 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620481178480 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31040] ppid=31023 vsize=15683912 memory=920 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31040/stat : 31040 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71447337 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139619253349344 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31041] ppid=31023 vsize=15683912 memory=3852 CPUtime=0.01 cores=0,2,4,6
/proc/31026/task/31041/stat : 31041 (java) S 31023 31026 29212 0 -1 1077944384 1462 0 0 0 0 1 0 0 20 0 19 0 71447337 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620480125360 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31043] ppid=31023 vsize=15683912 memory=3925120 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31043/stat : 31043 (java) S 31023 31026 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71449923 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621065520064 139621647765273 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31045] ppid=31023 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31045/stat : 31045 (java) S 31023 31026 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 71449924 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139618716462512 139621647762589 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31046] ppid=31023 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31046/stat : 31046 (java) S 31023 31026 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 71449924 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139618850684720 139621647762589 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31047] ppid=31023 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31047/stat : 31047 (java) S 31023 31026 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71449925 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139618448039328 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
Current children cumulated CPU time: 46.89 s
Current children cumulated vsize: 15917052 KiB
Current children cumulated memory: 4479192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+26.5502 s]
# the end of solver process 31026 was just reported to runsolver
# cumulated CPU time of all completed processes: user=44.5339 s, system=2.42129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+26.501 s]
/proc/loadavg: 4.58 4.91 4.69 6/220 31047
/proc/meminfo: memFree=7914880/32770624 swapFree=67076460/67108860
[pid=31026] ppid=31023 vsize=15683912 memory=4289104 CPUtime=46.33 cores=0,2,4,6
/proc/31026/stat : 31026 (java) S 31023 31026 29212 0 -1 1077944320 67507 0 0 0 4402 231 0 0 20 0 19 0 71447330 16060325888 1072276 33554432000 4194304 4196468 140732620691744 140732620674288 139621647740663 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
/proc/31026/statm: 3920978 1072276 3270 1 0 3881834 0
[pid=31042] ppid=31026 vsize=233140 memory=190088 CPUtime=0.56 cores=0,2,4,6
/proc/31042/stat : 31042 (minisat_release) R 31026 31026 29212 0 -1 4202496 41874 0 0 0 50 6 0 0 20 0 1 0 71449923 238735360 47522 33554432000 4194304 4308513 140724434196912 140724434194056 4279657 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6409496 6410680 25235456 140724434203311 140724434203822 140724434203822 140724434206661 0
/proc/31042/statm: 58285 47522 318 28 0 54525 0
[pid=31026/tid=31028] ppid=31023 vsize=15683912 memory=162 CPUtime=23.95 cores=0,2,4,6
/proc/31026/task/31028/stat : 31028 (java) S 31023 31026 29212 0 -1 1077944384 21860 0 0 0 2332 63 0 0 20 0 19 0 71447330 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621619579904 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31029] ppid=31023 vsize=15683912 memory=4285996 CPUtime=1.61 cores=0,2,4,6
/proc/31026/task/31029/stat : 31029 (java) S 31023 31026 29212 0 -1 1077944384 2662 0 0 0 123 38 0 0 20 0 19 0 71447332 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621651983248 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31030] ppid=31023 vsize=15683912 memory=4289104 CPUtime=1.63 cores=0,2,4,6
/proc/31026/task/31030/stat : 31030 (java) S 31023 31026 29212 0 -1 1077944384 940 0 0 0 124 39 0 0 20 0 19 0 71447332 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621470071568 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31031] ppid=31023 vsize=15683912 memory=3292700 CPUtime=1.62 cores=0,2,4,6
/proc/31026/task/31031/stat : 31031 (java) S 31023 31026 29212 0 -1 1077944384 1440 0 0 0 122 40 0 0 20 0 19 0 71447332 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621469019280 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31032] ppid=31023 vsize=15683912 memory=7518023259226791573 CPUtime=1.61 cores=0,2,4,6
/proc/31026/task/31032/stat : 31032 (java) S 31023 31026 29212 0 -1 1077944384 807 0 0 0 123 38 0 0 20 0 19 0 71447332 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621106789392 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31033] ppid=31023 vsize=15683912 memory=3925120 CPUtime=0.02 cores=0,2,4,6
/proc/31026/task/31033/stat : 31033 (java) S 31023 31026 29212 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 19 0 71447333 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620484335728 139621647751810 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31034] ppid=31023 vsize=15683912 memory=3925120 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31034/stat : 31034 (java) S 31023 31026 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71447334 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620259980128 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31035] ppid=31023 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31035/stat : 31035 (java) S 31023 31026 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71447334 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620125758592 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31036] ppid=31023 vsize=15683912 memory=18464 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31036/stat : 31036 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71447336 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139619751254096 139621647759259 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31037] ppid=31023 vsize=15683912 memory=776 CPUtime=6.79 cores=0,2,4,6
/proc/31026/task/31037/stat : 31037 (java) S 31023 31026 29212 0 -1 1077944384 14532 0 0 0 677 2 0 0 20 0 19 0 71447336 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620483283568 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31038] ppid=31023 vsize=15683912 memory=4100 CPUtime=7.12 cores=0,2,4,6
/proc/31026/task/31038/stat : 31038 (java) S 31023 31026 29212 0 -1 1077944384 13410 0 0 0 709 3 0 0 20 0 19 0 71447336 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620482230768 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31039] ppid=31023 vsize=15683912 memory=1800 CPUtime=1.86 cores=0,2,4,6
/proc/31026/task/31039/stat : 31039 (java) S 31023 31026 29212 0 -1 1077944384 8601 0 0 0 183 3 0 0 20 0 19 0 71447336 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620481178480 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31040] ppid=31023 vsize=15683912 memory=920 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31040/stat : 31040 (java) S 31023 31026 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71447337 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139619253349344 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31041] ppid=31023 vsize=15683912 memory=3852 CPUtime=0.01 cores=0,2,4,6
/proc/31026/task/31041/stat : 31041 (java) S 31023 31026 29212 0 -1 1077944384 1462 0 0 0 0 1 0 0 20 0 19 0 71447337 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139620480125360 139621647751810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31043] ppid=31023 vsize=15683912 memory=3925120 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31043/stat : 31043 (java) S 31023 31026 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71449923 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139621065520064 139621647765273 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31045] ppid=31023 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31045/stat : 31045 (java) S 31023 31026 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 71449924 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139618716462512 139621647762589 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31046] ppid=31023 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31046/stat : 31046 (java) S 31023 31026 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 71449924 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139618850684720 139621647762589 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
[pid=31026/tid=31047] ppid=31023 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31026/task/31047/stat : 31047 (java) S 31023 31026 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71449925 16060325888 1072276 33554432000 4194304 4196468 140732620691744 139618448039328 139621647750869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22626304 140732620698612 140732620698889 140732620698889 140732620701647 0
Current children cumulated CPU time: 46.89 s
Current children cumulated vsize: 15917052 KiB
Current children cumulated memory: 4479192 KiB
Child status: 1
Real time (s): 26.5504
CPU time (s): 46.9552
CPU user time (s): 44.5339
CPU system time (s): 2.42129
CPU usage (%): 176.853
Max. virtual memory (cumulated for all children) (KiB): 15917052
Max. memory (cumulated for all children) (KiB): 4479192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.5339
system time used= 2.42129
maximum resident set size= 4291668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 142144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6402
involuntary context switches= 281
# summary of solver processes directly reported to runsolver:
# pid: 31026
# total CPU time (s): 46.9552
# total CPU user time (s): 44.5339
# total CPU system time (s): 2.42129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.189144 second user time and 0.288874 second system time
The end