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-3459198-1307134193/watcher-3459198-1307134193 -o /tmp/evaluation-result-3459198-1307134193/solver-3459198-1307134193 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459198-1307134193.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: 2.31 2.22 2.74 3/501 16906
/proc/meminfo: memFree=24809700/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 1626 0 1 0 0 0 0 0 25 0 2 0 903650024 13833195520 1327 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3377245 1341 906 9 0 3368401 0
[pid=16906/tid=16907] ppid=16904 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) R 16904 16906 14759 0 -1 4202560 6558 0 1 0 0 0 0 0 25 0 2 0 903650024 13850947584 7374 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.107192 s]
/proc/loadavg: 2.31 2.22 2.74 3/501 16906
/proc/meminfo: memFree=24809700/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13622280 CPUtime=0.11 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 15645 0 1 0 10 1 0 0 25 0 18 0 903650024 13949214720 15300 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3405570 15300 2092 9 0 3396304 0
[pid=16906/tid=16907] ppid=16904 vsize=13622280 CPUtime=0.09 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) R 16904 16906 14759 0 -1 4202560 13725 0 1 0 8 1 0 0 18 0 18 0 903650024 13949214720 15300 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 47760004854048 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622280
[startup+0.205231 s]
/proc/loadavg: 2.31 2.22 2.74 3/501 16906
/proc/meminfo: memFree=24809700/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13629392 CPUtime=0.3 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 18276 0 1 0 28 2 0 0 25 0 19 0 903650024 13956497408 17399 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3407348 17399 2200 9 0 3398082 0
[pid=16906/tid=16907] ppid=16904 vsize=13629392 CPUtime=0.18 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) R 16904 16906 14759 0 -1 4202560 14175 0 1 0 17 1 0 0 19 0 19 0 903650024 13956497408 17399 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 46912505217820 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13629392
[startup+0.301237 s]
/proc/loadavg: 2.31 2.22 2.74 3/501 16906
/proc/meminfo: memFree=24809700/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13628828 CPUtime=0.56 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 19126 0 1 0 54 2 0 0 25 0 19 0 903650024 13955919872 17474 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3407207 17474 2214 9 0 3397941 0
[pid=16906/tid=16907] ppid=16904 vsize=13628828 CPUtime=0.28 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) R 16904 16906 14759 0 -1 4202560 14232 0 1 0 27 1 0 0 19 0 19 0 903650024 13955919872 17474 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 46912505577396 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13628828
[startup+0.701096 s]
/proc/loadavg: 2.31 2.22 2.74 3/501 16906
/proc/meminfo: memFree=24809700/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13628828 CPUtime=1.07 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 19892 0 1 0 105 2 0 0 25 0 19 0 903650024 13955919872 18115 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3407207 18115 2246 9 0 3397941 0
[pid=16906/tid=16907] ppid=16904 vsize=13628828 CPUtime=0.67 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) R 16904 16906 14759 0 -1 4202560 14441 0 1 0 66 1 0 0 18 0 19 0 903650024 13955919872 18115 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 46912505538736 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 13628828
[startup+1.501 s]
/proc/loadavg: 2.31 2.22 2.74 3/520 16925
/proc/meminfo: memFree=24743184/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13628828 CPUtime=1.91 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 20452 0 1 0 188 3 0 0 25 0 19 0 903650024 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3407207 18672 2247 9 0 3397941 0
[pid=16906/tid=16907] ppid=16904 vsize=13628828 CPUtime=1.41 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) R 16904 16906 14759 0 -1 4202560 14443 0 1 0 140 1 0 0 18 0 19 0 903650024 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 46912505620711 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16906/tid=16909] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16909/stat : 16909 (java) S 16904 16906 14759 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16910] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16910/stat : 16910 (java) S 16904 16906 14759 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16911] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16911/stat : 16911 (java) S 16904 16906 14759 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16912] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16912/stat : 16912 (java) S 16904 16906 14759 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16913] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16913/stat : 16913 (java) S 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16914] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16914/stat : 16914 (java) S 16904 16906 14759 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16915] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16915/stat : 16915 (java) S 16904 16906 14759 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16916] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16916/stat : 16916 (java) S 16904 16906 14759 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16917] ppid=16904 vsize=13628828 CPUtime=0.05 cores=0,2,4,6
/proc/16906/task/16917/stat : 16917 (java) S 16904 16906 14759 0 -1 4202560 413 0 0 0 5 0 0 0 15 0 19 0 903650027 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 0 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16918] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16918/stat : 16918 (java) S 16904 16906 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903650028 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16919] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16919/stat : 16919 (java) S 16904 16906 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903650028 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16920] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16920/stat : 16920 (java) S 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903650030 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917217713 0 4 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16921] ppid=16904 vsize=13628828 CPUtime=0.17 cores=0,2,4,6
/proc/16906/task/16921/stat : 16921 (java) S 16904 16906 14759 0 -1 4202560 2179 0 0 0 17 0 0 0 15 0 19 0 903650030 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16922] ppid=16904 vsize=13628828 CPUtime=0.22 cores=0,2,4,6
/proc/16906/task/16922/stat : 16922 (java) S 16904 16906 14759 0 -1 4202560 1719 0 0 0 22 0 0 0 15 0 19 0 903650030 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16923] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16923/stat : 16923 (java) S 16904 16906 14759 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 903650030 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16924] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16924/stat : 16924 (java) S 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903650030 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16925] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16925/stat : 16925 (java) S 16904 16906 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903650040 13955919872 18672 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13628828
[startup+3.10059 s]
/proc/loadavg: 2.29 2.21 2.73 3/520 16925
/proc/meminfo: memFree=24741076/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13628828 CPUtime=3.52 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 20692 0 1 0 349 3 0 0 25 0 19 0 903650024 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3407207 18907 2247 9 0 3397941 0
[pid=16906/tid=16907] ppid=16904 vsize=13628828 CPUtime=2.94 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) R 16904 16906 14759 0 -1 4202560 14448 0 1 0 293 1 0 0 20 0 19 0 903650024 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 46912505538764 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16906/tid=16909] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16909/stat : 16909 (java) S 16904 16906 14759 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16910] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16910/stat : 16910 (java) S 16904 16906 14759 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16911] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16911/stat : 16911 (java) S 16904 16906 14759 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16912] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16912/stat : 16912 (java) S 16904 16906 14759 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16913] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16913/stat : 16913 (java) S 16904 16906 14759 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16914] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16914/stat : 16914 (java) S 16904 16906 14759 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16915] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16915/stat : 16915 (java) S 16904 16906 14759 0 -1 4202560 60 0 0 0 0 0 0 0 16 0 19 0 903650026 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16916] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16916/stat : 16916 (java) S 16904 16906 14759 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 903650026 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16917] ppid=16904 vsize=13628828 CPUtime=0.11 cores=0,2,4,6
/proc/16906/task/16917/stat : 16917 (java) S 16904 16906 14759 0 -1 4202560 627 0 0 0 11 0 0 0 16 0 19 0 903650027 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 0 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16918] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16918/stat : 16918 (java) S 16904 16906 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903650028 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16919] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16919/stat : 16919 (java) S 16904 16906 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903650028 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16920] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16920/stat : 16920 (java) S 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903650030 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917217713 0 4 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16921] ppid=16904 vsize=13628828 CPUtime=0.17 cores=0,2,4,6
/proc/16906/task/16921/stat : 16921 (java) S 16904 16906 14759 0 -1 4202560 2179 0 0 0 17 0 0 0 15 0 19 0 903650030 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16922] ppid=16904 vsize=13628828 CPUtime=0.22 cores=0,2,4,6
/proc/16906/task/16922/stat : 16922 (java) S 16904 16906 14759 0 -1 4202560 1719 0 0 0 22 0 0 0 15 0 19 0 903650030 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16923] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16923/stat : 16923 (java) S 16904 16906 14759 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 903650030 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16924] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16924/stat : 16924 (java) S 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903650030 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16925] ppid=16904 vsize=13628828 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16925/stat : 16925 (java) S 16904 16906 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903650040 13955919872 18907 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 13628828
[startup+6.30112 s]
/proc/loadavg: 2.29 2.21 2.73 3/520 16926
/proc/meminfo: memFree=24741596/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13628156 CPUtime=6.74 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 20732 0 1 0 671 3 0 0 25 0 19 0 903650024 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3407039 18674 2247 9 0 3397773 0
[pid=16906/tid=16907] ppid=16904 vsize=13628156 CPUtime=6 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) R 16904 16906 14759 0 -1 4202560 14458 0 1 0 599 1 0 0 25 0 19 0 903650024 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 46912505538467 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16906/tid=16909] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16909/stat : 16909 (java) S 16904 16906 14759 0 -1 4202560 115 0 0 0 0 0 0 0 16 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16910] ppid=16904 vsize=13628156 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16910/stat : 16910 (java) S 16904 16906 14759 0 -1 4202560 90 0 0 0 1 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16911] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16911/stat : 16911 (java) S 16904 16906 14759 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16912] ppid=16904 vsize=13628156 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16912/stat : 16912 (java) S 16904 16906 14759 0 -1 4202560 41 0 0 0 1 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16913] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16913/stat : 16913 (java) S 16904 16906 14759 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16914] ppid=16904 vsize=13628156 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16914/stat : 16914 (java) S 16904 16906 14759 0 -1 4202560 44 0 0 0 1 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16915] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16915/stat : 16915 (java) S 16904 16906 14759 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16916] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16916/stat : 16916 (java) S 16904 16906 14759 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16917] ppid=16904 vsize=13628156 CPUtime=0.24 cores=0,2,4,6
/proc/16906/task/16917/stat : 16917 (java) S 16904 16906 14759 0 -1 4202560 643 0 0 0 24 0 0 0 16 0 19 0 903650027 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 0 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16918] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16918/stat : 16918 (java) S 16904 16906 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903650028 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16919] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16919/stat : 16919 (java) S 16904 16906 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903650028 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16920] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16920/stat : 16920 (java) S 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903650030 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917217713 0 4 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16921] ppid=16904 vsize=13628156 CPUtime=0.17 cores=0,2,4,6
/proc/16906/task/16921/stat : 16921 (java) S 16904 16906 14759 0 -1 4202560 2179 0 0 0 17 0 0 0 15 0 19 0 903650030 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16922] ppid=16904 vsize=13628156 CPUtime=0.23 cores=0,2,4,6
/proc/16906/task/16922/stat : 16922 (java) S 16904 16906 14759 0 -1 4202560 1719 0 0 0 23 0 0 0 15 0 19 0 903650030 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16923] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16923/stat : 16923 (java) S 16904 16906 14759 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 903650030 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16924] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16924/stat : 16924 (java) S 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903650030 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16925] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16925/stat : 16925 (java) S 16904 16906 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903650040 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 13628156
Solver just ended. Dumping a history of the last processes samples
[startup+6.4011 s]
/proc/loadavg: 2.29 2.21 2.73 3/520 16926
/proc/meminfo: memFree=24741596/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13628156 CPUtime=6.84 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 20732 0 1 0 681 3 0 0 25 0 19 0 903650024 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3407039 18674 2247 9 0 3397773 0
[pid=16906/tid=16907] ppid=16904 vsize=13628156 CPUtime=6.1 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) R 16904 16906 14759 0 -1 4202560 14458 0 1 0 609 1 0 0 25 0 19 0 903650024 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 46912505620735 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16906/tid=16909] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16909/stat : 16909 (java) S 16904 16906 14759 0 -1 4202560 115 0 0 0 0 0 0 0 16 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16910] ppid=16904 vsize=13628156 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16910/stat : 16910 (java) S 16904 16906 14759 0 -1 4202560 90 0 0 0 1 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16911] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16911/stat : 16911 (java) S 16904 16906 14759 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16912] ppid=16904 vsize=13628156 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16912/stat : 16912 (java) S 16904 16906 14759 0 -1 4202560 41 0 0 0 1 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16913] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16913/stat : 16913 (java) S 16904 16906 14759 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16914] ppid=16904 vsize=13628156 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16914/stat : 16914 (java) S 16904 16906 14759 0 -1 4202560 44 0 0 0 1 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16915] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16915/stat : 16915 (java) S 16904 16906 14759 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16916] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16916/stat : 16916 (java) S 16904 16906 14759 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 903650026 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16917] ppid=16904 vsize=13628156 CPUtime=0.24 cores=0,2,4,6
/proc/16906/task/16917/stat : 16917 (java) S 16904 16906 14759 0 -1 4202560 643 0 0 0 24 0 0 0 16 0 19 0 903650027 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 0 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16918] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16918/stat : 16918 (java) S 16904 16906 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903650028 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16919] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16919/stat : 16919 (java) S 16904 16906 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903650028 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16920] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16920/stat : 16920 (java) S 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903650030 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917217713 0 4 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16921] ppid=16904 vsize=13628156 CPUtime=0.17 cores=0,2,4,6
/proc/16906/task/16921/stat : 16921 (java) S 16904 16906 14759 0 -1 4202560 2179 0 0 0 17 0 0 0 15 0 19 0 903650030 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16922] ppid=16904 vsize=13628156 CPUtime=0.23 cores=0,2,4,6
/proc/16906/task/16922/stat : 16922 (java) S 16904 16906 14759 0 -1 4202560 1719 0 0 0 23 0 0 0 15 0 19 0 903650030 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16923] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16923/stat : 16923 (java) S 16904 16906 14759 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 903650030 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16924] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16924/stat : 16924 (java) S 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903650030 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16925] ppid=16904 vsize=13628156 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16925/stat : 16925 (java) S 16904 16906 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903650040 13955231744 18674 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 13628156
[startup+6.60106 s]
/proc/loadavg: 2.26 2.21 2.73 4/520 16926
/proc/meminfo: memFree=24728948/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13644328 CPUtime=7.23 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 25787 0 1 0 720 3 0 0 25 0 19 0 903650024 13971791872 22048 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3411082 22048 2248 9 0 3401816 0
[pid=16906/tid=16907] ppid=16904 vsize=13644328 CPUtime=6.31 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) R 16904 16906 14759 0 -1 4202560 14459 0 1 0 630 1 0 0 25 0 19 0 903650024 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 46912505596432 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16906/tid=16909] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16909/stat : 16909 (java) S 16904 16906 14759 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 903650026 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16910] ppid=16904 vsize=13644328 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16910/stat : 16910 (java) S 16904 16906 14759 0 -1 4202560 90 0 0 0 1 0 0 0 15 0 19 0 903650026 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16911] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16911/stat : 16911 (java) S 16904 16906 14759 0 -1 4202560 66 0 0 0 0 0 0 0 16 0 19 0 903650026 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16912] ppid=16904 vsize=13644328 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16912/stat : 16912 (java) S 16904 16906 14759 0 -1 4202560 41 0 0 0 1 0 0 0 15 0 19 0 903650026 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16913] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16913/stat : 16913 (java) S 16904 16906 14759 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 903650026 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16914] ppid=16904 vsize=13644328 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16914/stat : 16914 (java) S 16904 16906 14759 0 -1 4202560 44 0 0 0 1 0 0 0 15 0 19 0 903650026 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16915] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16915/stat : 16915 (java) S 16904 16906 14759 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 903650026 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16916] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16916/stat : 16916 (java) S 16904 16906 14759 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 903650026 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16917] ppid=16904 vsize=13644328 CPUtime=0.25 cores=0,2,4,6
/proc/16906/task/16917/stat : 16917 (java) S 16904 16906 14759 0 -1 4202560 656 0 0 0 25 0 0 0 16 0 19 0 903650027 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 0 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16918] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16918/stat : 16918 (java) S 16904 16906 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903650028 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16919] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16919/stat : 16919 (java) S 16904 16906 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903650028 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16920] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16920/stat : 16920 (java) S 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903650030 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917217713 0 4 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16921] ppid=16904 vsize=13644328 CPUtime=0.2 cores=0,2,4,6
/proc/16906/task/16921/stat : 16921 (java) R 16904 16906 14759 0 -1 4202560 2548 0 0 0 20 0 0 0 15 0 19 0 903650030 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 47760004114520 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16906/tid=16922] ppid=16904 vsize=13644328 CPUtime=0.4 cores=0,2,4,6
/proc/16906/task/16922/stat : 16922 (java) R 16904 16906 14759 0 -1 4202560 6484 0 0 0 40 0 0 0 16 0 19 0 903650030 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 47760002926680 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16906/tid=16923] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16923/stat : 16923 (java) S 16904 16906 14759 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 903650030 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16924] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16924/stat : 16924 (java) R 16904 16906 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903650030 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16906/tid=16925] ppid=16904 vsize=13644328 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16925/stat : 16925 (java) S 16904 16906 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903650040 13971791872 22110 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 13644328
[startup+6.71906 s]
/proc/loadavg: 2.26 2.21 2.73 4/520 16926
/proc/meminfo: memFree=24728948/32950928 swapFree=61542356/67111528
[pid=16906] ppid=16904 vsize=13646308 CPUtime=7.39 cores=0,2,4,6
/proc/16906/stat : 16906 (java) S 16904 16906 14759 0 -1 4202496 26291 0 1 0 736 3 0 0 25 0 17 0 903650024 13973819392 22454 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16906/statm: 3411577 22454 2253 9 0 3402311 0
[pid=16906/tid=16907] ppid=16904 vsize=13646308 CPUtime=6.33 cores=0,2,4,6
/proc/16906/task/16907/stat : 16907 (java) S 16904 16906 14759 0 -1 4202560 14465 0 1 0 632 1 0 0 25 0 17 0 903650024 13973819392 22454 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16909] ppid=16904 vsize=13646308 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16909/stat : 16909 (java) S 16904 16906 14759 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 17 0 903650026 13973819392 22454 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16910] ppid=16904 vsize=13646308 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16910/stat : 16910 (java) S 16904 16906 14759 0 -1 4202560 90 0 0 0 1 0 0 0 15 0 17 0 903650026 13973819392 22454 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16911] ppid=16904 vsize=13646308 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16911/stat : 16911 (java) S 16904 16906 14759 0 -1 4202560 66 0 0 0 0 0 0 0 16 0 17 0 903650026 13973819392 22455 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16912] ppid=16904 vsize=13646308 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16912/stat : 16912 (java) S 16904 16906 14759 0 -1 4202560 41 0 0 0 1 0 0 0 15 0 17 0 903650026 13973819392 22455 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16913] ppid=16904 vsize=13646308 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16913/stat : 16913 (java) S 16904 16906 14759 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 17 0 903650026 13973819392 22455 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16914] ppid=16904 vsize=13646308 CPUtime=0.01 cores=0,2,4,6
/proc/16906/task/16914/stat : 16914 (java) S 16904 16906 14759 0 -1 4202560 44 0 0 0 1 0 0 0 15 0 17 0 903650026 13973819392 22455 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16915] ppid=16904 vsize=13646308 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16915/stat : 16915 (java) S 16904 16906 14759 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 17 0 903650026 13973819392 22456 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16916] ppid=16904 vsize=13646308 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16916/stat : 16916 (java) S 16904 16906 14759 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 17 0 903650026 13973819392 22456 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16917] ppid=16904 vsize=13646308 CPUtime=0.25 cores=0,2,4,6
/proc/16906/task/16917/stat : 16917 (java) S 16904 16906 14759 0 -1 4202560 657 0 0 0 25 0 0 0 15 0 17 0 903650027 13973819392 22457 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 0 0 16800975 18446604453119676800 0 0 -1 2 0 0 0
[pid=16906/tid=16918] ppid=16904 vsize=13646308 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16918/stat : 16918 (java) S 16904 16906 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 17 0 903650028 13973819392 22457 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 0 0 0 0
[pid=16906/tid=16919] ppid=16904 vsize=13646308 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16919/stat : 16919 (java) S 16904 16906 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 17 0 903650028 13973819392 22457 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16921] ppid=16904 vsize=13646308 CPUtime=0.21 cores=0,2,4,6
/proc/16906/task/16921/stat : 16921 (java) S 16904 16906 14759 0 -1 4202560 2563 0 0 0 21 0 0 0 15 0 17 0 903650030 13973819392 22458 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 4 0 0 0
[pid=16906/tid=16922] ppid=16904 vsize=13646308 CPUtime=0.5 cores=0,2,4,6
/proc/16906/task/16922/stat : 16922 (java) R 16904 16906 14759 0 -1 4202560 6857 0 0 0 50 0 0 0 16 0 17 0 903650030 13973819392 22458 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 47760004137268 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16906/tid=16923] ppid=16904 vsize=13646308 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16923/stat : 16923 (java) S 16904 16906 14759 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 17 0 903650030 13973819392 22459 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210009 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
[pid=16906/tid=16925] ppid=16904 vsize=13646308 CPUtime=0 cores=0,2,4,6
/proc/16906/task/16925/stat : 16925 (java) S 16904 16906 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 17 0 903650040 13973819392 22459 33554432000 1073741824 1073778376 140735115325168 18446744073709551615 260917210624 0 4 0 16800975 18446604453119676800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 13646308
Child status: 20
Real time (s): 6.74617
CPU time (s): 7.42587
CPU user time (s): 7.38188
CPU system time (s): 0.043993
CPU usage (%): 110.075
Max. virtual memory (cumulated for all children) (KiB): 13646308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.38188
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26325
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= 840
involuntary context switches= 279
runsolver used 0.043993 second user time and 0.080987 second system time
The end