runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687958-1337874897/watcher-3687958-1337874897 -o /tmp/evaluation-result-3687958-1337874897/solver-3687958-1337874897 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687958-1337874897.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.25 3.57 3.46 3/197 21557
/proc/meminfo: memFree=26066112/32873844 swapFree=6856/6856
[pid=21557] ppid=21555 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/21557/stat : 21557 (java) R 21555 21557 20503 0 -1 4202496 882 0 0 0 0 0 0 0 20 0 1 0 253618214 23793664 609 33554432000 1073741824 1073778376 140736789134672 140736789123736 270109030977 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 5809 620 461 9 0 128 0
[startup+0.05043 s]
/proc/loadavg: 3.25 3.57 3.46 3/197 21557
/proc/meminfo: memFree=26066112/32873844 swapFree=6856/6856
[pid=21557] ppid=21555 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21555 21557 20503 0 -1 4202496 3063 0 1 0 3 0 0 0 20 0 13 0 253618214 9446973440 3760 33554432000 1073741824 1073778376 140736789134672 140736789125808 270121599037 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2306390 3760 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100243 s]
/proc/loadavg: 3.25 3.57 3.46 3/197 21557
/proc/meminfo: memFree=26066112/32873844 swapFree=6856/6856
[pid=21557] ppid=21555 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21555 21557 20503 0 -1 4202496 4306 0 1 0 9 1 0 0 20 0 18 0 253618214 9787813888 5501 33554432000 1073741824 1073778376 140736789134672 140736789125808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2389603 5501 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300197 s]
/proc/loadavg: 3.25 3.57 3.46 3/197 21557
/proc/meminfo: memFree=26066112/32873844 swapFree=6856/6856
[pid=21557] ppid=21555 vsize=9558412 CPUtime=0.59 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21555 21557 20503 0 -1 4202496 11705 0 1 0 57 2 0 0 20 0 18 0 253618214 9787813888 12177 33554432000 1073741824 1073778376 140736789134672 140736789125808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2389603 12177 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558412
[startup+0.70021 s]
/proc/loadavg: 3.25 3.57 3.46 3/197 21557
/proc/meminfo: memFree=26066112/32873844 swapFree=6856/6856
[pid=21557] ppid=21555 vsize=9824668 CPUtime=2.07 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21555 21557 20503 0 -1 4202496 16272 0 1 0 203 4 0 0 20 0 22 0 253618214 10060460032 20148 33554432000 1073741824 1073778376 140736789134672 140736789125808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2456167 20148 2249 9 0 2446860 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9824668
[startup+1.50079 s]
/proc/loadavg: 3.25 3.57 3.46 5/219 21579
/proc/meminfo: memFree=25950532/32873844 swapFree=6856/6856
[pid=21557] ppid=21555 vsize=9824668 CPUtime=4.44 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21555 21557 20503 0 -1 4202496 19812 0 1 0 436 8 0 0 20 0 22 0 253618214 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140736789125808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2456167 45475 2278 9 0 2446860 0
[pid=21557/tid=21559] ppid=21555 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) S 21555 21557 20503 0 -1 4202560 2467 0 1 0 38 1 0 0 20 0 22 0 253618215 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118197384184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21560] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21555 21557 20503 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118158875048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21561] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21555 21557 20503 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118157822504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21562] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21555 21557 20503 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118156769448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21563] ppid=21555 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21555 21557 20503 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253618216 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118155716904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21564] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21555 21557 20503 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118154664872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21565] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21555 21557 20503 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118153612328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21566] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21555 21557 20503 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118152559272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21567] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21555 21557 20503 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118151506728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21568] ppid=21555 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21555 21557 20503 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 22 0 253618217 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118021097832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21569] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21555 21557 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118020044152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21570] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21555 21557 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118018990984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21571] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118017939728 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21555 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21555 21557 20503 0 -1 4202560 10181 0 0 0 84 2 0 0 20 0 22 0 253618220 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118016887608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21573] ppid=21555 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21555 21557 20503 0 -1 4202560 5736 0 0 0 102 0 0 0 20 0 22 0 253618220 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118015835064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21574] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118014782200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118013729864 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21576] ppid=21555 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/21557/task/21576/stat : 21576 (java) R 21555 21557 20503 0 -1 4202560 41 0 0 0 98 0 0 0 20 0 22 0 253618256 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118012674520 140118024098659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21577] ppid=21555 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/21557/task/21577/stat : 21577 (java) R 21555 21557 20503 0 -1 4202560 107 0 0 0 96 1 0 0 20 0 22 0 253618256 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118011621024 140118024016602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21578] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21578/stat : 21578 (java) S 21555 21557 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253618261 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118010569512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21579] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21579/stat : 21579 (java) S 21555 21557 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253618263 10060460032 45475 33554432000 1073741824 1073778376 140736789134672 140118009516968 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 9824668
[startup+3.10081 s]
/proc/loadavg: 3.25 3.57 3.46 10/219 21579
/proc/meminfo: memFree=25884996/32873844 swapFree=6856/6856
[pid=21557] ppid=21555 vsize=9824668 CPUtime=7.74 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21555 21557 20503 0 -1 4202496 20139 0 1 0 765 9 0 0 20 0 22 0 253618214 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140736789125808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2456167 49081 2278 9 0 2446860 0
[pid=21557/tid=21559] ppid=21555 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) S 21555 21557 20503 0 -1 4202560 2467 0 1 0 38 1 0 0 20 0 22 0 253618215 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118197384184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21560] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21555 21557 20503 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118158875048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21561] ppid=21555 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21555 21557 20503 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253618216 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118157822504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21562] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21555 21557 20503 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118156769448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21563] ppid=21555 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21555 21557 20503 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253618216 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118155716904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21564] ppid=21555 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21555 21557 20503 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253618216 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118154664872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21565] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21555 21557 20503 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118153612328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21566] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21555 21557 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118152559272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21567] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21555 21557 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253618216 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118151506728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21568] ppid=21555 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21555 21557 20503 0 -1 4202560 39 0 0 0 14 0 0 0 20 0 22 0 253618217 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118021097832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21569] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21555 21557 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118020044152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21570] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21555 21557 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118018990984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21571] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118017939728 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21555 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21555 21557 20503 0 -1 4202560 10486 0 0 0 93 3 0 0 20 0 22 0 253618220 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118016887608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21573] ppid=21555 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21555 21557 20503 0 -1 4202560 5737 0 0 0 113 0 0 0 20 0 22 0 253618220 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118015835064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21574] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118014782200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118013729864 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21576] ppid=21555 vsize=9824668 CPUtime=2.46 cores=1,3,5,7
/proc/21557/task/21576/stat : 21576 (java) R 21555 21557 20503 0 -1 4202560 41 0 0 0 246 0 0 0 20 0 22 0 253618256 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118012674360 140118023922215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21577] ppid=21555 vsize=9824668 CPUtime=2.44 cores=1,3,5,7
/proc/21557/task/21577/stat : 21577 (java) R 21555 21557 20503 0 -1 4202560 107 0 0 0 243 1 0 0 20 0 22 0 253618256 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118011621656 140118023973574 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21578] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21578/stat : 21578 (java) S 21555 21557 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253618261 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118010569512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21579] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21579/stat : 21579 (java) S 21555 21557 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253618263 10060460032 49081 33554432000 1073741824 1073778376 140736789134672 140118009516968 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 9824668
[startup+6.30089 s]
/proc/loadavg: 3.31 3.58 3.47 4/219 21579
/proc/meminfo: memFree=25870064/32873844 swapFree=6856/6856
[pid=21557] ppid=21555 vsize=9824668 CPUtime=14.22 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21555 21557 20503 0 -1 4202496 22753 0 1 0 1409 13 0 0 20 0 22 0 253618214 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140736789125808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2456167 63313 2278 9 0 2446860 0
[pid=21557/tid=21559] ppid=21555 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) S 21555 21557 20503 0 -1 4202560 2469 0 1 0 38 1 0 0 20 0 22 0 253618215 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118197384184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21560] ppid=21555 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21555 21557 20503 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 22 0 253618216 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118158875048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21561] ppid=21555 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21555 21557 20503 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253618216 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118157822504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21562] ppid=21555 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21555 21557 20503 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 253618216 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118156769448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21563] ppid=21555 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21555 21557 20503 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 253618216 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118155716904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21564] ppid=21555 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21555 21557 20503 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253618216 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118154664872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21565] ppid=21555 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21555 21557 20503 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253618216 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118153612328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21566] ppid=21555 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21555 21557 20503 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 253618216 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118152559272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21567] ppid=21555 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21555 21557 20503 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 253618216 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118151506728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21568] ppid=21555 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21555 21557 20503 0 -1 4202560 115 0 0 0 41 2 0 0 20 0 22 0 253618217 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118021097832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21569] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21555 21557 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118020044152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21570] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21555 21557 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118018990984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21571] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118017939728 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21555 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21555 21557 20503 0 -1 4202560 12959 0 0 0 117 3 0 0 20 0 22 0 253618220 10060460032 63313 33554432000 1073741824 1073778376 140736789134672 140118016887608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=21557/tid=21563] ppid=21555 vsize=9824668 CPUtime=3.66 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21555 21557 20503 0 -1 4202560 1118 0 0 0 354 12 0 0 20 0 22 0 253618216 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118155716904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21564] ppid=21555 vsize=9824668 CPUtime=3.32 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21555 21557 20503 0 -1 4202560 864 0 0 0 320 12 0 0 20 0 22 0 253618216 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118154664872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21565] ppid=21555 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21555 21557 20503 0 -1 4202560 867 0 0 0 336 11 0 0 20 0 22 0 253618216 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118153612328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21566] ppid=21555 vsize=9824668 CPUtime=3.45 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21555 21557 20503 0 -1 4202560 884 0 0 0 332 13 0 0 20 0 22 0 253618216 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118152559272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21567] ppid=21555 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21555 21557 20503 0 -1 4202560 522 0 0 0 323 10 0 0 20 0 22 0 253618216 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118151506728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21568] ppid=21555 vsize=9824668 CPUtime=45.73 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21555 21557 20503 0 -1 4202560 1208 0 0 0 4549 24 0 0 20 0 22 0 253618217 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118021097832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21569] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21555 21557 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118020044152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21570] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21555 21557 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118018990984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21571] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118017939728 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21555 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21555 21557 20503 0 -1 4202560 13438 0 0 0 133 3 0 0 20 0 22 0 253618220 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118016887608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21573] ppid=21555 vsize=9824668 CPUtime=1.85 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21555 21557 20503 0 -1 4202560 10978 0 0 0 182 3 0 0 20 0 22 0 253618220 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118015835064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21574] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118014782200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21555 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21555 21557 20503 0 -1 4202560 51 0 0 0 26 21 0 0 20 0 22 0 253618220 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118013729864 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21578] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21578/stat : 21578 (java) S 21555 21557 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253618261 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118010569512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21580] ppid=21555 vsize=9824668 CPUtime=818.68 cores=1,3,5,7
/proc/21557/task/21580/stat : 21580 (java) R 21555 21557 20503 0 -1 4202560 462 0 0 0 81852 16 0 0 20 0 22 0 253619065 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118011621280 140118024098710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21581] ppid=21555 vsize=9824668 CPUtime=818.58 cores=1,3,5,7
/proc/21557/task/21581/stat : 21581 (java) R 21555 21557 20503 0 -1 4202560 2741 0 0 0 81837 21 0 0 20 0 22 0 253619065 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118012673136 140118024041059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21582] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21582/stat : 21582 (java) S 21555 21557 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253619070 10060460032 260196 33554432000 1073741824 1073778376 140736789134672 140118009517352 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1733.04
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+916.501 s]
/proc/loadavg: 4.40 4.07 3.80 6/220 21674
/proc/meminfo: memFree=24394628/32873844 swapFree=6856/6856
[pid=21557] ppid=21555 vsize=9824668 CPUtime=1800.15 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21555 21557 20503 0 -1 4202496 40806 0 1 0 179849 166 0 0 20 0 22 0 253618214 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140736789125808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2456167 268404 2280 9 0 2446860 0
[pid=21557/tid=21559] ppid=21555 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) S 21555 21557 20503 0 -1 4202560 2540 0 1 0 42 3 0 0 20 0 22 0 253618215 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118197384184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21560] ppid=21555 vsize=9824668 CPUtime=3.64 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21555 21557 20503 0 -1 4202560 1679 0 0 0 352 12 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118158875048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21561] ppid=21555 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21555 21557 20503 0 -1 4202560 1113 0 0 0 351 16 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118157822504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21562] ppid=21555 vsize=9824668 CPUtime=3.59 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21555 21557 20503 0 -1 4202560 933 0 0 0 346 13 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118156769448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21563] ppid=21555 vsize=9824668 CPUtime=3.78 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21555 21557 20503 0 -1 4202560 1122 0 0 0 366 12 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118155716904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21564] ppid=21555 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21555 21557 20503 0 -1 4202560 867 0 0 0 335 12 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118154664872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21565] ppid=21555 vsize=9824668 CPUtime=3.58 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21555 21557 20503 0 -1 4202560 870 0 0 0 347 11 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118153612328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21566] ppid=21555 vsize=9824668 CPUtime=3.6 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21555 21557 20503 0 -1 4202560 897 0 0 0 346 14 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118152559272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21567] ppid=21555 vsize=9824668 CPUtime=3.43 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21555 21557 20503 0 -1 4202560 524 0 0 0 333 10 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118151506728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21568] ppid=21555 vsize=9824668 CPUtime=47.5 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21555 21557 20503 0 -1 4202560 1228 0 0 0 4725 25 0 0 20 0 22 0 253618217 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118021097832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21569] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21555 21557 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118020044152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21570] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21555 21557 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118018990984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21571] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118017939728 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21555 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21555 21557 20503 0 -1 4202560 13438 0 0 0 133 3 0 0 20 0 22 0 253618220 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118016887608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21573] ppid=21555 vsize=9824668 CPUtime=1.85 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21555 21557 20503 0 -1 4202560 10978 0 0 0 182 3 0 0 20 0 22 0 253618220 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118015835064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21574] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118014782200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21555 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21555 21557 20503 0 -1 4202560 53 0 0 0 27 21 0 0 20 0 22 0 253618220 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118013729864 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21578] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21578/stat : 21578 (java) S 21555 21557 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253618261 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118010569512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21580] ppid=21555 vsize=9824668 CPUtime=850.78 cores=1,3,5,7
/proc/21557/task/21580/stat : 21580 (java) R 21555 21557 20503 0 -1 4202560 466 0 0 0 85062 16 0 0 20 0 22 0 253619065 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118011621248 140118024098710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21581] ppid=21555 vsize=9824668 CPUtime=850.68 cores=1,3,5,7
/proc/21557/task/21581/stat : 21581 (java) R 21555 21557 20503 0 -1 4202560 2742 0 0 0 85047 21 0 0 20 0 22 0 253619065 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118012673136 140118024041136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21582] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21582/stat : 21582 (java) S 21555 21557 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253619070 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118009517352 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+916.501 s]
/proc/loadavg: 4.40 4.07 3.80 6/220 21674
/proc/meminfo: memFree=24394628/32873844 swapFree=6856/6856
[pid=21557] ppid=21555 vsize=9824668 CPUtime=1800.15 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21555 21557 20503 0 -1 4202496 40806 0 1 0 179849 166 0 0 20 0 22 0 253618214 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140736789125808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2456167 268404 2280 9 0 2446860 0
[pid=21557/tid=21559] ppid=21555 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) S 21555 21557 20503 0 -1 4202560 2540 0 1 0 42 3 0 0 20 0 22 0 253618215 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118197384184 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21560] ppid=21555 vsize=9824668 CPUtime=3.64 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21555 21557 20503 0 -1 4202560 1679 0 0 0 352 12 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118158875048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21561] ppid=21555 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21555 21557 20503 0 -1 4202560 1113 0 0 0 351 16 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118157822504 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21562] ppid=21555 vsize=9824668 CPUtime=3.59 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21555 21557 20503 0 -1 4202560 933 0 0 0 346 13 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118156769448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21563] ppid=21555 vsize=9824668 CPUtime=3.78 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21555 21557 20503 0 -1 4202560 1122 0 0 0 366 12 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118155716904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21564] ppid=21555 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21555 21557 20503 0 -1 4202560 867 0 0 0 335 12 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118154664872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21565] ppid=21555 vsize=9824668 CPUtime=3.58 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21555 21557 20503 0 -1 4202560 870 0 0 0 347 11 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118153612328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21566] ppid=21555 vsize=9824668 CPUtime=3.6 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21555 21557 20503 0 -1 4202560 897 0 0 0 346 14 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118152559272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21567] ppid=21555 vsize=9824668 CPUtime=3.43 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21555 21557 20503 0 -1 4202560 524 0 0 0 333 10 0 0 20 0 22 0 253618216 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118151506728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21568] ppid=21555 vsize=9824668 CPUtime=47.5 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21555 21557 20503 0 -1 4202560 1228 0 0 0 4725 25 0 0 20 0 22 0 253618217 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118021097832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21569] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21555 21557 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118020044152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21570] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21555 21557 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253618218 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118018990984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21571] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118017939728 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21555 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21555 21557 20503 0 -1 4202560 13438 0 0 0 133 3 0 0 20 0 22 0 253618220 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118016887608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21573] ppid=21555 vsize=9824668 CPUtime=1.85 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21555 21557 20503 0 -1 4202560 10978 0 0 0 182 3 0 0 20 0 22 0 253618220 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118015835064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21574] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21555 21557 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253618220 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118014782200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21555 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21555 21557 20503 0 -1 4202560 53 0 0 0 27 21 0 0 20 0 22 0 253618220 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118013729864 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21578] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21578/stat : 21578 (java) S 21555 21557 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253618261 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118010569512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21580] ppid=21555 vsize=9824668 CPUtime=850.78 cores=1,3,5,7
/proc/21557/task/21580/stat : 21580 (java) R 21555 21557 20503 0 -1 4202560 466 0 0 0 85062 16 0 0 20 0 22 0 253619065 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118011621248 140118024098710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21581] ppid=21555 vsize=9824668 CPUtime=850.68 cores=1,3,5,7
/proc/21557/task/21581/stat : 21581 (java) R 21555 21557 20503 0 -1 4202560 2742 0 0 0 85047 21 0 0 20 0 22 0 253619065 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118012673136 140118024041136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21582] ppid=21555 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21582/stat : 21582 (java) S 21555 21557 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253619070 10060460032 268404 33554432000 1073741824 1073778376 140736789134672 140118009517352 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21557 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=159246
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=112678
# CPU time returned by wait4() is 1796.27
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.0100002
# lost CPU user time (s): 0.0100002
# lost CPU system time (s): 0
Real time (s): 916.573
CPU time (s): 1800.16
CPU user time (s): 1798.5
CPU system time (s): 1.66
CPU usage (%): 196.401
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.16
system time used= 2.11268
maximum resident set size= 1073764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40847
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30329
involuntary context switches= 56349
runsolver used 3.69244 second user time and 9.2116 second system time
The end