runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454521-1307188397/watcher-3454521-1307188397 -o /tmp/evaluation-result-3454521-1307188397/solver-3454521-1307188397 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454521-1307188397.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.13 1.15 1.50 3/511 7833
/proc/meminfo: memFree=16726980/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 2911 0 1 0 0 0 0 0 18 0 2 0 811255803 10681323520 2613 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2607745 2626 906 9 0 2598901 0
[pid=7833/tid=7834] ppid=7830 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) R 7830 7833 5093 0 -1 4202560 6230 0 1 0 0 0 0 0 19 0 2 0 811255804 10694979584 7046 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.114067 s]
/proc/loadavg: 1.13 1.15 1.50 3/511 7833
/proc/meminfo: memFree=16726980/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10540072 CPUtime=0.12 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 13274 0 1 0 10 2 0 0 18 0 18 0 811255803 10793033728 12971 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2635018 12971 2124 9 0 2625752 0
[pid=7833/tid=7834] ppid=7830 vsize=10540072 CPUtime=0.09 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) R 7830 7833 5093 0 -1 4202560 11325 0 1 0 8 1 0 0 18 0 18 0 811255804 10793033728 12972 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 47658271086320 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540072
[startup+0.201011 s]
/proc/loadavg: 1.13 1.15 1.50 3/511 7833
/proc/meminfo: memFree=16726980/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10541508 CPUtime=0.28 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 14276 0 1 0 26 2 0 0 18 0 18 0 811255803 10794504192 13973 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2635377 13974 2186 9 0 2626111 0
[pid=7833/tid=7834] ppid=7830 vsize=10541508 CPUtime=0.18 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) R 7830 7833 5093 0 -1 4202560 11901 0 1 0 16 2 0 0 18 0 18 0 811255804 10794504192 13974 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10541508
[startup+0.301015 s]
/proc/loadavg: 1.13 1.15 1.50 3/511 7833
/proc/meminfo: memFree=16726980/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10542376 CPUtime=0.46 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 15700 0 1 0 44 2 0 0 18 0 18 0 811255803 10795393024 15375 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2635594 15375 2198 9 0 2626328 0
[pid=7833/tid=7834] ppid=7830 vsize=10542376 CPUtime=0.28 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) R 7830 7833 5093 0 -1 4202560 13048 0 1 0 26 2 0 0 18 0 18 0 811255804 10795393024 15376 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 46912505559478 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542376
[startup+0.700955 s]
/proc/loadavg: 1.13 1.15 1.50 3/511 7833
/proc/meminfo: memFree=16726980/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10550432 CPUtime=0.67 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 17950 0 1 0 64 3 0 0 18 0 19 0 811255803 10803642368 17075 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2637608 17075 2225 9 0 2628342 0
[pid=7833/tid=7834] ppid=7830 vsize=10550432 CPUtime=0.31 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) S 7830 7833 5093 0 -1 4202560 13736 0 1 0 29 2 0 0 19 0 19 0 811255804 10803642368 17075 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10550432
[startup+1.50077 s]
/proc/loadavg: 1.13 1.15 1.50 5/551 7882
/proc/meminfo: memFree=16596860/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10550432 CPUtime=1.63 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 21411 0 1 0 160 3 0 0 18 0 22 0 811255803 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2637608 19894 2235 9 0 2628342 0
[pid=7833/tid=7834] ppid=7830 vsize=10550432 CPUtime=0.33 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) S 7830 7833 5093 0 -1 4202560 14169 0 1 0 31 2 0 0 16 0 22 0 811255804 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7845] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7845/stat : 7845 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811255805 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7846] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7846/stat : 7846 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811255805 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7847] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7847/stat : 7847 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811255805 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7848] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7848/stat : 7848 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811255805 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7849] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7849/stat : 7849 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811255805 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7850] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7850/stat : 7850 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811255805 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7851] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7851/stat : 7851 (java) S 7830 7833 5093 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 811255805 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7852] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7852/stat : 7852 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811255805 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7856] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7856/stat : 7856 (java) S 7830 7833 5093 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811255806 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 0 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7857] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7857/stat : 7857 (java) S 7830 7833 5093 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 811255807 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7858] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7858/stat : 7858 (java) S 7830 7833 5093 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 811255807 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7864] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7864/stat : 7864 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811255809 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118592433 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7865] ppid=7830 vsize=10550432 CPUtime=0.38 cores=1,3,5,7
/proc/7833/task/7865/stat : 7865 (java) R 7830 7833 5093 0 -1 4202560 3533 0 0 0 38 0 0 0 15 0 22 0 811255809 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 47658269132732 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7833/tid=7866] ppid=7830 vsize=10550432 CPUtime=0.36 cores=1,3,5,7
/proc/7833/task/7866/stat : 7866 (java) R 7830 7833 5093 0 -1 4202560 1091 0 0 0 36 0 0 0 15 0 22 0 811255809 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 47658270272418 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7833/tid=7867] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7867/stat : 7867 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811255809 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7868] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7868/stat : 7868 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811255809 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7881] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7881/stat : 7881 (java) S 7830 7833 5093 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811255888 10803642368 19894 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10550432
[startup+3.10153 s]
/proc/loadavg: 1.13 1.15 1.50 3/551 7888
/proc/meminfo: memFree=16542548/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10550432 CPUtime=3.98 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 32864 0 1 0 392 6 0 0 18 0 19 0 811255803 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2637608 31346 2237 9 0 2628342 0
[pid=7833/tid=7834] ppid=7830 vsize=10550432 CPUtime=0.34 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) S 7830 7833 5093 0 -1 4202560 14365 0 1 0 32 2 0 0 15 0 19 0 811255804 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7845] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7845/stat : 7845 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811255805 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7846] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7846/stat : 7846 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811255805 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7847] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7847/stat : 7847 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811255805 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7848] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7848/stat : 7848 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811255805 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7849] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7849/stat : 7849 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811255805 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7850] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7850/stat : 7850 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811255805 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7851] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7851/stat : 7851 (java) S 7830 7833 5093 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 811255805 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7852] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7852/stat : 7852 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 811255805 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7856] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7856/stat : 7856 (java) S 7830 7833 5093 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811255806 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 0 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7857] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7857/stat : 7857 (java) S 7830 7833 5093 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 811255807 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7858] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7858/stat : 7858 (java) S 7830 7833 5093 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 811255807 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7864] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7864/stat : 7864 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811255809 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118592433 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7865] ppid=7830 vsize=10550432 CPUtime=0.53 cores=1,3,5,7
/proc/7833/task/7865/stat : 7865 (java) S 7830 7833 5093 0 -1 4202560 3561 0 0 0 53 0 0 0 16 0 19 0 811255809 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7866] ppid=7830 vsize=10550432 CPUtime=0.43 cores=1,3,5,7
/proc/7833/task/7866/stat : 7866 (java) S 7830 7833 5093 0 -1 4202560 1099 0 0 0 43 0 0 0 15 0 19 0 811255809 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7867] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7867/stat : 7867 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811255809 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7868] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7868/stat : 7868 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811255809 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7885] ppid=7830 vsize=10550432 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7885/stat : 7885 (java) S 7830 7833 5093 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 811255939 10803642368 31346 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10550432
[startup+6.30096 s]
/proc/loadavg: 1.36 1.20 1.51 5/554 7906
/proc/meminfo: memFree=16132468/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10549596 CPUtime=9.84 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 108453 0 1 0 969 15 0 0 18 0 22 0 811255803 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2637399 106838 2262 9 0 2628133 0
[pid=7833/tid=7834] ppid=7830 vsize=10549596 CPUtime=0.35 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) S 7830 7833 5093 0 -1 4202560 14565 0 1 0 33 2 0 0 15 0 22 0 811255804 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7845] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7845/stat : 7845 (java) S 7830 7833 5093 0 -1 4202560 2447 0 0 0 0 0 0 0 18 0 22 0 811255805 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7846] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7846/stat : 7846 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811255805 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7847] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7847/stat : 7847 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811255805 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7848] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7848/stat : 7848 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811255805 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7849] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7849/stat : 7849 (java) S 7830 7833 5093 0 -1 4202560 797 0 0 0 0 0 0 0 18 0 22 0 811255805 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7850] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7850/stat : 7850 (java) S 7830 7833 5093 0 -1 4202560 950 0 0 0 0 0 0 0 18 0 22 0 811255805 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7851] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7851/stat : 7851 (java) S 7830 7833 5093 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 811255805 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7852] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7852/stat : 7852 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811255805 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7856] ppid=7830 vsize=10549596 CPUtime=0.02 cores=1,3,5,7
/proc/7833/task/7856/stat : 7856 (java) S 7830 7833 5093 0 -1 4202560 3923 0 0 0 2 0 0 0 15 0 22 0 811255806 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 0 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7857] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7857/stat : 7857 (java) S 7830 7833 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811255807 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7858] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7858/stat : 7858 (java) S 7830 7833 5093 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811255807 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7864] ppid=7830 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7864/stat : 7864 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811255809 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118592433 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7865] ppid=7830 vsize=10549596 CPUtime=0.68 cores=1,3,5,7
/proc/7833/task/7865/stat : 7865 (java) S 7830 7833 5093 0 -1 4202560 3576 0 0 0 68 0 0 0 15 0 22 0 811255809 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7866] ppid=7830 vsize=10549596 CPUtime=0.56 cores=1,3,5,7
/proc/7833/task/7866/stat : 7866 (java) S 7830 7833 5093 0 -1 4202560 1119 0 0 0 56 0 0 0 15 0 22 0 811255809 10802786304 106838 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=7833/tid=7990] ppid=7830 vsize=10549628 CPUtime=360.31 cores=1,3,5,7
/proc/7833/task/7990/stat : 7990 (java) R 7830 7833 5093 0 -1 4202560 104 0 0 0 36031 0 0 0 18 0 22 0 811295568 10802819072 441648 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 46912505671028 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7833/tid=7991] ppid=7830 vsize=10549628 CPUtime=360.34 cores=1,3,5,7
/proc/7833/task/7991/stat : 7991 (java) R 7830 7833 5093 0 -1 4202560 15673 0 0 0 36033 1 0 0 19 0 22 0 811295568 10802819072 441648 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 46912505773757 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7833/tid=7992] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7992/stat : 7992 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811295568 10802819072 441648 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1591.88
Current children cumulated vsize (KiB) 10549628
[startup+942.302 s]
/proc/loadavg: 3.78 3.56 2.86 5/554 8018
/proc/meminfo: memFree=13126996/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10549628 CPUtime=1695.87 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 449849 0 1 0 169526 61 0 0 18 0 22 0 811255803 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2637407 441909 2264 9 0 2628141 0
[pid=7833/tid=7834] ppid=7830 vsize=10549628 CPUtime=0.38 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) S 7830 7833 5093 0 -1 4202560 14600 0 1 0 36 2 0 0 15 0 22 0 811255804 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7845] ppid=7830 vsize=10549628 CPUtime=2.18 cores=1,3,5,7
/proc/7833/task/7845/stat : 7845 (java) S 7830 7833 5093 0 -1 4202560 4308 0 0 0 218 0 0 0 16 0 22 0 811255805 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7846] ppid=7830 vsize=10549628 CPUtime=2.19 cores=1,3,5,7
/proc/7833/task/7846/stat : 7846 (java) S 7830 7833 5093 0 -1 4202560 2250 0 0 0 219 0 0 0 16 0 22 0 811255805 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7847] ppid=7830 vsize=10549628 CPUtime=2.16 cores=1,3,5,7
/proc/7833/task/7847/stat : 7847 (java) S 7830 7833 5093 0 -1 4202560 2351 0 0 0 216 0 0 0 16 0 22 0 811255805 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7848] ppid=7830 vsize=10549628 CPUtime=2.26 cores=1,3,5,7
/proc/7833/task/7848/stat : 7848 (java) S 7830 7833 5093 0 -1 4202560 1548 0 0 0 225 1 0 0 16 0 22 0 811255805 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7849] ppid=7830 vsize=10549628 CPUtime=1.83 cores=1,3,5,7
/proc/7833/task/7849/stat : 7849 (java) S 7830 7833 5093 0 -1 4202560 5636 0 0 0 182 1 0 0 16 0 22 0 811255805 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7850] ppid=7830 vsize=10549628 CPUtime=2.02 cores=1,3,5,7
/proc/7833/task/7850/stat : 7850 (java) S 7830 7833 5093 0 -1 4202560 3823 0 0 0 202 0 0 0 16 0 22 0 811255805 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7851] ppid=7830 vsize=10549628 CPUtime=2.19 cores=1,3,5,7
/proc/7833/task/7851/stat : 7851 (java) S 7830 7833 5093 0 -1 4202560 6284 0 0 0 218 1 0 0 16 0 22 0 811255805 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7852] ppid=7830 vsize=10549628 CPUtime=2.14 cores=1,3,5,7
/proc/7833/task/7852/stat : 7852 (java) S 7830 7833 5093 0 -1 4202560 4782 0 0 0 213 1 0 0 16 0 22 0 811255805 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7856] ppid=7830 vsize=10549628 CPUtime=189.42 cores=1,3,5,7
/proc/7833/task/7856/stat : 7856 (java) S 7830 7833 5093 0 -1 4202560 178591 0 0 0 18922 20 0 0 18 0 22 0 811255806 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 0 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7857] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7857/stat : 7857 (java) S 7830 7833 5093 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811255807 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7858] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7858/stat : 7858 (java) S 7830 7833 5093 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 811255807 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7864] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7864/stat : 7864 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811255809 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118592433 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7865] ppid=7830 vsize=10549628 CPUtime=1.4 cores=1,3,5,7
/proc/7833/task/7865/stat : 7865 (java) S 7830 7833 5093 0 -1 4202560 9774 0 0 0 139 1 0 0 15 0 22 0 811255809 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7866] ppid=7830 vsize=10549628 CPUtime=0.73 cores=1,3,5,7
/proc/7833/task/7866/stat : 7866 (java) S 7830 7833 5093 0 -1 4202560 2489 0 0 0 73 0 0 0 15 0 22 0 811255809 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7867] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7867/stat : 7867 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811255809 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7868] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7868/stat : 7868 (java) S 7830 7833 5093 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811255809 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7931] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7931/stat : 7931 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811259323 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7990] ppid=7830 vsize=10549628 CPUtime=403.22 cores=1,3,5,7
/proc/7833/task/7990/stat : 7990 (java) R 7830 7833 5093 0 -1 4202560 116 0 0 0 40322 0 0 0 22 0 22 0 811295568 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 46912505768360 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7833/tid=7991] ppid=7830 vsize=10549628 CPUtime=403.25 cores=1,3,5,7
/proc/7833/task/7991/stat : 7991 (java) R 7830 7833 5093 0 -1 4202560 15673 0 0 0 40324 1 0 0 23 0 22 0 811295568 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 46912506063351 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7833/tid=7992] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7992/stat : 7992 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811295568 10802819072 441909 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1695.87
Current children cumulated vsize (KiB) 10549628
[startup+1002.3 s]
/proc/loadavg: 4.08 3.67 2.94 3/531 8023
/proc/meminfo: memFree=14955764/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10549628 CPUtime=1799.33 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 450205 0 1 0 179871 62 0 0 18 0 22 0 811255803 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2637407 442245 2264 9 0 2628141 0
[pid=7833/tid=7834] ppid=7830 vsize=10549628 CPUtime=0.38 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) S 7830 7833 5093 0 -1 4202560 14612 0 1 0 36 2 0 0 15 0 22 0 811255804 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7845] ppid=7830 vsize=10549628 CPUtime=2.31 cores=1,3,5,7
/proc/7833/task/7845/stat : 7845 (java) S 7830 7833 5093 0 -1 4202560 4309 0 0 0 231 0 0 0 16 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7846] ppid=7830 vsize=10549628 CPUtime=2.26 cores=1,3,5,7
/proc/7833/task/7846/stat : 7846 (java) S 7830 7833 5093 0 -1 4202560 2250 0 0 0 226 0 0 0 15 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7847] ppid=7830 vsize=10549628 CPUtime=2.3 cores=1,3,5,7
/proc/7833/task/7847/stat : 7847 (java) S 7830 7833 5093 0 -1 4202560 2357 0 0 0 229 1 0 0 16 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7848] ppid=7830 vsize=10549628 CPUtime=2.4 cores=1,3,5,7
/proc/7833/task/7848/stat : 7848 (java) S 7830 7833 5093 0 -1 4202560 1549 0 0 0 239 1 0 0 16 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7849] ppid=7830 vsize=10549628 CPUtime=1.99 cores=1,3,5,7
/proc/7833/task/7849/stat : 7849 (java) S 7830 7833 5093 0 -1 4202560 5641 0 0 0 198 1 0 0 15 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7850] ppid=7830 vsize=10549628 CPUtime=2.19 cores=1,3,5,7
/proc/7833/task/7850/stat : 7850 (java) S 7830 7833 5093 0 -1 4202560 3826 0 0 0 219 0 0 0 16 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7851] ppid=7830 vsize=10549628 CPUtime=2.38 cores=1,3,5,7
/proc/7833/task/7851/stat : 7851 (java) S 7830 7833 5093 0 -1 4202560 6292 0 0 0 237 1 0 0 16 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7852] ppid=7830 vsize=10549628 CPUtime=2.31 cores=1,3,5,7
/proc/7833/task/7852/stat : 7852 (java) S 7830 7833 5093 0 -1 4202560 4782 0 0 0 230 1 0 0 15 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7856] ppid=7830 vsize=10549628 CPUtime=206.4 cores=1,3,5,7
/proc/7833/task/7856/stat : 7856 (java) S 7830 7833 5093 0 -1 4202560 178907 0 0 0 20620 20 0 0 18 0 22 0 811255806 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 0 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7857] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7857/stat : 7857 (java) S 7830 7833 5093 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811255807 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7858] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7858/stat : 7858 (java) S 7830 7833 5093 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 811255807 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7864] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7864/stat : 7864 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811255809 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118592433 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7865] ppid=7830 vsize=10549628 CPUtime=1.4 cores=1,3,5,7
/proc/7833/task/7865/stat : 7865 (java) S 7830 7833 5093 0 -1 4202560 9774 0 0 0 139 1 0 0 15 0 22 0 811255809 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7866] ppid=7830 vsize=10549628 CPUtime=0.73 cores=1,3,5,7
/proc/7833/task/7866/stat : 7866 (java) S 7830 7833 5093 0 -1 4202560 2489 0 0 0 73 0 0 0 15 0 22 0 811255809 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7867] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7867/stat : 7867 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811255809 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7868] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7868/stat : 7868 (java) S 7830 7833 5093 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 811255809 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7931] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7931/stat : 7931 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811259323 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7990] ppid=7830 vsize=10549628 CPUtime=445.88 cores=1,3,5,7
/proc/7833/task/7990/stat : 7990 (java) R 7830 7833 5093 0 -1 4202560 116 0 0 0 44588 0 0 0 20 0 22 0 811295568 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 46912505768241 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7833/tid=7991] ppid=7830 vsize=10549628 CPUtime=445.91 cores=1,3,5,7
/proc/7833/task/7991/stat : 7991 (java) R 7830 7833 5093 0 -1 4202560 15673 0 0 0 44590 1 0 0 20 0 22 0 811295568 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 46912506063731 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7833/tid=7992] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7992/stat : 7992 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811295568 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1799.33
Current children cumulated vsize (KiB) 10549628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1002.7 s]
/proc/loadavg: 4.08 3.67 2.94 3/531 8023
/proc/meminfo: memFree=14955764/32951124 swapFree=67111204/67111528
[pid=7833] ppid=7830 vsize=10549628 CPUtime=1800.16 cores=1,3,5,7
/proc/7833/stat : 7833 (java) S 7830 7833 5093 0 -1 4202496 450205 0 1 0 179954 62 0 0 18 0 22 0 811255803 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7833/statm: 2637407 442245 2264 9 0 2628141 0
[pid=7833/tid=7834] ppid=7830 vsize=10549628 CPUtime=0.38 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (java) S 7830 7833 5093 0 -1 4202560 14612 0 1 0 36 2 0 0 15 0 22 0 811255804 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7845] ppid=7830 vsize=10549628 CPUtime=2.31 cores=1,3,5,7
/proc/7833/task/7845/stat : 7845 (java) S 7830 7833 5093 0 -1 4202560 4309 0 0 0 231 0 0 0 16 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7846] ppid=7830 vsize=10549628 CPUtime=2.26 cores=1,3,5,7
/proc/7833/task/7846/stat : 7846 (java) S 7830 7833 5093 0 -1 4202560 2250 0 0 0 226 0 0 0 15 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7847] ppid=7830 vsize=10549628 CPUtime=2.3 cores=1,3,5,7
/proc/7833/task/7847/stat : 7847 (java) S 7830 7833 5093 0 -1 4202560 2357 0 0 0 229 1 0 0 16 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7848] ppid=7830 vsize=10549628 CPUtime=2.4 cores=1,3,5,7
/proc/7833/task/7848/stat : 7848 (java) S 7830 7833 5093 0 -1 4202560 1549 0 0 0 239 1 0 0 16 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7849] ppid=7830 vsize=10549628 CPUtime=1.99 cores=1,3,5,7
/proc/7833/task/7849/stat : 7849 (java) S 7830 7833 5093 0 -1 4202560 5641 0 0 0 198 1 0 0 15 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
[pid=7833/tid=7850] ppid=7830 vsize=10549628 CPUtime=2.19 cores=1,3,5,7
/proc/7833/task/7850/stat : 7850 (java) S 7830 7833 5093 0 -1 4202560 3826 0 0 0 219 0 0 0 16 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7851] ppid=7830 vsize=10549628 CPUtime=2.38 cores=1,3,5,7
/proc/7833/task/7851/stat : 7851 (java) S 7830 7833 5093 0 -1 4202560 6292 0 0 0 237 1 0 0 16 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7852] ppid=7830 vsize=10549628 CPUtime=2.31 cores=1,3,5,7
/proc/7833/task/7852/stat : 7852 (java) S 7830 7833 5093 0 -1 4202560 4782 0 0 0 230 1 0 0 15 0 22 0 811255805 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7856] ppid=7830 vsize=10549628 CPUtime=206.4 cores=1,3,5,7
/proc/7833/task/7856/stat : 7856 (java) S 7830 7833 5093 0 -1 4202560 178907 0 0 0 20620 20 0 0 18 0 22 0 811255806 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 0 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7857] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7857/stat : 7857 (java) S 7830 7833 5093 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811255807 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7858] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7858/stat : 7858 (java) S 7830 7833 5093 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 811255807 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7864] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7864/stat : 7864 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811255809 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118592433 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7865] ppid=7830 vsize=10549628 CPUtime=1.4 cores=1,3,5,7
/proc/7833/task/7865/stat : 7865 (java) S 7830 7833 5093 0 -1 4202560 9774 0 0 0 139 1 0 0 15 0 22 0 811255809 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7866] ppid=7830 vsize=10549628 CPUtime=0.73 cores=1,3,5,7
/proc/7833/task/7866/stat : 7866 (java) S 7830 7833 5093 0 -1 4202560 2489 0 0 0 73 0 0 0 15 0 22 0 811255809 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 3 0 0 0
[pid=7833/tid=7867] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7867/stat : 7867 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811255809 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118584729 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7868] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7868/stat : 7868 (java) S 7830 7833 5093 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 811255809 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 5 0 0 0
[pid=7833/tid=7931] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7931/stat : 7931 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811259323 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 7 0 0 0
[pid=7833/tid=7990] ppid=7830 vsize=10549628 CPUtime=446.3 cores=1,3,5,7
/proc/7833/task/7990/stat : 7990 (java) R 7830 7833 5093 0 -1 4202560 116 0 0 0 44630 0 0 0 20 0 22 0 811295568 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 46912505767840 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7833/tid=7991] ppid=7830 vsize=10549628 CPUtime=446.33 cores=1,3,5,7
/proc/7833/task/7991/stat : 7991 (java) R 7830 7833 5093 0 -1 4202560 15673 0 0 0 44632 1 0 0 21 0 22 0 811295568 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 46912505840642 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7833/tid=7992] ppid=7830 vsize=10549628 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7992/stat : 7992 (java) S 7830 7833 5093 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811295568 10802819072 442245 33554432000 1073741824 1073778376 140736771959760 18446744073709551615 255118585344 0 4 0 16800975 18446604468339913984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10549628
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1002.82
CPU time (s): 1800.33
CPU user time (s): 1799.63
CPU system time (s): 0.697893
CPU usage (%): 179.526
Max. virtual memory (cumulated for all children) (KiB): 10553704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.697893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450234
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30923
involuntary context switches= 30708
runsolver used 5.17521 second user time and 12.2941 second system time
The end