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:08:48 CEST 2018
0.67/0.55 c PID: 30194
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.89/1.39 c (0,0) Parsing End
2.89/1.40 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1379 ctr, max domain size 24
2.89/1.40 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.89/1.40 c (0,0) Constraint Name Generate Begin
3.22/1.43 c (0,0) Ctr:HOME/instance-4294956-1532538527.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.22/1.43 c (0,0) Constraint Name Generate End
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) CSP to CSPinCNF Begin
12.27/4.73 c (4,4) translated 138 (10%) constraints
12.82/5.27 c (4,4) translated 276 (20%) constraints
12.82/5.29 c (4,4) translated 414 (30%) constraints
13.06/5.32 c (4,4) translated 552 (40%) constraints
13.06/5.35 c (4,4) translated 690 (50%) constraints
13.06/5.38 c (4,4) translated 828 (60%) constraints
13.06/5.39 c (4,4) translated 966 (70%) constraints
13.42/5.41 c (4,4) translated 1104 (80%) constraints
14.81/6.21 c (5,5) translated 1242 (90%) constraints
16.66/7.74 c (7,7) translated 1379 (100%) constraints
17.86/8.26 c (7,7) STATISTICS1:HOME/instance-4294956-1532538527.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57402,9223372036854775807,24,25,200,9223372036854775807:221;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:2;8796093022208:1;1099511627776:1;137438953472:1;17179869184:1;2147483648:1;268435456:1;16:392;4:396;2:199,24:18800;2:156849,25:200;3:29600;2:26400;1:1202,200:53;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;116:2;115:2;113:2;110:3;107:2;105:1;104:2;101:2;100:1;98:2;95:3;92:2;89:2;86:2;83:2;80:2;77:2;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:2;44:1;41:1;38:1;35:1;32:1;29:1;5:392;3:396;2:199;1:146400;0:200,17689:53;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;5929:2;5776:2;5625:2;5329:3;5041:2;4900:1;4761:2;4489:2;4356:1;4225:2;3969:3;3721:2;3481:2;3249:2;3025:2;2809:2;2601:2;2401:2;2209:2;2025:2;1849:2
17.86/8.26 c (7,7) ===========================================
17.86/8.26 c (7,7) Both Encoding selects:
17.86/8.26 c (7,7) Log
17.86/8.26 c (7,7) ===========================================
19.42/8.81 c (8,8) translated 5741 (10%) constraints
19.96/9.02 c (8,8) translated 11481 (20%) constraints
19.96/9.10 c (8,8) translated 17221 (30%) constraints
20.20/9.18 c (8,8) translated 22961 (40%) constraints
20.29/9.27 c (8,8) translated 28701 (50%) constraints
20.39/9.35 c (8,8) translated 34442 (60%) constraints
20.49/9.43 c (8,8) translated 40182 (70%) constraints
20.59/9.51 c (8,8) translated 45922 (80%) constraints
20.59/9.60 c (9,8) translated 51662 (90%) constraints
22.22/10.63 c (10,9) translated 57402 (100%) constraints
22.22/10.64 c (10,9) CSP to CSPinCNF End
22.22/10.64 c (10,9) CSP: 200 int (0 aux), 21200 bool (20200 aux), 67026 ctr, max domain size 24
22.22/10.64 c (10,9) Heap : 1539 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.22/10.65 c (10,9) CSPinCNF Propagation Begin
23.27/11.24 c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.27/11.24 c (10,10) CSPinCNF Propagation End
23.27/11.24 c (10,10) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
23.27/11.24 c (10,10) Heap : 1870 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.27/11.24 c (10,10) Simplify CSPinCNF Begin
23.50/11.39 c (10,10) Simplify CSPinCNF End
23.50/11.39 c (10,10) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
23.50/11.39 c (10,10) Heap : 1925 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.50/11.39 c (10,10) Calculate Precise Domain Begin
23.50/11.39 c (10,10) 0 values are removed by re-calculation
23.50/11.39 c (10,10) Calculate Precise Domain End
23.50/11.40 c (10,10) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
23.50/11.40 c (10,10) Heap : 1925 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.50/11.40 c (10,10) CSPinCNF to SatSolver Begin
26.62/12.78 c (12,12) 6663 (10 %) CSP clauses are being encoded (113315 SAT variables, 243059 SAT clauses)
27.52/13.15 c (12,12) 13326 (20 %) CSP clauses are being encoded (136568 SAT variables, 292895 SAT clauses)
28.60/13.66 c (13,12) 19988 (30 %) CSP clauses are being encoded (157632 SAT variables, 339051 SAT clauses)
29.15/13.86 c (13,12) 26651 (40 %) CSP clauses are being encoded (163142 SAT variables, 355458 SAT clauses)
29.39/14.00 c (13,13) 33313 (50 %) CSP clauses are being encoded (168652 SAT variables, 371864 SAT clauses)
29.61/14.13 c (13,13) 39976 (60 %) CSP clauses are being encoded (173972 SAT variables, 387935 SAT clauses)
29.71/14.27 c (13,13) 46639 (70 %) CSP clauses are being encoded (179482 SAT variables, 404342 SAT clauses)
29.91/14.41 c (13,13) 53301 (80 %) CSP clauses are being encoded (184802 SAT variables, 420412 SAT clauses)
30.02/14.54 c (14,13) 59964 (90 %) CSP clauses are being encoded (190312 SAT variables, 436819 SAT clauses)
37.86/20.86 c (20,19) 66626 (100 %) CSP clauses are being encoded (794078 SAT variables, 2205293 SAT clauses)
37.97/20.91 c (20,19) CSPinCNF to SatSolver End
37.97/20.91 c (20,19) Heap : 3016 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
40.88/21.80 c (21,19) STATISTICS2:HOME/instance-4294956-1532538527.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21400,66626,9223372036854775807,24,24,200,9223372036854775807:221;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:2;8796093022208:1;1099511627776:1;137438953472:1;17179869184:1;2147483648:1;268435456:1;16:392;4:396;2:199,24:27600;2:175649,24:200;3:29200;2:36000;1:1226,200:53;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;116:2;115:2;113:2;110:3;107:2;105:1;104:2;101:2;100:1;98:2;95:3;92:2;89:2;86:2;83:2;80:2;77:2;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:2;44:1;41:1;38:1;35:1;32:1;29:1;5:392;3:396;2:199;1:164400,2:221
40.88/21.80 c (21,19) SatSolver.solve Begin
40.88/21.80 c (21,19) 799496 bool, 2221290 clause
40.88/21.80 c (21,19) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294956-1532538527.xml-scop-30194.cnf HOME/instance-4294956-1532538527.xml-scop-30194.cnf.out
41.45/22.30 c (21,0) receiving signal SIGTERM
41.45/22.30 s UNKNOWN
41.45/22.31 c (21,19) SatSolver is killed by some reasons.
41.45/22.31 c (21,19) 0,0,10,10,10,10,20,TO,TO,STOP-AFTER(DIMACS)
41.45/22.31 c END-Prog: Wed Jul 25 19:09:10 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8230 MiB free)
memory of node 1: 16384 MiB (4085 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294956-1532538527/watcher-4294956-1532538527 -o /tmp/evaluation-result-4294956-1532538527/solver-4294956-1532538527 -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-4294956-1532538527.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=30194, runsolver pid=30191
[startup+0.100155 s]*
/proc/loadavg: 4.87 5.01 4.59 4/215 30209
/proc/meminfo: memFree=12554200/32770624 swapFree=67076460/67108860
[pid=30194] ppid=30191 vsize=15011656 memory=71004 CPUtime=0.11 cores=0,2,4,6
/proc/30194/stat : 30194 (java) S 30191 30194 29212 0 -1 1077944320 6993 0 0 0 9 2 0 0 20 0 15 0 71415893 15371935744 17751 33554432000 4194304 4196468 140722544091792 140722544074336 139762519076599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
/proc/30194/statm: 3752914 17751 2779 1 0 3715374 0
[pid=30194/tid=30196] ppid=30191 vsize=15011656 memory=-8700564654885344643 CPUtime=0.09 cores=0,2,4,6
/proc/30194/task/30196/stat : 30196 (java) R 30191 30194 29212 0 -1 4202560 5076 0 0 0 8 1 0 0 20 0 15 0 71415893 15371935744 17817 33554432000 4194304 4196468 140722544091792 139762490880800 139762499353424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30197] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30197/stat : 30197 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 17817 33554432000 4194304 4196468 140722544091792 139762523319184 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30198] ppid=30191 vsize=15011656 memory=140182060107392 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30198/stat : 30198 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 17817 33554432000 4194304 4196468 140722544091792 139762337475344 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30199] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30199/stat : 30199 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 17817 33554432000 4194304 4196468 140722544091792 139762336423056 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30200] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30200/stat : 30200 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 17817 33554432000 4194304 4196468 140722544091792 139762335370256 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30201] ppid=30191 vsize=15011656 memory=140182060107392 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30201/stat : 30201 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415896 15371935744 17817 33554432000 4194304 4196468 140722544091792 139761489492080 139762519087746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30202] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30202/stat : 30202 (java) S 30191 30194 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71415897 15371935744 17817 33554432000 4194304 4196468 140722544091792 139761121485600 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30203] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30203/stat : 30203 (java) S 30191 30194 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71415897 15371935744 17817 33554432000 4194304 4196468 140722544091792 139760987264112 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30204] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30204/stat : 30204 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415899 15371935744 17817 33554432000 4194304 4196468 140722544091792 139760612759632 139762519095195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30205] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30205/stat : 30205 (java) S 30191 30194 29212 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 71415899 15371935744 17817 33554432000 4194304 4196468 140722544091792 139761488439920 139762519087746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30206] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30206/stat : 30206 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415899 15371935744 17817 33554432000 4194304 4196468 140722544091792 139761487387120 139762519087746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30207] ppid=30191 vsize=15011656 memory=140182060107392 CPUtime=0.01 cores=0,2,4,6
/proc/30194/task/30207/stat : 30207 (java) S 30191 30194 29212 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 71415899 15371935744 17883 33554432000 4194304 4196468 140722544091792 139761486334832 139762519087746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30208] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30208/stat : 30208 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415900 15371935744 17883 33554432000 4194304 4196468 140722544091792 139760114854880 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30209] ppid=30191 vsize=15011656 memory=140182060107392 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30209/stat : 30209 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415900 15371935744 17883 33554432000 4194304 4196468 140722544091792 139761485281712 139762519087746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71004 KiB
[startup+0.210318 s]*
/proc/loadavg: 4.87 5.01 4.59 3/215 30209
/proc/meminfo: memFree=12540340/32770624 swapFree=67076460/67108860
[pid=30194] ppid=30191 vsize=15011656 memory=83592 CPUtime=0.26 cores=0,2,4,6
/proc/30194/stat : 30194 (java) S 30191 30194 29212 0 -1 1077944320 10385 0 0 0 23 3 0 0 20 0 15 0 71415893 15371935744 20898 33554432000 4194304 4196468 140722544091792 140722544074336 139762519076599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
/proc/30194/statm: 3752914 20898 2879 1 0 3715374 0
[pid=30194/tid=30196] ppid=30191 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30194/task/30196/stat : 30196 (java) R 30191 30194 29212 0 -1 4202560 8266 0 0 0 18 2 0 0 20 0 15 0 71415893 15371935744 20898 33554432000 4194304 4196468 140722544091792 139762490901808 139762519088534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30197] ppid=30191 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30197/stat : 30197 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 20898 33554432000 4194304 4196468 140722544091792 139762523319184 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30198] ppid=30191 vsize=15011656 memory=3906785505549321888 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30198/stat : 30198 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 20898 33554432000 4194304 4196468 140722544091792 139762337475344 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30199] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30199/stat : 30199 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 20898 33554432000 4194304 4196468 140722544091792 139762336423056 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30200] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30200/stat : 30200 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 20898 33554432000 4194304 4196468 140722544091792 139762335370256 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30201] ppid=30191 vsize=15011656 memory=140182060107392 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30201/stat : 30201 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415896 15371935744 20898 33554432000 4194304 4196468 140722544091792 139761489492080 139762519087746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30202] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30202/stat : 30202 (java) S 30191 30194 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71415897 15371935744 20898 33554432000 4194304 4196468 140722544091792 139761121485600 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30203] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30203/stat : 30203 (java) S 30191 30194 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71415897 15371935744 20898 33554432000 4194304 4196468 140722544091792 139760987264112 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30204] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30204/stat : 30204 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415899 15371935744 20898 33554432000 4194304 4196468 140722544091792 139760612759632 139762519095195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30205] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30205/stat : 30205 (java) R 30191 30194 29212 0 -1 4202560 457 0 0 0 0 0 0 0 20 0 15 0 71415899 15371935744 20898 33554432000 4194304 4196468 140722544091792 139761488439920 139762519088534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30206] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30206/stat : 30206 (java) R 30191 30194 29212 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 71415899 15371935744 20898 33554432000 4194304 4196468 140722544091792 139761487387120 139762519087746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30207] ppid=30191 vsize=15011656 memory=140182060107392 CPUtime=0.03 cores=0,2,4,6
/proc/30194/task/30207/stat : 30207 (java) R 30191 30194 29212 0 -1 4202560 285 0 0 0 3 0 0 0 20 0 15 0 71415899 15371935744 20898 33554432000 4194304 4196468 140722544091792 139761486334832 139762497079440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30208] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30208/stat : 30208 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415900 15371935744 20898 33554432000 4194304 4196468 140722544091792 139760114854880 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30209] ppid=30191 vsize=15011656 memory=140182060107392 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30209/stat : 30209 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415900 15371935744 20898 33554432000 4194304 4196468 140722544091792 139761485281712 139762519087746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83592 KiB
[startup+0.310303 s]*
/proc/loadavg: 4.87 5.01 4.59 4/215 30209
/proc/meminfo: memFree=12536680/32770624 swapFree=67076460/67108860
[pid=30194] ppid=30191 vsize=15011656 memory=87644 CPUtime=0.43 cores=0,2,4,6
/proc/30194/stat : 30194 (java) S 30191 30194 29212 0 -1 1077944320 10987 0 0 0 40 3 0 0 20 0 15 0 71415893 15371935744 21911 33554432000 4194304 4196468 140722544091792 140722544074336 139762519076599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
/proc/30194/statm: 3752914 21911 2986 1 0 3715374 0
[pid=30194/tid=30196] ppid=30191 vsize=15011656 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/30194/task/30196/stat : 30196 (java) R 30191 30194 29212 0 -1 4202560 8692 0 0 0 27 2 0 0 20 0 15 0 71415893 15371935744 21911 33554432000 4194304 4196468 140722544091792 139762490880752 139762499901501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30197] ppid=30191 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30197/stat : 30197 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 21911 33554432000 4194304 4196468 140722544091792 139762523319184 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30198] ppid=30191 vsize=15011656 memory=3762670317473466016 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30198/stat : 30198 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 21911 33554432000 4194304 4196468 140722544091792 139762337475344 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30199] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30199/stat : 30199 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 21911 33554432000 4194304 4196468 140722544091792 139762336423056 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30200] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30200/stat : 30200 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415895 15371935744 21911 33554432000 4194304 4196468 140722544091792 139762335370256 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30201] ppid=30191 vsize=15011656 memory=140182060107392 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30201/stat : 30201 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415896 15371935744 21911 33554432000 4194304 4196468 140722544091792 139761489492080 139762519087746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30202] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30202/stat : 30202 (java) S 30191 30194 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71415897 15371935744 21911 33554432000 4194304 4196468 140722544091792 139761121485600 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30203] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30203/stat : 30203 (java) S 30191 30194 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71415897 15371935744 21911 33554432000 4194304 4196468 140722544091792 139760987264112 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30204] ppid=30191 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30204/stat : 30204 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415899 15371935744 21911 33554432000 4194304 4196468 140722544091792 139760612759632 139762519095195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30205] ppid=30191 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30194/task/30205/stat : 30205 (java) R 30191 30194 29212 0 -1 4202560 566 0 0 0 3 0 0 0 20 0 15 0 71415899 15371935744 21911 33554432000 4194304 4196468 140722544091792 139761488439920 139762500597742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30206] ppid=30191 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30194/task/30206/stat : 30206 (java) R 30191 30194 29212 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 15 0 71415899 15371935744 21911 33554432000 4194304 4196468 140722544091792 139761487387120 139762519087746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30207] ppid=30191 vsize=15011656 memory=140182060107392 CPUtime=0.07 cores=0,2,4,6
/proc/30194/task/30207/stat : 30207 (java) R 30191 30194 29212 0 -1 4202560 335 0 0 0 7 0 0 0 20 0 15 0 71415899 15371935744 21911 33554432000 4194304 4196468 140722544091792 139761486334832 139762497615055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30208] ppid=30191 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30208/stat : 30208 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415900 15371935744 21911 33554432000 4194304 4196468 140722544091792 139760114854880 139762519086805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30209] ppid=30191 vsize=15011656 memory=140182060107392 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30209/stat : 30209 (java) R 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415900 15371935744 21911 33554432000 4194304 4196468 140722544091792 139761485281712 139762519087746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87644 KiB
[startup+0.701568 s]
/proc/loadavg: 4.87 5.01 4.59 6/215 30209
/proc/meminfo: memFree=12512496/32770624 swapFree=67076460/67108860
[pid=30194] ppid=30191 vsize=15017928 memory=129188 CPUtime=1.04 cores=0,2,4,6
/proc/30194/stat : 30194 (java) S 30191 30194 29212 0 -1 1077944320 18033 0 0 0 99 5 0 0 20 0 15 0 71415893 15378358272 32297 33554432000 4194304 4196468 140722544091792 140722544074336 139762519076599 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
/proc/30194/statm: 3754482 32297 3156 1 0 3715886 0
[pid=30194/tid=30196] ppid=30191 vsize=15017928 memory=9972 CPUtime=0.67 cores=0,2,4,6
/proc/30194/task/30196/stat : 30196 (java) R 30191 30194 29212 0 -1 4202560 15224 0 0 0 63 4 0 0 20 0 15 0 71415893 15378358272 32297 33554432000 4194304 4196468 140722544091792 139762490898848 139762519098525 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30197] ppid=30191 vsize=15017928 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30197/stat : 30197 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415895 15378358272 32297 33554432000 4194304 4196468 140722544091792 139762523319184 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30198] ppid=30191 vsize=15017928 memory=640 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30198/stat : 30198 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415895 15378358272 32297 33554432000 4194304 4196468 140722544091792 139762337475344 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30199] ppid=30191 vsize=15017928 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30199/stat : 30199 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415895 15378358272 32297 33554432000 4194304 4196468 140722544091792 139762336423056 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30200] ppid=30191 vsize=15017928 memory=960 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30200/stat : 30200 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415895 15378358272 32297 33554432000 4194304 4196468 140722544091792 139762335370256 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30201] ppid=30191 vsize=15017928 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30201/stat : 30201 (java) S 30191 30194 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71415896 15378358272 32297 33554432000 4194304 4196468 140722544091792 139761489492080 139762519087746 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30202] ppid=30191 vsize=15017928 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30202/stat : 30202 (java) S 30191 30194 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71415897 15378358272 32297 33554432000 4194304 4196468 140722544091792 139761121485600 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30203] ppid=30191 vsize=15017928 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30203/stat : 30203 (java) S 30191 30194 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71415897 15378358272 32297 33554432000 4194304 4196468 140722544091792 139760987264112 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30204] ppid=30191 vsize=15017928 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30204/stat : 30204 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415899 15378358272 32297 33554432000 4194304 4196468 140722544091792 139760612759632 139762519095195 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30205] ppid=30191 vsize=15017928 memory=7881696724453321575 CPUtime=0.09 cores=0,2,4,6
/proc/30194/task/30205/stat : 30205 (java) R 30191 30194 29212 0 -1 4202560 635 0 0 0 9 0 0 0 20 0 15 0 71415899 15378358272 32297 33554432000 4194304 4196468 140722544091792 139761488430032 139762498731169 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30206] ppid=30191 vsize=15017928 memory=7019257425709197167 CPUtime=0.08 cores=0,2,4,6
/proc/30194/task/30206/stat : 30206 (java) R 30191 30194 29212 0 -1 4202560 304 0 0 0 8 0 0 0 20 0 15 0 71415899 15378358272 32297 33554432000 4194304 4196468 140722544091792 139761487387120 139762512061641 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30207] ppid=30191 vsize=15017928 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/30194/task/30207/stat : 30207 (java) R 30191 30194 29212 0 -1 4202560 509 0 0 0 17 0 0 0 20 0 15 0 71415899 15378358272 32297 33554432000 4194304 4196468 140722544091792 139761486331768 139762503184324 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30208] ppid=30191 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30208/stat : 30208 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415900 15378358272 32297 33554432000 4194304 4196468 140722544091792 139760114854880 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30209] ppid=30191 vsize=15017928 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30209/stat : 30209 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415900 15378358272 32297 33554432000 4194304 4196468 140722544091792 139761485281712 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129188 KiB
[startup+1.50657 s]
/proc/loadavg: 4.87 5.01 4.59 10/215 30209
/proc/meminfo: memFree=12471708/32770624 swapFree=67076460/67108860
[pid=30194] ppid=30191 vsize=15022100 memory=198460 CPUtime=3.45 cores=0,2,4,6
/proc/30194/stat : 30194 (java) S 30191 30194 29212 0 -1 1077944320 22017 0 0 0 338 7 0 0 20 0 15 0 71415893 15382630400 49615 33554432000 4194304 4196468 140722544091792 140722544074336 139762519076599 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
/proc/30194/statm: 3755525 49615 3214 1 0 3716910 0
[pid=30194/tid=30196] ppid=30191 vsize=15022100 memory=169848 CPUtime=1.47 cores=0,2,4,6
/proc/30194/task/30196/stat : 30196 (java) R 30191 30194 29212 0 -1 4202560 16278 0 0 0 142 5 0 0 20 0 15 0 71415893 15382630400 49615 33554432000 4194304 4196468 140722544091792 139762490908808 139762017542912 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30197] ppid=30191 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30197/stat : 30197 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415895 15382630400 49615 33554432000 4194304 4196468 140722544091792 139762523319184 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30198] ppid=30191 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30198/stat : 30198 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415895 15382630400 49615 33554432000 4194304 4196468 140722544091792 139762337475344 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30199] ppid=30191 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30199/stat : 30199 (java) S 30191 30194 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71415895 15382630400 49615 33554432000 4194304 4196468 140722544091792 139762336423056 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30200] ppid=30191 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30200/stat : 30200 (java) S 30191 30194 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71415895 15382630400 49615 33554432000 4194304 4196468 140722544091792 139762335370256 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30201] ppid=30191 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30201/stat : 30201 (java) S 30191 30194 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71415896 15382630400 49615 33554432000 4194304 4196468 140722544091792 139761489492080 139762519087746 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
################
# More data... #
################
/proc/30194/task/30207/stat : 30207 (java) S 30191 30194 29212 0 -1 1077944384 6570 0 0 0 131 1 0 0 20 0 15 0 71415899 15384727552 554705 33554432000 4194304 4196468 140722544091792 139761486334832 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30208] ppid=30191 vsize=15024148 memory=280363922732288 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30208/stat : 30208 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415900 15384727552 554705 33554432000 4194304 4196468 140722544091792 139760114854880 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30209] ppid=30191 vsize=15024148 memory=1793819936513 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30209/stat : 30209 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415900 15384727552 554705 33554432000 4194304 4196468 140722544091792 139761485281712 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
Current children cumulated CPU time: 14.92 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2216772 KiB
[startup+12.7007 s]
/proc/loadavg: 4.90 5.01 4.60 6/215 30209
/proc/meminfo: memFree=9493872/32770624 swapFree=67076460/67108860
[pid=30194] ppid=30191 vsize=15028312 memory=3107528 CPUtime=26.62 cores=0,2,4,6
/proc/30194/stat : 30194 (java) S 30191 30194 29212 0 -1 1077944320 42648 0 0 0 2598 64 0 0 20 0 15 0 71415893 15388991488 776882 33554432000 4194304 4196468 140722544091792 140722544074336 139762519076599 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
/proc/30194/statm: 3757078 776882 3251 1 0 3717934 0
[pid=30194/tid=30196] ppid=30191 vsize=15028312 memory=3107528 CPUtime=12.49 cores=0,2,4,6
/proc/30194/task/30196/stat : 30196 (java) R 30191 30194 29212 0 -1 4202560 19930 0 0 0 1201 48 0 0 20 0 15 0 71415893 15388991488 776882 33554432000 4194304 4196468 140722544091792 139762490915392 139762014559943 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30197] ppid=30191 vsize=15028312 memory=2911044 CPUtime=0.09 cores=0,2,4,6
/proc/30194/task/30197/stat : 30197 (java) S 30191 30194 29212 0 -1 1077944384 187 0 0 0 7 2 0 0 20 0 15 0 71415895 15388991488 776882 33554432000 4194304 4196468 140722544091792 139762523319184 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30198] ppid=30191 vsize=15028312 memory=32705 CPUtime=0.09 cores=0,2,4,6
/proc/30194/task/30198/stat : 30198 (java) S 30191 30194 29212 0 -1 1077944384 116 0 0 0 7 2 0 0 20 0 15 0 71415895 15388991488 776882 33554432000 4194304 4196468 140722544091792 139762337475344 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30199] ppid=30191 vsize=15028312 memory=3101084 CPUtime=0.09 cores=0,2,4,6
/proc/30194/task/30199/stat : 30199 (java) S 30191 30194 29212 0 -1 1077944384 78 0 0 0 7 2 0 0 20 0 15 0 71415895 15388991488 776882 33554432000 4194304 4196468 140722544091792 139762336423056 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30200] ppid=30191 vsize=15028312 memory=3032 CPUtime=0.09 cores=0,2,4,6
/proc/30194/task/30200/stat : 30200 (java) S 30191 30194 29212 0 -1 1077944384 149 0 0 0 7 2 0 0 20 0 15 0 71415895 15388991488 776882 33554432000 4194304 4196468 140722544091792 139762335370256 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30201] ppid=30191 vsize=15028312 memory=3102588 CPUtime=0.01 cores=0,2,4,6
/proc/30194/task/30201/stat : 30201 (java) S 30191 30194 29212 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 71415896 15388991488 776882 33554432000 4194304 4196468 140722544091792 139761489492080 139762519087746 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30202] ppid=30191 vsize=15028312 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30202/stat : 30202 (java) S 30191 30194 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 71415897 15388991488 776882 33554432000 4194304 4196468 140722544091792 139761121485664 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30203] ppid=30191 vsize=15028312 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30203/stat : 30203 (java) S 30191 30194 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 71415897 15388991488 776882 33554432000 4194304 4196468 140722544091792 139760987264112 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30204] ppid=30191 vsize=15028312 memory=3101740 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30204/stat : 30204 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415899 15388991488 776882 33554432000 4194304 4196468 140722544091792 139760612759632 139762519095195 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30205] ppid=30191 vsize=15028312 memory=2603844 CPUtime=6.11 cores=0,2,4,6
/proc/30194/task/30205/stat : 30205 (java) S 30191 30194 29212 0 -1 1077944384 7118 0 0 0 609 2 0 0 20 0 15 0 71415899 15388991488 776882 33554432000 4194304 4196468 140722544091792 139761488439920 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30206] ppid=30191 vsize=15028312 memory=3544 CPUtime=5.93 cores=0,2,4,6
/proc/30194/task/30206/stat : 30206 (java) R 30191 30194 29212 0 -1 4202560 7056 0 0 0 591 2 0 0 20 0 15 0 71415899 15388991488 776882 33554432000 4194304 4196468 140722544091792 139761487372560 139762519090481 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30207] ppid=30191 vsize=15028312 memory=18460 CPUtime=1.65 cores=0,2,4,6
/proc/30194/task/30207/stat : 30207 (java) S 30191 30194 29212 0 -1 1077944384 6637 0 0 0 164 1 0 0 20 0 15 0 71415899 15388991488 776882 33554432000 4194304 4196468 140722544091792 139761486334832 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30208] ppid=30191 vsize=15028312 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30208/stat : 30208 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415900 15388991488 776882 33554432000 4194304 4196468 140722544091792 139760114854880 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30209] ppid=30191 vsize=15028312 memory=-2892745056948402235 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30209/stat : 30209 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71415900 15388991488 776882 33554432000 4194304 4196468 140722544091792 139761485281712 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
Current children cumulated CPU time: 26.62 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3107528 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+22.3009 s]
/proc/loadavg: 5.07 5.04 4.61 6/220 30215
/proc/meminfo: memFree=8468544/32770624 swapFree=67076460/67108860
[pid=30194] ppid=30191 vsize=15683912 memory=3951232 CPUtime=40.98 cores=0,2,4,6
/proc/30194/stat : 30194 (java) S 30191 30194 29212 0 -1 1077944320 61380 0 0 0 3921 177 0 0 20 0 19 0 71415893 16060325888 987808 33554432000 4194304 4196468 140722544091792 140722544074336 139762519076599 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
/proc/30194/statm: 3920978 987808 3273 1 0 3881834 0
[pid=30210] ppid=30194 vsize=207600 memory=163124 CPUtime=0.47 cores=0,2,4,6
/proc/30210/stat : 30210 (minisat_release) R 30194 30194 29212 0 -1 4202496 34110 0 0 0 42 5 0 0 20 0 1 0 71418075 212582400 40781 33554432000 4194304 4308513 140724910373776 140724910370920 4279657 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 16502784 140724910379695 140724910380206 140724910380206 140724910383045 0
/proc/30210/statm: 51900 40781 318 28 0 48140 0
[pid=30194/tid=30196] ppid=30191 vsize=15683912 memory=3302308 CPUtime=20.33 cores=0,2,4,6
/proc/30194/task/30196/stat : 30196 (java) S 30191 30194 29212 0 -1 1077944384 23533 0 0 0 1978 55 0 0 20 0 19 0 71415893 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762490915840 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30197] ppid=30191 vsize=15683912 memory=2764 CPUtime=1.08 cores=0,2,4,6
/proc/30194/task/30197/stat : 30197 (java) S 30191 30194 29212 0 -1 1077944384 703 0 0 0 80 28 0 0 20 0 19 0 71415895 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762523319184 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30198] ppid=30191 vsize=15683912 memory=3302308 CPUtime=1.08 cores=0,2,4,6
/proc/30194/task/30198/stat : 30198 (java) S 30191 30194 29212 0 -1 1077944384 705 0 0 0 80 28 0 0 20 0 19 0 71415895 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762337475344 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30199] ppid=30191 vsize=15683912 memory=7518023259226791573 CPUtime=1.07 cores=0,2,4,6
/proc/30194/task/30199/stat : 30199 (java) S 30191 30194 29212 0 -1 1077944384 1930 0 0 0 80 27 0 0 20 0 19 0 71415895 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762336423056 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30200] ppid=30191 vsize=15683912 memory=3302308 CPUtime=1.08 cores=0,2,4,6
/proc/30194/task/30200/stat : 30200 (java) S 30191 30194 29212 0 -1 1077944384 1098 0 0 0 81 27 0 0 20 0 19 0 71415895 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762335370256 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30201] ppid=30191 vsize=15683912 memory=3107528 CPUtime=0.02 cores=0,2,4,6
/proc/30194/task/30201/stat : 30201 (java) S 30191 30194 29212 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 19 0 71415896 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761489492080 139762519087746 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30202] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30202/stat : 30202 (java) S 30191 30194 29212 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 71415897 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761121485664 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30203] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30203/stat : 30203 (java) S 30191 30194 29212 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 71415897 16060325888 987808 33554432000 4194304 4196468 140722544091792 139760987264128 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30204] ppid=30191 vsize=15683912 memory=3948092 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30204/stat : 30204 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71415899 16060325888 987808 33554432000 4194304 4196468 140722544091792 139760612759632 139762519095195 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30205] ppid=30191 vsize=15683912 memory=11851572 CPUtime=7.24 cores=0,2,4,6
/proc/30194/task/30205/stat : 30205 (java) S 30191 30194 29212 0 -1 1077944384 11683 0 0 0 721 3 0 0 20 0 19 0 71415899 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761488439920 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30206] ppid=30191 vsize=15683912 memory=1412 CPUtime=7.25 cores=0,2,4,6
/proc/30194/task/30206/stat : 30206 (java) S 30191 30194 29212 0 -1 1077944384 11102 0 0 0 723 2 0 0 20 0 19 0 71415899 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761487387120 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30207] ppid=30191 vsize=15683912 memory=2740 CPUtime=1.73 cores=0,2,4,6
/proc/30194/task/30207/stat : 30207 (java) S 30191 30194 29212 0 -1 1077944384 8888 0 0 0 171 2 0 0 20 0 19 0 71415899 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761486334832 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30208] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30208/stat : 30208 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71415900 16060325888 987808 33554432000 4194304 4196468 140722544091792 139760114854880 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30209] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30209/stat : 30209 (java) S 30191 30194 29212 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 71415900 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761485281712 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30211] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30211/stat : 30211 (java) S 30191 30194 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71418075 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762329768896 139762519101209 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30213] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30213/stat : 30213 (java) S 30191 30194 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 71418075 16060325888 987808 33554432000 4194304 4196468 140722544091792 139759577968048 139762519098525 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30214] ppid=30191 vsize=15683912 memory=3593700 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30214/stat : 30214 (java) S 30191 30194 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 71418075 16060325888 987808 33554432000 4194304 4196468 140722544091792 139759712190256 139762519098525 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30215] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30215/stat : 30215 (java) S 30191 30194 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71418077 16060325888 987808 33554432000 4194304 4196468 140722544091792 139759309544864 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
Current children cumulated CPU time: 41.45 s
Current children cumulated vsize: 15891512 KiB
Current children cumulated memory: 4114356 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+22.3442 s]
# the end of solver process 30194 was just reported to runsolver
# cumulated CPU time of all completed processes: user=39.6436 s, system=1.87056 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+22.3009 s]
/proc/loadavg: 5.07 5.04 4.61 6/220 30215
/proc/meminfo: memFree=8468544/32770624 swapFree=67076460/67108860
[pid=30194] ppid=30191 vsize=15683912 memory=3951232 CPUtime=40.98 cores=0,2,4,6
/proc/30194/stat : 30194 (java) S 30191 30194 29212 0 -1 1077944320 61380 0 0 0 3921 177 0 0 20 0 19 0 71415893 16060325888 987808 33554432000 4194304 4196468 140722544091792 140722544074336 139762519076599 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
/proc/30194/statm: 3920978 987808 3273 1 0 3881834 0
[pid=30210] ppid=30194 vsize=207600 memory=163124 CPUtime=0.47 cores=0,2,4,6
/proc/30210/stat : 30210 (minisat_release) R 30194 30194 29212 0 -1 4202496 34110 0 0 0 42 5 0 0 20 0 1 0 71418075 212582400 40781 33554432000 4194304 4308513 140724910373776 140724910370920 4279657 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 16502784 140724910379695 140724910380206 140724910380206 140724910383045 0
/proc/30210/statm: 51900 40781 318 28 0 48140 0
[pid=30194/tid=30196] ppid=30191 vsize=15683912 memory=3302308 CPUtime=20.33 cores=0,2,4,6
/proc/30194/task/30196/stat : 30196 (java) S 30191 30194 29212 0 -1 1077944384 23533 0 0 0 1978 55 0 0 20 0 19 0 71415893 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762490915840 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30197] ppid=30191 vsize=15683912 memory=2764 CPUtime=1.08 cores=0,2,4,6
/proc/30194/task/30197/stat : 30197 (java) S 30191 30194 29212 0 -1 1077944384 703 0 0 0 80 28 0 0 20 0 19 0 71415895 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762523319184 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30198] ppid=30191 vsize=15683912 memory=3302308 CPUtime=1.08 cores=0,2,4,6
/proc/30194/task/30198/stat : 30198 (java) S 30191 30194 29212 0 -1 1077944384 705 0 0 0 80 28 0 0 20 0 19 0 71415895 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762337475344 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30199] ppid=30191 vsize=15683912 memory=7518023259226791573 CPUtime=1.07 cores=0,2,4,6
/proc/30194/task/30199/stat : 30199 (java) S 30191 30194 29212 0 -1 1077944384 1930 0 0 0 80 27 0 0 20 0 19 0 71415895 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762336423056 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30200] ppid=30191 vsize=15683912 memory=3302308 CPUtime=1.08 cores=0,2,4,6
/proc/30194/task/30200/stat : 30200 (java) S 30191 30194 29212 0 -1 1077944384 1098 0 0 0 81 27 0 0 20 0 19 0 71415895 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762335370256 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30201] ppid=30191 vsize=15683912 memory=3107528 CPUtime=0.02 cores=0,2,4,6
/proc/30194/task/30201/stat : 30201 (java) S 30191 30194 29212 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 19 0 71415896 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761489492080 139762519087746 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30202] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30202/stat : 30202 (java) S 30191 30194 29212 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 71415897 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761121485664 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30203] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30203/stat : 30203 (java) S 30191 30194 29212 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 71415897 16060325888 987808 33554432000 4194304 4196468 140722544091792 139760987264128 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30204] ppid=30191 vsize=15683912 memory=3948092 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30204/stat : 30204 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71415899 16060325888 987808 33554432000 4194304 4196468 140722544091792 139760612759632 139762519095195 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30205] ppid=30191 vsize=15683912 memory=11851572 CPUtime=7.24 cores=0,2,4,6
/proc/30194/task/30205/stat : 30205 (java) S 30191 30194 29212 0 -1 1077944384 11683 0 0 0 721 3 0 0 20 0 19 0 71415899 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761488439920 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30206] ppid=30191 vsize=15683912 memory=1412 CPUtime=7.25 cores=0,2,4,6
/proc/30194/task/30206/stat : 30206 (java) S 30191 30194 29212 0 -1 1077944384 11102 0 0 0 723 2 0 0 20 0 19 0 71415899 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761487387120 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30207] ppid=30191 vsize=15683912 memory=2740 CPUtime=1.73 cores=0,2,4,6
/proc/30194/task/30207/stat : 30207 (java) S 30191 30194 29212 0 -1 1077944384 8888 0 0 0 171 2 0 0 20 0 19 0 71415899 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761486334832 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30208] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30208/stat : 30208 (java) S 30191 30194 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71415900 16060325888 987808 33554432000 4194304 4196468 140722544091792 139760114854880 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30209] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30209/stat : 30209 (java) S 30191 30194 29212 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 71415900 16060325888 987808 33554432000 4194304 4196468 140722544091792 139761485281712 139762519087746 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30211] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30211/stat : 30211 (java) S 30191 30194 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71418075 16060325888 987808 33554432000 4194304 4196468 140722544091792 139762329768896 139762519101209 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30213] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30213/stat : 30213 (java) S 30191 30194 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 71418075 16060325888 987808 33554432000 4194304 4196468 140722544091792 139759577968048 139762519098525 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30214] ppid=30191 vsize=15683912 memory=3593700 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30214/stat : 30214 (java) S 30191 30194 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 71418075 16060325888 987808 33554432000 4194304 4196468 140722544091792 139759712190256 139762519098525 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
[pid=30194/tid=30215] ppid=30191 vsize=15683912 memory=3574748 CPUtime=0 cores=0,2,4,6
/proc/30194/task/30215/stat : 30215 (java) S 30191 30194 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71418077 16060325888 987808 33554432000 4194304 4196468 140722544091792 139759309544864 139762519086805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33214464 140722544096244 140722544096521 140722544096521 140722544099279 0
Current children cumulated CPU time: 41.45 s
Current children cumulated vsize: 15891512 KiB
Current children cumulated memory: 4114356 KiB
Child status: 1
Real time (s): 22.3443
CPU time (s): 41.5142
CPU user time (s): 39.6436
CPU system time (s): 1.87056
CPU usage (%): 185.793
Max. virtual memory (cumulated for all children) (KiB): 15891512
Max. memory (cumulated for all children) (KiB): 4114356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.6436
system time used= 1.87056
maximum resident set size= 3953764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6351
involuntary context switches= 233
# summary of solver processes directly reported to runsolver:
# pid: 30194
# total CPU time (s): 41.5142
# total CPU user time (s): 39.6436
# total CPU system time (s): 1.87056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.16697 second user time and 0.246078 second system time
The end