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:15:22 CEST 2018
0.67/0.55 c PID: 31272
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
2.86/1.39 c (0,0) Parsing End
3.15/1.41 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1354 ctr, max domain size 17
3.15/1.41 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.15/1.41 c (0,0) Constraint Name Generate Begin
3.15/1.43 c (0,0) Ctr:HOME/instance-4295073-1532538921.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.15/1.43 c (0,0) Constraint Name Generate End
3.15/1.43 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.15/1.43 c (0,0) CSP to CSPinCNF Begin
11.01/4.14 c (3,3) translated 136 (10%) constraints
11.71/4.58 c (4,4) translated 271 (20%) constraints
11.93/4.60 c (4,4) translated 407 (30%) constraints
11.93/4.62 c (4,4) translated 542 (40%) constraints
11.93/4.65 c (4,4) translated 677 (50%) constraints
11.93/4.68 c (4,4) translated 813 (60%) constraints
11.93/4.69 c (4,4) translated 948 (70%) constraints
12.29/4.71 c (4,4) translated 1084 (80%) constraints
13.08/5.06 c (4,4) translated 1219 (90%) constraints
15.09/6.74 c (6,6) translated 1354 (100%) constraints
16.63/7.32 c (6,6) STATISTICS1:HOME/instance-4295073-1532538921.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,13000,44370,9223372036854775807,17,18,200,9223372036854775807:186;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:1;17592186044416:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,17:13200;2:124609,18:200;3:22400;2:20600;1:1170,200:39;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;161:2;160:2;158:2;155:4;152:2;150:2;149:2;146:2;145:2;143:2;140:4;137:2;135:2;134:2;131:2;130:2;128:2;125:4;122:2;120:2;119:2;116:2;115:2;113:2;110:4;107:1;105:2;104:1;101:1;100:2;98:1;95:3;92:1;90:2;89:1;86:1;85:2;83:1;80:3;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:1;45:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:111800;0:200,17689:39;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;11449:2;11236:2;11025:2;10609:4;10201:2;10000:2;9801:2;9409:2;9216:2;9025:2;8649:4;8281:2;8100:2;7921:2;7569:2;7396:2;7225:2;6889:4;6561:2;6400:2;6241:2;5929:2;5776:2;5625:2;5329:4;5041:1;4900:2;4761:1;4489:1;4356:2;4225:1;3969:3;3721:1;3600:2;3481:1;3249:1;3136:2;3025:1;2809:3;2601:1;2500:2;2401:1;2209:1;2116:2;2025:1;1849:3
16.63/7.32 c (6,6) ===========================================
16.63/7.32 c (6,6) Both Encoding selects:
16.63/7.32 c (6,6) Log
16.63/7.32 c (6,6) ===========================================
17.78/7.75 c (7,7) translated 4437 (10%) constraints
18.36/7.91 c (7,7) translated 8874 (20%) constraints
18.36/7.97 c (7,7) translated 13311 (30%) constraints
18.62/8.04 c (7,7) translated 17748 (40%) constraints
18.62/8.10 c (7,7) translated 22185 (50%) constraints
18.74/8.16 c (7,7) translated 26622 (60%) constraints
18.85/8.22 c (7,7) translated 31059 (70%) constraints
18.85/8.29 c (7,7) translated 35496 (80%) constraints
18.95/8.35 c (7,7) translated 39933 (90%) constraints
19.84/8.80 c (8,8) translated 44370 (100%) constraints
19.95/8.80 c (8,8) CSP to CSPinCNF End
19.95/8.80 c (8,8) CSP: 200 int (0 aux), 16200 bool (15200 aux), 51187 ctr, max domain size 17
19.95/8.80 c (8,8) Heap : 858 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.95/8.80 c (8,8) CSPinCNF Propagation Begin
20.91/9.30 c (8,8) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
20.91/9.30 c (8,8) CSPinCNF Propagation End
20.91/9.30 c (8,8) CSP: 200 int (0 aux), 16200 bool (15200 aux), 50787 ctr, max domain size 17
20.91/9.30 c (8,8) Heap : 1076 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.91/9.30 c (8,8) Simplify CSPinCNF Begin
21.13/9.42 c (8,8) Simplify CSPinCNF End
21.13/9.42 c (8,8) CSP: 200 int (0 aux), 16200 bool (15200 aux), 50787 ctr, max domain size 17
21.13/9.42 c (8,8) Heap : 1131 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.13/9.42 c (8,8) Calculate Precise Domain Begin
21.13/9.42 c (8,8) 0 values are removed by re-calculation
21.13/9.42 c (8,8) Calculate Precise Domain End
21.13/9.42 c (8,8) CSP: 200 int (0 aux), 16200 bool (15200 aux), 50787 ctr, max domain size 17
21.13/9.42 c (8,8) Heap : 1131 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.13/9.42 c (8,8) CSPinCNF to SatSolver Begin
24.25/10.71 c (10,10) 5079 (10 %) CSP clauses are being encoded (103764 SAT variables, 236504 SAT clauses)
24.79/10.99 c (10,10) 10158 (20 %) CSP clauses are being encoded (121718 SAT variables, 274951 SAT clauses)
25.02/11.19 c (10,10) 15237 (30 %) CSP clauses are being encoded (131796 SAT variables, 298618 SAT clauses)
25.53/11.31 c (10,10) 20315 (40 %) CSP clauses are being encoded (135252 SAT variables, 309798 SAT clauses)
25.76/11.43 c (10,10) 25394 (50 %) CSP clauses are being encoded (138836 SAT variables, 321205 SAT clauses)
25.97/11.54 c (11,10) 30473 (60 %) CSP clauses are being encoded (142420 SAT variables, 332612 SAT clauses)
26.07/11.64 c (11,10) 35551 (70 %) CSP clauses are being encoded (146004 SAT variables, 344018 SAT clauses)
26.18/11.75 c (11,11) 40630 (80 %) CSP clauses are being encoded (149588 SAT variables, 355425 SAT clauses)
26.29/11.85 c (11,11) 45709 (90 %) CSP clauses are being encoded (153172 SAT variables, 366832 SAT clauses)
34.37/17.35 c (16,16) 50787 (100 %) CSP clauses are being encoded (654152 SAT variables, 1829696 SAT clauses)
35.02/17.69 c (16,16) CSPinCNF to SatSolver End
35.02/17.69 c (16,16) Heap : 1107 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
35.28/17.73 c (17,16) STATISTICS2:HOME/instance-4295073-1532538921.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16400,50787,9223372036854775807,17,17,200,9223372036854775807:186;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:1;17592186044416:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,17:19200;2:137809,17:200;3:22000;2:27400;1:1187,200:39;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;161:2;160:2;158:2;155:4;152:2;150:2;149:2;146:2;145:2;143:2;140:4;137:2;135:2;134:2;131:2;130:2;128:2;125:4;122:2;120:2;119:2;116:2;115:2;113:2;110:4;107:1;105:2;104:1;101:1;100:2;98:1;95:3;92:1;90:2;89:1;86:1;85:2;83:1;80:3;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:1;45:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:124200,2:186
35.28/17.73 c (17,16) SatSolver.solve Begin
35.28/17.73 c (17,16) 656357 bool, 1836102 clause
35.28/17.73 c (17,16) 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-4295073-1532538921.xml-scop-31272.cnf HOME/instance-4295073-1532538921.xml-scop-31272.cnf.out
35.97/18.30 c (17,0) receiving signal SIGTERM
35.97/18.30 s UNKNOWN
35.97/18.31 c (17,16) SatSolver is killed by some reasons.
35.97/18.31 c (17,16) 0,0,8,8,8,8,16,TO,TO,STOP-AFTER(DIMACS)
35.97/18.31 c END-Prog: Wed Jul 25 19:15:39 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-4295073-1532538921/watcher-4295073-1532538921 -o /tmp/evaluation-result-4295073-1532538921/solver-4295073-1532538921 -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-4295073-1532538921.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=31272, runsolver pid=31269
[startup+0.100093 s]*
/proc/loadavg: 4.49 4.84 4.68 7/214 31287
/proc/meminfo: memFree=12239628/32770624 swapFree=67076460/67108860
[pid=31272] ppid=31269 vsize=15011656 memory=72676 CPUtime=0.12 cores=0,2,4,6
/proc/31272/stat : 31272 (java) S 31269 31272 29212 0 -1 1077944320 6837 0 0 0 10 2 0 0 20 0 15 0 71455277 15371935744 18169 33554432000 4194304 4196468 140722401797904 140722401780448 139957884677879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
/proc/31272/statm: 3752914 18169 2780 1 0 3715374 0
[pid=31272/tid=31274] ppid=31269 vsize=15011656 memory=-8628507060847283837 CPUtime=0.09 cores=0,2,4,6
/proc/31272/task/31274/stat : 31274 (java) R 31269 31272 29212 0 -1 4202560 4951 0 0 0 8 1 0 0 20 0 15 0 71455277 15371935744 18169 33554432000 4194304 4196468 140722401797904 139957856489864 139957864953639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31275] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31275/stat : 31275 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 18169 33554432000 4194304 4196468 140722401797904 139957888920720 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31276] ppid=31269 vsize=15011656 memory=140616011007616 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31276/stat : 31276 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 18169 33554432000 4194304 4196468 140722401797904 139957687696400 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31277] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31277/stat : 31277 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 18169 33554432000 4194304 4196468 140722401797904 139957686643600 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31278] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31278/stat : 31278 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 18169 33554432000 4194304 4196468 140722401797904 139957685590800 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31279] ppid=31269 vsize=15011656 memory=140616011007616 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31279/stat : 31279 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71455280 15371935744 18169 33554432000 4194304 4196468 140722401797904 139957292001648 139957884689026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31280] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31280/stat : 31280 (java) S 31269 31272 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71455281 15371935744 18235 33554432000 4194304 4196468 140722401797904 139956441834528 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31281] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31281/stat : 31281 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455281 15371935744 18235 33554432000 4194304 4196468 140722401797904 139956206953328 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31282] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31282/stat : 31282 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455283 15371935744 18235 33554432000 4194304 4196468 140722401797904 139955832444752 139957884696475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31283] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31283/stat : 31283 (java) S 31269 31272 29212 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 71455283 15371935744 18235 33554432000 4194304 4196468 140722401797904 139957290949488 139957884689026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31284] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31284/stat : 31284 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455283 15371935744 18235 33554432000 4194304 4196468 140722401797904 139957289896688 139957884689026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31285] ppid=31269 vsize=15011656 memory=140616011007616 CPUtime=0.01 cores=0,2,4,6
/proc/31272/task/31285/stat : 31285 (java) S 31269 31272 29212 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 71455283 15371935744 18235 33554432000 4194304 4196468 140722401797904 139957288843888 139957884689026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31286] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31286/stat : 31286 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455284 15371935744 18235 33554432000 4194304 4196468 140722401797904 139955334540000 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31287] ppid=31269 vsize=15011656 memory=140616011007616 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31287/stat : 31287 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455284 15371935744 18235 33554432000 4194304 4196468 140722401797904 139957287791280 139957884689026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72676 KiB
[startup+0.210261 s]*
/proc/loadavg: 4.53 4.85 4.68 6/214 31287
/proc/meminfo: memFree=12225800/32770624 swapFree=67076460/67108860
[pid=31272] ppid=31269 vsize=15011656 memory=85504 CPUtime=0.25 cores=0,2,4,6
/proc/31272/stat : 31272 (java) S 31269 31272 29212 0 -1 1077944320 10365 0 0 0 23 2 0 0 20 0 15 0 71455277 15371935744 21376 33554432000 4194304 4196468 140722401797904 140722401780448 139957884677879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
/proc/31272/statm: 3752914 21376 2889 1 0 3715374 0
[pid=31272/tid=31274] ppid=31269 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31272/task/31274/stat : 31274 (java) R 31269 31272 29212 0 -1 4202560 8253 0 0 0 18 2 0 0 20 0 15 0 71455277 15371935744 21376 33554432000 4194304 4196468 140722401797904 139957856496912 139957884689814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31275] ppid=31269 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31275/stat : 31275 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 21376 33554432000 4194304 4196468 140722401797904 139957888920720 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31276] ppid=31269 vsize=15011656 memory=3616867812999874208 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31276/stat : 31276 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 21376 33554432000 4194304 4196468 140722401797904 139957687696400 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31277] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31277/stat : 31277 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 21376 33554432000 4194304 4196468 140722401797904 139957686643600 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31278] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31278/stat : 31278 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 21376 33554432000 4194304 4196468 140722401797904 139957685590800 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31279] ppid=31269 vsize=15011656 memory=140616011007616 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31279/stat : 31279 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71455280 15371935744 21376 33554432000 4194304 4196468 140722401797904 139957292001648 139957884689026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31280] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31280/stat : 31280 (java) S 31269 31272 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71455281 15371935744 21376 33554432000 4194304 4196468 140722401797904 139956441834528 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31281] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31281/stat : 31281 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455281 15371935744 21376 33554432000 4194304 4196468 140722401797904 139956206953328 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31282] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31282/stat : 31282 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455283 15371935744 21376 33554432000 4194304 4196468 140722401797904 139955832444752 139957884696475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31283] ppid=31269 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31272/task/31283/stat : 31283 (java) R 31269 31272 29212 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 15 0 71455283 15371935744 21376 33554432000 4194304 4196468 140722401797904 139957290949488 139957884689026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31284] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31284/stat : 31284 (java) R 31269 31272 29212 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 15 0 71455283 15371935744 21376 33554432000 4194304 4196468 140722401797904 139957289896688 139957877662921 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31285] ppid=31269 vsize=15011656 memory=140616011007616 CPUtime=0.03 cores=0,2,4,6
/proc/31272/task/31285/stat : 31285 (java) R 31269 31272 29212 0 -1 4202560 313 0 0 0 3 0 0 0 20 0 15 0 71455283 15371935744 21376 33554432000 4194304 4196468 140722401797904 139957288843888 139957884699226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31286] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31286/stat : 31286 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455284 15371935744 21376 33554432000 4194304 4196468 140722401797904 139955334540000 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31287] ppid=31269 vsize=15011656 memory=140616011007616 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31287/stat : 31287 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455284 15371935744 21376 33554432000 4194304 4196468 140722401797904 139957287791280 139957884689026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85504 KiB
[startup+0.310219 s]*
/proc/loadavg: 4.53 4.85 4.68 6/214 31287
/proc/meminfo: memFree=12222140/32770624 swapFree=67076460/67108860
[pid=31272] ppid=31269 vsize=15011656 memory=89656 CPUtime=0.43 cores=0,2,4,6
/proc/31272/stat : 31272 (java) S 31269 31272 29212 0 -1 1077944320 10967 0 0 0 40 3 0 0 20 0 15 0 71455277 15371935744 22414 33554432000 4194304 4196468 140722401797904 140722401780448 139957884677879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
/proc/31272/statm: 3752914 22414 2989 1 0 3715374 0
[pid=31272/tid=31274] ppid=31269 vsize=15011656 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/31272/task/31274/stat : 31274 (java) R 31269 31272 29212 0 -1 4202560 8687 0 0 0 27 2 0 0 20 0 15 0 71455277 15371935744 22414 33554432000 4194304 4196468 140722401797904 139957856482032 139957884699226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31275] ppid=31269 vsize=15011656 memory=8941 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31275/stat : 31275 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 22414 33554432000 4194304 4196468 140722401797904 139957888920720 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31276] ppid=31269 vsize=15011656 memory=3906785939500222112 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31276/stat : 31276 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 22414 33554432000 4194304 4196468 140722401797904 139957687696400 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31277] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31277/stat : 31277 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 22414 33554432000 4194304 4196468 140722401797904 139957686643600 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31278] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31278/stat : 31278 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71455279 15371935744 22414 33554432000 4194304 4196468 140722401797904 139957685590800 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31279] ppid=31269 vsize=15011656 memory=140616011007616 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31279/stat : 31279 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71455280 15371935744 22414 33554432000 4194304 4196468 140722401797904 139957292001648 139957884689026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31280] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31280/stat : 31280 (java) S 31269 31272 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71455281 15371935744 22414 33554432000 4194304 4196468 140722401797904 139956441834528 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31281] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31281/stat : 31281 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455281 15371935744 22414 33554432000 4194304 4196468 140722401797904 139956206953328 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31282] ppid=31269 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31282/stat : 31282 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455283 15371935744 22414 33554432000 4194304 4196468 140722401797904 139955832444752 139957884696475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31283] ppid=31269 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31272/task/31283/stat : 31283 (java) R 31269 31272 29212 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 71455283 15371935744 22414 33554432000 4194304 4196468 140722401797904 139957290949488 139957884689026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31284] ppid=31269 vsize=15011656 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/31272/task/31284/stat : 31284 (java) R 31269 31272 29212 0 -1 4202560 149 0 0 0 3 0 0 0 20 0 15 0 71455283 15371935744 22414 33554432000 4194304 4196468 140722401797904 139957289896688 139957867885950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31285] ppid=31269 vsize=15011656 memory=140616011007616 CPUtime=0.07 cores=0,2,4,6
/proc/31272/task/31285/stat : 31285 (java) R 31269 31272 29212 0 -1 4202560 354 0 0 0 7 0 0 0 20 0 15 0 71455283 15371935744 22414 33554432000 4194304 4196468 140722401797904 139957288843888 139957884689814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31286] ppid=31269 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31286/stat : 31286 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455284 15371935744 22414 33554432000 4194304 4196468 140722401797904 139955334540000 139957884688085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31287] ppid=31269 vsize=15011656 memory=140616011007616 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31287/stat : 31287 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455284 15371935744 22414 33554432000 4194304 4196468 140722401797904 139957287791280 139957884689026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89656 KiB
[startup+0.702117 s]
/proc/loadavg: 4.53 4.85 4.68 6/214 31287
/proc/meminfo: memFree=12197956/32770624 swapFree=67076460/67108860
[pid=31272] ppid=31269 vsize=15017928 memory=131536 CPUtime=1.03 cores=0,2,4,6
/proc/31272/stat : 31272 (java) S 31269 31272 29212 0 -1 1077944320 18035 0 0 0 98 5 0 0 20 0 15 0 71455277 15378358272 32884 33554432000 4194304 4196468 140722401797904 140722401780448 139957884677879 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
/proc/31272/statm: 3754482 32884 3136 1 0 3715886 0
[pid=31272/tid=31274] ppid=31269 vsize=15017928 memory=9972 CPUtime=0.67 cores=0,2,4,6
/proc/31272/task/31274/stat : 31274 (java) R 31269 31272 29212 0 -1 4202560 15241 0 0 0 63 4 0 0 20 0 15 0 71455277 15378358272 32884 33554432000 4194304 4196468 140722401797904 139957856509776 139957868758366 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31275] ppid=31269 vsize=15017928 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31275/stat : 31275 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15378358272 32884 33554432000 4194304 4196468 140722401797904 139957888920720 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31276] ppid=31269 vsize=15017928 memory=640 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31276/stat : 31276 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15378358272 32884 33554432000 4194304 4196468 140722401797904 139957687696400 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31277] ppid=31269 vsize=15017928 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31277/stat : 31277 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15378358272 32884 33554432000 4194304 4196468 140722401797904 139957686643600 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31278] ppid=31269 vsize=15017928 memory=960 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31278/stat : 31278 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71455279 15378358272 32884 33554432000 4194304 4196468 140722401797904 139957685590800 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31279] ppid=31269 vsize=15017928 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31279/stat : 31279 (java) S 31269 31272 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71455280 15378358272 32884 33554432000 4194304 4196468 140722401797904 139957292001648 139957884689026 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31280] ppid=31269 vsize=15017928 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31280/stat : 31280 (java) S 31269 31272 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71455281 15378358272 32884 33554432000 4194304 4196468 140722401797904 139956441834528 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31281] ppid=31269 vsize=15017928 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31281/stat : 31281 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455281 15378358272 32884 33554432000 4194304 4196468 140722401797904 139956206953328 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31282] ppid=31269 vsize=15019976 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31282/stat : 31282 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455283 15380455424 32884 33554432000 4194304 4196468 140722401797904 139955832444752 139957884696475 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31283] ppid=31269 vsize=15019976 memory=7881696724453321575 CPUtime=0.09 cores=0,2,4,6
/proc/31272/task/31283/stat : 31283 (java) R 31269 31272 29212 0 -1 1077944384 706 0 0 0 9 0 0 0 20 0 15 0 71455283 15380455424 32884 33554432000 4194304 4196468 140722401797904 139957290941440 139957884688085 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31284] ppid=31269 vsize=15019976 memory=7019257425709197167 CPUtime=0.07 cores=0,2,4,6
/proc/31272/task/31284/stat : 31284 (java) R 31269 31272 29212 0 -1 4202560 214 0 0 0 7 0 0 0 20 0 15 0 71455283 15380455424 32884 33554432000 4194304 4196468 140722401797904 139957289885488 139957869586978 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31285] ppid=31269 vsize=15019976 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/31272/task/31285/stat : 31285 (java) R 31269 31272 29212 0 -1 4202560 537 0 0 0 17 0 0 0 20 0 15 0 71455283 15380455424 32884 33554432000 4194304 4196468 140722401797904 139957288840824 139957864994559 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31286] ppid=31269 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31286/stat : 31286 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455284 15380455424 32884 33554432000 4194304 4196468 140722401797904 139955334540000 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31287] ppid=31269 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31287/stat : 31287 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455284 15380455424 32884 33554432000 4194304 4196468 140722401797904 139957287791280 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131536 KiB
[startup+1.50152 s]
/proc/loadavg: 4.53 4.85 4.68 9/214 31287
/proc/meminfo: memFree=12159608/32770624 swapFree=67076460/67108860
[pid=31272] ppid=31269 vsize=15022100 memory=193252 CPUtime=3.42 cores=0,2,4,6
/proc/31272/stat : 31272 (java) S 31269 31272 29212 0 -1 1077944320 22069 0 0 0 333 9 0 0 20 0 15 0 71455277 15382630400 48313 33554432000 4194304 4196468 140722401797904 140722401780448 139957884677879 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
/proc/31272/statm: 3755525 48313 3213 1 0 3716910 0
[pid=31272/tid=31274] ppid=31269 vsize=15022100 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/31272/task/31274/stat : 31274 (java) R 31269 31272 29212 0 -1 4202560 16270 0 0 0 140 6 0 0 20 0 15 0 71455277 15382630400 48313 33554432000 4194304 4196468 140722401797904 139957856509792 139957371492896 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31275] ppid=31269 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31275/stat : 31275 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15382630400 48313 33554432000 4194304 4196468 140722401797904 139957888920720 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31276] ppid=31269 vsize=15022100 memory=281231775038464 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31276/stat : 31276 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15382630400 48313 33554432000 4194304 4196468 140722401797904 139957687696400 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31277] ppid=31269 vsize=15022100 memory=7093354147825893558 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31277/stat : 31277 (java) S 31269 31272 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71455279 15382630400 48313 33554432000 4194304 4196468 140722401797904 139957686643600 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31278] ppid=31269 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31278/stat : 31278 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71455279 15382630400 48313 33554432000 4194304 4196468 140722401797904 139957685590800 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31279] ppid=31269 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31279/stat : 31279 (java) S 31269 31272 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71455280 15382630400 48313 33554432000 4194304 4196468 140722401797904 139957292001648 139957884689026 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
################
# More data... #
################
/proc/31272/task/31285/stat : 31285 (java) S 31269 31272 29212 0 -1 1077944384 4229 0 0 0 129 2 0 0 20 0 15 0 71455283 15384727552 602527 33554432000 4194304 4196468 140722401797904 139957288843888 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31286] ppid=31269 vsize=15024148 memory=1343920 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31286/stat : 31286 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455284 15384727552 602527 33554432000 4194304 4196468 140722401797904 139955334540000 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31287] ppid=31269 vsize=15024148 memory=1190968 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31287/stat : 31287 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455284 15384727552 602527 33554432000 4194304 4196468 140722401797904 139957287791280 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
Current children cumulated CPU time: 14.63 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2410108 KiB
[startup+12.7052 s]
/proc/loadavg: 4.59 4.85 4.69 8/215 31288
/proc/meminfo: memFree=9211500/32770624 swapFree=67076460/67108860
[pid=31272] ppid=31269 vsize=15028312 memory=3253020 CPUtime=28.46 cores=0,2,4,6
/proc/31272/stat : 31272 (java) S 31269 31272 29212 0 -1 1077944320 44008 0 0 0 2765 81 0 0 20 0 15 0 71455277 15388991488 813255 33554432000 4194304 4196468 140722401797904 140722401780448 139957884677879 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
/proc/31272/statm: 3757078 813255 3250 1 0 3717934 0
[pid=31272/tid=31274] ppid=31269 vsize=15028312 memory=164 CPUtime=12.39 cores=0,2,4,6
/proc/31272/task/31274/stat : 31274 (java) S 31269 31272 29212 0 -1 1077944384 20244 0 0 0 1190 49 0 0 20 0 15 0 71455277 15388991488 813255 33554432000 4194304 4196468 140722401797904 139957856511104 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31275] ppid=31269 vsize=15028312 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/31272/task/31275/stat : 31275 (java) R 31269 31272 29212 0 -1 4202560 110 0 0 0 14 4 0 0 20 0 15 0 71455279 15388991488 813255 33554432000 4194304 4196468 140722401797904 139957888920608 139957869705002 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31276] ppid=31269 vsize=15028312 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/31272/task/31276/stat : 31276 (java) R 31269 31272 29212 0 -1 4202560 128 0 0 0 18 6 0 0 20 0 15 0 71455279 15388991488 813255 33554432000 4194304 4196468 140722401797904 139957687696600 139957869701582 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31277] ppid=31269 vsize=15028312 memory=281231774191160 CPUtime=0.19 cores=0,2,4,6
/proc/31272/task/31277/stat : 31277 (java) R 31269 31272 29212 0 -1 4202560 101 0 0 0 14 5 0 0 20 0 15 0 71455279 15388991488 813255 33554432000 4194304 4196468 140722401797904 139957686643600 139957869705161 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31278] ppid=31269 vsize=15028312 memory=4206468019014099040 CPUtime=0.24 cores=0,2,4,6
/proc/31272/task/31278/stat : 31278 (java) R 31269 31272 29212 0 -1 4202560 130 0 0 0 18 6 0 0 20 0 15 0 71455279 15388991488 813255 33554432000 4194304 4196468 140722401797904 139957685591000 139957869701616 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31279] ppid=31269 vsize=15028312 memory=136488423525098 CPUtime=0.01 cores=0,2,4,6
/proc/31272/task/31279/stat : 31279 (java) S 31269 31272 29212 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 71455280 15388991488 813255 33554432000 4194304 4196468 140722401797904 139957292000160 139957884688085 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31280] ppid=31269 vsize=15028312 memory=1664 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31280/stat : 31280 (java) S 31269 31272 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71455281 15388991488 813255 33554432000 4194304 4196468 140722401797904 139956441834528 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31281] ppid=31269 vsize=15028312 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31281/stat : 31281 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71455281 15388991488 813255 33554432000 4194304 4196468 140722401797904 139956206953344 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31282] ppid=31269 vsize=15028312 memory=800 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31282/stat : 31282 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455283 15388991488 813255 33554432000 4194304 4196468 140722401797904 139955832444752 139957884696475 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31283] ppid=31269 vsize=15028312 memory=5192 CPUtime=6.75 cores=0,2,4,6
/proc/31272/task/31283/stat : 31283 (java) S 31269 31272 29212 0 -1 1077944384 10016 0 0 0 673 2 0 0 20 0 15 0 71455283 15388991488 813255 33554432000 4194304 4196468 140722401797904 139957290949488 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31284] ppid=31269 vsize=15028312 memory=3086156 CPUtime=6.72 cores=0,2,4,6
/proc/31272/task/31284/stat : 31284 (java) S 31269 31272 29212 0 -1 1077944384 7621 0 0 0 671 1 0 0 20 0 15 0 71455283 15388991488 813255 33554432000 4194304 4196468 140722401797904 139957289896688 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31285] ppid=31269 vsize=15028312 memory=3085860 CPUtime=1.65 cores=0,2,4,6
/proc/31272/task/31285/stat : 31285 (java) S 31269 31272 29212 0 -1 1077944384 4302 0 0 0 162 3 0 0 20 0 15 0 71455283 15388991488 813255 33554432000 4194304 4196468 140722401797904 139957288843888 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31286] ppid=31269 vsize=15028312 memory=2223 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31286/stat : 31286 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455284 15388991488 813255 33554432000 4194304 4196468 140722401797904 139955334540000 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31287] ppid=31269 vsize=15028312 memory=965 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31287/stat : 31287 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71455284 15388991488 813255 33554432000 4194304 4196468 140722401797904 139957287791280 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
Current children cumulated CPU time: 28.46 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3253020 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+18.301 s]
/proc/loadavg: 4.63 4.85 4.69 3/220 31294
/proc/meminfo: memFree=8527876/32770624 swapFree=67076460/67108860
[pid=31272] ppid=31269 vsize=15683912 memory=3649528 CPUtime=35.43 cores=0,2,4,6
/proc/31272/stat : 31272 (java) S 31269 31272 29212 0 -1 1077944320 45582 0 0 0 3405 138 0 0 20 0 19 0 71455277 16060325888 912382 33554432000 4194304 4196468 140722401797904 140722401780448 139957884677879 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
/proc/31272/statm: 3920978 912382 3254 1 0 3881834 0
[pid=31289] ppid=31272 vsize=212428 memory=180516 CPUtime=0.54 cores=0,2,4,6
/proc/31289/stat : 31289 (minisat_release) R 31272 31272 29212 0 -1 4202496 37936 0 0 0 48 6 0 0 20 0 1 0 71457052 217526272 45129 33554432000 4194304 4308513 140729964362736 140729963311144 139944712387557 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6409496 6410680 36847616 140729964364463 140729964364974 140729964364974 140729964367813 0
/proc/31289/statm: 53107 45129 318 28 0 49347 0
[pid=31272/tid=31274] ppid=31269 vsize=15683912 memory=3649528 CPUtime=17.04 cores=0,2,4,6
/proc/31272/task/31274/stat : 31274 (java) S 31269 31272 29212 0 -1 1077944384 20954 0 0 0 1649 55 0 0 20 0 19 0 71455277 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957856517120 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31275] ppid=31269 vsize=15683912 memory=3649528 CPUtime=0.61 cores=0,2,4,6
/proc/31272/task/31275/stat : 31275 (java) S 31269 31272 29212 0 -1 1077944384 299 0 0 0 44 17 0 0 20 0 19 0 71455279 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957888920720 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31276] ppid=31269 vsize=15683912 memory=281231774465664 CPUtime=0.66 cores=0,2,4,6
/proc/31272/task/31276/stat : 31276 (java) S 31269 31272 29212 0 -1 1077944384 338 0 0 0 48 18 0 0 20 0 19 0 71455279 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957687696400 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31277] ppid=31269 vsize=15683912 memory=8747226831578988619 CPUtime=0.62 cores=0,2,4,6
/proc/31272/task/31277/stat : 31277 (java) S 31269 31272 29212 0 -1 1077944384 292 0 0 0 44 18 0 0 20 0 19 0 71455279 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957686643600 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31278] ppid=31269 vsize=15683912 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/31272/task/31278/stat : 31278 (java) S 31269 31272 29212 0 -1 1077944384 320 0 0 0 48 19 0 0 20 0 19 0 71455279 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957685590800 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31279] ppid=31269 vsize=15683912 memory=2244 CPUtime=0.02 cores=0,2,4,6
/proc/31272/task/31279/stat : 31279 (java) S 31269 31272 29212 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 19 0 71455280 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957292001648 139957884689026 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31280] ppid=31269 vsize=15683912 memory=56 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31280/stat : 31280 (java) S 31269 31272 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71455281 16060325888 912382 33554432000 4194304 4196468 140722401797904 139956441834592 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31281] ppid=31269 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31281/stat : 31281 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71455281 16060325888 912382 33554432000 4194304 4196468 140722401797904 139956206953344 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31282] ppid=31269 vsize=15683912 memory=3316736 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31282/stat : 31282 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71455283 16060325888 912382 33554432000 4194304 4196468 140722401797904 139955832444752 139957884696475 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31283] ppid=31269 vsize=15683912 memory=18464 CPUtime=7.02 cores=0,2,4,6
/proc/31272/task/31283/stat : 31283 (java) S 31269 31272 29212 0 -1 1077944384 10017 0 0 0 700 2 0 0 20 0 19 0 71455283 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957290949488 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31284] ppid=31269 vsize=15683912 memory=776 CPUtime=6.97 cores=0,2,4,6
/proc/31272/task/31284/stat : 31284 (java) S 31269 31272 29212 0 -1 1077944384 7622 0 0 0 696 1 0 0 20 0 19 0 71455283 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957289896688 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31285] ppid=31269 vsize=15683912 memory=3324700 CPUtime=1.71 cores=0,2,4,6
/proc/31272/task/31285/stat : 31285 (java) S 31269 31272 29212 0 -1 1077944384 4312 0 0 0 168 3 0 0 20 0 19 0 71455283 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957288843888 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31286] ppid=31269 vsize=15683912 memory=3324700 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31286/stat : 31286 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71455284 16060325888 912382 33554432000 4194304 4196468 140722401797904 139955334540000 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31287] ppid=31269 vsize=15683912 memory=3646516 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31287/stat : 31287 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71455284 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957287791280 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31290] ppid=31269 vsize=15683912 memory=3649528 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31290/stat : 31290 (java) S 31269 31272 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71457052 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957683635392 139957884702489 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31292] ppid=31269 vsize=15683912 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31292/stat : 31292 (java) S 31269 31272 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 71457053 16060325888 912382 33554432000 4194304 4196468 140722401797904 139954797653168 139957884699805 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31293] ppid=31269 vsize=15683912 memory=960 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31293/stat : 31293 (java) S 31269 31272 29212 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 71457053 16060325888 912382 33554432000 4194304 4196468 140722401797904 139954529222704 139957884699805 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31294] ppid=31269 vsize=15683912 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31294/stat : 31294 (java) S 31269 31272 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 71457054 16060325888 912382 33554432000 4194304 4196468 140722401797904 139954931883680 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
Current children cumulated CPU time: 35.97 s
Current children cumulated vsize: 15896340 KiB
Current children cumulated memory: 3830044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+18.3428 s]
# the end of solver process 31272 was just reported to runsolver
# cumulated CPU time of all completed processes: user=34.5473 s, system=1.49092 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+18.301 s]
/proc/loadavg: 4.63 4.85 4.69 3/220 31294
/proc/meminfo: memFree=8527876/32770624 swapFree=67076460/67108860
[pid=31272] ppid=31269 vsize=15683912 memory=3649528 CPUtime=35.43 cores=0,2,4,6
/proc/31272/stat : 31272 (java) S 31269 31272 29212 0 -1 1077944320 45582 0 0 0 3405 138 0 0 20 0 19 0 71455277 16060325888 912382 33554432000 4194304 4196468 140722401797904 140722401780448 139957884677879 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
/proc/31272/statm: 3920978 912382 3254 1 0 3881834 0
[pid=31289] ppid=31272 vsize=212428 memory=180516 CPUtime=0.54 cores=0,2,4,6
/proc/31289/stat : 31289 (minisat_release) R 31272 31272 29212 0 -1 4202496 37936 0 0 0 48 6 0 0 20 0 1 0 71457052 217526272 45129 33554432000 4194304 4308513 140729964362736 140729963311144 139944712387557 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6409496 6410680 36847616 140729964364463 140729964364974 140729964364974 140729964367813 0
/proc/31289/statm: 53107 45129 318 28 0 49347 0
[pid=31272/tid=31274] ppid=31269 vsize=15683912 memory=3649528 CPUtime=17.04 cores=0,2,4,6
/proc/31272/task/31274/stat : 31274 (java) S 31269 31272 29212 0 -1 1077944384 20954 0 0 0 1649 55 0 0 20 0 19 0 71455277 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957856517120 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31275] ppid=31269 vsize=15683912 memory=3649528 CPUtime=0.61 cores=0,2,4,6
/proc/31272/task/31275/stat : 31275 (java) S 31269 31272 29212 0 -1 1077944384 299 0 0 0 44 17 0 0 20 0 19 0 71455279 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957888920720 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31276] ppid=31269 vsize=15683912 memory=281231774465664 CPUtime=0.66 cores=0,2,4,6
/proc/31272/task/31276/stat : 31276 (java) S 31269 31272 29212 0 -1 1077944384 338 0 0 0 48 18 0 0 20 0 19 0 71455279 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957687696400 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31277] ppid=31269 vsize=15683912 memory=8747226831578988619 CPUtime=0.62 cores=0,2,4,6
/proc/31272/task/31277/stat : 31277 (java) S 31269 31272 29212 0 -1 1077944384 292 0 0 0 44 18 0 0 20 0 19 0 71455279 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957686643600 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31278] ppid=31269 vsize=15683912 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/31272/task/31278/stat : 31278 (java) S 31269 31272 29212 0 -1 1077944384 320 0 0 0 48 19 0 0 20 0 19 0 71455279 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957685590800 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31279] ppid=31269 vsize=15683912 memory=2244 CPUtime=0.02 cores=0,2,4,6
/proc/31272/task/31279/stat : 31279 (java) S 31269 31272 29212 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 19 0 71455280 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957292001648 139957884689026 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31280] ppid=31269 vsize=15683912 memory=56 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31280/stat : 31280 (java) S 31269 31272 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71455281 16060325888 912382 33554432000 4194304 4196468 140722401797904 139956441834592 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31281] ppid=31269 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31281/stat : 31281 (java) S 31269 31272 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71455281 16060325888 912382 33554432000 4194304 4196468 140722401797904 139956206953344 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31282] ppid=31269 vsize=15683912 memory=3316736 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31282/stat : 31282 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71455283 16060325888 912382 33554432000 4194304 4196468 140722401797904 139955832444752 139957884696475 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31283] ppid=31269 vsize=15683912 memory=18464 CPUtime=7.02 cores=0,2,4,6
/proc/31272/task/31283/stat : 31283 (java) S 31269 31272 29212 0 -1 1077944384 10017 0 0 0 700 2 0 0 20 0 19 0 71455283 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957290949488 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31284] ppid=31269 vsize=15683912 memory=776 CPUtime=6.97 cores=0,2,4,6
/proc/31272/task/31284/stat : 31284 (java) S 31269 31272 29212 0 -1 1077944384 7622 0 0 0 696 1 0 0 20 0 19 0 71455283 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957289896688 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31285] ppid=31269 vsize=15683912 memory=3324700 CPUtime=1.71 cores=0,2,4,6
/proc/31272/task/31285/stat : 31285 (java) S 31269 31272 29212 0 -1 1077944384 4312 0 0 0 168 3 0 0 20 0 19 0 71455283 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957288843888 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31286] ppid=31269 vsize=15683912 memory=3324700 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31286/stat : 31286 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71455284 16060325888 912382 33554432000 4194304 4196468 140722401797904 139955334540000 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31287] ppid=31269 vsize=15683912 memory=3646516 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31287/stat : 31287 (java) S 31269 31272 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71455284 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957287791280 139957884689026 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31290] ppid=31269 vsize=15683912 memory=3649528 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31290/stat : 31290 (java) S 31269 31272 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71457052 16060325888 912382 33554432000 4194304 4196468 140722401797904 139957683635392 139957884702489 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31292] ppid=31269 vsize=15683912 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31292/stat : 31292 (java) S 31269 31272 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 71457053 16060325888 912382 33554432000 4194304 4196468 140722401797904 139954797653168 139957884699805 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31293] ppid=31269 vsize=15683912 memory=960 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31293/stat : 31293 (java) S 31269 31272 29212 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 71457053 16060325888 912382 33554432000 4194304 4196468 140722401797904 139954529222704 139957884699805 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
[pid=31272/tid=31294] ppid=31269 vsize=15683912 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31272/task/31294/stat : 31294 (java) S 31269 31272 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 71457054 16060325888 912382 33554432000 4194304 4196468 140722401797904 139954931883680 139957884688085 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140722401801204 140722401801481 140722401801481 140722401804239 0
Current children cumulated CPU time: 35.97 s
Current children cumulated vsize: 15896340 KiB
Current children cumulated memory: 3830044 KiB
Child status: 1
Real time (s): 18.3428
CPU time (s): 36.0382
CPU user time (s): 34.5473
CPU system time (s): 1.49092
CPU usage (%): 196.47
Max. virtual memory (cumulated for all children) (KiB): 15896340
Max. memory (cumulated for all children) (KiB): 3830044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.5473
system time used= 1.49092
maximum resident set size= 3651608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 79560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5882
involuntary context switches= 202
# summary of solver processes directly reported to runsolver:
# pid: 31272
# total CPU time (s): 36.0382
# total CPU user time (s): 34.5473
# total CPU system time (s): 1.49092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.132594 second user time and 0.221952 second system time
The end