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-3728944-1338725824/watcher-3728944-1338725824 -o /tmp/evaluation-result-3728944-1338725824/solver-3728944-1338725824 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3728944-1338725824.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.53 2.13 2.04 5/197 3821
/proc/meminfo: memFree=26628824/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 1245 0 0 0 0 0 0 0 20 0 2 0 338709738 98635776 954 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 24081 959 727 9 0 16771 0
[pid=3821/tid=3822] ppid=3819 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) R 3819 3821 27000 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 338709738 98570240 979 33554432000 1073741824 1073778376 140734291112816 140266709118504 219513963904 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0897929 s]
/proc/loadavg: 2.53 2.13 2.04 5/197 3821
/proc/meminfo: memFree=26628824/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 4758 0 1 0 8 1 0 0 20 0 18 0 338709738 2764726272 6440 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 674982 6440 2109 9 0 665676 0
[pid=3821/tid=3822] ppid=3819 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) R 3819 3821 27000 0 -1 4202560 2775 0 1 0 7 0 0 0 20 0 18 0 338709738 2764726272 6440 33554432000 1073741824 1073778376 140734291112816 140266709119816 219517347085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.100235 s]
/proc/loadavg: 2.53 2.13 2.04 5/197 3821
/proc/meminfo: memFree=26628824/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 4881 0 1 0 10 1 0 0 20 0 18 0 338709738 2764726272 6547 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 674982 6547 2153 9 0 665676 0
[pid=3821/tid=3822] ppid=3819 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) R 3819 3821 27000 0 -1 4202560 2783 0 1 0 8 0 0 0 20 0 18 0 338709738 2764726272 6547 33554432000 1073741824 1073778376 140734291112816 140266709119816 219517347085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300176 s]
/proc/loadavg: 2.53 2.13 2.04 5/197 3821
/proc/meminfo: memFree=26628824/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=2699928 CPUtime=0.61 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 7687 0 1 0 59 2 0 0 20 0 18 0 338709738 2764726272 15435 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 674982 15435 2220 9 0 665676 0
[pid=3821/tid=3822] ppid=3819 vsize=2699928 CPUtime=0.28 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) R 3819 3821 27000 0 -1 4202560 2804 0 1 0 26 2 0 0 20 0 18 0 338709738 2764726272 15435 33554432000 1073741824 1073778376 140734291112816 140266709123224 140266716887888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 2699928
[startup+0.700191 s]
/proc/loadavg: 2.53 2.13 2.04 5/197 3821
/proc/meminfo: memFree=26628824/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=2966184 CPUtime=1.15 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 7956 0 1 0 109 6 0 0 20 0 22 0 338709738 3037372416 87703 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 741546 87703 2235 9 0 732240 0
[pid=3821/tid=3822] ppid=3819 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) S 3819 3821 27000 0 -1 4202560 2955 0 1 0 58 5 0 0 20 0 22 0 338709738 3037372416 87703 33554432000 1073741824 1073778376 140734291112816 140266709124248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 2966184
[startup+1.50069 s]
/proc/loadavg: 2.53 2.13 2.04 8/219 3843
/proc/meminfo: memFree=26243544/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=2966184 CPUtime=4.3 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 25703 0 1 0 419 11 0 0 20 0 22 0 338709738 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 741546 108671 2260 9 0 732240 0
[pid=3821/tid=3822] ppid=3819 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) S 3819 3821 27000 0 -1 4202560 2955 0 1 0 58 5 0 0 20 0 22 0 338709738 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266709124248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3824] ppid=3819 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (java) S 3819 3821 27000 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 338709739 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266693405096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3825] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3825/stat : 3825 (java) S 3819 3821 27000 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 338709739 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266692352552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3826] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3826/stat : 3826 (java) S 3819 3821 27000 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338709739 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266691299496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3827] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3827/stat : 3827 (java) S 3819 3821 27000 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338709739 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266690246952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3828] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3828/stat : 3828 (java) S 3819 3821 27000 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 338709739 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266689194920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3829] ppid=3819 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/3821/task/3829/stat : 3829 (java) S 3819 3821 27000 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 338709739 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266688142376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3830] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3830/stat : 3830 (java) S 3819 3821 27000 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338709739 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266687089320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3831] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3831/stat : 3831 (java) S 3819 3821 27000 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 338709739 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266686036776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3832] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3832/stat : 3832 (java) S 3819 3821 27000 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338709740 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266673625448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3833] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3833/stat : 3833 (java) S 3819 3821 27000 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 338709741 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266672571768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3834] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3834/stat : 3834 (java) S 3819 3821 27000 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338709741 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266671518600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3835] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3835/stat : 3835 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266670467344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3836] ppid=3819 vsize=2966184 CPUtime=0.93 cores=1,3,5,7
/proc/3821/task/3836/stat : 3836 (java) S 3819 3821 27000 0 -1 4202560 10416 0 0 0 91 2 0 0 20 0 22 0 338709743 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266669415224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3837] ppid=3819 vsize=2966184 CPUtime=0.98 cores=1,3,5,7
/proc/3821/task/3837/stat : 3837 (java) R 3819 3821 27000 0 -1 4202560 10957 0 0 0 95 3 0 0 20 0 22 0 338709743 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266668362560 140266716107982 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3838] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3838/stat : 3838 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266667309816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3839] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3839/stat : 3839 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266666257480 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3840] ppid=3819 vsize=2966184 CPUtime=0.8 cores=1,3,5,7
/proc/3821/task/3840/stat : 3840 (java) R 3819 3821 27000 0 -1 4202560 28 0 0 0 80 0 0 0 20 0 22 0 338709803 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266665202544 140266535847360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3841] ppid=3819 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/3821/task/3841/stat : 3841 (java) R 3819 3821 27000 0 -1 4202560 77 0 0 0 79 0 0 0 20 0 22 0 338709803 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266664146640 140266535818187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3842] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3842/stat : 3842 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266663097128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3843] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3843/stat : 3843 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 108671 33554432000 1073741824 1073778376 140734291112816 140266662044584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 2966184
[startup+3.10078 s]
/proc/loadavg: 2.53 2.13 2.04 6/219 3843
/proc/meminfo: memFree=26193700/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=2966184 CPUtime=7.68 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 25770 0 1 0 754 14 0 0 20 0 22 0 338709738 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 741546 116868 2260 9 0 732240 0
[pid=3821/tid=3822] ppid=3819 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) S 3819 3821 27000 0 -1 4202560 2955 0 1 0 58 5 0 0 20 0 22 0 338709738 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266709124248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3824] ppid=3819 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (java) S 3819 3821 27000 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 22 0 338709739 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266693405096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3825] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3825/stat : 3825 (java) S 3819 3821 27000 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338709739 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266692352552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3826] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3826/stat : 3826 (java) S 3819 3821 27000 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 338709739 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266691299496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3827] ppid=3819 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/3821/task/3827/stat : 3827 (java) S 3819 3821 27000 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 338709739 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266690246952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3828] ppid=3819 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/3821/task/3828/stat : 3828 (java) S 3819 3821 27000 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 338709739 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266689194920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3829] ppid=3819 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/3821/task/3829/stat : 3829 (java) S 3819 3821 27000 0 -1 4202560 28 0 0 0 2 0 0 0 20 0 22 0 338709739 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266688142376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3830] ppid=3819 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/3821/task/3830/stat : 3830 (java) S 3819 3821 27000 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 338709739 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266687089320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3831] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3831/stat : 3831 (java) S 3819 3821 27000 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338709739 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266686036776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3832] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3832/stat : 3832 (java) S 3819 3821 27000 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338709740 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266673625448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3833] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3833/stat : 3833 (java) S 3819 3821 27000 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 338709741 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266672571768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3834] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3834/stat : 3834 (java) S 3819 3821 27000 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338709741 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266671518600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3835] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3835/stat : 3835 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266670467344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3836] ppid=3819 vsize=2966184 CPUtime=0.97 cores=1,3,5,7
/proc/3821/task/3836/stat : 3836 (java) S 3819 3821 27000 0 -1 4202560 10416 0 0 0 95 2 0 0 20 0 22 0 338709743 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266669415224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3837] ppid=3819 vsize=2966184 CPUtime=1.07 cores=1,3,5,7
/proc/3821/task/3837/stat : 3837 (java) S 3819 3821 27000 0 -1 4202560 10958 0 0 0 104 3 0 0 20 0 22 0 338709743 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266668362680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3838] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3838/stat : 3838 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266667309816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3839] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3839/stat : 3839 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266666257480 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3840] ppid=3819 vsize=2966184 CPUtime=2.37 cores=1,3,5,7
/proc/3821/task/3840/stat : 3840 (java) R 3819 3821 27000 0 -1 4202560 29 0 0 0 237 0 0 0 20 0 22 0 338709803 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266665199808 140266535807584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3841] ppid=3819 vsize=2966184 CPUtime=2.36 cores=1,3,5,7
/proc/3821/task/3841/stat : 3841 (java) R 3819 3821 27000 0 -1 4202560 80 0 0 0 236 0 0 0 20 0 22 0 338709803 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266664149096 140266535818087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3842] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3842/stat : 3842 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266663097128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3843] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3843/stat : 3843 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 116868 33554432000 1073741824 1073778376 140734291112816 140266662044584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 2966184
[startup+6.30076 s]
/proc/loadavg: 2.64 2.16 2.05 5/219 3843
/proc/meminfo: memFree=26125776/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=2966184 CPUtime=14.23 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 25916 0 1 0 1401 22 0 0 20 0 22 0 338709738 3037372416 136308 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 741546 136308 2272 9 0 732240 0
[pid=3821/tid=3822] ppid=3819 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) S 3819 3821 27000 0 -1 4202560 2955 0 1 0 58 5 0 0 20 0 22 0 338709738 3037372416 136308 33554432000 1073741824 1073778376 140734291112816 140266709124248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3824] ppid=3819 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (java) S 3819 3821 27000 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 22 0 338709739 3037372416 136308 33554432000 1073741824 1073778376 140734291112816 140266693405096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3825] ppid=3819 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/3821/task/3825/stat : 3825 (java) S 3819 3821 27000 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 338709739 3037372416 136308 33554432000 1073741824 1073778376 140734291112816 140266692352552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3826] ppid=3819 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/3821/task/3826/stat : 3826 (java) S 3819 3821 27000 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 338709739 3037372416 136308 33554432000 1073741824 1073778376 140734291112816 140266691299496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3827] ppid=3819 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/3821/task/3827/stat : 3827 (java) S 3819 3821 27000 0 -1 4202560 30 0 0 0 6 0 0 0 20 0 22 0 338709739 3037372416 136308 33554432000 1073741824 1073778376 140734291112816 140266690246952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3828] ppid=3819 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/3821/task/3828/stat : 3828 (java) S 3819 3821 27000 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 338709739 3037372416 136308 33554432000 1073741824 1073778376 140734291112816 140266689194920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3829] ppid=3819 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/3821/task/3829/stat : 3829 (java) S 3819 3821 27000 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 22 0 338709739 3037372416 136308 33554432000 1073741824 1073778376 140734291112816 140266688142376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3830] ppid=3819 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/3821/task/3830/stat : 3830 (java) S 3819 3821 27000 0 -1 4202560 31 0 0 0 5 3 0 0 20 0 22 0 338709739 3037372416 136308 33554432000 1073741824 1073778376 140734291112816 140266687089320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3831] ppid=3819 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/3821/task/3831/stat : 3831 (java) S 3819 3821 27000 0 -1 4202560 16 0 0 0 4 2 0 0 20 0 22 0 338709739 3037372416 136308 33554432000 1073741824 1073778376 140734291112816 140266686036776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=3821/tid=3841] ppid=3819 vsize=2966184 CPUtime=802.56 cores=1,3,5,7
/proc/3821/task/3841/stat : 3841 (java) R 3819 3821 27000 0 -1 4202560 283 0 0 0 80240 16 0 0 20 0 22 0 338709803 3037372416 252024 33554432000 1073741824 1073778376 140734291112816 140266664147320 140266535950124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3842] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3842/stat : 3842 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 252024 33554432000 1073741824 1073778376 140734291112816 140266663097128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3843] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3843/stat : 3843 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 252024 33554432000 1073741824 1073778376 140734291112816 140266662044584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1646.12
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.73 3.84 3.19 7/219 3916
/proc/meminfo: memFree=25975944/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=2966184 CPUtime=1765.84 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 29528 0 1 0 176442 142 0 0 20 0 22 0 338709738 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 741546 252106 2273 9 0 732240 0
[pid=3821/tid=3822] ppid=3819 vsize=2966184 CPUtime=0.65 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) S 3819 3821 27000 0 -1 4202560 2966 0 1 0 59 6 0 0 20 0 22 0 338709738 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266709124248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3824] ppid=3819 vsize=2966184 CPUtime=3.58 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (java) S 3819 3821 27000 0 -1 4202560 255 0 0 0 350 8 0 0 20 0 22 0 338709739 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266693405096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3825] ppid=3819 vsize=2966184 CPUtime=3.67 cores=1,3,5,7
/proc/3821/task/3825/stat : 3825 (java) S 3819 3821 27000 0 -1 4202560 334 0 0 0 358 9 0 0 20 0 22 0 338709739 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266692352552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3826] ppid=3819 vsize=2966184 CPUtime=3.84 cores=1,3,5,7
/proc/3821/task/3826/stat : 3826 (java) S 3819 3821 27000 0 -1 4202560 287 0 0 0 376 8 0 0 20 0 22 0 338709739 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266691299496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3827] ppid=3819 vsize=2966184 CPUtime=3.62 cores=1,3,5,7
/proc/3821/task/3827/stat : 3827 (java) S 3819 3821 27000 0 -1 4202560 316 0 0 0 354 8 0 0 20 0 22 0 338709739 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266690246952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3828] ppid=3819 vsize=2966184 CPUtime=3.6 cores=1,3,5,7
/proc/3821/task/3828/stat : 3828 (java) S 3819 3821 27000 0 -1 4202560 331 0 0 0 350 10 0 0 20 0 22 0 338709739 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266689194920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3829] ppid=3819 vsize=2966184 CPUtime=3.9 cores=1,3,5,7
/proc/3821/task/3829/stat : 3829 (java) S 3819 3821 27000 0 -1 4202560 306 0 0 0 380 10 0 0 20 0 22 0 338709739 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266688142376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3830] ppid=3819 vsize=2966184 CPUtime=3.57 cores=1,3,5,7
/proc/3821/task/3830/stat : 3830 (java) S 3819 3821 27000 0 -1 4202560 357 0 0 0 347 10 0 0 20 0 22 0 338709739 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266687089320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3831] ppid=3819 vsize=2966184 CPUtime=3.64 cores=1,3,5,7
/proc/3821/task/3831/stat : 3831 (java) S 3819 3821 27000 0 -1 4202560 276 0 0 0 355 9 0 0 20 0 22 0 338709739 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266686036776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3832] ppid=3819 vsize=2966184 CPUtime=11.92 cores=1,3,5,7
/proc/3821/task/3832/stat : 3832 (java) S 3819 3821 27000 0 -1 4202560 464 0 0 0 1156 36 0 0 20 0 22 0 338709740 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266673625448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3833] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3833/stat : 3833 (java) S 3819 3821 27000 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 338709741 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266672571768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3834] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3834/stat : 3834 (java) S 3819 3821 27000 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338709741 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266671518600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3835] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3835/stat : 3835 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266670467344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3836] ppid=3819 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/3821/task/3836/stat : 3836 (java) S 3819 3821 27000 0 -1 4202560 10420 0 0 0 101 2 0 0 20 0 22 0 338709743 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266669415224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3837] ppid=3819 vsize=2966184 CPUtime=1.35 cores=1,3,5,7
/proc/3821/task/3837/stat : 3837 (java) S 3819 3821 27000 0 -1 4202560 10970 0 0 0 132 3 0 0 20 0 22 0 338709743 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266668362680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3838] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3838/stat : 3838 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266667309816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3839] ppid=3819 vsize=2966184 CPUtime=0.31 cores=1,3,5,7
/proc/3821/task/3839/stat : 3839 (java) S 3819 3821 27000 0 -1 4202560 51 0 0 0 12 19 0 0 20 0 22 0 338709743 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266666257480 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3840] ppid=3819 vsize=2966184 CPUtime=860.44 cores=1,3,5,7
/proc/3821/task/3840/stat : 3840 (java) R 3819 3821 27000 0 -1 4202560 717 0 0 0 86027 17 0 0 20 0 22 0 338709803 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266665201040 140266536231699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3841] ppid=3819 vsize=2966184 CPUtime=860.74 cores=1,3,5,7
/proc/3821/task/3841/stat : 3841 (java) R 3819 3821 27000 0 -1 4202560 287 0 0 0 86057 17 0 0 20 0 22 0 338709803 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266664147088 140266535651373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3842] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3842/stat : 3842 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266663097128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3843] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3843/stat : 3843 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 252106 33554432000 1073741824 1073778376 140734291112816 140266662044584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1765.84
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.501 s]
/proc/loadavg: 3.93 3.88 3.21 5/219 3976
/proc/meminfo: memFree=25626164/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=2966184 CPUtime=1800.05 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 29557 0 1 0 179862 143 0 0 20 0 22 0 338709738 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 741546 252113 2273 9 0 732240 0
[pid=3821/tid=3822] ppid=3819 vsize=2966184 CPUtime=0.65 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) S 3819 3821 27000 0 -1 4202560 2967 0 1 0 59 6 0 0 20 0 22 0 338709738 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266709124248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3819 vsize=2966184 CPUtime=3.67 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (java) S 3819 3821 27000 0 -1 4202560 255 0 0 0 359 8 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266693405096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3825] ppid=3819 vsize=2966184 CPUtime=3.76 cores=1,3,5,7
/proc/3821/task/3825/stat : 3825 (java) S 3819 3821 27000 0 -1 4202560 338 0 0 0 367 9 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266692352552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3826] ppid=3819 vsize=2966184 CPUtime=3.91 cores=1,3,5,7
/proc/3821/task/3826/stat : 3826 (java) S 3819 3821 27000 0 -1 4202560 290 0 0 0 383 8 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266691299496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3827] ppid=3819 vsize=2966184 CPUtime=3.68 cores=1,3,5,7
/proc/3821/task/3827/stat : 3827 (java) S 3819 3821 27000 0 -1 4202560 316 0 0 0 360 8 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266690246952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3828] ppid=3819 vsize=2966184 CPUtime=3.67 cores=1,3,5,7
/proc/3821/task/3828/stat : 3828 (java) S 3819 3821 27000 0 -1 4202560 331 0 0 0 357 10 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266689194920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3829] ppid=3819 vsize=2966184 CPUtime=3.97 cores=1,3,5,7
/proc/3821/task/3829/stat : 3829 (java) S 3819 3821 27000 0 -1 4202560 306 0 0 0 386 11 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266688142376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3830] ppid=3819 vsize=2966184 CPUtime=3.65 cores=1,3,5,7
/proc/3821/task/3830/stat : 3830 (java) S 3819 3821 27000 0 -1 4202560 357 0 0 0 355 10 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266687089320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3831] ppid=3819 vsize=2966184 CPUtime=3.71 cores=1,3,5,7
/proc/3821/task/3831/stat : 3831 (java) S 3819 3821 27000 0 -1 4202560 276 0 0 0 362 9 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266686036776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3832] ppid=3819 vsize=2966184 CPUtime=12.37 cores=1,3,5,7
/proc/3821/task/3832/stat : 3832 (java) S 3819 3821 27000 0 -1 4202560 466 0 0 0 1201 36 0 0 20 0 22 0 338709740 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266673625448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3833] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3833/stat : 3833 (java) S 3819 3821 27000 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 338709741 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266672571768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3834] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3834/stat : 3834 (java) S 3819 3821 27000 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338709741 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266671518600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3835] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3835/stat : 3835 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266670467344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3836] ppid=3819 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/3821/task/3836/stat : 3836 (java) S 3819 3821 27000 0 -1 4202560 10420 0 0 0 101 2 0 0 20 0 22 0 338709743 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266669415224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3837] ppid=3819 vsize=2966184 CPUtime=1.35 cores=1,3,5,7
/proc/3821/task/3837/stat : 3837 (java) S 3819 3821 27000 0 -1 4202560 10970 0 0 0 132 3 0 0 20 0 22 0 338709743 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266668362680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3838] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3838/stat : 3838 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266667309816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3839] ppid=3819 vsize=2966184 CPUtime=0.31 cores=1,3,5,7
/proc/3821/task/3839/stat : 3839 (java) S 3819 3821 27000 0 -1 4202560 53 0 0 0 12 19 0 0 20 0 22 0 338709743 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266666257480 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3840] ppid=3819 vsize=2966184 CPUtime=877.01 cores=1,3,5,7
/proc/3821/task/3840/stat : 3840 (java) R 3819 3821 27000 0 -1 4202560 730 0 0 0 87684 17 0 0 20 0 22 0 338709803 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266665201056 140266535807564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3841] ppid=3819 vsize=2966184 CPUtime=877.31 cores=1,3,5,7
/proc/3821/task/3841/stat : 3841 (java) R 3819 3821 27000 0 -1 4202560 291 0 0 0 87714 17 0 0 20 0 22 0 338709803 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266664147200 140266535949840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3842] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3842/stat : 3842 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266663097128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3843] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3843/stat : 3843 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266662044584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+899.501 s]
/proc/loadavg: 3.93 3.88 3.21 5/219 3976
/proc/meminfo: memFree=25626164/32873648 swapFree=7120/7120
[pid=3821] ppid=3819 vsize=2966184 CPUtime=1800.05 cores=1,3,5,7
/proc/3821/stat : 3821 (java) S 3819 3821 27000 0 -1 4202496 29557 0 1 0 179862 143 0 0 20 0 22 0 338709738 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140734291103952 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 741546 252113 2273 9 0 732240 0
[pid=3821/tid=3822] ppid=3819 vsize=2966184 CPUtime=0.65 cores=1,3,5,7
/proc/3821/task/3822/stat : 3822 (java) S 3819 3821 27000 0 -1 4202560 2967 0 1 0 59 6 0 0 20 0 22 0 338709738 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266709124248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3824] ppid=3819 vsize=2966184 CPUtime=3.67 cores=1,3,5,7
/proc/3821/task/3824/stat : 3824 (java) S 3819 3821 27000 0 -1 4202560 255 0 0 0 359 8 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266693405096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3825] ppid=3819 vsize=2966184 CPUtime=3.76 cores=1,3,5,7
/proc/3821/task/3825/stat : 3825 (java) S 3819 3821 27000 0 -1 4202560 338 0 0 0 367 9 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266692352552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3826] ppid=3819 vsize=2966184 CPUtime=3.91 cores=1,3,5,7
/proc/3821/task/3826/stat : 3826 (java) S 3819 3821 27000 0 -1 4202560 290 0 0 0 383 8 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266691299496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3827] ppid=3819 vsize=2966184 CPUtime=3.68 cores=1,3,5,7
/proc/3821/task/3827/stat : 3827 (java) S 3819 3821 27000 0 -1 4202560 316 0 0 0 360 8 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266690246952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3828] ppid=3819 vsize=2966184 CPUtime=3.67 cores=1,3,5,7
/proc/3821/task/3828/stat : 3828 (java) S 3819 3821 27000 0 -1 4202560 331 0 0 0 357 10 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266689194920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3829] ppid=3819 vsize=2966184 CPUtime=3.97 cores=1,3,5,7
/proc/3821/task/3829/stat : 3829 (java) S 3819 3821 27000 0 -1 4202560 306 0 0 0 386 11 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266688142376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3830] ppid=3819 vsize=2966184 CPUtime=3.65 cores=1,3,5,7
/proc/3821/task/3830/stat : 3830 (java) S 3819 3821 27000 0 -1 4202560 357 0 0 0 355 10 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266687089320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3831] ppid=3819 vsize=2966184 CPUtime=3.71 cores=1,3,5,7
/proc/3821/task/3831/stat : 3831 (java) S 3819 3821 27000 0 -1 4202560 276 0 0 0 362 9 0 0 20 0 22 0 338709739 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266686036776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3821/tid=3832] ppid=3819 vsize=2966184 CPUtime=12.37 cores=1,3,5,7
/proc/3821/task/3832/stat : 3832 (java) S 3819 3821 27000 0 -1 4202560 466 0 0 0 1201 36 0 0 20 0 22 0 338709740 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266673625448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3833] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3833/stat : 3833 (java) S 3819 3821 27000 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 338709741 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266672571768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3834] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3834/stat : 3834 (java) S 3819 3821 27000 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338709741 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266671518600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3835] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3835/stat : 3835 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266670467344 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3836] ppid=3819 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/3821/task/3836/stat : 3836 (java) S 3819 3821 27000 0 -1 4202560 10420 0 0 0 101 2 0 0 20 0 22 0 338709743 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266669415224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3837] ppid=3819 vsize=2966184 CPUtime=1.35 cores=1,3,5,7
/proc/3821/task/3837/stat : 3837 (java) S 3819 3821 27000 0 -1 4202560 10970 0 0 0 132 3 0 0 20 0 22 0 338709743 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266668362680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3838] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3838/stat : 3838 (java) S 3819 3821 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338709743 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266667309816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3821/tid=3839] ppid=3819 vsize=2966184 CPUtime=0.31 cores=1,3,5,7
/proc/3821/task/3839/stat : 3839 (java) S 3819 3821 27000 0 -1 4202560 53 0 0 0 12 19 0 0 20 0 22 0 338709743 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266666257480 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3840] ppid=3819 vsize=2966184 CPUtime=877.01 cores=1,3,5,7
/proc/3821/task/3840/stat : 3840 (java) R 3819 3821 27000 0 -1 4202560 730 0 0 0 87684 17 0 0 20 0 22 0 338709803 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266665201056 140266535807564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3841] ppid=3819 vsize=2966184 CPUtime=877.31 cores=1,3,5,7
/proc/3821/task/3841/stat : 3841 (java) R 3819 3821 27000 0 -1 4202560 291 0 0 0 87714 17 0 0 20 0 22 0 338709803 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266664147200 140266535949840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3821/tid=3842] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3842/stat : 3842 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266663097128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3821/tid=3843] ppid=3819 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/3821/task/3843/stat : 3843 (java) S 3819 3821 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338709806 3037372416 252113 33554432000 1073741824 1073778376 140734291112816 140266662044584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2966184
Child status: 143
Real time (s): 899.545
CPU time (s): 1800.4
CPU user time (s): 1798.51
CPU system time (s): 1.89171
CPU usage (%): 200.146
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 1.89171
maximum resident set size= 1008600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29598
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= 48296
involuntary context switches= 80987
runsolver used 3.2615 second user time and 7.9038 second system time
The end