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-3709700-1338150573/watcher-3709700-1338150573 -o /tmp/evaluation-result-3709700-1338150573/solver-3709700-1338150573 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709700-1338150573.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.00 2.00 2.00 3/173 3836
/proc/meminfo: memFree=29013732/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/3836/stat : 3836 (java) R 3834 3836 3132 0 -1 4202496 990 0 0 0 0 0 0 0 20 0 1 0 281183190 23793664 717 33554432000 1073741824 1073778376 140735977501936 140735977491000 259103176784 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 5809 719 533 9 0 128 0
[startup+0.053485 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3836
/proc/meminfo: memFree=29013732/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 3201 0 1 0 4 0 0 0 20 0 18 0 281183190 9787842560 4409 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2389610 4409 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440
[startup+0.100202 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3836
/proc/meminfo: memFree=29013732/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9558440 CPUtime=0.11 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 4384 0 1 0 10 1 0 0 20 0 18 0 281183190 9787842560 6096 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2389610 6096 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558440
[startup+0.300173 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3836
/proc/meminfo: memFree=29013732/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 6799 0 1 0 50 1 0 0 20 0 19 0 281183190 9856004096 8852 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 8852 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625004
[startup+0.700948 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3836
/proc/meminfo: memFree=29013732/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 7381 0 1 0 102 2 0 0 20 0 19 0 281183190 9856004096 11492 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 11492 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9625004
[startup+1.50157 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3904
/proc/meminfo: memFree=28929852/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=1.88 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 7593 0 1 0 186 2 0 0 20 0 19 0 281183190 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 12540 2274 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) R 3834 3836 3132 0 -1 4202560 2516 0 1 0 141 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569759699368 140569599165760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) S 3834 3836 3132 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 281183192 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140569583393256 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1696 0 0 0 19 0 0 0 20 0 19 0 281183195 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 12540 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9625004
[startup+3.10153 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3904
/proc/meminfo: memFree=28907884/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=3.51 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 7609 0 1 0 349 2 0 0 20 0 19 0 281183190 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 13572 2274 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=2.96 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) R 3834 3836 3132 0 -1 4202560 2519 0 1 0 296 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569759699248 140569599362143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) S 3834 3836 3132 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 281183192 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140569583393256 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1696 0 0 0 19 0 0 0 20 0 19 0 281183195 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 13572 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9625004
[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3904
/proc/meminfo: memFree=28869060/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=6.79 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 7651 0 1 0 676 3 0 0 20 0 19 0 281183190 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 14103 2274 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=6.05 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) S 3834 3836 3132 0 -1 4202560 2526 0 1 0 605 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569759699368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281183191 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=0.14 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) R 3834 3836 3132 0 -1 4202560 33 0 0 0 14 0 0 0 20 0 19 0 281183192 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140569583392112 140569762971318 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1696 0 0 0 19 0 0 0 20 0 19 0 281183195 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 14103 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 9625004
[startup+12.7014 s]
################
# More data... #
################
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281183195 9856004096 63080 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 63080 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 63080 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 95 0 0 0 18 21 0 0 20 0 19 0 281183195 9856004096 63080 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 63080 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1668.13
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/213 3919
/proc/meminfo: memFree=27685668/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=1728.25 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 10242 0 1 0 172782 43 0 0 20 0 19 0 281183190 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 69224 2275 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=1708.65 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) R 3834 3836 3132 0 -1 4202560 2696 0 1 0 170837 28 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569759699248 140569599185450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 367 0 0 0 94 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 257 0 0 0 84 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=1.05 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 175 0 0 0 103 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 102 0 0 0 87 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 273 0 0 0 85 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=1.07 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 440 0 0 0 104 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 125 0 0 0 91 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 391 0 0 0 91 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=6.93 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) S 3834 3836 3132 0 -1 4202560 163 0 0 0 690 3 0 0 20 0 19 0 281183192 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569583393256 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 99 0 0 0 18 23 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.25
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 2.00 2/193 3922
/proc/meminfo: memFree=28741032/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=1788.37 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 10255 0 1 0 178793 44 0 0 20 0 19 0 281183190 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 69224 2275 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=1768.17 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) R 3834 3836 3132 0 -1 4202560 2699 0 1 0 176788 29 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569759699248 140569599217700 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 367 0 0 0 98 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 257 0 0 0 88 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=1.08 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 175 0 0 0 106 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 102 0 0 0 88 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 273 0 0 0 86 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 440 0 0 0 106 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 125 0 0 0 92 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 391 0 0 0 93 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=7.18 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) S 3834 3836 3132 0 -1 4202560 169 0 0 0 715 3 0 0 20 0 19 0 281183192 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569583393256 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794 s]
/proc/loadavg: 2.03 2.00 2.00 3/213 3978
/proc/meminfo: memFree=28602456/32873648 swapFree=6844/6844
[pid=3836] ppid=3834 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/3836/stat : 3836 (java) S 3834 3836 3132 0 -1 4202496 10255 0 1 0 179964 44 0 0 20 0 19 0 281183190 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140735977493072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3836/statm: 2406251 69224 2275 9 0 2396937 0
[pid=3836/tid=3838] ppid=3834 vsize=9625004 CPUtime=1779.85 cores=1,3,5,7
/proc/3836/task/3838/stat : 3838 (java) R 3834 3836 3132 0 -1 4202560 2699 0 1 0 177955 30 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569759699248 140569599267862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3839] ppid=3834 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/3836/task/3839/stat : 3839 (java) S 3834 3836 3132 0 -1 4202560 367 0 0 0 98 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569721190952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3840] ppid=3834 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/3836/task/3840/stat : 3840 (java) S 3834 3836 3132 0 -1 4202560 257 0 0 0 88 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569720138152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3841] ppid=3834 vsize=9625004 CPUtime=1.08 cores=1,3,5,7
/proc/3836/task/3841/stat : 3841 (java) S 3834 3836 3132 0 -1 4202560 175 0 0 0 106 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569719085352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3842] ppid=3834 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/3836/task/3842/stat : 3842 (java) S 3834 3836 3132 0 -1 4202560 102 0 0 0 88 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569718032552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3843] ppid=3834 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/3836/task/3843/stat : 3843 (java) S 3834 3836 3132 0 -1 4202560 273 0 0 0 86 2 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569598749736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3844] ppid=3834 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/3836/task/3844/stat : 3844 (java) S 3834 3836 3132 0 -1 4202560 440 0 0 0 106 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569597696936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3845] ppid=3834 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/3836/task/3845/stat : 3845 (java) S 3834 3836 3132 0 -1 4202560 125 0 0 0 92 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569596644136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3846] ppid=3834 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/3836/task/3846/stat : 3846 (java) S 3834 3836 3132 0 -1 4202560 391 0 0 0 93 3 0 0 20 0 19 0 281183191 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569595591336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3847] ppid=3834 vsize=9625004 CPUtime=7.18 cores=1,3,5,7
/proc/3836/task/3847/stat : 3847 (java) S 3834 3836 3132 0 -1 4202560 169 0 0 0 715 3 0 0 20 0 19 0 281183192 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140569583393256 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3836/tid=3848] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3848/stat : 3848 (java) S 3834 3836 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568977990904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3849] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3849/stat : 3849 (java) S 3834 3836 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281183193 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568976937992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3853] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3853/stat : 3853 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568975886480 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3854] ppid=3834 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/3836/task/3854/stat : 3854 (java) S 3834 3836 3132 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568974834616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3836/tid=3855] ppid=3834 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/3836/task/3855/stat : 3855 (java) S 3834 3836 3132 0 -1 4202560 2112 0 0 0 16 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568973781816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3856] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3856/stat : 3856 (java) S 3834 3836 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568972729208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3836/tid=3857] ppid=3834 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3836/task/3857/stat : 3857 (java) S 3834 3836 3132 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 281183195 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568971676616 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3836/tid=3868] ppid=3834 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3836/task/3868/stat : 3868 (java) S 3834 3836 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281183203 9856004096 69224 33554432000 1073741824 1073778376 140735977501936 140568970622120 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3836 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=48111
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=902862
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.06
CPU time (s): 1800.08
CPU user time (s): 1799.64
CPU system time (s): 0.44
CPU usage (%): 100.336
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 0.902862
maximum resident set size= 277060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10299
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42502
involuntary context switches= 22538
runsolver used 6.13107 second user time and 14.4338 second system time
The end