runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3731006-1338682852/watcher-3731006-1338682852 -o /tmp/evaluation-result-3731006-1338682852/solver-3731006-1338682852 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731006-1338682852.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: 1.92 1.99 1.94 3/195 17007
/proc/meminfo: memFree=27396992/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17007/stat : 17007 (java) D 17005 17007 15565 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 334410080 9515008 183 33554432000 1073741824 1073778376 140735376008208 140735375999240 233220947637 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17007/statm: 2323 183 140 9 0 71 0
[startup+0.0348969 s]
/proc/loadavg: 1.92 1.99 1.94 3/195 17007
/proc/meminfo: memFree=27396992/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=2414972 CPUtime=0.01 cores=1,3,5,7
/proc/17007/stat : 17007 (java) S 17005 17007 15565 0 -1 4202496 3683 0 1 0 1 0 0 0 20 0 10 0 334410080 2472931328 4381 33554432000 1073741824 1073778376 140736314804240 140736314795376 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17007/statm: 603743 4381 1537 9 0 594444 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2414972
[startup+0.100333 s]
/proc/loadavg: 1.92 1.99 1.94 3/195 17007
/proc/meminfo: memFree=27396992/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/17007/stat : 17007 (java) S 17005 17007 15565 0 -1 4202496 4142 0 1 0 6 1 0 0 20 0 18 0 334410080 3028844544 5859 33554432000 1073741824 1073778376 140736314804240 140736314795376 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17007/statm: 739464 5859 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300311 s]
/proc/loadavg: 1.92 1.99 1.94 3/195 17007
/proc/meminfo: memFree=27396992/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/17007/stat : 17007 (java) S 17005 17007 15565 0 -1 4202496 7591 0 1 0 46 2 0 0 20 0 18 0 334410080 3028844544 10420 33554432000 1073741824 1073778376 140736314804240 140736314795376 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17007/statm: 739464 10420 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856
[startup+0.700293 s]
/proc/loadavg: 1.92 1.99 1.94 3/195 17007
/proc/meminfo: memFree=27396992/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/17007/stat : 17007 (java) S 17005 17007 15565 0 -1 4202496 10739 0 1 0 141 5 0 0 20 0 19 0 334410080 3097006080 32015 33554432000 1073741824 1073778376 140736314804240 140736314795376 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17007/statm: 756105 32015 2275 9 0 746526 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 3024420
[startup+1.50073 s]
/proc/loadavg: 1.92 1.99 1.94 3/214 17026
/proc/meminfo: memFree=27272620/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/17007/stat : 17007 (java) S 17005 17007 15565 0 -1 4202496 11967 0 1 0 240 5 0 0 20 0 19 0 334410080 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 140736314795376 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17007/statm: 756105 36204 2276 9 0 746526 0
[pid=17007/tid=17009] ppid=17005 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/17007/task/17009/stat : 17009 (java) R 17005 17007 15565 0 -1 4202560 3104 0 1 0 142 4 0 0 20 0 19 0 334410082 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139789190558136 139789056327121 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17010] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17010/stat : 17010 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139789055551656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17011] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17011/stat : 17011 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139789054499112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17012] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17012/stat : 17012 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139789053446568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17013] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17013/stat : 17013 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139789052394024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17014] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17014/stat : 17014 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139789051341480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17015] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17015/stat : 17015 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139789050288936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17016] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17016/stat : 17016 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139789049236392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17017] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17017/stat : 17017 (java) S 17005 17007 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139789048183848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17018] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17018/stat : 17018 (java) S 17005 17007 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334410084 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139788565854312 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17019] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17019/stat : 17019 (java) S 17005 17007 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139788564800632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17020] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17020/stat : 17020 (java) S 17005 17007 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139788563747976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17021] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17021/stat : 17021 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139788562696720 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17022] ppid=17005 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17007/task/17022/stat : 17022 (java) S 17005 17007 15565 0 -1 4202560 4875 0 0 0 46 1 0 0 20 0 19 0 334410088 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139788561644088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17023] ppid=17005 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17007/task/17023/stat : 17023 (java) S 17005 17007 15565 0 -1 4202560 2793 0 0 0 48 0 0 0 20 0 19 0 334410088 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139788560591544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17024] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17024/stat : 17024 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139788559539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17025] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17025/stat : 17025 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139788558486856 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17026] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17026/stat : 17026 (java) S 17005 17007 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410139 3097006080 36204 33554432000 1073741824 1073778376 140736314804240 139788556354344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 3024420
[startup+3.10074 s]
/proc/loadavg: 1.92 1.99 1.94 3/214 17026
/proc/meminfo: memFree=27251520/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=3024420 CPUtime=4.06 cores=1,3,5,7
/proc/17007/stat : 17007 (java) S 17005 17007 15565 0 -1 4202496 11978 0 1 0 400 6 0 0 20 0 19 0 334410080 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 140736314795376 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17007/statm: 756105 40813 2276 9 0 746526 0
[pid=17007/tid=17009] ppid=17005 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/17007/task/17009/stat : 17009 (java) R 17005 17007 15565 0 -1 4202560 3114 0 1 0 301 4 0 0 20 0 19 0 334410082 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139789190558136 139789056327021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17010] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17010/stat : 17010 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139789055551656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17011] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17011/stat : 17011 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139789054499112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17012] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17012/stat : 17012 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139789053446568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17013] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17013/stat : 17013 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139789052394024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17014] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17014/stat : 17014 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139789051341480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17015] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17015/stat : 17015 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139789050288936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17016] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17016/stat : 17016 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139789049236392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17017] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17017/stat : 17017 (java) S 17005 17007 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139789048183848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17018] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17018/stat : 17018 (java) S 17005 17007 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334410084 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139788565854312 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17019] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17019/stat : 17019 (java) S 17005 17007 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139788564800632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17020] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17020/stat : 17020 (java) S 17005 17007 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139788563747976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17021] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17021/stat : 17021 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139788562696720 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17022] ppid=17005 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17007/task/17022/stat : 17022 (java) S 17005 17007 15565 0 -1 4202560 4875 0 0 0 46 1 0 0 20 0 19 0 334410088 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139788561644088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17023] ppid=17005 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17007/task/17023/stat : 17023 (java) S 17005 17007 15565 0 -1 4202560 2793 0 0 0 48 0 0 0 20 0 19 0 334410088 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139788560591544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17024] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17024/stat : 17024 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139788559539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17025] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17025/stat : 17025 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139788558486856 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17026] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17026/stat : 17026 (java) S 17005 17007 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410139 3097006080 40813 33554432000 1073741824 1073778376 140736314804240 139788556354344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 3024420
[startup+6.30077 s]
/proc/loadavg: 1.93 1.99 1.94 3/214 17026
/proc/meminfo: memFree=27220552/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=3024420 CPUtime=7.26 cores=1,3,5,7
/proc/17007/stat : 17007 (java) S 17005 17007 15565 0 -1 4202496 11992 0 1 0 720 6 0 0 20 0 19 0 334410080 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 140736314795376 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17007/statm: 756105 47440 2276 9 0 746526 0
[pid=17007/tid=17009] ppid=17005 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/17007/task/17009/stat : 17009 (java) R 17005 17007 15565 0 -1 4202560 3128 0 1 0 620 4 0 0 20 0 19 0 334410082 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139789190558072 139789056326993 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17010] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17010/stat : 17010 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139789055551656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17011] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17011/stat : 17011 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139789054499112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17012] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17012/stat : 17012 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139789053446568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17013] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17013/stat : 17013 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139789052394024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17014] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17014/stat : 17014 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139789051341480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17015] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17015/stat : 17015 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139789050288936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17016] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17016/stat : 17016 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139789049236392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17017] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17017/stat : 17017 (java) S 17005 17007 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334410083 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139789048183848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17018] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17018/stat : 17018 (java) S 17005 17007 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334410084 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139788565854312 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17019] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17019/stat : 17019 (java) S 17005 17007 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139788564800632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17020] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17020/stat : 17020 (java) S 17005 17007 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139788563747976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17021] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17021/stat : 17021 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139788562696720 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17022] ppid=17005 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17007/task/17022/stat : 17022 (java) S 17005 17007 15565 0 -1 4202560 4875 0 0 0 46 1 0 0 20 0 19 0 334410088 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139788561644088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17023] ppid=17005 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17007/task/17023/stat : 17023 (java) S 17005 17007 15565 0 -1 4202560 2793 0 0 0 49 0 0 0 20 0 19 0 334410088 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139788560591544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17024] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17024/stat : 17024 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139788559539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17025] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17025/stat : 17025 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139788558486856 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17026] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17026/stat : 17026 (java) S 17005 17007 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410139 3097006080 47440 33554432000 1073741824 1073778376 140736314804240 139788556354344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=17007/tid=17022] ppid=17005 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17007/task/17022/stat : 17022 (java) S 17005 17007 15565 0 -1 4202560 4875 0 0 0 46 1 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788561644088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17023] ppid=17005 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17007/task/17023/stat : 17023 (java) S 17005 17007 15565 0 -1 4202560 2793 0 0 0 49 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788560591544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17024] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17024/stat : 17024 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788559539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17025] ppid=17005 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/17007/task/17025/stat : 17025 (java) S 17005 17007 15565 0 -1 4202560 99 0 0 0 45 56 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788558486856 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17026] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17026/stat : 17026 (java) S 17005 17007 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410139 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788556354344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.81
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 17229
/proc/meminfo: memFree=25910000/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=3024420 CPUtime=1786.83 cores=1,3,5,7
/proc/17007/stat : 17007 (java) S 17005 17007 15565 0 -1 4202496 14216 0 1 0 178474 209 0 0 20 0 19 0 334410080 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 140736314795376 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17007/statm: 756105 364474 2297 9 0 746526 0
[pid=17007/tid=17009] ppid=17005 vsize=3024420 CPUtime=1776.08 cores=1,3,5,7
/proc/17007/task/17009/stat : 17009 (java) R 17005 17007 15565 0 -1 4202560 3259 0 1 0 177574 34 0 0 20 0 19 0 334410082 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789190557048 139789056327030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17010] ppid=17005 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/17007/task/17010/stat : 17010 (java) S 17005 17007 15565 0 -1 4202560 227 0 0 0 24 17 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789055551656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17011] ppid=17005 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/17007/task/17011/stat : 17011 (java) S 17005 17007 15565 0 -1 4202560 174 0 0 0 22 13 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789054499112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17012] ppid=17005 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/17007/task/17012/stat : 17012 (java) S 17005 17007 15565 0 -1 4202560 229 0 0 0 25 16 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789053446568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17013] ppid=17005 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/17007/task/17013/stat : 17013 (java) S 17005 17007 15565 0 -1 4202560 234 0 0 0 26 16 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789052394024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17014] ppid=17005 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17007/task/17014/stat : 17014 (java) S 17005 17007 15565 0 -1 4202560 271 0 0 0 28 20 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789051341480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17015] ppid=17005 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17007/task/17015/stat : 17015 (java) S 17005 17007 15565 0 -1 4202560 238 0 0 0 26 17 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789050288936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17016] ppid=17005 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/17007/task/17016/stat : 17016 (java) S 17005 17007 15565 0 -1 4202560 358 0 0 0 40 26 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789049236392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17017] ppid=17005 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/17007/task/17017/stat : 17017 (java) S 17005 17007 15565 0 -1 4202560 205 0 0 0 27 14 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789048183848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17018] ppid=17005 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/17007/task/17018/stat : 17018 (java) S 17005 17007 15565 0 -1 4202560 68 0 0 0 67 3 0 0 20 0 19 0 334410084 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788565854312 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17019] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17019/stat : 17019 (java) S 17005 17007 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788564800632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17020] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17020/stat : 17020 (java) S 17005 17007 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788563747976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17021] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17021/stat : 17021 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788562696720 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17022] ppid=17005 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17007/task/17022/stat : 17022 (java) S 17005 17007 15565 0 -1 4202560 4875 0 0 0 46 1 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788561644088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17023] ppid=17005 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17007/task/17023/stat : 17023 (java) S 17005 17007 15565 0 -1 4202560 2793 0 0 0 49 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788560591544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17024] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17024/stat : 17024 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788559539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17025] ppid=17005 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/17007/task/17025/stat : 17025 (java) S 17005 17007 15565 0 -1 4202560 103 0 0 0 46 58 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788558486856 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17026] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17026/stat : 17026 (java) S 17005 17007 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410139 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788556354344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.83
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 17229
/proc/meminfo: memFree=25910124/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/17007/stat : 17007 (java) S 17005 17007 15565 0 -1 4202496 14216 0 1 0 179796 210 0 0 20 0 19 0 334410080 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 140736314795376 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17007/statm: 756105 364474 2297 9 0 746526 0
[pid=17007/tid=17009] ppid=17005 vsize=3024420 CPUtime=1789.26 cores=1,3,5,7
/proc/17007/task/17009/stat : 17009 (java) R 17005 17007 15565 0 -1 4202560 3259 0 1 0 178891 35 0 0 20 0 19 0 334410082 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789190557048 139789056349552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17010] ppid=17005 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/17007/task/17010/stat : 17010 (java) S 17005 17007 15565 0 -1 4202560 227 0 0 0 24 17 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789055551656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17011] ppid=17005 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/17007/task/17011/stat : 17011 (java) S 17005 17007 15565 0 -1 4202560 174 0 0 0 22 13 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789054499112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17012] ppid=17005 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/17007/task/17012/stat : 17012 (java) S 17005 17007 15565 0 -1 4202560 229 0 0 0 25 16 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789053446568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17013] ppid=17005 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/17007/task/17013/stat : 17013 (java) S 17005 17007 15565 0 -1 4202560 234 0 0 0 26 16 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789052394024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17014] ppid=17005 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17007/task/17014/stat : 17014 (java) S 17005 17007 15565 0 -1 4202560 271 0 0 0 28 20 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789051341480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17015] ppid=17005 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17007/task/17015/stat : 17015 (java) S 17005 17007 15565 0 -1 4202560 238 0 0 0 26 17 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789050288936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17016] ppid=17005 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/17007/task/17016/stat : 17016 (java) S 17005 17007 15565 0 -1 4202560 358 0 0 0 40 26 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789049236392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17017] ppid=17005 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/17007/task/17017/stat : 17017 (java) S 17005 17007 15565 0 -1 4202560 205 0 0 0 27 14 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789048183848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17018] ppid=17005 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/17007/task/17018/stat : 17018 (java) S 17005 17007 15565 0 -1 4202560 68 0 0 0 68 3 0 0 20 0 19 0 334410084 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788565854312 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17019] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17019/stat : 17019 (java) S 17005 17007 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788564800632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17020] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17020/stat : 17020 (java) S 17005 17007 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788563747976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17021] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17021/stat : 17021 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788562696720 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17022] ppid=17005 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17007/task/17022/stat : 17022 (java) S 17005 17007 15565 0 -1 4202560 4875 0 0 0 46 1 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788561644088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17023] ppid=17005 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17007/task/17023/stat : 17023 (java) S 17005 17007 15565 0 -1 4202560 2793 0 0 0 49 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788560591544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17024] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17024/stat : 17024 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788559539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17025] ppid=17005 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/17007/task/17025/stat : 17025 (java) S 17005 17007 15565 0 -1 4202560 103 0 0 0 47 58 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788558486856 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17026] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17026/stat : 17026 (java) S 17005 17007 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410139 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788556354344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 17229
/proc/meminfo: memFree=25910124/32873844 swapFree=7120/7120
[pid=17007] ppid=17005 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/17007/stat : 17007 (java) S 17005 17007 15565 0 -1 4202496 14216 0 1 0 179796 210 0 0 20 0 19 0 334410080 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 140736314795376 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17007/statm: 756105 364474 2297 9 0 746526 0
[pid=17007/tid=17009] ppid=17005 vsize=3024420 CPUtime=1789.26 cores=1,3,5,7
/proc/17007/task/17009/stat : 17009 (java) R 17005 17007 15565 0 -1 4202560 3259 0 1 0 178891 35 0 0 20 0 19 0 334410082 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789190557048 139789056349552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17010] ppid=17005 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/17007/task/17010/stat : 17010 (java) S 17005 17007 15565 0 -1 4202560 227 0 0 0 24 17 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789055551656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17011] ppid=17005 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/17007/task/17011/stat : 17011 (java) S 17005 17007 15565 0 -1 4202560 174 0 0 0 22 13 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789054499112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17012] ppid=17005 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/17007/task/17012/stat : 17012 (java) S 17005 17007 15565 0 -1 4202560 229 0 0 0 25 16 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789053446568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17013] ppid=17005 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/17007/task/17013/stat : 17013 (java) S 17005 17007 15565 0 -1 4202560 234 0 0 0 26 16 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789052394024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17014] ppid=17005 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17007/task/17014/stat : 17014 (java) S 17005 17007 15565 0 -1 4202560 271 0 0 0 28 20 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789051341480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17015] ppid=17005 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17007/task/17015/stat : 17015 (java) S 17005 17007 15565 0 -1 4202560 238 0 0 0 26 17 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789050288936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17007/tid=17016] ppid=17005 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/17007/task/17016/stat : 17016 (java) S 17005 17007 15565 0 -1 4202560 358 0 0 0 40 26 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789049236392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17017] ppid=17005 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/17007/task/17017/stat : 17017 (java) S 17005 17007 15565 0 -1 4202560 205 0 0 0 27 14 0 0 20 0 19 0 334410083 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139789048183848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17018] ppid=17005 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/17007/task/17018/stat : 17018 (java) S 17005 17007 15565 0 -1 4202560 68 0 0 0 68 3 0 0 20 0 19 0 334410084 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788565854312 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17019] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17019/stat : 17019 (java) S 17005 17007 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788564800632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17020] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17020/stat : 17020 (java) S 17005 17007 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334410085 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788563747976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17021] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17021/stat : 17021 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788562696720 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17022] ppid=17005 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17007/task/17022/stat : 17022 (java) S 17005 17007 15565 0 -1 4202560 4875 0 0 0 46 1 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788561644088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17007/tid=17023] ppid=17005 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17007/task/17023/stat : 17023 (java) S 17005 17007 15565 0 -1 4202560 2793 0 0 0 49 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788560591544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17024] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17024/stat : 17024 (java) S 17005 17007 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788559539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17007/tid=17025] ppid=17005 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/17007/task/17025/stat : 17025 (java) S 17005 17007 15565 0 -1 4202560 103 0 0 0 47 58 0 0 20 0 19 0 334410088 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788558486856 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17007/tid=17026] ppid=17005 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17007/task/17026/stat : 17026 (java) S 17005 17007 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410139 3097006080 364474 33554432000 1073741824 1073778376 140736314804240 139788556354344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17007 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=318374
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=502619
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.52
CPU time (s): 1800.06
CPU user time (s): 1797.96
CPU system time (s): 2.1
CPU usage (%): 100.253
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.32
system time used= 2.50262
maximum resident set size= 1458012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14247
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37959
involuntary context switches= 2700
runsolver used 6.92095 second user time and 16.2315 second system time
The end