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-4117556-1467213618/watcher-4117556-1467213618 -o /tmp/evaluation-result-4117556-1467213618/solver-4117556-1467213618 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117556-1467213618.opb
pid=6819
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.23 4.22 4.24 4/198 6822
/proc/meminfo: memFree=28212692/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 2312944 98570240 977 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 24065 978 744 9 0 16771 0
[pid=6822/tid=6823] ppid=6819 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) R 6819 6822 5267 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 2312945 98570240 978 33554432000 1073741824 1073778376 140733684260512 139696355810856 239873115520 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100112 s]
/proc/loadavg: 4.23 4.22 4.24 4/198 6822
/proc/meminfo: memFree=28212692/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 4565 0 1 0 10 1 0 0 20 0 18 0 2312944 9787879424 5680 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 2389619 5680 2158 9 0 2380296 0
[pid=6822/tid=6823] ppid=6819 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) R 6819 6822 5267 0 -1 4202560 2440 0 1 0 6 2 0 0 20 0 18 0 2312945 9787879424 5680 33554432000 1073741824 1073778376 140733684260512 139696355814088 239876498701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.20029 s]
/proc/loadavg: 4.23 4.22 4.24 4/198 6822
/proc/meminfo: memFree=28212692/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 5000 0 1 0 26 1 0 0 20 0 22 0 2312944 10060525568 7539 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 2456183 7539 2229 9 0 2446860 0
[pid=6822/tid=6823] ppid=6819 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) S 6819 6822 5267 0 -1 4202560 2469 0 1 0 14 2 0 0 20 0 22 0 2312945 10060525568 7539 33554432000 1073741824 1073778376 140733684260512 139696355816312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9824732
[startup+0.300312 s]
/proc/loadavg: 4.23 4.22 4.24 4/198 6822
/proc/meminfo: memFree=28212692/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 7345 0 1 0 47 4 0 0 20 0 19 0 2312944 10060525568 8872 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 2456183 8872 2250 9 0 2446860 0
[pid=6822/tid=6823] ppid=6819 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) S 6819 6822 5267 0 -1 4202560 2469 0 1 0 14 2 0 0 20 0 19 0 2312945 10060525568 8872 33554432000 1073741824 1073778376 140733684260512 139696355816312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824732
[startup+0.700206 s]
/proc/loadavg: 4.23 4.22 4.24 4/198 6822
/proc/meminfo: memFree=28212692/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 7428 0 1 0 52 4 0 0 20 0 22 0 2312944 10060525568 9977 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 2456183 9977 2250 9 0 2446860 0
[pid=6822/tid=6823] ppid=6819 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) S 6819 6822 5267 0 -1 4202560 2469 0 1 0 14 2 0 0 20 0 22 0 2312945 10060525568 9977 33554432000 1073741824 1073778376 140733684260512 139696355816312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9824732
[startup+1.50087 s]
/proc/loadavg: 4.05 4.19 4.23 7/220 6847
/proc/meminfo: memFree=28116428/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=9824732 CPUtime=3.65 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 22059 0 1 0 356 9 0 0 20 0 22 0 2312944 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 2456183 47358 2283 9 0 2446860 0
[pid=6822/tid=6823] ppid=6819 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) S 6819 6822 5267 0 -1 4202560 2469 0 1 0 14 2 0 0 20 0 22 0 2312945 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696355816312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6825] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6825/stat : 6825 (java) S 6819 6822 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2312945 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696199645480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6826] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6826/stat : 6826 (java) S 6819 6822 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2312945 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696198592680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6827] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6827/stat : 6827 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312945 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696197540392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6822/tid=6828] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6828/stat : 6828 (java) S 6819 6822 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2312945 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696196487592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6829] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6829/stat : 6829 (java) S 6819 6822 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2312945 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696195435304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6830] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6830/stat : 6830 (java) S 6819 6822 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2312945 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696194382504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6822/tid=6831] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6831/stat : 6831 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312945 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696193330216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6832] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6832/stat : 6832 (java) S 6819 6822 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2312945 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696192277416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6833] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6833/stat : 6833 (java) S 6819 6822 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696180078824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6834] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6834/stat : 6834 (java) S 6819 6822 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696179024888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6835] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6835/stat : 6835 (java) S 6819 6822 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696177972488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6836] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6836/stat : 6836 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696176920976 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6837] ppid=6819 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/6822/task/6837/stat : 6837 (java) R 6819 6822 5267 0 -1 4202560 6935 0 0 0 86 0 0 0 20 0 22 0 2312949 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696175868600 139696361659319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6838] ppid=6819 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/6822/task/6838/stat : 6838 (java) R 6819 6822 5267 0 -1 4202560 11206 0 0 0 81 3 0 0 20 0 22 0 2312949 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696174815800 139696362632212 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6839] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6839/stat : 6839 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696173763704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6840] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6840/stat : 6840 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696172711112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6844] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6844/stat : 6844 (java) S 6819 6822 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2312963 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696168449064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6845] ppid=6819 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/6822/task/6845/stat : 6845 (java) R 6819 6822 5267 0 -1 4202560 8 0 0 0 79 0 0 0 20 0 22 0 2313013 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696171607080 139696295961707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6846] ppid=6819 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/6822/task/6846/stat : 6846 (java) R 6819 6822 5267 0 -1 4202560 67 0 0 0 77 1 0 0 20 0 22 0 2313013 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696170553160 139696295992528 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=6822/tid=6847] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6847/stat : 6847 (java) S 6819 6822 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2313013 10060525568 47358 33554432000 1073741824 1073778376 140733684260512 139696169502376 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9824732
[startup+3.10088 s]
/proc/loadavg: 4.05 4.19 4.23 6/220 6847
/proc/meminfo: memFree=28012092/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=9824732 CPUtime=7.18 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 22265 0 1 0 705 13 0 0 20 0 22 0 2312944 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 2456183 75617 2284 9 0 2446860 0
[pid=6822/tid=6823] ppid=6819 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) S 6819 6822 5267 0 -1 4202560 2469 0 1 0 14 2 0 0 20 0 22 0 2312945 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696355816312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6825] ppid=6819 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6822/task/6825/stat : 6825 (java) S 6819 6822 5267 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 22 0 2312945 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696199645480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6826] ppid=6819 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6822/task/6826/stat : 6826 (java) S 6819 6822 5267 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 2312945 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696198592680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6827] ppid=6819 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6822/task/6827/stat : 6827 (java) S 6819 6822 5267 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 2312945 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696197540392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6828] ppid=6819 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6822/task/6828/stat : 6828 (java) S 6819 6822 5267 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 2312945 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696196487592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6829] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6829/stat : 6829 (java) S 6819 6822 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2312945 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696195435304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6830] ppid=6819 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6822/task/6830/stat : 6830 (java) S 6819 6822 5267 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 2312945 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696194382504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6831] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6831/stat : 6831 (java) S 6819 6822 5267 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 2312945 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696193330216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6822/tid=6832] ppid=6819 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6822/task/6832/stat : 6832 (java) S 6819 6822 5267 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 2312945 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696192277416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6833] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6833/stat : 6833 (java) S 6819 6822 5267 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696180078824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6834] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6834/stat : 6834 (java) S 6819 6822 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696179024888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6835] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6835/stat : 6835 (java) S 6819 6822 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696177972488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6836] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6836/stat : 6836 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696176920976 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6837] ppid=6819 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/6822/task/6837/stat : 6837 (java) S 6819 6822 5267 0 -1 4202560 6952 0 0 0 100 0 0 0 20 0 22 0 2312949 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696175868600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6838] ppid=6819 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/6822/task/6838/stat : 6838 (java) S 6819 6822 5267 0 -1 4202560 11222 0 0 0 95 3 0 0 20 0 22 0 2312949 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696174815800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6839] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6839/stat : 6839 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696173763704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6840] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6840/stat : 6840 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696172711112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6844] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6844/stat : 6844 (java) S 6819 6822 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2312963 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696168449064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6845] ppid=6819 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/6822/task/6845/stat : 6845 (java) R 6819 6822 5267 0 -1 4202560 12 0 0 0 234 0 0 0 20 0 22 0 2313013 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696171606888 139696296108369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6846] ppid=6819 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/6822/task/6846/stat : 6846 (java) R 6819 6822 5267 0 -1 4202560 104 0 0 0 229 2 0 0 20 0 22 0 2313013 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696170553688 139696296029143 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=6822/tid=6847] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6847/stat : 6847 (java) S 6819 6822 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2313013 10060525568 75617 33554432000 1073741824 1073778376 140733684260512 139696169502376 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 4.37 4.25 4.25 5/220 6847
/proc/meminfo: memFree=27597120/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=9824732 CPUtime=13.76 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 22995 0 1 0 1352 24 0 0 20 0 22 0 2312944 10060525568 155537 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 2456183 155537 2284 9 0 2446860 0
[pid=6822/tid=6823] ppid=6819 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) S 6819 6822 5267 0 -1 4202560 2469 0 1 0 14 2 0 0 20 0 22 0 2312945 10060525568 155537 33554432000 1073741824 1073778376 140733684260512 139696355816312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6825] ppid=6819 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/6822/task/6825/stat : 6825 (java) S 6819 6822 5267 0 -1 4202560 76 0 0 0 9 3 0 0 20 0 22 0 2312945 10060525568 155537 33554432000 1073741824 1073778376 140733684260512 139696199645480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6826] ppid=6819 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/6822/task/6826/stat : 6826 (java) S 6819 6822 5267 0 -1 4202560 49 0 0 0 5 2 0 0 20 0 22 0 2312945 10060525568 155537 33554432000 1073741824 1073778376 140733684260512 139696198592680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6827] ppid=6819 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6822/task/6827/stat : 6827 (java) S 6819 6822 5267 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 2312945 10060525568 155537 33554432000 1073741824 1073778376 140733684260512 139696197540392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6828] ppid=6819 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/6822/task/6828/stat : 6828 (java) S 6819 6822 5267 0 -1 4202560 47 0 0 0 4 2 0 0 20 0 22 0 2312945 10060525568 155537 33554432000 1073741824 1073778376 140733684260512 139696196487592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6822/tid=6829] ppid=6819 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6822/task/6829/stat : 6829 (java) S 6819 6822 5267 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 22 0 2312945 10060525568 155537 33554432000 1073741824 1073778376 140733684260512 139696195435304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6830] ppid=6819 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6822/task/6830/stat : 6830 (java) S 6819 6822 5267 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 2312945 10060525568 155537 33554432000 1073741824 1073778376 140733684260512 139696194382504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6831] ppid=6819 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6822/task/6831/stat : 6831 (java) S 6819 6822 5267 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 22 0 2312945 10060525568 155537 33554432000 1073741824 1073778376 140733684260512 139696193330216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6832] ppid=6819 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.18 4.22 4.21 5/219 6866
/proc/meminfo: memFree=24261452/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=9824732 CPUtime=1645.99 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 26619 0 1 0 164479 120 0 0 20 0 22 0 2312944 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 2456183 746000 2293 9 0 2446860 0
[pid=6822/tid=6823] ppid=6819 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) S 6819 6822 5267 0 -1 4202560 2471 0 1 0 17 4 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696355816312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6825] ppid=6819 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/6822/task/6825/stat : 6825 (java) S 6819 6822 5267 0 -1 4202560 291 0 0 0 21 10 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696199645480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6826] ppid=6819 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/6822/task/6826/stat : 6826 (java) S 6819 6822 5267 0 -1 4202560 158 0 0 0 15 7 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696198592680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6827] ppid=6819 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/6822/task/6827/stat : 6827 (java) S 6819 6822 5267 0 -1 4202560 186 0 0 0 14 7 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696197540392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6828] ppid=6819 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6822/task/6828/stat : 6828 (java) S 6819 6822 5267 0 -1 4202560 241 0 0 0 18 11 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696196487592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6822/tid=6829] ppid=6819 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/6822/task/6829/stat : 6829 (java) S 6819 6822 5267 0 -1 4202560 191 0 0 0 13 9 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696195435304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6830] ppid=6819 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/6822/task/6830/stat : 6830 (java) S 6819 6822 5267 0 -1 4202560 171 0 0 0 18 7 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696194382504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6831] ppid=6819 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/6822/task/6831/stat : 6831 (java) S 6819 6822 5267 0 -1 4202560 200 0 0 0 16 9 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696193330216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6832] ppid=6819 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/6822/task/6832/stat : 6832 (java) S 6819 6822 5267 0 -1 4202560 212 0 0 0 16 4 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696192277416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6833] ppid=6819 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/6822/task/6833/stat : 6833 (java) S 6819 6822 5267 0 -1 4202560 1413 0 0 0 23 2 0 0 20 0 22 0 2312947 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696180078824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6834] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6834/stat : 6834 (java) S 6819 6822 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696179024888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6835] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6835/stat : 6835 (java) S 6819 6822 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696177972488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6836] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6836/stat : 6836 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696176920976 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6837] ppid=6819 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/6822/task/6837/stat : 6837 (java) S 6819 6822 5267 0 -1 4202560 6952 0 0 0 100 0 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696175868600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6838] ppid=6819 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/6822/task/6838/stat : 6838 (java) S 6819 6822 5267 0 -1 4202560 11226 0 0 0 98 3 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696174815800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6839] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6839/stat : 6839 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696173763704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6840] ppid=6819 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/6822/task/6840/stat : 6840 (java) S 6819 6822 5267 0 -1 4202560 47 0 0 0 10 15 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696172711112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6844] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6844/stat : 6844 (java) S 6819 6822 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2312963 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696168449064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6845] ppid=6819 vsize=9824732 CPUtime=820.62 cores=1,3,5,7
/proc/6822/task/6845/stat : 6845 (java) R 6819 6822 5267 0 -1 4202560 80 0 0 0 82047 15 0 0 20 0 22 0 2313013 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696171598096 139696296044259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6846] ppid=6819 vsize=9824732 CPUtime=820.68 cores=1,3,5,7
/proc/6822/task/6846/stat : 6846 (java) R 6819 6822 5267 0 -1 4202560 1456 0 0 0 82024 44 0 0 20 0 22 0 2313013 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696170551936 139696296751558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6847] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6847/stat : 6847 (java) S 6819 6822 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2313013 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696169502376 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1645.99
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.21 4.22 4.21 5/218 6867
/proc/meminfo: memFree=24105064/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=9824732 CPUtime=1765.98 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 26623 0 1 0 176477 121 0 0 20 0 22 0 2312944 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 2456183 746000 2293 9 0 2446860 0
[pid=6822/tid=6823] ppid=6819 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) S 6819 6822 5267 0 -1 4202560 2471 0 1 0 17 4 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696355816312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6825] ppid=6819 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/6822/task/6825/stat : 6825 (java) S 6819 6822 5267 0 -1 4202560 291 0 0 0 21 10 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696199645480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6826] ppid=6819 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/6822/task/6826/stat : 6826 (java) S 6819 6822 5267 0 -1 4202560 158 0 0 0 15 7 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696198592680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6827] ppid=6819 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/6822/task/6827/stat : 6827 (java) S 6819 6822 5267 0 -1 4202560 186 0 0 0 14 7 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696197540392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6828] ppid=6819 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6822/task/6828/stat : 6828 (java) S 6819 6822 5267 0 -1 4202560 241 0 0 0 18 11 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696196487592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6822/tid=6829] ppid=6819 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/6822/task/6829/stat : 6829 (java) S 6819 6822 5267 0 -1 4202560 191 0 0 0 13 9 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696195435304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6830] ppid=6819 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/6822/task/6830/stat : 6830 (java) S 6819 6822 5267 0 -1 4202560 171 0 0 0 18 7 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696194382504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6831] ppid=6819 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/6822/task/6831/stat : 6831 (java) S 6819 6822 5267 0 -1 4202560 200 0 0 0 16 9 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696193330216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6832] ppid=6819 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/6822/task/6832/stat : 6832 (java) S 6819 6822 5267 0 -1 4202560 212 0 0 0 16 4 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696192277416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6833] ppid=6819 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/6822/task/6833/stat : 6833 (java) S 6819 6822 5267 0 -1 4202560 1413 0 0 0 23 2 0 0 20 0 22 0 2312947 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696180078824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6834] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6834/stat : 6834 (java) S 6819 6822 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696179024888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6835] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6835/stat : 6835 (java) S 6819 6822 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696177972488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6836] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6836/stat : 6836 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696176920976 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6837] ppid=6819 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/6822/task/6837/stat : 6837 (java) S 6819 6822 5267 0 -1 4202560 6952 0 0 0 100 0 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696175868600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6838] ppid=6819 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/6822/task/6838/stat : 6838 (java) S 6819 6822 5267 0 -1 4202560 11226 0 0 0 98 3 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696174815800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6839] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6839/stat : 6839 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696173763704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6840] ppid=6819 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/6822/task/6840/stat : 6840 (java) S 6819 6822 5267 0 -1 4202560 51 0 0 0 12 15 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696172711112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6844] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6844/stat : 6844 (java) S 6819 6822 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2312963 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696168449064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6845] ppid=6819 vsize=9824732 CPUtime=880.6 cores=1,3,5,7
/proc/6822/task/6845/stat : 6845 (java) R 6819 6822 5267 0 -1 4202560 80 0 0 0 88044 16 0 0 20 0 22 0 2313013 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696171598096 139696296044254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6846] ppid=6819 vsize=9824732 CPUtime=880.69 cores=1,3,5,7
/proc/6822/task/6846/stat : 6846 (java) R 6819 6822 5267 0 -1 4202560 1456 0 0 0 88024 45 0 0 20 0 22 0 2313013 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696170551936 139696296165838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6847] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6847/stat : 6847 (java) S 6819 6822 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2313013 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696169502376 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1765.98
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.401 s]
/proc/loadavg: 4.08 4.19 4.20 3/215 7217
/proc/meminfo: memFree=25559628/32872528 swapFree=1459092/1655316
[pid=6822] ppid=6819 vsize=9824732 CPUtime=1800.17 cores=1,3,5,7
/proc/6822/stat : 6822 (java) S 6819 6822 5267 0 -1 4202496 26625 0 1 0 179895 122 0 0 20 0 22 0 2312944 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 140733684251648 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6822/statm: 2456183 746000 2293 9 0 2446860 0
[pid=6822/tid=6823] ppid=6819 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/6822/task/6823/stat : 6823 (java) S 6819 6822 5267 0 -1 4202560 2471 0 1 0 17 4 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696355816312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6825] ppid=6819 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/6822/task/6825/stat : 6825 (java) S 6819 6822 5267 0 -1 4202560 291 0 0 0 21 10 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696199645480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6826] ppid=6819 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/6822/task/6826/stat : 6826 (java) S 6819 6822 5267 0 -1 4202560 158 0 0 0 15 7 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696198592680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6827] ppid=6819 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/6822/task/6827/stat : 6827 (java) S 6819 6822 5267 0 -1 4202560 186 0 0 0 14 7 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696197540392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6828] ppid=6819 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/6822/task/6828/stat : 6828 (java) S 6819 6822 5267 0 -1 4202560 241 0 0 0 18 11 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696196487592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6822/tid=6829] ppid=6819 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/6822/task/6829/stat : 6829 (java) S 6819 6822 5267 0 -1 4202560 191 0 0 0 13 9 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696195435304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6830] ppid=6819 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/6822/task/6830/stat : 6830 (java) S 6819 6822 5267 0 -1 4202560 171 0 0 0 18 7 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696194382504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6831] ppid=6819 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/6822/task/6831/stat : 6831 (java) S 6819 6822 5267 0 -1 4202560 200 0 0 0 16 9 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696193330216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6832] ppid=6819 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/6822/task/6832/stat : 6832 (java) S 6819 6822 5267 0 -1 4202560 212 0 0 0 16 4 0 0 20 0 22 0 2312945 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696192277416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6833] ppid=6819 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/6822/task/6833/stat : 6833 (java) S 6819 6822 5267 0 -1 4202560 1413 0 0 0 23 2 0 0 20 0 22 0 2312947 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696180078824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6834] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6834/stat : 6834 (java) S 6819 6822 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696179024888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6835] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6835/stat : 6835 (java) S 6819 6822 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2312947 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696177972488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6836] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6836/stat : 6836 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696176920976 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6837] ppid=6819 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/6822/task/6837/stat : 6837 (java) S 6819 6822 5267 0 -1 4202560 6952 0 0 0 100 0 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696175868600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6838] ppid=6819 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/6822/task/6838/stat : 6838 (java) S 6819 6822 5267 0 -1 4202560 11226 0 0 0 98 3 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696174815800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6839] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6839/stat : 6839 (java) S 6819 6822 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696173763704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6822/tid=6840] ppid=6819 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/6822/task/6840/stat : 6840 (java) S 6819 6822 5267 0 -1 4202560 53 0 0 0 12 16 0 0 20 0 22 0 2312949 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696172711112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6844] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6844/stat : 6844 (java) S 6819 6822 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2312963 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696168449064 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6845] ppid=6819 vsize=9824732 CPUtime=897.69 cores=1,3,5,7
/proc/6822/task/6845/stat : 6845 (java) R 6819 6822 5267 0 -1 4202560 80 0 0 0 89753 16 0 0 20 0 22 0 2313013 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696171598096 139696296044240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6822/tid=6846] ppid=6819 vsize=9824732 CPUtime=897.78 cores=1,3,5,7
/proc/6822/task/6846/stat : 6846 (java) R 6819 6822 5267 0 -1 4202560 1456 0 0 0 89733 45 0 0 20 0 22 0 2313013 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696170551936 139696296590345 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6822/tid=6847] ppid=6819 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6822/task/6847/stat : 6847 (java) S 6819 6822 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2313013 10060525568 746000 33554432000 1073741824 1073778376 140733684260512 139696169502376 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
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 6822 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 899.448
CPU time (s): 1800.7
CPU user time (s): 1799.01
CPU system time (s): 1.69174
CPU usage (%): 200.201
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.69174
maximum resident set size= 2984136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26670
page faults= 1
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21429
involuntary context switches= 24275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41103 second user time and 6.64699 second system time
The end