runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456035-1307661704/watcher-3456035-1307661704 -o /tmp/evaluation-result-3456035-1307661704/solver-3456035-1307661704 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456035-1307661704.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.02 1.84 1/172 4220
/proc/meminfo: memFree=32423860/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 1204 0 0 0 0 0 0 0 25 0 2 0 877770840 31313920 930 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 7645 936 711 9 0 383 0
[pid=4220/tid=4221] ppid=4218 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 877770841 31260672 957 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253640859392 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.100701 s]
/proc/loadavg: 2.08 2.02 1.84 1/172 4220
/proc/meminfo: memFree=32423860/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=10540260 CPUtime=0.1 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 13078 0 1 0 9 1 0 0 25 0 18 0 877770840 10793226240 12775 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 2635065 12775 2093 9 0 2625799 0
[pid=4220/tid=4221] ppid=4218 vsize=10540260 CPUtime=0.08 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 11191 0 1 0 7 1 0 0 25 0 18 0 877770841 10793226240 12775 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 47743062866883 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540260
[startup+0.200674 s]
/proc/loadavg: 2.08 2.02 1.84 1/172 4220
/proc/meminfo: memFree=32423860/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=10541760 CPUtime=0.25 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 14037 0 1 0 23 2 0 0 25 0 19 0 877770840 10794762240 13696 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 2635440 13696 2169 9 0 2626174 0
[pid=4220/tid=4221] ppid=4218 vsize=10541760 CPUtime=0.18 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 11929 0 1 0 17 1 0 0 25 0 19 0 877770841 10794762240 13697 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10541760
[startup+0.300619 s]
/proc/loadavg: 2.08 2.02 1.84 1/172 4220
/proc/meminfo: memFree=32423860/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=10548244 CPUtime=0.54 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 19161 0 1 0 52 2 0 0 25 0 19 0 877770840 10801401856 17287 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 2637061 17287 2196 9 0 2627795 0
[pid=4220/tid=4221] ppid=4218 vsize=10548244 CPUtime=0.28 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 12585 0 1 0 27 1 0 0 25 0 19 0 877770841 10801401856 17287 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 46912505217841 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10548244
[startup+0.700579 s]
/proc/loadavg: 2.08 2.02 1.84 1/172 4220
/proc/meminfo: memFree=32423860/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=10558404 CPUtime=1.7 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 45000 0 1 0 166 4 0 0 25 0 19 0 877770840 10811805696 38561 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 2639601 38566 2222 9 0 2630335 0
[pid=4220/tid=4221] ppid=4218 vsize=10558404 CPUtime=0.68 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 28160 0 1 0 66 2 0 0 18 0 19 0 877770841 10811805696 38567 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 46912505868824 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10558404
[startup+1.50144 s]
/proc/loadavg: 2.08 2.02 1.84 5/191 4246
/proc/meminfo: memFree=32131892/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=10559084 CPUtime=3.24 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 125505 0 1 0 310 14 0 0 25 0 19 0 877770840 10812502016 116123 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 2639771 116128 2228 9 0 2630505 0
[pid=4220/tid=4221] ppid=4218 vsize=10559084 CPUtime=1.49 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 105975 0 1 0 137 12 0 0 19 0 19 0 877770841 10812502016 116130 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 46912505971211 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4220/tid=4223] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4223/stat : 4223 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 116133 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4224] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4224/stat : 4224 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 116137 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4225] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4225/stat : 4225 (java) S 4218 4220 787 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 116139 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4226] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4226/stat : 4226 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 116142 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4227] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4227/stat : 4227 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 116144 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4228] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4228/stat : 4228 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 116147 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4229] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4229/stat : 4229 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 116149 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4230] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4230/stat : 4230 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 116151 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4231] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4231/stat : 4231 (java) S 4218 4220 787 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877770843 10812502016 116153 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 0 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4232] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4232/stat : 4232 (java) S 4218 4220 787 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 877770844 10812502016 116154 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4233] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4233/stat : 4233 (java) S 4218 4220 787 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 877770844 10812502016 116155 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4234] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4234/stat : 4234 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877770846 10812502016 116157 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652683185 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4235] ppid=4218 vsize=10559084 CPUtime=0.87 cores=1,3,5,7
/proc/4220/task/4235/stat : 4235 (java) S 4218 4220 787 0 -1 4202560 6503 0 0 0 87 0 0 0 15 0 19 0 877770846 10812502016 116160 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4236] ppid=4218 vsize=10559084 CPUtime=0.86 cores=1,3,5,7
/proc/4220/task/4236/stat : 4236 (java) S 4218 4220 787 0 -1 4202560 11873 0 0 0 85 1 0 0 17 0 19 0 877770846 10812502016 116162 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4237] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4237/stat : 4237 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770846 10812502016 116164 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4238] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4238/stat : 4238 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877770846 10812502016 116167 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4239] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4239/stat : 4239 (java) S 4218 4220 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877770858 10812502016 116169 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 10559084
[startup+3.10115 s]
/proc/loadavg: 2.07 2.02 1.84 3/190 4246
/proc/meminfo: memFree=31652468/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=10559084 CPUtime=4.93 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 298981 0 1 0 461 32 0 0 25 0 19 0 877770840 10812502016 289598 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 2639771 289602 2228 9 0 2630505 0
[pid=4220/tid=4221] ppid=4218 vsize=10559084 CPUtime=3.09 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 279438 0 1 0 279 30 0 0 19 0 19 0 877770841 10812502016 289604 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 46912505594365 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4220/tid=4223] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4223/stat : 4223 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 289606 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4224] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4224/stat : 4224 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 289609 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4225] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4225/stat : 4225 (java) S 4218 4220 787 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 289611 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4226] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4226/stat : 4226 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 289614 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4227] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4227/stat : 4227 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 289617 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4228] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4228/stat : 4228 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 289619 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4229] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4229/stat : 4229 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 289621 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4230] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4230/stat : 4230 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 289623 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4231] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4231/stat : 4231 (java) S 4218 4220 787 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 877770843 10812502016 289625 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 0 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4232] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4232/stat : 4232 (java) S 4218 4220 787 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 877770844 10812502016 289627 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4233] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4233/stat : 4233 (java) S 4218 4220 787 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 877770844 10812502016 289631 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4234] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4234/stat : 4234 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877770846 10812502016 289634 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652683185 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4235] ppid=4218 vsize=10559084 CPUtime=0.89 cores=1,3,5,7
/proc/4220/task/4235/stat : 4235 (java) S 4218 4220 787 0 -1 4202560 6506 0 0 0 89 0 0 0 16 0 19 0 877770846 10812502016 289637 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4236] ppid=4218 vsize=10559084 CPUtime=0.94 cores=1,3,5,7
/proc/4220/task/4236/stat : 4236 (java) S 4218 4220 787 0 -1 4202560 11881 0 0 0 93 1 0 0 15 0 19 0 877770846 10812502016 289641 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4237] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4237/stat : 4237 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770846 10812502016 289645 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4238] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4238/stat : 4238 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877770846 10812502016 289648 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4239] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4239/stat : 4239 (java) S 4218 4220 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877770858 10812502016 289651 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 10559084
[startup+6.30156 s]
/proc/loadavg: 2.07 2.02 1.84 3/190 4246
/proc/meminfo: memFree=30291040/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=10559084 CPUtime=8.15 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 621712 0 1 0 748 67 0 0 25 0 19 0 877770840 10812502016 612320 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 2639771 612322 2228 9 0 2630505 0
[pid=4220/tid=4221] ppid=4218 vsize=10559084 CPUtime=6.29 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 602166 0 1 0 564 65 0 0 21 0 19 0 877770841 10812502016 612323 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 46912505560788 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4220/tid=4223] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4223/stat : 4223 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 612325 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4224] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4224/stat : 4224 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 612327 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4225] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4225/stat : 4225 (java) S 4218 4220 787 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 612329 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4226] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4226/stat : 4226 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 612331 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4227] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4227/stat : 4227 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 612332 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4228] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4228/stat : 4228 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 612334 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4229] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4229/stat : 4229 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 612335 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4230] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4230/stat : 4230 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770842 10812502016 612337 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4231] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4231/stat : 4231 (java) S 4218 4220 787 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 877770843 10812502016 612339 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 0 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4232] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4232/stat : 4232 (java) S 4218 4220 787 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 877770844 10812502016 612340 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4233] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4233/stat : 4233 (java) S 4218 4220 787 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 877770844 10812502016 612342 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4234] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4234/stat : 4234 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877770846 10812502016 612343 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652683185 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4235] ppid=4218 vsize=10559084 CPUtime=0.89 cores=1,3,5,7
/proc/4220/task/4235/stat : 4235 (java) S 4218 4220 787 0 -1 4202560 6506 0 0 0 89 0 0 0 16 0 19 0 877770846 10812502016 612345 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4236] ppid=4218 vsize=10559084 CPUtime=0.95 cores=1,3,5,7
/proc/4220/task/4236/stat : 4236 (java) S 4218 4220 787 0 -1 4202560 11881 0 0 0 94 1 0 0 15 0 19 0 877770846 10812502016 612346 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/4220/task/4233/stat : 4233 (java) S 4218 4220 787 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877770844 10812502016 946156 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4234] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4234/stat : 4234 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877770846 10812502016 946156 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652683185 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4235] ppid=4218 vsize=10559084 CPUtime=0.92 cores=1,3,5,7
/proc/4220/task/4235/stat : 4235 (java) S 4218 4220 787 0 -1 4202560 6515 0 0 0 92 0 0 0 15 0 19 0 877770846 10812502016 946156 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4236] ppid=4218 vsize=10559084 CPUtime=1.13 cores=1,3,5,7
/proc/4220/task/4236/stat : 4236 (java) S 4218 4220 787 0 -1 4202560 11903 0 0 0 112 1 0 0 15 0 19 0 877770846 10812502016 946156 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4237] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4237/stat : 4237 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770846 10812502016 946156 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4238] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4238/stat : 4238 (java) S 4218 4220 787 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 877770846 10812502016 946156 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4239] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4239/stat : 4239 (java) S 4218 4220 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877770858 10812502016 946156 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1671.47
Current children cumulated vsize (KiB) 10559084
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/211 4340
/proc/meminfo: memFree=24858164/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=10559084 CPUtime=1731.7 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 957625 0 1 0 173062 108 0 0 25 0 19 0 877770840 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 2639771 946846 2258 9 0 2630505 0
[pid=4220/tid=4221] ppid=4218 vsize=10559084 CPUtime=1715.98 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 846466 0 1 0 171509 89 0 0 25 0 19 0 877770841 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 46912505535213 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4220/tid=4223] ppid=4218 vsize=10559084 CPUtime=1.32 cores=1,3,5,7
/proc/4220/task/4223/stat : 4223 (java) S 4218 4220 787 0 -1 4202560 8719 0 0 0 131 1 0 0 16 0 19 0 877770842 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4224] ppid=4218 vsize=10559084 CPUtime=1.22 cores=1,3,5,7
/proc/4220/task/4224/stat : 4224 (java) S 4218 4220 787 0 -1 4202560 11215 0 0 0 121 1 0 0 15 0 19 0 877770842 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4225] ppid=4218 vsize=10559084 CPUtime=1.19 cores=1,3,5,7
/proc/4220/task/4225/stat : 4225 (java) S 4218 4220 787 0 -1 4202560 10014 0 0 0 118 1 0 0 15 0 19 0 877770842 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4226] ppid=4218 vsize=10559084 CPUtime=1.29 cores=1,3,5,7
/proc/4220/task/4226/stat : 4226 (java) S 4218 4220 787 0 -1 4202560 9155 0 0 0 128 1 0 0 15 0 19 0 877770842 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4227] ppid=4218 vsize=10559084 CPUtime=1.31 cores=1,3,5,7
/proc/4220/task/4227/stat : 4227 (java) S 4218 4220 787 0 -1 4202560 11384 0 0 0 129 2 0 0 15 0 19 0 877770842 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4228] ppid=4218 vsize=10559084 CPUtime=1.18 cores=1,3,5,7
/proc/4220/task/4228/stat : 4228 (java) S 4218 4220 787 0 -1 4202560 7791 0 0 0 118 0 0 0 16 0 19 0 877770842 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4229] ppid=4218 vsize=10559084 CPUtime=1.16 cores=1,3,5,7
/proc/4220/task/4229/stat : 4229 (java) S 4218 4220 787 0 -1 4202560 8608 0 0 0 115 1 0 0 16 0 19 0 877770842 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4230] ppid=4218 vsize=10559084 CPUtime=1.17 cores=1,3,5,7
/proc/4220/task/4230/stat : 4230 (java) S 4218 4220 787 0 -1 4202560 9296 0 0 0 115 2 0 0 16 0 19 0 877770842 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4231] ppid=4218 vsize=10559084 CPUtime=3.7 cores=1,3,5,7
/proc/4220/task/4231/stat : 4231 (java) S 4218 4220 787 0 -1 4202560 15311 0 0 0 367 3 0 0 15 0 19 0 877770843 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 0 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4232] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4232/stat : 4232 (java) S 4218 4220 787 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877770844 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4233] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4233/stat : 4233 (java) S 4218 4220 787 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877770844 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4234] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4234/stat : 4234 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877770846 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652683185 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4235] ppid=4218 vsize=10559084 CPUtime=0.92 cores=1,3,5,7
/proc/4220/task/4235/stat : 4235 (java) S 4218 4220 787 0 -1 4202560 6515 0 0 0 92 0 0 0 15 0 19 0 877770846 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4236] ppid=4218 vsize=10559084 CPUtime=1.13 cores=1,3,5,7
/proc/4220/task/4236/stat : 4236 (java) S 4218 4220 787 0 -1 4202560 11903 0 0 0 112 1 0 0 15 0 19 0 877770846 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4237] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4237/stat : 4237 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770846 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4238] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4238/stat : 4238 (java) S 4218 4220 787 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 877770846 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4239] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4239/stat : 4239 (java) S 4218 4220 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877770858 10812502016 946846 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1731.7
Current children cumulated vsize (KiB) 10559084
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/211 4342
/proc/meminfo: memFree=24852292/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=10559084 CPUtime=1791.89 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 958390 0 1 0 179081 108 0 0 25 0 19 0 877770840 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 2639771 947588 2258 9 0 2630505 0
[pid=4220/tid=4221] ppid=4218 vsize=10559084 CPUtime=1775.92 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 846470 0 1 0 177503 89 0 0 25 0 19 0 877770841 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 46912505595112 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4220/tid=4223] ppid=4218 vsize=10559084 CPUtime=1.36 cores=1,3,5,7
/proc/4220/task/4223/stat : 4223 (java) S 4218 4220 787 0 -1 4202560 8846 0 0 0 135 1 0 0 15 0 19 0 877770842 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4224] ppid=4218 vsize=10559084 CPUtime=1.26 cores=1,3,5,7
/proc/4220/task/4224/stat : 4224 (java) S 4218 4220 787 0 -1 4202560 11301 0 0 0 124 2 0 0 15 0 19 0 877770842 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4225] ppid=4218 vsize=10559084 CPUtime=1.23 cores=1,3,5,7
/proc/4220/task/4225/stat : 4225 (java) S 4218 4220 787 0 -1 4202560 10040 0 0 0 122 1 0 0 16 0 19 0 877770842 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4226] ppid=4218 vsize=10559084 CPUtime=1.32 cores=1,3,5,7
/proc/4220/task/4226/stat : 4226 (java) S 4218 4220 787 0 -1 4202560 9296 0 0 0 131 1 0 0 16 0 19 0 877770842 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4227] ppid=4218 vsize=10559084 CPUtime=1.34 cores=1,3,5,7
/proc/4220/task/4227/stat : 4227 (java) S 4218 4220 787 0 -1 4202560 11574 0 0 0 132 2 0 0 15 0 19 0 877770842 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4228] ppid=4218 vsize=10559084 CPUtime=1.21 cores=1,3,5,7
/proc/4220/task/4228/stat : 4228 (java) S 4218 4220 787 0 -1 4202560 7812 0 0 0 121 0 0 0 16 0 19 0 877770842 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4229] ppid=4218 vsize=10559084 CPUtime=1.18 cores=1,3,5,7
/proc/4220/task/4229/stat : 4229 (java) S 4218 4220 787 0 -1 4202560 8675 0 0 0 117 1 0 0 16 0 19 0 877770842 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4230] ppid=4218 vsize=10559084 CPUtime=1.22 cores=1,3,5,7
/proc/4220/task/4230/stat : 4230 (java) S 4218 4220 787 0 -1 4202560 9391 0 0 0 120 2 0 0 15 0 19 0 877770842 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4231] ppid=4218 vsize=10559084 CPUtime=3.7 cores=1,3,5,7
/proc/4220/task/4231/stat : 4231 (java) S 4218 4220 787 0 -1 4202560 15315 0 0 0 367 3 0 0 15 0 19 0 877770843 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 0 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4232] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4232/stat : 4232 (java) S 4218 4220 787 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877770844 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4233] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4233/stat : 4233 (java) S 4218 4220 787 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877770844 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4234] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4234/stat : 4234 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877770846 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652683185 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4235] ppid=4218 vsize=10559084 CPUtime=0.92 cores=1,3,5,7
/proc/4220/task/4235/stat : 4235 (java) S 4218 4220 787 0 -1 4202560 6515 0 0 0 92 0 0 0 15 0 19 0 877770846 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4236] ppid=4218 vsize=10559084 CPUtime=1.13 cores=1,3,5,7
/proc/4220/task/4236/stat : 4236 (java) S 4218 4220 787 0 -1 4202560 11903 0 0 0 112 1 0 0 15 0 19 0 877770846 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4237] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4237/stat : 4237 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770846 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4238] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4238/stat : 4238 (java) S 4218 4220 787 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 877770846 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4239] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4239/stat : 4239 (java) S 4218 4220 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877770858 10812502016 947588 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1791.89
Current children cumulated vsize (KiB) 10559084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/211 4342
/proc/meminfo: memFree=24851536/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=10559084 CPUtime=1800.05 cores=1,3,5,7
/proc/4220/stat : 4220 (java) S 4218 4220 787 0 -1 4202496 958570 0 1 0 179897 108 0 0 25 0 19 0 877770840 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 2639771 947765 2258 9 0 2630505 0
[pid=4220/tid=4221] ppid=4218 vsize=10559084 CPUtime=1784 cores=1,3,5,7
/proc/4220/task/4221/stat : 4221 (java) R 4218 4220 787 0 -1 4202560 846471 0 1 0 178311 89 0 0 25 0 19 0 877770841 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 46912505594387 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4220/tid=4223] ppid=4218 vsize=10559084 CPUtime=1.38 cores=1,3,5,7
/proc/4220/task/4223/stat : 4223 (java) S 4218 4220 787 0 -1 4202560 8858 0 0 0 137 1 0 0 16 0 19 0 877770842 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4224] ppid=4218 vsize=10559084 CPUtime=1.28 cores=1,3,5,7
/proc/4220/task/4224/stat : 4224 (java) S 4218 4220 787 0 -1 4202560 11347 0 0 0 126 2 0 0 16 0 19 0 877770842 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4225] ppid=4218 vsize=10559084 CPUtime=1.23 cores=1,3,5,7
/proc/4220/task/4225/stat : 4225 (java) S 4218 4220 787 0 -1 4202560 10040 0 0 0 122 1 0 0 15 0 19 0 877770842 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4226] ppid=4218 vsize=10559084 CPUtime=1.32 cores=1,3,5,7
/proc/4220/task/4226/stat : 4226 (java) S 4218 4220 787 0 -1 4202560 9296 0 0 0 131 1 0 0 16 0 19 0 877770842 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4227] ppid=4218 vsize=10559084 CPUtime=1.36 cores=1,3,5,7
/proc/4220/task/4227/stat : 4227 (java) S 4218 4220 787 0 -1 4202560 11607 0 0 0 134 2 0 0 16 0 19 0 877770842 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4228] ppid=4218 vsize=10559084 CPUtime=1.22 cores=1,3,5,7
/proc/4220/task/4228/stat : 4228 (java) S 4218 4220 787 0 -1 4202560 7900 0 0 0 122 0 0 0 16 0 19 0 877770842 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4229] ppid=4218 vsize=10559084 CPUtime=1.18 cores=1,3,5,7
/proc/4220/task/4229/stat : 4229 (java) S 4218 4220 787 0 -1 4202560 8675 0 0 0 117 1 0 0 16 0 19 0 877770842 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4230] ppid=4218 vsize=10559084 CPUtime=1.22 cores=1,3,5,7
/proc/4220/task/4230/stat : 4230 (java) S 4218 4220 787 0 -1 4202560 9391 0 0 0 120 2 0 0 16 0 19 0 877770842 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4231] ppid=4218 vsize=10559084 CPUtime=3.7 cores=1,3,5,7
/proc/4220/task/4231/stat : 4231 (java) S 4218 4220 787 0 -1 4202560 15315 0 0 0 367 3 0 0 15 0 19 0 877770843 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 0 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4232] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4232/stat : 4232 (java) S 4218 4220 787 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877770844 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4233] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4233/stat : 4233 (java) S 4218 4220 787 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877770844 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4234] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4234/stat : 4234 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877770846 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652683185 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4235] ppid=4218 vsize=10559084 CPUtime=0.92 cores=1,3,5,7
/proc/4220/task/4235/stat : 4235 (java) S 4218 4220 787 0 -1 4202560 6515 0 0 0 92 0 0 0 15 0 19 0 877770846 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 3 0 0 0
[pid=4220/tid=4236] ppid=4218 vsize=10559084 CPUtime=1.13 cores=1,3,5,7
/proc/4220/task/4236/stat : 4236 (java) S 4218 4220 787 0 -1 4202560 11903 0 0 0 112 1 0 0 15 0 19 0 877770846 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
[pid=4220/tid=4237] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4237/stat : 4237 (java) S 4218 4220 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877770846 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652675481 0 4 0 16800975 18446604471120657216 0 0 -1 7 0 0 0
[pid=4220/tid=4238] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4238/stat : 4238 (java) S 4218 4220 787 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 877770846 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 1 0 0 0
[pid=4220/tid=4239] ppid=4218 vsize=10559084 CPUtime=0 cores=1,3,5,7
/proc/4220/task/4239/stat : 4239 (java) S 4218 4220 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877770858 10812502016 947765 33554432000 1073741824 1073778376 140735823618960 18446744073709551615 253652676096 0 4 0 16800975 18446604471120657216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10559084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.51 s]
/proc/loadavg: 2.00 2.00 1.91 3/211 4342
/proc/meminfo: memFree=24851536/32951124 swapFree=67060628/67111528
[pid=4220] ppid=4218 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/4220/stat : 4220 (java) Z 4218 4220 787 0 -1 4203548 958611 0 1 0 179906 114 0 0 17 0 2 0 877770840 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4220/statm: 0 0 0 0 0 0 0
[pid=4220/tid=4233] ppid=4218 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/4220/task/4233/stat : 4233 (java) R 4218 4220 787 0 -1 4203588 10 0 0 0 0 6 0 0 18 0 2 0 877770844 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.57
CPU time (s): 1800.28
CPU user time (s): 1799.07
CPU system time (s): 1.20982
CPU usage (%): 100.542
Max. virtual memory (cumulated for all children) (KiB): 10559084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.20982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 958611
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41049
involuntary context switches= 23916
runsolver used 3.03654 second user time and 6.75797 second system time
The end