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-3459611-1307152197/watcher-3459611-1307152197 -o /tmp/evaluation-result-3459611-1307152197/solver-3459611-1307152197 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459611-1307152197.opb
running on 4 cores: 0,2,4,6
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.92 2.00 1.99 1/512 22864
/proc/meminfo: memFree=21750496/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 4802 0 1 0 0 0 0 0 25 0 2 0 807635289 13850947584 4505 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3381579 4519 917 9 0 3372735 0
[pid=22864/tid=22865] ppid=22862 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 5820 0 1 0 0 0 0 0 25 0 2 0 807635289 13850947584 6636 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0216861 s]
/proc/loadavg: 1.92 2.00 1.99 1/512 22864
/proc/meminfo: memFree=21750496/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 8265 0 1 0 0 0 0 0 25 0 2 0 807635289 13850947584 7968 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3381579 7982 917 9 0 3372735 0
[pid=22864/tid=22865] ppid=22862 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 7178 0 1 0 0 0 0 0 25 0 2 0 807635289 13850947584 7994 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13526316
[startup+0.100657 s]
/proc/loadavg: 1.92 2.00 1.99 1/512 22864
/proc/meminfo: memFree=21750496/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13621900 CPUtime=0.09 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 15453 0 1 0 8 1 0 0 25 0 18 0 807635289 13948825600 15109 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3405475 15109 2092 9 0 3396209 0
[pid=22864/tid=22865] ppid=22862 vsize=13621900 CPUtime=0.07 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 13498 0 1 0 6 1 0 0 25 0 18 0 807635289 13948825600 15109 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 47289522729620 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621900
[startup+0.425327 s]
/proc/loadavg: 1.92 2.00 1.99 1/512 22864
/proc/meminfo: memFree=21750496/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13691892 CPUtime=0.9 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 27858 0 1 0 87 3 0 0 25 0 18 0 807635289 14020497408 24718 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3422973 24722 2203 9 0 3413707 0
[pid=22864/tid=22865] ppid=22862 vsize=13691892 CPUtime=0.39 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 20139 0 1 0 38 1 0 0 25 0 18 0 807635289 14020497408 24723 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 46912505586450 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 13691892
[startup+0.737931 s]
/proc/loadavg: 1.92 2.00 1.99 1/512 22864
/proc/meminfo: memFree=21750496/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13692920 CPUtime=1.39 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 43387 0 1 0 135 4 0 0 25 0 19 0 807635289 14021550080 40247 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3423230 40247 2226 9 0 3413964 0
[pid=22864/tid=22865] ppid=22862 vsize=13692920 CPUtime=0.71 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 35559 0 1 0 68 3 0 0 25 0 19 0 807635289 14021550080 40247 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 46912505765941 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 13692920
[startup+1.50836 s]
/proc/loadavg: 1.92 2.00 1.99 3/530 22886
/proc/meminfo: memFree=21598932/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13692920 CPUtime=2.24 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 43427 0 1 0 220 4 0 0 25 0 19 0 807635289 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3423230 40286 2228 9 0 3413964 0
[pid=22864/tid=22865] ppid=22862 vsize=13692920 CPUtime=1.48 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 35584 0 1 0 145 3 0 0 18 0 19 0 807635289 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 46912505122125 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22864/tid=22867] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22867/stat : 22867 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635291 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22868] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22868/stat : 22868 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635291 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22869] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22869/stat : 22869 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635291 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22870] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22870/stat : 22870 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635291 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22871] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22871/stat : 22871 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635291 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22872] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22872/stat : 22872 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635292 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22873] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22873/stat : 22873 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635292 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22874] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22874/stat : 22874 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635292 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22875] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22875/stat : 22875 (java) S 22862 22864 20485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807635293 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 0 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22876] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22876/stat : 22876 (java) S 22862 22864 20485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807635293 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22877] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22877/stat : 22877 (java) S 22862 22864 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807635293 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22878] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22878/stat : 22878 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738228657 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22879] ppid=22862 vsize=13692920 CPUtime=0.34 cores=0,2,4,6
/proc/22864/task/22879/stat : 22879 (java) R 22862 22864 20485 0 -1 4202560 2121 0 0 0 34 0 0 0 16 0 19 0 807635295 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22864/tid=22880] ppid=22862 vsize=13692920 CPUtime=0.39 cores=0,2,4,6
/proc/22864/task/22880/stat : 22880 (java) R 22862 22864 20485 0 -1 4202560 4563 0 0 0 39 0 0 0 15 0 19 0 807635295 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 47289522376297 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22864/tid=22881] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22881/stat : 22881 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22882] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22882/stat : 22882 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807635295 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
[pid=22864/tid=22883] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22883/stat : 22883 (java) S 22862 22864 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807635354 14021550080 40286 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 13692920
[startup+3.10118 s]
/proc/loadavg: 1.92 2.00 1.99 3/530 22886
/proc/meminfo: memFree=21597572/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13692920 CPUtime=3.93 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 43559 0 1 0 389 4 0 0 25 0 19 0 807635289 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3423230 40416 2230 9 0 3413964 0
[pid=22864/tid=22865] ppid=22862 vsize=13692920 CPUtime=3.07 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 35703 0 1 0 304 3 0 0 21 0 19 0 807635289 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 46912505757287 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22864/tid=22867] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22867/stat : 22867 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635291 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22868] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22868/stat : 22868 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635291 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22869] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22869/stat : 22869 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635291 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22870] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22870/stat : 22870 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635291 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22871] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22871/stat : 22871 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635291 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22872] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22872/stat : 22872 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635292 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22873] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22873/stat : 22873 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635292 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22874] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22874/stat : 22874 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635292 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22875] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22875/stat : 22875 (java) S 22862 22864 20485 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 807635293 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 0 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22876] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22876/stat : 22876 (java) S 22862 22864 20485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807635293 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22877] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22877/stat : 22877 (java) S 22862 22864 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807635293 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22878] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22878/stat : 22878 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738228657 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22879] ppid=22862 vsize=13692920 CPUtime=0.4 cores=0,2,4,6
/proc/22864/task/22879/stat : 22879 (java) S 22862 22864 20485 0 -1 4202560 2129 0 0 0 40 0 0 0 15 0 19 0 807635295 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22880] ppid=22862 vsize=13692920 CPUtime=0.43 cores=0,2,4,6
/proc/22864/task/22880/stat : 22880 (java) S 22862 22864 20485 0 -1 4202560 4568 0 0 0 43 0 0 0 15 0 19 0 807635295 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 2 0 0 0
[pid=22864/tid=22881] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22881/stat : 22881 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22882] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22882/stat : 22882 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807635295 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
[pid=22864/tid=22883] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22883/stat : 22883 (java) S 22862 22864 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807635354 14021550080 40416 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 13692920
[startup+6.30152 s]
/proc/loadavg: 2.01 2.02 2.00 3/551 22928
/proc/meminfo: memFree=21479512/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13692920 CPUtime=7.25 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 46433 0 1 0 720 5 0 0 25 0 19 0 807635289 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3423230 42967 2259 9 0 3413964 0
[pid=22864/tid=22865] ppid=22862 vsize=13692920 CPUtime=6.24 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 35914 0 1 0 621 3 0 0 20 0 19 0 807635289 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 46912505164270 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22864/tid=22867] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22867/stat : 22867 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807635291 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22868] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22868/stat : 22868 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807635291 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22869] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22869/stat : 22869 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807635291 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22870] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22870/stat : 22870 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807635291 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22871] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22871/stat : 22871 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807635291 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22872] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22872/stat : 22872 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807635292 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22873] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22873/stat : 22873 (java) S 22862 22864 20485 0 -1 4202560 560 0 0 0 0 0 0 0 18 0 19 0 807635292 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22874] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22874/stat : 22874 (java) S 22862 22864 20485 0 -1 4202560 701 0 0 0 0 0 0 0 18 0 19 0 807635292 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22875] ppid=22862 vsize=13692920 CPUtime=0.02 cores=0,2,4,6
/proc/22864/task/22875/stat : 22875 (java) S 22862 22864 20485 0 -1 4202560 1382 0 0 0 2 0 0 0 15 0 19 0 807635293 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 0 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22876] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22876/stat : 22876 (java) S 22862 22864 20485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807635293 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22877] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22877/stat : 22877 (java) S 22862 22864 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807635293 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22878] ppid=22862 vsize=13692920 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22878/stat : 22878 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738228657 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22879] ppid=22862 vsize=13692920 CPUtime=0.42 cores=0,2,4,6
/proc/22864/task/22879/stat : 22879 (java) S 22862 22864 20485 0 -1 4202560 2140 0 0 0 42 0 0 0 15 0 19 0 807635295 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22880] ppid=22862 vsize=13692920 CPUtime=0.51 cores=0,2,4,6
/proc/22864/task/22880/stat : 22880 (java) S 22862 22864 20485 0 -1 4202560 4580 0 0 0 51 0 0 0 15 0 19 0 807635295 14021550080 42967 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=22864/tid=22872] ppid=22862 vsize=13695760 CPUtime=0.11 cores=0,2,4,6
/proc/22864/task/22872/stat : 22872 (java) S 22862 22864 20485 0 -1 4202560 219 0 0 0 11 0 0 0 15 0 19 0 807635292 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22873] ppid=22862 vsize=13695760 CPUtime=0.12 cores=0,2,4,6
/proc/22864/task/22873/stat : 22873 (java) S 22862 22864 20485 0 -1 4202560 706 0 0 0 12 0 0 0 15 0 19 0 807635292 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22874] ppid=22862 vsize=13695760 CPUtime=0.13 cores=0,2,4,6
/proc/22864/task/22874/stat : 22874 (java) S 22862 22864 20485 0 -1 4202560 743 0 0 0 13 0 0 0 15 0 19 0 807635292 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22875] ppid=22862 vsize=13695760 CPUtime=7.25 cores=0,2,4,6
/proc/22864/task/22875/stat : 22875 (java) S 22862 22864 20485 0 -1 4202560 3376 0 0 0 720 5 0 0 15 0 19 0 807635293 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 0 0 16800975 18446604442260898752 0 0 -1 2 0 0 0
[pid=22864/tid=22876] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22876/stat : 22876 (java) S 22862 22864 20485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807635293 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22877] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22877/stat : 22877 (java) S 22862 22864 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807635293 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22878] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22878/stat : 22878 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738228657 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22879] ppid=22862 vsize=13695760 CPUtime=0.94 cores=0,2,4,6
/proc/22864/task/22879/stat : 22879 (java) S 22862 22864 20485 0 -1 4202560 8819 0 0 0 93 1 0 0 15 0 19 0 807635295 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22880] ppid=22862 vsize=13695760 CPUtime=0.57 cores=0,2,4,6
/proc/22864/task/22880/stat : 22880 (java) S 22862 22864 20485 0 -1 4202560 4581 0 0 0 57 0 0 0 15 0 19 0 807635295 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 2 0 0 0
[pid=22864/tid=22881] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22881/stat : 22881 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22882] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22882/stat : 22882 (java) S 22862 22864 20485 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 807635295 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22883] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22883/stat : 22883 (java) S 22862 22864 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807635354 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1664.4
Current children cumulated vsize (KiB) 13695760
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/551 23476
/proc/meminfo: memFree=21383912/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13695760 CPUtime=1724.42 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 56962 0 1 0 172426 16 0 0 25 0 19 0 807635289 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3423940 47057 2260 9 0 3414674 0
[pid=22864/tid=22865] ppid=22862 vsize=13695760 CPUtime=1714.18 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 36232 0 1 0 171411 7 0 0 25 0 19 0 807635289 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 46912505757296 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22864/tid=22867] ppid=22862 vsize=13695760 CPUtime=0.14 cores=0,2,4,6
/proc/22864/task/22867/stat : 22867 (java) S 22862 22864 20485 0 -1 4202560 80 0 0 0 14 0 0 0 15 0 19 0 807635291 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22868] ppid=22862 vsize=13695760 CPUtime=0.14 cores=0,2,4,6
/proc/22864/task/22868/stat : 22868 (java) S 22862 22864 20485 0 -1 4202560 191 0 0 0 14 0 0 0 15 0 19 0 807635291 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22869] ppid=22862 vsize=13695760 CPUtime=0.12 cores=0,2,4,6
/proc/22864/task/22869/stat : 22869 (java) S 22862 22864 20485 0 -1 4202560 464 0 0 0 12 0 0 0 15 0 19 0 807635291 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22870] ppid=22862 vsize=13695760 CPUtime=0.13 cores=0,2,4,6
/proc/22864/task/22870/stat : 22870 (java) S 22862 22864 20485 0 -1 4202560 211 0 0 0 13 0 0 0 16 0 19 0 807635291 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22871] ppid=22862 vsize=13695760 CPUtime=0.14 cores=0,2,4,6
/proc/22864/task/22871/stat : 22871 (java) S 22862 22864 20485 0 -1 4202560 91 0 0 0 14 0 0 0 15 0 19 0 807635291 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22872] ppid=22862 vsize=13695760 CPUtime=0.12 cores=0,2,4,6
/proc/22864/task/22872/stat : 22872 (java) S 22862 22864 20485 0 -1 4202560 219 0 0 0 12 0 0 0 15 0 19 0 807635292 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
[pid=22864/tid=22873] ppid=22862 vsize=13695760 CPUtime=0.13 cores=0,2,4,6
/proc/22864/task/22873/stat : 22873 (java) S 22862 22864 20485 0 -1 4202560 706 0 0 0 13 0 0 0 15 0 19 0 807635292 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
[pid=22864/tid=22874] ppid=22862 vsize=13695760 CPUtime=0.14 cores=0,2,4,6
/proc/22864/task/22874/stat : 22874 (java) S 22862 22864 20485 0 -1 4202560 743 0 0 0 14 0 0 0 15 0 19 0 807635292 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22875] ppid=22862 vsize=13695760 CPUtime=7.59 cores=0,2,4,6
/proc/22864/task/22875/stat : 22875 (java) S 22862 22864 20485 0 -1 4202560 3378 0 0 0 754 5 0 0 15 0 19 0 807635293 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 0 0 16800975 18446604442260898752 0 0 -1 2 0 0 0
[pid=22864/tid=22876] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22876/stat : 22876 (java) S 22862 22864 20485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807635293 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22877] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22877/stat : 22877 (java) S 22862 22864 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807635293 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22878] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22878/stat : 22878 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738228657 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22879] ppid=22862 vsize=13695760 CPUtime=0.94 cores=0,2,4,6
/proc/22864/task/22879/stat : 22879 (java) S 22862 22864 20485 0 -1 4202560 8819 0 0 0 93 1 0 0 15 0 19 0 807635295 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22880] ppid=22862 vsize=13695760 CPUtime=0.57 cores=0,2,4,6
/proc/22864/task/22880/stat : 22880 (java) S 22862 22864 20485 0 -1 4202560 4581 0 0 0 57 0 0 0 15 0 19 0 807635295 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 2 0 0 0
[pid=22864/tid=22881] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22881/stat : 22881 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22882] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22882/stat : 22882 (java) S 22862 22864 20485 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 807635295 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22883] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22883/stat : 22883 (java) S 22862 22864 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807635354 14024458240 47057 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1724.42
Current children cumulated vsize (KiB) 13695760
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 23477
/proc/meminfo: memFree=21381864/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13695760 CPUtime=1784.44 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 57071 0 1 0 178428 16 0 0 25 0 19 0 807635289 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3423940 47148 2260 9 0 3414674 0
[pid=22864/tid=22865] ppid=22862 vsize=13695760 CPUtime=1773.93 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 36242 0 1 0 177386 7 0 0 25 0 19 0 807635289 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 46912505757238 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22864/tid=22867] ppid=22862 vsize=13695760 CPUtime=0.14 cores=0,2,4,6
/proc/22864/task/22867/stat : 22867 (java) S 22862 22864 20485 0 -1 4202560 80 0 0 0 14 0 0 0 15 0 19 0 807635291 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22868] ppid=22862 vsize=13695760 CPUtime=0.15 cores=0,2,4,6
/proc/22864/task/22868/stat : 22868 (java) S 22862 22864 20485 0 -1 4202560 193 0 0 0 15 0 0 0 15 0 19 0 807635291 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22869] ppid=22862 vsize=13695760 CPUtime=0.13 cores=0,2,4,6
/proc/22864/task/22869/stat : 22869 (java) S 22862 22864 20485 0 -1 4202560 464 0 0 0 13 0 0 0 15 0 19 0 807635291 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
[pid=22864/tid=22870] ppid=22862 vsize=13695760 CPUtime=0.14 cores=0,2,4,6
/proc/22864/task/22870/stat : 22870 (java) S 22862 22864 20485 0 -1 4202560 212 0 0 0 14 0 0 0 15 0 19 0 807635291 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22871] ppid=22862 vsize=13695760 CPUtime=0.15 cores=0,2,4,6
/proc/22864/task/22871/stat : 22871 (java) S 22862 22864 20485 0 -1 4202560 91 0 0 0 15 0 0 0 16 0 19 0 807635291 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22872] ppid=22862 vsize=13695760 CPUtime=0.12 cores=0,2,4,6
/proc/22864/task/22872/stat : 22872 (java) S 22862 22864 20485 0 -1 4202560 219 0 0 0 12 0 0 0 15 0 19 0 807635292 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
[pid=22864/tid=22873] ppid=22862 vsize=13695760 CPUtime=0.13 cores=0,2,4,6
/proc/22864/task/22873/stat : 22873 (java) S 22862 22864 20485 0 -1 4202560 706 0 0 0 13 0 0 0 15 0 19 0 807635292 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22874] ppid=22862 vsize=13695760 CPUtime=0.14 cores=0,2,4,6
/proc/22864/task/22874/stat : 22874 (java) S 22862 22864 20485 0 -1 4202560 743 0 0 0 14 0 0 0 15 0 19 0 807635292 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
[pid=22864/tid=22875] ppid=22862 vsize=13695760 CPUtime=7.82 cores=0,2,4,6
/proc/22864/task/22875/stat : 22875 (java) S 22862 22864 20485 0 -1 4202560 3470 0 0 0 777 5 0 0 15 0 19 0 807635293 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 0 0 16800975 18446604442260898752 0 0 -1 2 0 0 0
[pid=22864/tid=22876] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22876/stat : 22876 (java) S 22862 22864 20485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807635293 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22877] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22877/stat : 22877 (java) S 22862 22864 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807635293 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22878] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22878/stat : 22878 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738228657 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22879] ppid=22862 vsize=13695760 CPUtime=0.94 cores=0,2,4,6
/proc/22864/task/22879/stat : 22879 (java) S 22862 22864 20485 0 -1 4202560 8819 0 0 0 93 1 0 0 15 0 19 0 807635295 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22880] ppid=22862 vsize=13695760 CPUtime=0.57 cores=0,2,4,6
/proc/22864/task/22880/stat : 22880 (java) S 22862 22864 20485 0 -1 4202560 4581 0 0 0 57 0 0 0 15 0 19 0 807635295 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 2 0 0 0
[pid=22864/tid=22881] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22881/stat : 22881 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22882] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22882/stat : 22882 (java) S 22862 22864 20485 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807635295 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22883] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22883/stat : 22883 (java) S 22862 22864 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807635354 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1784.44
Current children cumulated vsize (KiB) 13695760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 23478
/proc/meminfo: memFree=21382224/32951124 swapFree=62999000/67111528
[pid=22864] ppid=22862 vsize=13695760 CPUtime=1800.06 cores=0,2,4,6
/proc/22864/stat : 22864 (java) S 22862 22864 20485 0 -1 4202496 57077 0 1 0 179990 16 0 0 25 0 19 0 807635289 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22864/statm: 3423940 47148 2260 9 0 3414674 0
[pid=22864/tid=22865] ppid=22862 vsize=13695760 CPUtime=1789.49 cores=0,2,4,6
/proc/22864/task/22865/stat : 22865 (java) R 22862 22864 20485 0 -1 4202560 36244 0 1 0 178942 7 0 0 25 0 19 0 807635289 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 46912505757274 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22864/tid=22867] ppid=22862 vsize=13695760 CPUtime=0.14 cores=0,2,4,6
/proc/22864/task/22867/stat : 22867 (java) S 22862 22864 20485 0 -1 4202560 80 0 0 0 14 0 0 0 15 0 19 0 807635291 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22868] ppid=22862 vsize=13695760 CPUtime=0.15 cores=0,2,4,6
/proc/22864/task/22868/stat : 22868 (java) S 22862 22864 20485 0 -1 4202560 193 0 0 0 15 0 0 0 15 0 19 0 807635291 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22869] ppid=22862 vsize=13695760 CPUtime=0.13 cores=0,2,4,6
/proc/22864/task/22869/stat : 22869 (java) S 22862 22864 20485 0 -1 4202560 464 0 0 0 13 0 0 0 15 0 19 0 807635291 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22870] ppid=22862 vsize=13695760 CPUtime=0.14 cores=0,2,4,6
/proc/22864/task/22870/stat : 22870 (java) S 22862 22864 20485 0 -1 4202560 212 0 0 0 14 0 0 0 15 0 19 0 807635291 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22871] ppid=22862 vsize=13695760 CPUtime=0.15 cores=0,2,4,6
/proc/22864/task/22871/stat : 22871 (java) S 22862 22864 20485 0 -1 4202560 91 0 0 0 15 0 0 0 15 0 19 0 807635291 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22872] ppid=22862 vsize=13695760 CPUtime=0.12 cores=0,2,4,6
/proc/22864/task/22872/stat : 22872 (java) S 22862 22864 20485 0 -1 4202560 219 0 0 0 12 0 0 0 15 0 19 0 807635292 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
[pid=22864/tid=22873] ppid=22862 vsize=13695760 CPUtime=0.13 cores=0,2,4,6
/proc/22864/task/22873/stat : 22873 (java) S 22862 22864 20485 0 -1 4202560 706 0 0 0 13 0 0 0 16 0 19 0 807635292 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22874] ppid=22862 vsize=13695760 CPUtime=0.14 cores=0,2,4,6
/proc/22864/task/22874/stat : 22874 (java) S 22862 22864 20485 0 -1 4202560 743 0 0 0 14 0 0 0 15 0 19 0 807635292 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
[pid=22864/tid=22875] ppid=22862 vsize=13695760 CPUtime=7.87 cores=0,2,4,6
/proc/22864/task/22875/stat : 22875 (java) S 22862 22864 20485 0 -1 4202560 3472 0 0 0 782 5 0 0 16 0 19 0 807635293 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 0 0 16800975 18446604442260898752 0 0 -1 2 0 0 0
[pid=22864/tid=22876] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22876/stat : 22876 (java) S 22862 22864 20485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807635293 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22877] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22877/stat : 22877 (java) S 22862 22864 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807635293 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22878] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22878/stat : 22878 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738228657 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22879] ppid=22862 vsize=13695760 CPUtime=0.94 cores=0,2,4,6
/proc/22864/task/22879/stat : 22879 (java) S 22862 22864 20485 0 -1 4202560 8819 0 0 0 93 1 0 0 15 0 19 0 807635295 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22880] ppid=22862 vsize=13695760 CPUtime=0.57 cores=0,2,4,6
/proc/22864/task/22880/stat : 22880 (java) S 22862 22864 20485 0 -1 4202560 4581 0 0 0 57 0 0 0 15 0 19 0 807635295 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 2 0 0 0
[pid=22864/tid=22881] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22881/stat : 22881 (java) S 22862 22864 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807635295 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738220953 0 4 0 16800975 18446604442260898752 0 0 -1 6 0 0 0
[pid=22864/tid=22882] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22882/stat : 22882 (java) S 22862 22864 20485 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807635295 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 0 0 0 0
[pid=22864/tid=22883] ppid=22862 vsize=13695760 CPUtime=0 cores=0,2,4,6
/proc/22864/task/22883/stat : 22883 (java) S 22862 22864 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807635354 14024458240 47148 33554432000 1073741824 1073778376 140735374786672 18446744073709551615 264738221568 0 4 0 16800975 18446604442260898752 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13695760
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): 1797.95
CPU time (s): 1800.11
CPU user time (s): 1799.93
CPU system time (s): 0.176973
CPU usage (%): 100.12
Max. virtual memory (cumulated for all children) (KiB): 13716260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57115
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= 46314
involuntary context switches= 12863
runsolver used 9.96948 second user time and 19.724 second system time
The end