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-3454293-1307193104/watcher-3454293-1307193104 -o /tmp/evaluation-result-3454293-1307193104/solver-3454293-1307193104 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454293-1307193104.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: 3.08 3.18 3.24 3/502 17860
/proc/meminfo: memFree=26609456/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17860/stat : 17860 (java) S 17858 17860 13533 0 -1 4202496 5294 0 1 0 0 0 0 0 25 0 2 0 830910120 10694979584 4996 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 2611079 5009 917 9 0 2602235 0
[pid=17860/tid=17861] ppid=17858 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17861/stat : 17861 (java) R 17858 17860 13533 0 -1 4202560 6255 0 1 0 0 0 0 0 25 0 2 0 830910120 10694979584 7071 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.078476 s]
/proc/loadavg: 3.08 3.18 3.24 3/502 17860
/proc/meminfo: memFree=26609456/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/17860/stat : 17860 (java) S 17858 17860 13533 0 -1 4202496 11990 0 1 0 5 1 0 0 25 0 18 0 830910120 10724442112 11687 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 2618272 11688 1755 9 0 2609006 0
[pid=17860/tid=17861] ppid=17858 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/17860/task/17861/stat : 17861 (java) R 17858 17860 13533 0 -1 4202560 10817 0 1 0 5 1 0 0 25 0 18 0 830910120 10724442112 11689 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 47251251923795 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100471 s]
/proc/loadavg: 3.08 3.18 3.24 3/502 17860
/proc/meminfo: memFree=26609456/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=10540080 CPUtime=0.1 cores=1,3,5,7
/proc/17860/stat : 17860 (java) S 17858 17860 13533 0 -1 4202496 13109 0 1 0 8 2 0 0 25 0 18 0 830910120 10793041920 12763 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 2635020 12763 2092 9 0 2625754 0
[pid=17860/tid=17861] ppid=17858 vsize=10540080 CPUtime=0.08 cores=1,3,5,7
/proc/17860/task/17861/stat : 17861 (java) R 17858 17860 13533 0 -1 4202560 11145 0 1 0 7 1 0 0 25 0 18 0 830910120 10793041920 12763 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 47251248291427 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540080
[startup+0.300435 s]
/proc/loadavg: 3.08 3.18 3.24 3/502 17860
/proc/meminfo: memFree=26609456/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=10541156 CPUtime=0.48 cores=1,3,5,7
/proc/17860/stat : 17860 (java) S 17858 17860 13533 0 -1 4202496 16326 0 1 0 46 2 0 0 25 0 18 0 830910120 10794143744 15714 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 2635289 15715 2201 9 0 2626023 0
[pid=17860/tid=17861] ppid=17858 vsize=10541156 CPUtime=0.28 cores=1,3,5,7
/proc/17860/task/17861/stat : 17861 (java) R 17858 17860 13533 0 -1 4202560 13295 0 1 0 26 2 0 0 25 0 18 0 830910120 10794143744 15715 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912505572717 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541156
[startup+0.700414 s]
/proc/loadavg: 3.08 3.18 3.24 3/502 17860
/proc/meminfo: memFree=26609456/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=10545272 CPUtime=1.16 cores=1,3,5,7
/proc/17860/stat : 17860 (java) S 17858 17860 13533 0 -1 4202496 55125 0 1 0 109 7 0 0 25 0 18 0 830910120 10798358528 52764 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 2636318 52765 2213 9 0 2627052 0
[pid=17860/tid=17861] ppid=17858 vsize=10545272 CPUtime=0.68 cores=1,3,5,7
/proc/17860/task/17861/stat : 17861 (java) R 17858 17860 13533 0 -1 4202560 48511 0 1 0 61 7 0 0 25 0 18 0 830910120 10798358528 52766 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10545272
[startup+1.5012 s]
/proc/loadavg: 3.08 3.18 3.24 6/524 17882
/proc/meminfo: memFree=26375340/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=10549384 CPUtime=3.13 cores=1,3,5,7
/proc/17860/stat : 17860 (java) S 17858 17860 13533 0 -1 4202496 67819 0 1 0 304 9 0 0 25 0 22 0 830910120 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 2637346 65221 2234 9 0 2628080 0
[pid=17860/tid=17861] ppid=17858 vsize=10549384 CPUtime=0.86 cores=1,3,5,7
/proc/17860/task/17861/stat : 17861 (java) S 17858 17860 13533 0 -1 4202560 54697 0 1 0 78 8 0 0 20 0 22 0 830910120 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17863] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17863/stat : 17863 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17864] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17864/stat : 17864 (java) S 17858 17860 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17865] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17865/stat : 17865 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17866] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17866/stat : 17866 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17867] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17867/stat : 17867 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17868] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17868/stat : 17868 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17869] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17869/stat : 17869 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17870] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17870/stat : 17870 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17871] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17871/stat : 17871 (java) S 17858 17860 13533 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830910123 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 0 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17872] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17872/stat : 17872 (java) S 17858 17860 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830910123 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17873] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17873/stat : 17873 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910123 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17874] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17874/stat : 17874 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910125 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092055985 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17875] ppid=17858 vsize=10549384 CPUtime=0.53 cores=1,3,5,7
/proc/17860/task/17875/stat : 17875 (java) S 17858 17860 13533 0 -1 4202560 1851 0 0 0 53 0 0 0 21 0 22 0 830910125 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17876] ppid=17858 vsize=10549384 CPUtime=0.5 cores=1,3,5,7
/proc/17860/task/17876/stat : 17876 (java) S 17858 17860 13533 0 -1 4202560 3946 0 0 0 50 0 0 0 16 0 22 0 830910125 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17877] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17877/stat : 17877 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910125 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17878] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17878/stat : 17878 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830910125 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17879] ppid=17858 vsize=10549384 CPUtime=0.61 cores=1,3,5,7
/proc/17860/task/17879/stat : 17879 (java) R 17858 17860 13533 0 -1 4202560 810 0 0 0 61 0 0 0 25 0 22 0 830910208 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912505883784 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17860/tid=17880] ppid=17858 vsize=10549384 CPUtime=0.58 cores=1,3,5,7
/proc/17860/task/17880/stat : 17880 (java) R 17858 17860 13533 0 -1 4202560 5347 0 0 0 58 0 0 0 25 0 22 0 830910208 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912505882708 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17860/tid=17881] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17881/stat : 17881 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910211 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17882] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17882/stat : 17882 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910211 10802569216 65221 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 10549384
[startup+3.1009 s]
/proc/loadavg: 3.08 3.18 3.24 4/524 17882
/proc/meminfo: memFree=26156356/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=10549384 CPUtime=6.47 cores=1,3,5,7
/proc/17860/stat : 17860 (java) S 17858 17860 13533 0 -1 4202496 249737 0 1 0 619 28 0 0 25 0 22 0 830910120 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 2637346 247138 2235 9 0 2628080 0
[pid=17860/tid=17861] ppid=17858 vsize=10549384 CPUtime=0.86 cores=1,3,5,7
/proc/17860/task/17861/stat : 17861 (java) S 17858 17860 13533 0 -1 4202560 54697 0 1 0 78 8 0 0 15 0 22 0 830910120 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17863] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17863/stat : 17863 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17864] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17864/stat : 17864 (java) S 17858 17860 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17865] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17865/stat : 17865 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17866] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17866/stat : 17866 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17867] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17867/stat : 17867 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17868] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17868/stat : 17868 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17869] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17869/stat : 17869 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17870] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17870/stat : 17870 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910122 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17871] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17871/stat : 17871 (java) S 17858 17860 13533 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 830910123 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 0 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17872] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17872/stat : 17872 (java) S 17858 17860 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830910123 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17873] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17873/stat : 17873 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910123 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17874] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17874/stat : 17874 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910125 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092055985 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17875] ppid=17858 vsize=10549384 CPUtime=0.62 cores=1,3,5,7
/proc/17860/task/17875/stat : 17875 (java) S 17858 17860 13533 0 -1 4202560 1908 0 0 0 62 0 0 0 15 0 22 0 830910125 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17876] ppid=17858 vsize=10549384 CPUtime=0.56 cores=1,3,5,7
/proc/17860/task/17876/stat : 17876 (java) S 17858 17860 13533 0 -1 4202560 3953 0 0 0 56 0 0 0 15 0 22 0 830910125 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17877] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17877/stat : 17877 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910125 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17878] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17878/stat : 17878 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830910125 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17879] ppid=17858 vsize=10549384 CPUtime=2.21 cores=1,3,5,7
/proc/17860/task/17879/stat : 17879 (java) R 17858 17860 13533 0 -1 4202560 1900 0 0 0 221 0 0 0 25 0 22 0 830910208 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912505784551 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17860/tid=17880] ppid=17858 vsize=10549384 CPUtime=2.17 cores=1,3,5,7
/proc/17860/task/17880/stat : 17880 (java) R 17858 17860 13533 0 -1 4202560 186110 0 0 0 199 18 0 0 25 0 22 0 830910208 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912506102921 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17860/tid=17881] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17881/stat : 17881 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910211 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17882] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17882/stat : 17882 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910211 10802569216 247138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.47
Current children cumulated vsize (KiB) 10549384
[startup+6.30135 s]
/proc/loadavg: 3.08 3.18 3.24 4/524 17882
/proc/meminfo: memFree=24348584/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=10549384 CPUtime=12.91 cores=1,3,5,7
/proc/17860/stat : 17860 (java) S 17858 17860 13533 0 -1 4202496 664112 0 1 0 1223 68 0 0 25 0 22 0 830910120 10802569216 661488 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 2637346 661488 2248 9 0 2628080 0
[pid=17860/tid=17861] ppid=17858 vsize=10549384 CPUtime=0.86 cores=1,3,5,7
/proc/17860/task/17861/stat : 17861 (java) S 17858 17860 13533 0 -1 4202560 54697 0 1 0 78 8 0 0 15 0 22 0 830910120 10802569216 661488 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17863] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17863/stat : 17863 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830910122 10802569216 661488 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17864] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17864/stat : 17864 (java) S 17858 17860 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830910122 10802569216 661488 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17865] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17865/stat : 17865 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830910122 10802569216 661488 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17866] ppid=17858 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17866/stat : 17866 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830910122 10802569216 661488 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17867] ppid=17858 vsize=10549384 CPUtime=0.01 cores=1,3,5,7
/proc/17860/task/17867/stat : 17867 (java) S 17858 17860 13533 0 -1 4202560 1232 0 0 0 1 0 0 0 18 0 22 0 830910122 10802569216 661488 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17868] ppid=17858 vsize=10549384 CPUtime=0.01 cores=1,3,5,7
/proc/17860/task/17868/stat : 17868 (java) S 17858 17860 13533 0 -1 4202560 1811 0 0 0 1 0 0 0 18 0 22 0 830910122 10802569216 661488 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17869] ppid=17858 vsize=10549384 CPUtime=0.02 cores=1,3,5,7
/proc/17860/task/17869/stat : 17869 (java) S 17858 17860 13533 0 -1 4202560 1520 0 0 0 2 0 0 0 18 0 22 0 830910122 10802569216 661488 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17870] ppid=17858 vsize=10549384 CPUtime=0.02 cores=1,3,5,7
/proc/17860/task/17870/stat : 17870 (java) S 17858 17860 13533 0 -1 4202560 1443 0 0 0 2 0 0 0 18 0 22 0 830910122 10802569216 661488 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/17860/task/17863/stat : 17863 (java) S 17858 17860 13533 0 -1 4202560 22014 0 0 0 46 3 0 0 15 0 22 0 830910122 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17864] ppid=17858 vsize=10549524 CPUtime=0.5 cores=1,3,5,7
/proc/17860/task/17864/stat : 17864 (java) S 17858 17860 13533 0 -1 4202560 22470 0 0 0 47 3 0 0 15 0 22 0 830910122 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17865] ppid=17858 vsize=10549524 CPUtime=0.47 cores=1,3,5,7
/proc/17860/task/17865/stat : 17865 (java) S 17858 17860 13533 0 -1 4202560 23668 0 0 0 44 3 0 0 15 0 22 0 830910122 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17866] ppid=17858 vsize=10549524 CPUtime=0.49 cores=1,3,5,7
/proc/17860/task/17866/stat : 17866 (java) S 17858 17860 13533 0 -1 4202560 26841 0 0 0 46 3 0 0 16 0 22 0 830910122 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17867] ppid=17858 vsize=10549524 CPUtime=0.54 cores=1,3,5,7
/proc/17860/task/17867/stat : 17867 (java) S 17858 17860 13533 0 -1 4202560 27357 0 0 0 50 4 0 0 16 0 22 0 830910122 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17868] ppid=17858 vsize=10549524 CPUtime=0.47 cores=1,3,5,7
/proc/17860/task/17868/stat : 17868 (java) S 17858 17860 13533 0 -1 4202560 23273 0 0 0 44 3 0 0 15 0 22 0 830910122 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17869] ppid=17858 vsize=10549524 CPUtime=0.46 cores=1,3,5,7
/proc/17860/task/17869/stat : 17869 (java) S 17858 17860 13533 0 -1 4202560 18848 0 0 0 44 2 0 0 16 0 22 0 830910122 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17870] ppid=17858 vsize=10549524 CPUtime=0.47 cores=1,3,5,7
/proc/17860/task/17870/stat : 17870 (java) S 17858 17860 13533 0 -1 4202560 25864 0 0 0 44 3 0 0 16 0 22 0 830910122 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17871] ppid=17858 vsize=10549524 CPUtime=0.12 cores=1,3,5,7
/proc/17860/task/17871/stat : 17871 (java) S 17858 17860 13533 0 -1 4202560 243 0 0 0 12 0 0 0 15 0 22 0 830910123 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 0 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17872] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17872/stat : 17872 (java) S 17858 17860 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830910123 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17873] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17873/stat : 17873 (java) S 17858 17860 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830910123 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17874] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17874/stat : 17874 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910125 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092055985 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17875] ppid=17858 vsize=10549524 CPUtime=1.1 cores=1,3,5,7
/proc/17860/task/17875/stat : 17875 (java) S 17858 17860 13533 0 -1 4202560 5043 0 0 0 110 0 0 0 15 0 22 0 830910125 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17876] ppid=17858 vsize=10549524 CPUtime=0.86 cores=1,3,5,7
/proc/17860/task/17876/stat : 17876 (java) S 17858 17860 13533 0 -1 4202560 4004 0 0 0 86 0 0 0 15 0 22 0 830910125 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17877] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17877/stat : 17877 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910125 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17878] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17878/stat : 17878 (java) S 17858 17860 13533 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830910125 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17879] ppid=17858 vsize=10549524 CPUtime=820.02 cores=1,3,5,7
/proc/17860/task/17879/stat : 17879 (java) R 17858 17860 13533 0 -1 4202560 3831 0 0 0 82002 0 0 0 25 0 22 0 830910208 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912505882746 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17860/tid=17880] ppid=17858 vsize=10549524 CPUtime=819.98 cores=1,3,5,7
/proc/17860/task/17880/stat : 17880 (java) R 17858 17860 13533 0 -1 4202560 780000 0 0 0 81920 78 0 0 25 0 22 0 830910208 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912505779901 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17860/tid=17881] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17881/stat : 17881 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910211 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17882] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17882/stat : 17882 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910211 10802712576 1031078 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1646.98
Current children cumulated vsize (KiB) 10549524
[startup+882.301 s]
/proc/loadavg: 4.05 4.01 3.71 5/524 18007
/proc/meminfo: memFree=19505892/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=10549524 CPUtime=1767.13 cores=1,3,5,7
/proc/17860/stat : 17860 (java) S 17858 17860 13533 0 -1 4202496 1051489 0 1 0 176594 119 0 0 25 0 22 0 830910120 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 2637381 1042782 2267 9 0 2628115 0
[pid=17860/tid=17861] ppid=17858 vsize=10549524 CPUtime=0.86 cores=1,3,5,7
/proc/17860/task/17861/stat : 17861 (java) S 17858 17860 13533 0 -1 4202560 54700 0 1 0 78 8 0 0 15 0 22 0 830910120 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17863] ppid=17858 vsize=10549524 CPUtime=0.56 cores=1,3,5,7
/proc/17860/task/17863/stat : 17863 (java) S 17858 17860 13533 0 -1 4202560 24689 0 0 0 52 4 0 0 15 0 22 0 830910122 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17864] ppid=17858 vsize=10549524 CPUtime=0.54 cores=1,3,5,7
/proc/17860/task/17864/stat : 17864 (java) S 17858 17860 13533 0 -1 4202560 24173 0 0 0 51 3 0 0 16 0 22 0 830910122 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17865] ppid=17858 vsize=10549524 CPUtime=0.53 cores=1,3,5,7
/proc/17860/task/17865/stat : 17865 (java) S 17858 17860 13533 0 -1 4202560 26161 0 0 0 50 3 0 0 15 0 22 0 830910122 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17866] ppid=17858 vsize=10549524 CPUtime=0.52 cores=1,3,5,7
/proc/17860/task/17866/stat : 17866 (java) S 17858 17860 13533 0 -1 4202560 27013 0 0 0 49 3 0 0 16 0 22 0 830910122 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17867] ppid=17858 vsize=10549524 CPUtime=0.57 cores=1,3,5,7
/proc/17860/task/17867/stat : 17867 (java) S 17858 17860 13533 0 -1 4202560 27897 0 0 0 53 4 0 0 15 0 22 0 830910122 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17868] ppid=17858 vsize=10549524 CPUtime=0.5 cores=1,3,5,7
/proc/17860/task/17868/stat : 17868 (java) S 17858 17860 13533 0 -1 4202560 25085 0 0 0 47 3 0 0 15 0 22 0 830910122 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17869] ppid=17858 vsize=10549524 CPUtime=0.5 cores=1,3,5,7
/proc/17860/task/17869/stat : 17869 (java) S 17858 17860 13533 0 -1 4202560 19876 0 0 0 48 2 0 0 16 0 22 0 830910122 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17870] ppid=17858 vsize=10549524 CPUtime=0.52 cores=1,3,5,7
/proc/17860/task/17870/stat : 17870 (java) S 17858 17860 13533 0 -1 4202560 27544 0 0 0 49 3 0 0 16 0 22 0 830910122 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17871] ppid=17858 vsize=10549524 CPUtime=0.13 cores=1,3,5,7
/proc/17860/task/17871/stat : 17871 (java) S 17858 17860 13533 0 -1 4202560 247 0 0 0 13 0 0 0 15 0 22 0 830910123 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 0 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17872] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17872/stat : 17872 (java) S 17858 17860 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830910123 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17873] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17873/stat : 17873 (java) S 17858 17860 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830910123 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17874] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17874/stat : 17874 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910125 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092055985 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17875] ppid=17858 vsize=10549524 CPUtime=1.1 cores=1,3,5,7
/proc/17860/task/17875/stat : 17875 (java) S 17858 17860 13533 0 -1 4202560 5043 0 0 0 110 0 0 0 15 0 22 0 830910125 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17876] ppid=17858 vsize=10549524 CPUtime=0.86 cores=1,3,5,7
/proc/17860/task/17876/stat : 17876 (java) S 17858 17860 13533 0 -1 4202560 4004 0 0 0 86 0 0 0 15 0 22 0 830910125 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17877] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17877/stat : 17877 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910125 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17878] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17878/stat : 17878 (java) S 17858 17860 13533 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830910125 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17879] ppid=17858 vsize=10549524 CPUtime=879.91 cores=1,3,5,7
/proc/17860/task/17879/stat : 17879 (java) R 17858 17860 13533 0 -1 4202560 3840 0 0 0 87991 0 0 0 25 0 22 0 830910208 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912505784488 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17860/tid=17880] ppid=17858 vsize=10549524 CPUtime=879.87 cores=1,3,5,7
/proc/17860/task/17880/stat : 17880 (java) R 17858 17860 13533 0 -1 4202560 780008 0 0 0 87909 78 0 0 25 0 22 0 830910208 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912506106971 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17860/tid=17881] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17881/stat : 17881 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910211 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17882] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17882/stat : 17882 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910211 10802712576 1042782 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1767.13
Current children cumulated vsize (KiB) 10549524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.719 s]
/proc/loadavg: 4.04 4.01 3.71 5/524 18008
/proc/meminfo: memFree=19504524/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=10549524 CPUtime=1800.03 cores=1,3,5,7
/proc/17860/stat : 17860 (java) S 17858 17860 13533 0 -1 4202496 1051852 0 1 0 179883 120 0 0 25 0 22 0 830910120 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 2637381 1043138 2267 9 0 2628115 0
[pid=17860/tid=17861] ppid=17858 vsize=10549524 CPUtime=0.86 cores=1,3,5,7
/proc/17860/task/17861/stat : 17861 (java) S 17858 17860 13533 0 -1 4202560 54700 0 1 0 78 8 0 0 15 0 22 0 830910120 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17863] ppid=17858 vsize=10549524 CPUtime=0.57 cores=1,3,5,7
/proc/17860/task/17863/stat : 17863 (java) S 17858 17860 13533 0 -1 4202560 24802 0 0 0 53 4 0 0 15 0 22 0 830910122 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17864] ppid=17858 vsize=10549524 CPUtime=0.55 cores=1,3,5,7
/proc/17860/task/17864/stat : 17864 (java) S 17858 17860 13533 0 -1 4202560 24231 0 0 0 52 3 0 0 16 0 22 0 830910122 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17865] ppid=17858 vsize=10549524 CPUtime=0.54 cores=1,3,5,7
/proc/17860/task/17865/stat : 17865 (java) S 17858 17860 13533 0 -1 4202560 26177 0 0 0 51 3 0 0 16 0 22 0 830910122 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17866] ppid=17858 vsize=10549524 CPUtime=0.53 cores=1,3,5,7
/proc/17860/task/17866/stat : 17866 (java) S 17858 17860 13533 0 -1 4202560 27014 0 0 0 50 3 0 0 15 0 22 0 830910122 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17867] ppid=17858 vsize=10549524 CPUtime=0.58 cores=1,3,5,7
/proc/17860/task/17867/stat : 17867 (java) S 17858 17860 13533 0 -1 4202560 27979 0 0 0 54 4 0 0 16 0 22 0 830910122 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
[pid=17860/tid=17868] ppid=17858 vsize=10549524 CPUtime=0.53 cores=1,3,5,7
/proc/17860/task/17868/stat : 17868 (java) S 17858 17860 13533 0 -1 4202560 25173 0 0 0 49 4 0 0 16 0 22 0 830910122 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17869] ppid=17858 vsize=10549524 CPUtime=0.51 cores=1,3,5,7
/proc/17860/task/17869/stat : 17869 (java) S 17858 17860 13533 0 -1 4202560 19876 0 0 0 49 2 0 0 15 0 22 0 830910122 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17870] ppid=17858 vsize=10549524 CPUtime=0.53 cores=1,3,5,7
/proc/17860/task/17870/stat : 17870 (java) S 17858 17860 13533 0 -1 4202560 27544 0 0 0 50 3 0 0 15 0 22 0 830910122 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17871] ppid=17858 vsize=10549524 CPUtime=0.13 cores=1,3,5,7
/proc/17860/task/17871/stat : 17871 (java) S 17858 17860 13533 0 -1 4202560 247 0 0 0 13 0 0 0 15 0 22 0 830910123 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 0 0 16800975 18446604469655327104 0 0 -1 7 0 0 0
[pid=17860/tid=17872] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17872/stat : 17872 (java) S 17858 17860 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830910123 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17873] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17873/stat : 17873 (java) S 17858 17860 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830910123 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17874] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17874/stat : 17874 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910125 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092055985 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17875] ppid=17858 vsize=10549524 CPUtime=1.1 cores=1,3,5,7
/proc/17860/task/17875/stat : 17875 (java) S 17858 17860 13533 0 -1 4202560 5043 0 0 0 110 0 0 0 15 0 22 0 830910125 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17876] ppid=17858 vsize=10549524 CPUtime=0.86 cores=1,3,5,7
/proc/17860/task/17876/stat : 17876 (java) S 17858 17860 13533 0 -1 4202560 4004 0 0 0 86 0 0 0 15 0 22 0 830910125 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17877] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17877/stat : 17877 (java) S 17858 17860 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910125 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048281 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17878] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17878/stat : 17878 (java) S 17858 17860 13533 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830910125 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 3 0 0 0
[pid=17860/tid=17879] ppid=17858 vsize=10549524 CPUtime=896.32 cores=1,3,5,7
/proc/17860/task/17879/stat : 17879 (java) R 17858 17860 13533 0 -1 4202560 3844 0 0 0 89632 0 0 0 25 0 22 0 830910208 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912505894914 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17860/tid=17880] ppid=17858 vsize=10549524 CPUtime=896.29 cores=1,3,5,7
/proc/17860/task/17880/stat : 17880 (java) R 17858 17860 13533 0 -1 4202560 780009 0 0 0 89551 78 0 0 25 0 22 0 830910208 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 46912506077875 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17860/tid=17881] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17881/stat : 17881 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910211 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 1 0 0 0
[pid=17860/tid=17882] ppid=17858 vsize=10549524 CPUtime=0 cores=1,3,5,7
/proc/17860/task/17882/stat : 17882 (java) S 17858 17860 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830910211 10802712576 1043138 33554432000 1073741824 1073778376 140736176580800 18446744073709551615 208092048896 0 4 0 16800975 18446604469655327104 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10549524
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+898.824 s]
/proc/loadavg: 4.04 4.01 3.71 5/524 18008
/proc/meminfo: memFree=19504524/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/17860/stat : 17860 (java) Z 17858 17860 13533 0 -1 4203548 1051879 0 1 0 179887 127 0 0 17 0 2 0 830910120 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
[startup+898.901 s]
/proc/loadavg: 4.04 4.01 3.71 5/524 18008
/proc/meminfo: memFree=19504524/32950928 swapFree=39617324/67111528
[pid=17860] ppid=17858 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/17860/stat : 17860 (java) Z 17858 17860 13533 0 -1 4203548 1051879 0 1 0 179887 135 0 0 17 0 2 0 830910120 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17860/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 898.914
CPU time (s): 1800.24
CPU user time (s): 1798.87
CPU system time (s): 1.36479
CPU usage (%): 200.268
Max. virtual memory (cumulated for all children) (KiB): 10549524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.36479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1051879
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= 27607
involuntary context switches= 23303
runsolver used 4.19136 second user time and 10.5624 second system time
The end