runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311149-1304111858/watcher-3311149-1304111858 -o /tmp/evaluation-result-3311149-1304111858/solver-3311149-1304111858 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311149-1304111858.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 4.49 6.87 7.61 2/174 3811
/proc/meminfo: memFree=30903448/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/3811/stat : 3811 (java) R 3809 3811 3436 0 -1 4202496 766 0 0 0 0 0 0 0 24 0 1 0 503601748 23580672 252 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220811273984 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/3811/statm: 5757 265 211 9 0 124 0
[startup+0.0614019 s]
/proc/loadavg: 4.49 6.87 7.61 2/174 3811
/proc/meminfo: memFree=30903448/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=15609780 CPUtime=0.04 cores=0,2,4,6
/proc/3811/stat : 3811 (java) S 3809 3811 3436 0 -1 4202496 4226 0 1 0 4 0 0 0 24 0 18 0 503601748 15984414720 3664 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3811/statm: 3902445 3664 1768 9 0 3893164 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609780
[startup+0.100392 s]
/proc/loadavg: 4.49 6.87 7.61 2/174 3811
/proc/meminfo: memFree=30903448/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=15677016 CPUtime=0.1 cores=0,2,4,6
/proc/3811/stat : 3811 (java) S 3809 3811 3436 0 -1 4202496 5519 0 1 0 9 1 0 0 24 0 18 0 503601748 16053264384 4957 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3811/statm: 3919254 4957 2116 9 0 3909973 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677016
[startup+0.300315 s]
/proc/loadavg: 4.49 6.87 7.61 2/174 3811
/proc/meminfo: memFree=30903448/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=15682456 CPUtime=0.51 cores=0,2,4,6
/proc/3811/stat : 3811 (java) S 3809 3811 3436 0 -1 4202496 14983 0 1 0 48 3 0 0 24 0 18 0 503601748 16058834944 13181 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3811/statm: 3920614 13188 2206 9 0 3911333 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682456
[startup+0.70026 s]
/proc/loadavg: 4.49 6.87 7.61 2/174 3811
/proc/meminfo: memFree=30903448/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=15701756 CPUtime=1.31 cores=0,2,4,6
/proc/3811/stat : 3811 (java) S 3809 3811 3436 0 -1 4202496 39077 0 1 0 125 6 0 0 24 0 22 0 503601748 16078598144 35451 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3811/statm: 3925439 35451 2241 9 0 3916158 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 15701756
[startup+1.50104 s]
/proc/loadavg: 4.49 6.87 7.61 7/220 3860
/proc/meminfo: memFree=30568544/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=15706844 CPUtime=3.75 cores=0,2,4,6
/proc/3811/stat : 3811 (java) S 3809 3811 3436 0 -1 4202496 57285 0 1 0 366 9 0 0 24 0 22 0 503601748 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3811/statm: 3926711 48104 2273 9 0 3917430 0
[pid=3811/tid=3813] ppid=3809 vsize=15706844 CPUtime=0.91 cores=0,2,4,6
/proc/3811/task/3813/stat : 3813 (java) S 3809 3811 3436 0 -1 4202560 27410 0 1 0 87 4 0 0 18 0 22 0 503601748 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3815] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3815/stat : 3815 (java) S 3809 3811 3436 0 -1 4202560 311 0 0 0 0 0 0 0 18 0 22 0 503601749 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3816] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3816/stat : 3816 (java) S 3809 3811 3436 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 503601749 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3817] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3817/stat : 3817 (java) S 3809 3811 3436 0 -1 4202560 617 0 0 0 0 0 0 0 18 0 22 0 503601749 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3818] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3818/stat : 3818 (java) S 3809 3811 3436 0 -1 4202560 172 0 0 0 0 0 0 0 18 0 22 0 503601749 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3819] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3819/stat : 3819 (java) S 3809 3811 3436 0 -1 4202560 487 0 0 0 0 0 0 0 18 0 22 0 503601749 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3820] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3820/stat : 3820 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503601749 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3821] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3821/stat : 3821 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503601749 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3822] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3822/stat : 3822 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503601749 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3825] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3825/stat : 3825 (java) S 3809 3811 3436 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 503601750 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052992 0 0 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3828] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3828/stat : 3828 (java) S 3809 3811 3436 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3829] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3829/stat : 3829 (java) S 3809 3811 3436 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3843] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3843/stat : 3843 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601753 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828060081 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3844] ppid=3809 vsize=15706844 CPUtime=0.92 cores=0,2,4,6
/proc/3811/task/3844/stat : 3844 (java) S 3809 3811 3436 0 -1 4202560 12026 0 0 0 91 1 0 0 15 0 22 0 503601753 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3845] ppid=3809 vsize=15706844 CPUtime=0.73 cores=0,2,4,6
/proc/3811/task/3845/stat : 3845 (java) R 3809 3811 3436 0 -1 4202560 7051 0 0 0 71 2 0 0 16 0 22 0 503601753 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3811/tid=3846] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3846/stat : 3846 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503601753 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3847] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3847/stat : 3847 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503601753 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052992 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3853] ppid=3809 vsize=15706844 CPUtime=0.24 cores=0,2,4,6
/proc/3811/task/3853/stat : 3853 (java) R 3809 3811 3436 0 -1 4202560 476 0 0 0 24 0 0 0 16 0 22 0 503601788 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912506103600 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3811/tid=3854] ppid=3809 vsize=15706844 CPUtime=0.28 cores=0,2,4,6
/proc/3811/task/3854/stat : 3854 (java) R 3809 3811 3436 0 -1 4202560 3151 0 0 0 28 0 0 0 16 0 22 0 503601788 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 47801902019123 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3811/tid=3855] ppid=3809 vsize=15706844 CPUtime=0.33 cores=0,2,4,6
/proc/3811/task/3855/stat : 3855 (java) R 3809 3811 3436 0 -1 4202560 2210 0 0 0 33 0 0 0 16 0 22 0 503601788 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 47801902020706 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3811/tid=3856] ppid=3809 vsize=15706844 CPUtime=0.28 cores=0,2,4,6
/proc/3811/task/3856/stat : 3856 (java) R 3809 3811 3436 0 -1 4202560 1971 0 0 0 28 0 0 0 16 0 22 0 503601788 16083808256 48104 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912506103963 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 15706844
[startup+3.10076 s]
/proc/loadavg: 4.49 6.87 7.61 10/220 3860
/proc/meminfo: memFree=30407964/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=15706844 CPUtime=10.13 cores=0,2,4,6
/proc/3811/stat : 3811 (java) S 3809 3811 3436 0 -1 4202496 123550 0 1 0 991 22 0 0 24 0 22 0 503601748 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3811/statm: 3926711 114218 2274 9 0 3917430 0
[pid=3811/tid=3813] ppid=3809 vsize=15706844 CPUtime=0.91 cores=0,2,4,6
/proc/3811/task/3813/stat : 3813 (java) S 3809 3811 3436 0 -1 4202560 27410 0 1 0 87 4 0 0 18 0 22 0 503601748 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3815] ppid=3809 vsize=15706844 CPUtime=0.02 cores=0,2,4,6
/proc/3811/task/3815/stat : 3815 (java) S 3809 3811 3436 0 -1 4202560 5811 0 0 0 1 1 0 0 16 0 22 0 503601749 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3816] ppid=3809 vsize=15706844 CPUtime=0.02 cores=0,2,4,6
/proc/3811/task/3816/stat : 3816 (java) S 3809 3811 3436 0 -1 4202560 6637 0 0 0 1 1 0 0 15 0 22 0 503601749 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3817] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3817/stat : 3817 (java) S 3809 3811 3436 0 -1 4202560 2673 0 0 0 0 0 0 0 15 0 22 0 503601749 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3818] ppid=3809 vsize=15706844 CPUtime=0.03 cores=0,2,4,6
/proc/3811/task/3818/stat : 3818 (java) S 3809 3811 3436 0 -1 4202560 8438 0 0 0 1 2 0 0 16 0 22 0 503601749 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3819] ppid=3809 vsize=15706844 CPUtime=0.02 cores=0,2,4,6
/proc/3811/task/3819/stat : 3819 (java) S 3809 3811 3436 0 -1 4202560 6598 0 0 0 1 1 0 0 16 0 22 0 503601749 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3820] ppid=3809 vsize=15706844 CPUtime=0.01 cores=0,2,4,6
/proc/3811/task/3820/stat : 3820 (java) S 3809 3811 3436 0 -1 4202560 4881 0 0 0 0 1 0 0 16 0 22 0 503601749 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3821] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3821/stat : 3821 (java) S 3809 3811 3436 0 -1 4202560 4512 0 0 0 0 0 0 0 15 0 22 0 503601749 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3822] ppid=3809 vsize=15706844 CPUtime=0.02 cores=0,2,4,6
/proc/3811/task/3822/stat : 3822 (java) S 3809 3811 3436 0 -1 4202560 6071 0 0 0 1 1 0 0 15 0 22 0 503601749 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3825] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3825/stat : 3825 (java) S 3809 3811 3436 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 22 0 503601750 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052992 0 0 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3828] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3828/stat : 3828 (java) S 3809 3811 3436 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3829] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3829/stat : 3829 (java) S 3809 3811 3436 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3843] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3843/stat : 3843 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601753 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828060081 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3844] ppid=3809 vsize=15706844 CPUtime=0.97 cores=0,2,4,6
/proc/3811/task/3844/stat : 3844 (java) S 3809 3811 3436 0 -1 4202560 12034 0 0 0 96 1 0 0 15 0 22 0 503601753 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3845] ppid=3809 vsize=15706844 CPUtime=0.73 cores=0,2,4,6
/proc/3811/task/3845/stat : 3845 (java) S 3809 3811 3436 0 -1 4202560 7052 0 0 0 71 2 0 0 15 0 22 0 503601753 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3846] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3846/stat : 3846 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503601753 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3847] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3847/stat : 3847 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503601753 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052992 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3853] ppid=3809 vsize=15706844 CPUtime=1.78 cores=0,2,4,6
/proc/3811/task/3853/stat : 3853 (java) R 3809 3811 3436 0 -1 4202560 5799 0 0 0 177 1 0 0 17 0 22 0 503601788 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505871267 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3811/tid=3854] ppid=3809 vsize=15706844 CPUtime=1.81 cores=0,2,4,6
/proc/3811/task/3854/stat : 3854 (java) R 3809 3811 3436 0 -1 4202560 8373 0 0 0 180 1 0 0 17 0 22 0 503601788 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505764989 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3811/tid=3855] ppid=3809 vsize=15706844 CPUtime=1.85 cores=0,2,4,6
/proc/3811/task/3855/stat : 3855 (java) R 3809 3811 3436 0 -1 4202560 8326 0 0 0 185 0 0 0 17 0 22 0 503601788 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505871160 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3811/tid=3856] ppid=3809 vsize=15706844 CPUtime=1.83 cores=0,2,4,6
/proc/3811/task/3856/stat : 3856 (java) R 3809 3811 3436 0 -1 4202560 7306 0 0 0 182 1 0 0 17 0 22 0 503601788 16083808256 114218 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 47801902697296 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.13
Current children cumulated vsize (KiB) 15706844
[startup+6.30303 s]
/proc/loadavg: 4.93 6.92 7.62 9/220 3860
/proc/meminfo: memFree=29177056/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=15706844 CPUtime=22.91 cores=0,2,4,6
/proc/3811/stat : 3811 (java) S 3809 3811 3436 0 -1 4202496 360034 0 1 0 2233 58 0 0 24 0 22 0 503601748 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3811/statm: 3926711 350206 2277 9 0 3917430 0
[pid=3811/tid=3813] ppid=3809 vsize=15706844 CPUtime=0.91 cores=0,2,4,6
/proc/3811/task/3813/stat : 3813 (java) S 3809 3811 3436 0 -1 4202560 27410 0 1 0 87 4 0 0 18 0 22 0 503601748 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3815] ppid=3809 vsize=15706844 CPUtime=0.04 cores=0,2,4,6
/proc/3811/task/3815/stat : 3815 (java) R 3809 3811 3436 0 -1 4202560 12375 0 0 0 2 2 0 0 15 0 22 0 503601749 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220816189751 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3811/tid=3816] ppid=3809 vsize=15706844 CPUtime=0.06 cores=0,2,4,6
/proc/3811/task/3816/stat : 3816 (java) S 3809 3811 3436 0 -1 4202560 17408 0 0 0 3 3 0 0 15 0 22 0 503601749 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3817] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3817/stat : 3817 (java) S 3809 3811 3436 0 -1 4202560 2673 0 0 0 0 0 0 0 15 0 22 0 503601749 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3818] ppid=3809 vsize=15706844 CPUtime=0.03 cores=0,2,4,6
/proc/3811/task/3818/stat : 3818 (java) S 3809 3811 3436 0 -1 4202560 8438 0 0 0 1 2 0 0 15 0 22 0 503601749 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3819] ppid=3809 vsize=15706844 CPUtime=0.11 cores=0,2,4,6
/proc/3811/task/3819/stat : 3819 (java) S 3809 3811 3436 0 -1 4202560 30541 0 0 0 5 6 0 0 16 0 22 0 503601749 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3820] ppid=3809 vsize=15706844 CPUtime=0.07 cores=0,2,4,6
/proc/3811/task/3820/stat : 3820 (java) S 3809 3811 3436 0 -1 4202560 21650 0 0 0 3 4 0 0 16 0 22 0 503601749 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3821] ppid=3809 vsize=15706844 CPUtime=0.05 cores=0,2,4,6
/proc/3811/task/3821/stat : 3821 (java) S 3809 3811 3436 0 -1 4202560 16975 0 0 0 2 3 0 0 15 0 22 0 503601749 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3822] ppid=3809 vsize=15706844 CPUtime=0.1 cores=0,2,4,6
/proc/3811/task/3822/stat : 3822 (java) R 3809 3811 3436 0 -1 4202560 30005 0 0 0 4 6 0 0 15 0 22 0 503601749 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220816189751 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3811/tid=3825] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3825/stat : 3825 (java) S 3809 3811 3436 0 -1 4202560 533 0 0 0 0 0 0 0 16 0 22 0 503601750 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 0 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3828] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3828/stat : 3828 (java) S 3809 3811 3436 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3829] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3829/stat : 3829 (java) S 3809 3811 3436 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3843] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3843/stat : 3843 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601753 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828060081 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3844] ppid=3809 vsize=15706844 CPUtime=1.01 cores=0,2,4,6
/proc/3811/task/3844/stat : 3844 (java) S 3809 3811 3436 0 -1 4202560 12043 0 0 0 100 1 0 0 15 0 22 0 503601753 16083808256 350206 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=3811/tid=3854] ppid=3809 vsize=15706844 CPUtime=1111.24 cores=0,2,4,6
/proc/3811/task/3854/stat : 3854 (java) R 3809 3811 3436 0 -1 4202560 374079 0 0 0 111077 47 0 0 25 0 22 0 503601788 16083808256 193894 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505743829 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3811/tid=3855] ppid=3809 vsize=15706844 CPUtime=1110.62 cores=0,2,4,6
/proc/3811/task/3855/stat : 3855 (java) R 3809 3811 3436 0 -1 4202560 383490 0 0 0 111013 49 0 0 25 0 22 0 503601788 16083808256 193894 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505953693 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3811/tid=3856] ppid=3809 vsize=15706844 CPUtime=1110.71 cores=0,2,4,6
/proc/3811/task/3856/stat : 3856 (java) R 3809 3811 3436 0 -1 4202560 381363 0 0 0 111025 46 0 0 25 0 22 0 503601788 16083808256 193894 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912506103886 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4471.88
Current children cumulated vsize (KiB) 15706844
[startup+1182.3 s]
/proc/loadavg: 8.25 8.09 7.94 9/220 3895
/proc/meminfo: memFree=28721352/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=15706844 CPUtime=4710.98 cores=0,2,4,6
/proc/3811/stat : 3811 (java) S 3809 3811 3436 0 -1 4202496 2807335 0 1 0 470612 486 0 0 24 0 22 0 503601748 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3811/statm: 3926711 184216 2298 9 0 3917430 0
[pid=3811/tid=3813] ppid=3809 vsize=15706844 CPUtime=0.91 cores=0,2,4,6
/proc/3811/task/3813/stat : 3813 (java) S 3809 3811 3436 0 -1 4202560 27410 0 1 0 87 4 0 0 18 0 22 0 503601748 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3815] ppid=3809 vsize=15706844 CPUtime=3.47 cores=0,2,4,6
/proc/3811/task/3815/stat : 3815 (java) S 3809 3811 3436 0 -1 4202560 158908 0 0 0 318 29 0 0 16 0 22 0 503601749 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3816] ppid=3809 vsize=15706844 CPUtime=3.4 cores=0,2,4,6
/proc/3811/task/3816/stat : 3816 (java) S 3809 3811 3436 0 -1 4202560 151813 0 0 0 313 27 0 0 15 0 22 0 503601749 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3817] ppid=3809 vsize=15706844 CPUtime=3.44 cores=0,2,4,6
/proc/3811/task/3817/stat : 3817 (java) S 3809 3811 3436 0 -1 4202560 146210 0 0 0 319 25 0 0 15 0 22 0 503601749 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3818] ppid=3809 vsize=15706844 CPUtime=3.36 cores=0,2,4,6
/proc/3811/task/3818/stat : 3818 (java) S 3809 3811 3436 0 -1 4202560 151271 0 0 0 309 27 0 0 16 0 22 0 503601749 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3819] ppid=3809 vsize=15706844 CPUtime=3.43 cores=0,2,4,6
/proc/3811/task/3819/stat : 3819 (java) S 3809 3811 3436 0 -1 4202560 187528 0 0 0 309 34 0 0 16 0 22 0 503601749 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3820] ppid=3809 vsize=15706844 CPUtime=3.38 cores=0,2,4,6
/proc/3811/task/3820/stat : 3820 (java) S 3809 3811 3436 0 -1 4202560 143370 0 0 0 312 26 0 0 15 0 22 0 503601749 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3821] ppid=3809 vsize=15706844 CPUtime=3.33 cores=0,2,4,6
/proc/3811/task/3821/stat : 3821 (java) S 3809 3811 3436 0 -1 4202560 128352 0 0 0 310 23 0 0 16 0 22 0 503601749 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3822] ppid=3809 vsize=15706844 CPUtime=3.5 cores=0,2,4,6
/proc/3811/task/3822/stat : 3822 (java) S 3809 3811 3436 0 -1 4202560 154645 0 0 0 319 31 0 0 15 0 22 0 503601749 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3825] ppid=3809 vsize=15706844 CPUtime=1.39 cores=0,2,4,6
/proc/3811/task/3825/stat : 3825 (java) S 3809 3811 3436 0 -1 4202560 7497 0 0 0 80 59 0 0 15 0 22 0 503601750 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052992 0 0 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3828] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3828/stat : 3828 (java) S 3809 3811 3436 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3829] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3829/stat : 3829 (java) S 3809 3811 3436 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3843] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3843/stat : 3843 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601753 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828060081 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3844] ppid=3809 vsize=15706844 CPUtime=1.21 cores=0,2,4,6
/proc/3811/task/3844/stat : 3844 (java) S 3809 3811 3436 0 -1 4202560 12074 0 0 0 120 1 0 0 15 0 22 0 503601753 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3845] ppid=3809 vsize=15706844 CPUtime=0.99 cores=0,2,4,6
/proc/3811/task/3845/stat : 3845 (java) S 3809 3811 3436 0 -1 4202560 7089 0 0 0 97 2 0 0 16 0 22 0 503601753 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3846] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3846/stat : 3846 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503601753 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3847] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3847/stat : 3847 (java) S 3809 3811 3436 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 503601753 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052992 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3853] ppid=3809 vsize=15706844 CPUtime=1168.44 cores=0,2,4,6
/proc/3811/task/3853/stat : 3853 (java) R 3809 3811 3436 0 -1 4202560 366139 0 0 0 116798 46 0 0 25 0 22 0 503601788 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3811/tid=3854] ppid=3809 vsize=15706844 CPUtime=1170.59 cores=0,2,4,6
/proc/3811/task/3854/stat : 3854 (java) R 3809 3811 3436 0 -1 4202560 379883 0 0 0 117011 48 0 0 25 0 22 0 503601788 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505953835 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3811/tid=3855] ppid=3809 vsize=15706844 CPUtime=1169.99 cores=0,2,4,6
/proc/3811/task/3855/stat : 3855 (java) R 3809 3811 3436 0 -1 4202560 392295 0 0 0 116949 50 0 0 25 0 22 0 503601788 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 18446744073699065897 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3811/tid=3856] ppid=3809 vsize=15706844 CPUtime=1170.02 cores=0,2,4,6
/proc/3811/task/3856/stat : 3856 (java) R 3809 3811 3436 0 -1 4202560 391399 0 0 0 116954 48 0 0 25 0 22 0 503601788 16083808256 184216 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505744095 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4710.98
Current children cumulated vsize (KiB) 15706844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1204.7 s]
/proc/loadavg: 7.93 8.03 7.92 5/197 3898
/proc/meminfo: memFree=30064784/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=15706844 CPUtime=4800.23 cores=0,2,4,6
/proc/3811/stat : 3811 (java) S 3809 3811 3436 0 -1 4202496 2871963 0 1 0 479527 496 0 0 24 0 22 0 503601748 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3811/statm: 3926711 209978 2298 9 0 3917430 0
[pid=3811/tid=3813] ppid=3809 vsize=15706844 CPUtime=0.91 cores=0,2,4,6
/proc/3811/task/3813/stat : 3813 (java) S 3809 3811 3436 0 -1 4202560 27410 0 1 0 87 4 0 0 18 0 22 0 503601748 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3815] ppid=3809 vsize=15706844 CPUtime=3.53 cores=0,2,4,6
/proc/3811/task/3815/stat : 3815 (java) S 3809 3811 3436 0 -1 4202560 161506 0 0 0 324 29 0 0 16 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3816] ppid=3809 vsize=15706844 CPUtime=3.5 cores=0,2,4,6
/proc/3811/task/3816/stat : 3816 (java) S 3809 3811 3436 0 -1 4202560 155976 0 0 0 323 27 0 0 15 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3817] ppid=3809 vsize=15706844 CPUtime=3.51 cores=0,2,4,6
/proc/3811/task/3817/stat : 3817 (java) S 3809 3811 3436 0 -1 4202560 149889 0 0 0 325 26 0 0 16 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3818] ppid=3809 vsize=15706844 CPUtime=3.44 cores=0,2,4,6
/proc/3811/task/3818/stat : 3818 (java) S 3809 3811 3436 0 -1 4202560 155666 0 0 0 317 27 0 0 15 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3819] ppid=3809 vsize=15706844 CPUtime=3.5 cores=0,2,4,6
/proc/3811/task/3819/stat : 3819 (java) S 3809 3811 3436 0 -1 4202560 190564 0 0 0 316 34 0 0 15 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3820] ppid=3809 vsize=15706844 CPUtime=3.47 cores=0,2,4,6
/proc/3811/task/3820/stat : 3820 (java) S 3809 3811 3436 0 -1 4202560 149158 0 0 0 320 27 0 0 16 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3821] ppid=3809 vsize=15706844 CPUtime=3.43 cores=0,2,4,6
/proc/3811/task/3821/stat : 3821 (java) S 3809 3811 3436 0 -1 4202560 138174 0 0 0 318 25 0 0 16 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3822] ppid=3809 vsize=15706844 CPUtime=3.59 cores=0,2,4,6
/proc/3811/task/3822/stat : 3822 (java) S 3809 3811 3436 0 -1 4202560 161967 0 0 0 327 32 0 0 15 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3825] ppid=3809 vsize=15706844 CPUtime=1.43 cores=0,2,4,6
/proc/3811/task/3825/stat : 3825 (java) S 3809 3811 3436 0 -1 4202560 7725 0 0 0 84 59 0 0 15 0 22 0 503601750 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052992 0 0 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3828] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3828/stat : 3828 (java) S 3809 3811 3436 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3829] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3829/stat : 3829 (java) S 3809 3811 3436 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3843] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3843/stat : 3843 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601753 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828060081 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3844] ppid=3809 vsize=15706844 CPUtime=1.21 cores=0,2,4,6
/proc/3811/task/3844/stat : 3844 (java) S 3809 3811 3436 0 -1 4202560 12074 0 0 0 120 1 0 0 15 0 22 0 503601753 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3845] ppid=3809 vsize=15706844 CPUtime=0.99 cores=0,2,4,6
/proc/3811/task/3845/stat : 3845 (java) S 3809 3811 3436 0 -1 4202560 7089 0 0 0 97 2 0 0 16 0 22 0 503601753 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3846] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3846/stat : 3846 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503601753 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3847] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3847/stat : 3847 (java) S 3809 3811 3436 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 503601753 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052992 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3853] ppid=3809 vsize=15706844 CPUtime=1190.6 cores=0,2,4,6
/proc/3811/task/3853/stat : 3853 (java) R 3809 3811 3436 0 -1 4202560 372534 0 0 0 119013 47 0 0 25 0 22 0 503601788 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505953867 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3811/tid=3854] ppid=3809 vsize=15706844 CPUtime=1192.63 cores=0,2,4,6
/proc/3811/task/3854/stat : 3854 (java) R 3809 3811 3436 0 -1 4202560 386960 0 0 0 119214 49 0 0 25 0 22 0 503601788 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505581949 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3811/tid=3855] ppid=3809 vsize=15706844 CPUtime=1192.14 cores=0,2,4,6
/proc/3811/task/3855/stat : 3855 (java) R 3809 3811 3436 0 -1 4202560 397792 0 0 0 119164 50 0 0 25 0 22 0 503601788 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505603503 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3811/tid=3856] ppid=3809 vsize=15706844 CPUtime=1192.17 cores=0,2,4,6
/proc/3811/task/3856/stat : 3856 (java) R 3809 3811 3436 0 -1 4202560 396025 0 0 0 119169 48 0 0 25 0 22 0 503601788 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505953211 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 15706844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1204.7 s]
/proc/loadavg: 7.93 8.03 7.92 5/197 3898
/proc/meminfo: memFree=30064784/32951124 swapFree=67105204/67111528
[pid=3811] ppid=3809 vsize=15706844 CPUtime=4800.23 cores=0,2,4,6
/proc/3811/stat : 3811 (java) S 3809 3811 3436 0 -1 4202496 2871963 0 1 0 479527 496 0 0 24 0 22 0 503601748 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3811/statm: 3926711 209978 2298 9 0 3917430 0
[pid=3811/tid=3813] ppid=3809 vsize=15706844 CPUtime=0.91 cores=0,2,4,6
/proc/3811/task/3813/stat : 3813 (java) S 3809 3811 3436 0 -1 4202560 27410 0 1 0 87 4 0 0 18 0 22 0 503601748 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3815] ppid=3809 vsize=15706844 CPUtime=3.53 cores=0,2,4,6
/proc/3811/task/3815/stat : 3815 (java) S 3809 3811 3436 0 -1 4202560 161506 0 0 0 324 29 0 0 16 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 0 0 0 0
[pid=3811/tid=3816] ppid=3809 vsize=15706844 CPUtime=3.5 cores=0,2,4,6
/proc/3811/task/3816/stat : 3816 (java) S 3809 3811 3436 0 -1 4202560 155976 0 0 0 323 27 0 0 15 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3817] ppid=3809 vsize=15706844 CPUtime=3.51 cores=0,2,4,6
/proc/3811/task/3817/stat : 3817 (java) S 3809 3811 3436 0 -1 4202560 149889 0 0 0 325 26 0 0 16 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3818] ppid=3809 vsize=15706844 CPUtime=3.44 cores=0,2,4,6
/proc/3811/task/3818/stat : 3818 (java) S 3809 3811 3436 0 -1 4202560 155666 0 0 0 317 27 0 0 15 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3819] ppid=3809 vsize=15706844 CPUtime=3.5 cores=0,2,4,6
/proc/3811/task/3819/stat : 3819 (java) S 3809 3811 3436 0 -1 4202560 190564 0 0 0 316 34 0 0 15 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3820] ppid=3809 vsize=15706844 CPUtime=3.47 cores=0,2,4,6
/proc/3811/task/3820/stat : 3820 (java) S 3809 3811 3436 0 -1 4202560 149158 0 0 0 320 27 0 0 16 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3821] ppid=3809 vsize=15706844 CPUtime=3.43 cores=0,2,4,6
/proc/3811/task/3821/stat : 3821 (java) S 3809 3811 3436 0 -1 4202560 138174 0 0 0 318 25 0 0 16 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3822] ppid=3809 vsize=15706844 CPUtime=3.59 cores=0,2,4,6
/proc/3811/task/3822/stat : 3822 (java) S 3809 3811 3436 0 -1 4202560 161967 0 0 0 327 32 0 0 15 0 22 0 503601749 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3825] ppid=3809 vsize=15706844 CPUtime=1.43 cores=0,2,4,6
/proc/3811/task/3825/stat : 3825 (java) S 3809 3811 3436 0 -1 4202560 7725 0 0 0 84 59 0 0 15 0 22 0 503601750 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052992 0 0 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3828] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3828/stat : 3828 (java) S 3809 3811 3436 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3829] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3829/stat : 3829 (java) S 3809 3811 3436 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503601750 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3843] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3843/stat : 3843 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601753 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828060081 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3844] ppid=3809 vsize=15706844 CPUtime=1.21 cores=0,2,4,6
/proc/3811/task/3844/stat : 3844 (java) S 3809 3811 3436 0 -1 4202560 12074 0 0 0 120 1 0 0 15 0 22 0 503601753 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3845] ppid=3809 vsize=15706844 CPUtime=0.99 cores=0,2,4,6
/proc/3811/task/3845/stat : 3845 (java) S 3809 3811 3436 0 -1 4202560 7089 0 0 0 97 2 0 0 16 0 22 0 503601753 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 2 0 0 0
[pid=3811/tid=3846] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3846/stat : 3846 (java) S 3809 3811 3436 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503601753 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052377 0 4 0 16800975 18446604453912230912 0 0 -1 4 0 0 0
[pid=3811/tid=3847] ppid=3809 vsize=15706844 CPUtime=0 cores=0,2,4,6
/proc/3811/task/3847/stat : 3847 (java) S 3809 3811 3436 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 503601753 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 220828052992 0 4 0 16800975 18446604453912230912 0 0 -1 6 0 0 0
[pid=3811/tid=3853] ppid=3809 vsize=15706844 CPUtime=1190.6 cores=0,2,4,6
/proc/3811/task/3853/stat : 3853 (java) R 3809 3811 3436 0 -1 4202560 372534 0 0 0 119013 47 0 0 25 0 22 0 503601788 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505953867 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3811/tid=3854] ppid=3809 vsize=15706844 CPUtime=1192.63 cores=0,2,4,6
/proc/3811/task/3854/stat : 3854 (java) R 3809 3811 3436 0 -1 4202560 386960 0 0 0 119214 49 0 0 25 0 22 0 503601788 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505581949 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3811/tid=3855] ppid=3809 vsize=15706844 CPUtime=1192.14 cores=0,2,4,6
/proc/3811/task/3855/stat : 3855 (java) R 3809 3811 3436 0 -1 4202560 397792 0 0 0 119164 50 0 0 25 0 22 0 503601788 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505603503 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3811/tid=3856] ppid=3809 vsize=15706844 CPUtime=1192.17 cores=0,2,4,6
/proc/3811/task/3856/stat : 3856 (java) R 3809 3811 3436 0 -1 4202560 396025 0 0 0 119169 48 0 0 25 0 22 0 503601788 16083808256 209978 33554432000 1073741824 1073778376 140735524644512 18446744073709551615 46912505953211 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 15706844
Child status: 143
Real time (s): 1204.75
CPU time (s): 4800.3
CPU user time (s): 4795.3
CPU system time (s): 5.00424
CPU usage (%): 398.447
Max. virtual memory (cumulated for all children) (KiB): 15709620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.3
system time used= 5.00424
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2871989
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= 92487
involuntary context switches= 80274
runsolver used 1.9467 second user time and 4.67929 second system time
The end