runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4118063-1467219730/watcher-4118063-1467219730 -o /tmp/evaluation-result-4118063-1467219730/solver-4118063-1467219730 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118063-1467219730.opb
pid=8826
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: 4.18 4.04 3.98 3/197 8829
/proc/meminfo: memFree=25542108/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/8829/stat : 8829 (java) D 8826 8829 5962 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 2924316 2560000 46 33554432000 1073741824 1073778376 140735379383984 140735379381112 225435544871 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 625 46 37 9 0 29 0
[startup+0.100059 s]
/proc/loadavg: 4.18 4.04 3.98 3/197 8829
/proc/meminfo: memFree=25542108/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/8829/stat : 8829 (java) S 8826 8829 5962 0 -1 4202496 4453 0 1 0 8 0 0 0 20 0 18 0 2924316 9787879424 5578 33554432000 1073741824 1073778376 140735379383984 140735379375120 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 2389619 5578 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200221 s]
/proc/loadavg: 4.18 4.04 3.98 3/197 8829
/proc/meminfo: memFree=25542108/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/8829/stat : 8829 (java) S 8826 8829 5962 0 -1 4202496 4660 0 1 0 21 1 0 0 20 0 18 0 2924316 9787879424 6775 33554432000 1073741824 1073778376 140735379383984 140735379375120 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 2389619 6775 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.30023 s]
/proc/loadavg: 4.18 4.04 3.98 3/197 8829
/proc/meminfo: memFree=25542108/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/8829/stat : 8829 (java) S 8826 8829 5962 0 -1 4202496 5783 0 1 0 44 1 0 0 20 0 18 0 2924316 9787879424 8523 33554432000 1073741824 1073778376 140735379383984 140735379375120 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 2389619 8523 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700192 s]
/proc/loadavg: 4.18 4.04 3.98 3/197 8829
/proc/meminfo: memFree=25542108/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=9558476 CPUtime=1.61 cores=0,2,4,6
/proc/8829/stat : 8829 (java) S 8826 8829 5962 0 -1 4202496 31977 0 1 0 154 7 0 0 20 0 18 0 2924316 9787879424 34184 33554432000 1073741824 1073778376 140735379383984 140735379375120 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 2389619 34184 2255 9 0 2380296 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9558476
[startup+1.50087 s]
/proc/loadavg: 4.18 4.04 3.98 6/215 8847
/proc/meminfo: memFree=25260816/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=9558476 CPUtime=4.02 cores=0,2,4,6
/proc/8829/stat : 8829 (java) S 8826 8829 5962 0 -1 4202496 35903 0 1 0 385 17 0 0 20 0 18 0 2924316 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 140735379375120 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 2389619 70512 2275 9 0 2380296 0
[pid=8829/tid=8831] ppid=8826 vsize=9558476 CPUtime=1.38 cores=0,2,4,6
/proc/8829/task/8831/stat : 8831 (java) R 8826 8829 5962 0 -1 4202560 2540 0 1 0 135 3 0 0 20 0 18 0 2924317 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833732115048 139833672309361 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/8829/task/8832/stat : 8832 (java) S 8826 8829 5962 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 18 0 2924319 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833670846888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8833] ppid=8826 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/8829/task/8833/stat : 8833 (java) S 8826 8829 5962 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 2924319 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833669794344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8834] ppid=8826 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/8829/task/8834/stat : 8834 (java) S 8826 8829 5962 0 -1 4202560 16 0 0 0 1 1 0 0 20 0 18 0 2924319 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833668741288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8835] ppid=8826 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/8829/task/8835/stat : 8835 (java) S 8826 8829 5962 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 18 0 2924319 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833667688744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8836] ppid=8826 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/8829/task/8836/stat : 8836 (java) S 8826 8829 5962 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 2924319 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833571490728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8837] ppid=8826 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/8829/task/8837/stat : 8837 (java) S 8826 8829 5962 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 2924319 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833570438184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8838] ppid=8826 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/8829/task/8838/stat : 8838 (java) S 8826 8829 5962 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 2924319 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833569385128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8839] ppid=8826 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/8829/task/8839/stat : 8839 (java) S 8826 8829 5962 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 2924319 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833568332584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8840] ppid=8826 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8840/stat : 8840 (java) S 8826 8829 5962 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 2924320 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833556134248 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8841] ppid=8826 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8841/stat : 8841 (java) S 8826 8829 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 2924320 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833555080568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8842] ppid=8826 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8842/stat : 8842 (java) S 8826 8829 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 2924320 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833554027400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8843] ppid=8826 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8843/stat : 8843 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2924322 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833552976144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8844] ppid=8826 vsize=9558476 CPUtime=1.16 cores=0,2,4,6
/proc/8829/task/8844/stat : 8844 (java) S 8826 8829 5962 0 -1 4202560 14785 0 0 0 112 4 0 0 20 0 18 0 2924322 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833551924024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8845] ppid=8826 vsize=9558476 CPUtime=1.13 cores=0,2,4,6
/proc/8829/task/8845/stat : 8845 (java) S 8826 8829 5962 0 -1 4202560 17120 0 0 0 110 3 0 0 20 0 18 0 2924322 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833550871480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8846] ppid=8826 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8846/stat : 8846 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2924322 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833549818616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8847] ppid=8826 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8847/stat : 8847 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2924323 9787879424 70512 33554432000 1073741824 1073778376 140735379383984 139833548766280 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 9558476
[startup+3.10076 s]
/proc/loadavg: 4.18 4.04 3.98 11/215 8847
/proc/meminfo: memFree=24895600/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=9824732 CPUtime=7.53 cores=0,2,4,6
/proc/8829/stat : 8829 (java) S 8826 8829 5962 0 -1 4202496 37313 0 1 0 700 53 0 0 20 0 19 0 2924316 10060525568 175217 33554432000 1073741824 1073778376 140735379383984 140735379375120 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 2456183 175218 2281 9 0 2446860 0
[pid=8829/tid=8831] ppid=8826 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/8829/task/8831/stat : 8831 (java) S 8826 8829 5962 0 -1 4202560 2603 0 1 0 201 5 0 0 20 0 19 0 2924317 10060525568 175218 33554432000 1073741824 1073778376 140735379383984 139833732115976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/8829/task/8832/stat : 8832 (java) R 8826 8829 5962 0 -1 4202560 136 0 0 0 20 5 0 0 20 0 19 0 2924319 10060525568 175219 33554432000 1073741824 1073778376 140735379383984 139833670847016 225444662407 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8833] ppid=8826 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/8829/task/8833/stat : 8833 (java) R 8826 8829 5962 0 -1 4202560 157 0 0 0 15 3 0 0 20 0 19 0 2924319 10060525568 175220 33554432000 1073741824 1073778376 140735379383984 139833669794472 139833739013036 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8834] ppid=8826 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/8829/task/8834/stat : 8834 (java) R 8826 8829 5962 0 -1 4202560 96 0 0 0 18 5 0 0 20 0 19 0 2924319 10060525568 175220 33554432000 1073741824 1073778376 140735379383984 139833668741416 225444662407 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8835] ppid=8826 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/8829/task/8835/stat : 8835 (java) R 8826 8829 5962 0 -1 4202560 201 0 0 0 20 7 0 0 20 0 19 0 2924319 10060525568 175221 33554432000 1073741824 1073778376 140735379383984 139833667688872 139833736292527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8836] ppid=8826 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/8829/task/8836/stat : 8836 (java) R 8826 8829 5962 0 -1 4202560 112 0 0 0 19 6 0 0 20 0 19 0 2924319 10060525568 175222 33554432000 1073741824 1073778376 140735379383984 139833571490584 139833734588097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8837] ppid=8826 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/8829/task/8837/stat : 8837 (java) R 8826 8829 5962 0 -1 4202560 170 0 0 0 13 4 0 0 20 0 19 0 2924319 10060525568 175222 33554432000 1073741824 1073778376 140735379383984 139833570438312 225444662407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8838] ppid=8826 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/8829/task/8838/stat : 8838 (java) R 8826 8829 5962 0 -1 4202560 287 0 0 0 29 8 0 0 20 0 19 0 2924319 10060525568 175222 33554432000 1073741824 1073778376 140735379383984 139833569385256 225444662407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8839] ppid=8826 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8829/task/8839/stat : 8839 (java) R 8826 8829 5962 0 -1 4202560 103 0 0 0 11 3 0 0 20 0 19 0 2924319 10060525568 175223 33554432000 1073741824 1073778376 140735379383984 139833568332760 139833735395228 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8840] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8840/stat : 8840 (java) S 8826 8829 5962 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 2924320 10060525568 175223 33554432000 1073741824 1073778376 140735379383984 139833556133128 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8841] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8841/stat : 8841 (java) S 8826 8829 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2924320 10060525568 175223 33554432000 1073741824 1073778376 140735379383984 139833555080568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8842] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8842/stat : 8842 (java) S 8826 8829 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2924320 10060525568 175224 33554432000 1073741824 1073778376 140735379383984 139833554027400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8843] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8843/stat : 8843 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2924322 10060525568 175224 33554432000 1073741824 1073778376 140735379383984 139833552976144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8844] ppid=8826 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/8829/task/8844/stat : 8844 (java) S 8826 8829 5962 0 -1 4202560 14819 0 0 0 137 4 0 0 20 0 19 0 2924322 10060525568 175225 33554432000 1073741824 1073778376 140735379383984 139833551924024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8845] ppid=8826 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/8829/task/8845/stat : 8845 (java) S 8826 8829 5962 0 -1 4202560 17145 0 0 0 130 3 0 0 20 0 19 0 2924322 10060525568 175225 33554432000 1073741824 1073778376 140735379383984 139833550871480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8846] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8846/stat : 8846 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2924322 10060525568 175225 33554432000 1073741824 1073778376 140735379383984 139833549818616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8847] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8847/stat : 8847 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2924323 10060525568 175226 33554432000 1073741824 1073778376 140735379383984 139833548766280 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 9824732
[startup+6.30081 s]
/proc/loadavg: 4.33 4.07 4.00 5/219 8857
/proc/meminfo: memFree=24696644/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=9824732 CPUtime=12.34 cores=0,2,4,6
/proc/8829/stat : 8829 (java) S 8826 8829 5962 0 -1 4202496 37721 0 1 0 1177 57 0 0 20 0 20 0 2924316 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 140735379375120 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 2456183 198530 2292 9 0 2446860 0
[pid=8829/tid=8831] ppid=8826 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/8829/task/8831/stat : 8831 (java) S 8826 8829 5962 0 -1 4202560 2606 0 1 0 264 5 0 0 20 0 20 0 2924317 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833732117368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/8829/task/8832/stat : 8832 (java) S 8826 8829 5962 0 -1 4202560 136 0 0 0 21 5 0 0 20 0 20 0 2924319 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833670846888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8833] ppid=8826 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/8829/task/8833/stat : 8833 (java) S 8826 8829 5962 0 -1 4202560 157 0 0 0 15 4 0 0 20 0 20 0 2924319 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833669794344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8834] ppid=8826 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/8829/task/8834/stat : 8834 (java) S 8826 8829 5962 0 -1 4202560 97 0 0 0 19 5 0 0 20 0 20 0 2924319 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833668741288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8835] ppid=8826 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/8829/task/8835/stat : 8835 (java) S 8826 8829 5962 0 -1 4202560 202 0 0 0 21 7 0 0 20 0 20 0 2924319 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833667688744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8836] ppid=8826 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/8829/task/8836/stat : 8836 (java) S 8826 8829 5962 0 -1 4202560 113 0 0 0 20 6 0 0 20 0 20 0 2924319 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833571490728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8837] ppid=8826 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/8829/task/8837/stat : 8837 (java) S 8826 8829 5962 0 -1 4202560 170 0 0 0 14 4 0 0 20 0 20 0 2924319 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833570438184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8838] ppid=8826 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/8829/task/8838/stat : 8838 (java) S 8826 8829 5962 0 -1 4202560 287 0 0 0 30 8 0 0 20 0 20 0 2924319 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833569385128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8839] ppid=8826 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8829/task/8839/stat : 8839 (java) S 8826 8829 5962 0 -1 4202560 117 0 0 0 11 3 0 0 20 0 20 0 2924319 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833568332584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8840] ppid=8826 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/8829/task/8840/stat : 8840 (java) S 8826 8829 5962 0 -1 4202560 489 0 0 0 74 0 0 0 20 0 20 0 2924320 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833556134248 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8841] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8841/stat : 8841 (java) S 8826 8829 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2924320 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833555080568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8842] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8842/stat : 8842 (java) S 8826 8829 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 2924320 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833554027400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8843] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8843/stat : 8843 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2924322 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833552976144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8844] ppid=8826 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/8829/task/8844/stat : 8844 (java) S 8826 8829 5962 0 -1 4202560 14821 0 0 0 178 4 0 0 20 0 20 0 2924322 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833551924024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8845] ppid=8826 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/8829/task/8845/stat : 8845 (java) S 8826 8829 5962 0 -1 4202560 17162 0 0 0 159 3 0 0 20 0 20 0 2924322 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833550871480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8846] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8846/stat : 8846 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2924322 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833549818616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8847] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8847/stat : 8847 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2924323 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833548766280 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8850] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8850/stat : 8850 (java) S 8826 8829 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2924574 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833545605928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8856] ppid=8826 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/8829/task/8856/stat : 8856 (java) R 8826 8829 5962 0 -1 4202560 42 0 0 0 125 2 0 0 20 0 20 0 2924817 10060525568 198530 33554432000 1073741824 1073778376 140735379383984 139833546658184 139833672758663 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 9824732
[startup+12.7009 s]
/proc/loadavg: 4.22 4.05 3.99 5/219 8863
################
# More data... #
################
[startup+1122.3 s]
/proc/loadavg: 3.47 3.30 3.44 4/218 9152
/proc/meminfo: memFree=24868596/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=9824732 CPUtime=1622.99 cores=0,2,4,6
/proc/8829/stat : 8829 (java) S 8826 8829 5962 0 -1 4202496 39711 0 1 0 162146 153 0 0 20 0 22 0 2924316 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 140735379375120 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 2456183 351159 2300 9 0 2446860 0
[pid=8829/tid=8831] ppid=8826 vsize=9824732 CPUtime=5.3 cores=0,2,4,6
/proc/8829/task/8831/stat : 8831 (java) S 8826 8829 5962 0 -1 4202560 3159 0 1 0 511 19 0 0 20 0 22 0 2924317 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833732117384 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/8829/task/8832/stat : 8832 (java) S 8826 8829 5962 0 -1 4202560 239 0 0 0 45 11 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833670846888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8833] ppid=8826 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/8829/task/8833/stat : 8833 (java) S 8826 8829 5962 0 -1 4202560 270 0 0 0 38 8 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833669794344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8834] ppid=8826 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8829/task/8834/stat : 8834 (java) S 8826 8829 5962 0 -1 4202560 227 0 0 0 49 12 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833668741288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8835] ppid=8826 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/8829/task/8835/stat : 8835 (java) S 8826 8829 5962 0 -1 4202560 255 0 0 0 33 10 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833667688744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8836] ppid=8826 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/8829/task/8836/stat : 8836 (java) S 8826 8829 5962 0 -1 4202560 191 0 0 0 36 8 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833571490728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8837] ppid=8826 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/8829/task/8837/stat : 8837 (java) S 8826 8829 5962 0 -1 4202560 233 0 0 0 27 7 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833570438184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8838] ppid=8826 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8829/task/8838/stat : 8838 (java) S 8826 8829 5962 0 -1 4202560 355 0 0 0 48 13 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833569385128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8839] ppid=8826 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/8829/task/8839/stat : 8839 (java) S 8826 8829 5962 0 -1 4202560 185 0 0 0 26 8 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833568332584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8840] ppid=8826 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/8829/task/8840/stat : 8840 (java) S 8826 8829 5962 0 -1 4202560 843 0 0 0 76 4 0 0 20 0 22 0 2924320 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833556134248 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8841] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8841/stat : 8841 (java) S 8826 8829 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2924320 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833555080600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8842] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8842/stat : 8842 (java) S 8826 8829 5962 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 2924320 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833554027432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8843] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8843/stat : 8843 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833552976144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8844] ppid=8826 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/8829/task/8844/stat : 8844 (java) S 8826 8829 5962 0 -1 4202560 14833 0 0 0 211 4 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833551924024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8845] ppid=8826 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/8829/task/8845/stat : 8845 (java) S 8826 8829 5962 0 -1 4202560 17174 0 0 0 191 3 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833550871480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8846] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8846/stat : 8846 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833549818616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8847] ppid=8826 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/8829/task/8847/stat : 8847 (java) S 8826 8829 5962 0 -1 4202560 65 0 0 0 22 24 0 0 20 0 22 0 2924323 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833548766280 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8850] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8850/stat : 8850 (java) S 8826 8829 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2924574 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833545605928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=9091] ppid=8826 vsize=9824732 CPUtime=489.42 cores=0,2,4,6
/proc/8829/task/9091/stat : 9091 (java) R 8826 8829 5962 0 -1 4202560 8 0 0 0 48935 7 0 0 20 0 22 0 2987599 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833544544656 139833673420835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=9092] ppid=8826 vsize=9824732 CPUtime=489.4 cores=0,2,4,6
/proc/8829/task/9092/stat : 9092 (java) R 8826 8829 5962 0 -1 4202560 2 0 0 0 48933 7 0 0 20 0 22 0 2987599 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833546656664 139833672433110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=9093] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/9093/stat : 9093 (java) S 8826 8829 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2987601 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833547711816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1622.99
Current children cumulated vsize (KiB) 9824732
[startup+1182.3 s]
/proc/loadavg: 3.33 3.29 3.43 5/217 9153
/proc/meminfo: memFree=24868172/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=9824732 CPUtime=1743 cores=0,2,4,6
/proc/8829/stat : 8829 (java) S 8826 8829 5962 0 -1 4202496 39713 0 1 0 174146 154 0 0 20 0 22 0 2924316 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 140735379375120 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 2456183 351159 2300 9 0 2446860 0
[pid=8829/tid=8831] ppid=8826 vsize=9824732 CPUtime=5.3 cores=0,2,4,6
/proc/8829/task/8831/stat : 8831 (java) S 8826 8829 5962 0 -1 4202560 3159 0 1 0 511 19 0 0 20 0 22 0 2924317 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833732117384 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/8829/task/8832/stat : 8832 (java) S 8826 8829 5962 0 -1 4202560 239 0 0 0 45 11 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833670846888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8833] ppid=8826 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/8829/task/8833/stat : 8833 (java) S 8826 8829 5962 0 -1 4202560 270 0 0 0 38 8 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833669794344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8834] ppid=8826 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8829/task/8834/stat : 8834 (java) S 8826 8829 5962 0 -1 4202560 227 0 0 0 49 12 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833668741288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8835] ppid=8826 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/8829/task/8835/stat : 8835 (java) S 8826 8829 5962 0 -1 4202560 255 0 0 0 33 10 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833667688744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8836] ppid=8826 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/8829/task/8836/stat : 8836 (java) S 8826 8829 5962 0 -1 4202560 191 0 0 0 36 8 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833571490728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8837] ppid=8826 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/8829/task/8837/stat : 8837 (java) S 8826 8829 5962 0 -1 4202560 233 0 0 0 27 7 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833570438184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8838] ppid=8826 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8829/task/8838/stat : 8838 (java) S 8826 8829 5962 0 -1 4202560 355 0 0 0 48 13 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833569385128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8839] ppid=8826 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/8829/task/8839/stat : 8839 (java) S 8826 8829 5962 0 -1 4202560 185 0 0 0 26 8 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833568332584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8840] ppid=8826 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/8829/task/8840/stat : 8840 (java) S 8826 8829 5962 0 -1 4202560 843 0 0 0 76 4 0 0 20 0 22 0 2924320 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833556134248 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8841] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8841/stat : 8841 (java) S 8826 8829 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2924320 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833555080600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8842] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8842/stat : 8842 (java) S 8826 8829 5962 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 2924320 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833554027432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8843] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8843/stat : 8843 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833552976144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8844] ppid=8826 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/8829/task/8844/stat : 8844 (java) S 8826 8829 5962 0 -1 4202560 14833 0 0 0 211 4 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833551924024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8845] ppid=8826 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/8829/task/8845/stat : 8845 (java) S 8826 8829 5962 0 -1 4202560 17174 0 0 0 191 3 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833550871480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8846] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8846/stat : 8846 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833549818616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8847] ppid=8826 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/8829/task/8847/stat : 8847 (java) S 8826 8829 5962 0 -1 4202560 67 0 0 0 24 25 0 0 20 0 22 0 2924323 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833548766280 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8850] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8850/stat : 8850 (java) S 8826 8829 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2924574 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833545605928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=9091] ppid=8826 vsize=9824732 CPUtime=549.42 cores=0,2,4,6
/proc/8829/task/9091/stat : 9091 (java) R 8826 8829 5962 0 -1 4202560 8 0 0 0 54934 8 0 0 20 0 22 0 2987599 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833544544656 139833673420097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=9092] ppid=8826 vsize=9824732 CPUtime=549.41 cores=0,2,4,6
/proc/8829/task/9092/stat : 9092 (java) R 8826 8829 5962 0 -1 4202560 2 0 0 0 54933 8 0 0 20 0 22 0 2987599 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833546656664 139833673299379 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=9093] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/9093/stat : 9093 (java) S 8826 8829 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2987601 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833547711816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1743
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1210.8 s]
/proc/loadavg: 3.40 3.31 3.43 4/217 9154
/proc/meminfo: memFree=24867820/32872528 swapFree=1499084/1695308
[pid=8829] ppid=8826 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/8829/stat : 8829 (java) S 8826 8829 5962 0 -1 4202496 39715 0 1 0 179846 154 0 0 20 0 22 0 2924316 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 140735379375120 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8829/statm: 2456183 351159 2300 9 0 2446860 0
[pid=8829/tid=8831] ppid=8826 vsize=9824732 CPUtime=5.31 cores=0,2,4,6
/proc/8829/task/8831/stat : 8831 (java) S 8826 8829 5962 0 -1 4202560 3159 0 1 0 511 20 0 0 20 0 22 0 2924317 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833732117384 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/8829/task/8832/stat : 8832 (java) S 8826 8829 5962 0 -1 4202560 239 0 0 0 45 11 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833670846888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8833] ppid=8826 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/8829/task/8833/stat : 8833 (java) S 8826 8829 5962 0 -1 4202560 270 0 0 0 38 8 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833669794344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8834] ppid=8826 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8829/task/8834/stat : 8834 (java) S 8826 8829 5962 0 -1 4202560 227 0 0 0 49 12 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833668741288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8835] ppid=8826 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/8829/task/8835/stat : 8835 (java) S 8826 8829 5962 0 -1 4202560 255 0 0 0 33 10 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833667688744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8836] ppid=8826 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/8829/task/8836/stat : 8836 (java) S 8826 8829 5962 0 -1 4202560 191 0 0 0 36 8 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833571490728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8837] ppid=8826 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/8829/task/8837/stat : 8837 (java) S 8826 8829 5962 0 -1 4202560 233 0 0 0 27 7 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833570438184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8838] ppid=8826 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/8829/task/8838/stat : 8838 (java) S 8826 8829 5962 0 -1 4202560 355 0 0 0 48 13 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833569385128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8839] ppid=8826 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/8829/task/8839/stat : 8839 (java) S 8826 8829 5962 0 -1 4202560 185 0 0 0 26 8 0 0 20 0 22 0 2924319 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833568332584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8840] ppid=8826 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/8829/task/8840/stat : 8840 (java) S 8826 8829 5962 0 -1 4202560 843 0 0 0 76 4 0 0 20 0 22 0 2924320 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833556134248 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8841] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8841/stat : 8841 (java) S 8826 8829 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2924320 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833555080600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8842] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8842/stat : 8842 (java) S 8826 8829 5962 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 2924320 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833554027432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8829/tid=8843] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8843/stat : 8843 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833552976144 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8844] ppid=8826 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/8829/task/8844/stat : 8844 (java) S 8826 8829 5962 0 -1 4202560 14833 0 0 0 211 4 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833551924024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8845] ppid=8826 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/8829/task/8845/stat : 8845 (java) S 8826 8829 5962 0 -1 4202560 17174 0 0 0 191 3 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833550871480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=8846] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8846/stat : 8846 (java) S 8826 8829 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2924322 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833549818616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=8847] ppid=8826 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/8829/task/8847/stat : 8847 (java) S 8826 8829 5962 0 -1 4202560 69 0 0 0 25 26 0 0 20 0 22 0 2924323 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833548766280 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=8850] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/8850/stat : 8850 (java) S 8826 8829 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2924574 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833545605928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8829/tid=9091] ppid=8826 vsize=9824732 CPUtime=577.92 cores=0,2,4,6
/proc/8829/task/9091/stat : 9091 (java) R 8826 8829 5962 0 -1 4202560 8 0 0 0 57784 8 0 0 20 0 22 0 2987599 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833544544656 139833673252667 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8829/tid=9092] ppid=8826 vsize=9824732 CPUtime=577.91 cores=0,2,4,6
/proc/8829/task/9092/stat : 9092 (java) R 8826 8829 5962 0 -1 4202560 2 0 0 0 57783 8 0 0 20 0 22 0 2987599 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833546656664 139833672433110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8829/tid=9093] ppid=8826 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8829/task/9093/stat : 9093 (java) S 8826 8829 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2987601 10060525568 351159 33554432000 1073741824 1073778376 140735379383984 139833547711816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8829 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1210.84
CPU time (s): 1800.56
CPU user time (s): 1798.59
CPU system time (s): 1.9697
CPU usage (%): 148.704
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.9697
maximum resident set size= 1404748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39753
page faults= 1
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40111
involuntary context switches= 6269
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.48271 second user time and 8.98363 second system time
The end