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-4104022-1466252593/watcher-4104022-1466252593 -o /tmp/evaluation-result-4104022-1466252593/solver-4104022-1466252593 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466241741-20174 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4104022-1466252593.opb
pid=23514
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.96 4.09 4.13 4/197 23517
/proc/meminfo: memFree=28103284/32872528 swapFree=1191052/1305516
[pid=23517] ppid=23514 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/23517/stat : 23517 (java) R 23514 23517 20157 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 27305887 2560000 46 33554432000 1073741824 1073778376 140733717331184 140733717328312 214528257319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23517/statm: 892 48 37 9 0 30 0
[startup+0.10012 s]
/proc/loadavg: 3.96 4.09 4.13 4/197 23517
/proc/meminfo: memFree=28103284/32872528 swapFree=1191052/1305516
[pid=23517] ppid=23514 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/23517/stat : 23517 (java) S 23514 23517 20157 0 -1 4202496 4420 0 1 0 8 1 0 0 20 0 18 0 27305887 9787879424 6047 33554432000 1073741824 1073778376 140733717331184 140733717322320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23517/statm: 2389619 6047 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200278 s]
/proc/loadavg: 3.96 4.09 4.13 4/197 23517
/proc/meminfo: memFree=28103284/32872528 swapFree=1191052/1305516
[pid=23517] ppid=23514 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/23517/stat : 23517 (java) S 23514 23517 20157 0 -1 4202496 5068 0 1 0 28 2 0 0 20 0 18 0 27305887 9787879424 6895 33554432000 1073741824 1073778376 140733717331184 140733717322320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23517/statm: 2389619 6895 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300358 s]
/proc/loadavg: 3.96 4.09 4.13 4/197 23517
/proc/meminfo: memFree=28103284/32872528 swapFree=1191052/1305516
[pid=23517] ppid=23514 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/23517/stat : 23517 (java) S 23514 23517 20157 0 -1 4202496 8547 0 1 0 51 2 0 0 20 0 18 0 27305887 9787879424 11560 33554432000 1073741824 1073778376 140733717331184 140733717322320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23517/statm: 2389619 11563 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476
[startup+0.700212 s]
/proc/loadavg: 3.96 4.09 4.13 4/197 23517
/proc/meminfo: memFree=28103284/32872528 swapFree=1191052/1305516
[pid=23517] ppid=23514 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/23517/stat : 23517 (java) S 23514 23517 20157 0 -1 4202496 14697 0 1 0 195 4 0 0 20 0 22 0 27305887 10060525568 21832 33554432000 1073741824 1073778376 140733717331184 140733717322320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23517/statm: 2456183 21832 2271 9 0 2446860 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9824732
[startup+1.50087 s]
/proc/loadavg: 4.12 4.12 4.14 11/219 23539
/proc/meminfo: memFree=27915356/32872528 swapFree=1191052/1305516
[pid=23517] ppid=23514 vsize=9824732 CPUtime=4.49 cores=1,3,5,7
/proc/23517/stat : 23517 (java) S 23514 23517 20157 0 -1 4202496 14892 0 1 0 441 8 0 0 20 0 22 0 27305887 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140733717322320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23517/statm: 2456183 47045 2292 9 0 2446860 0
[pid=23517/tid=23519] ppid=23514 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (java) S 23514 23517 20157 0 -1 4202560 2432 0 1 0 38 2 0 0 20 0 22 0 27305888 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140573158830968 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23520] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (java) S 23514 23517 20157 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 27305889 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140573147892136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23521] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23521/stat : 23521 (java) S 23514 23517 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27305889 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140573146839592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23522] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23522/stat : 23522 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305889 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140573145786536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23523] ppid=23514 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23517/task/23523/stat : 23523 (java) S 23514 23517 20157 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 27305889 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140573144733992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23524] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23524/stat : 23524 (java) S 23514 23517 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27305890 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140573143681960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23525] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23525/stat : 23525 (java) S 23514 23517 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27305890 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140573142629416 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23526] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23526/stat : 23526 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305890 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140573141576360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23527] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23527/stat : 23527 (java) S 23514 23517 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27305890 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140573140523816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23528] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23528/stat : 23528 (java) S 23514 23517 20157 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572982585704 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23529] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23529/stat : 23529 (java) S 23514 23517 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572981532024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23530] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23530/stat : 23530 (java) S 23514 23517 20157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572980478856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23531] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23531/stat : 23531 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572979427600 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23532] ppid=23514 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/23517/task/23532/stat : 23532 (java) R 23514 23517 20157 0 -1 4202560 4696 0 0 0 89 1 0 0 20 0 22 0 27305893 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572978375480 140573164532658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23533] ppid=23514 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/23517/task/23533/stat : 23533 (java) R 23514 23517 20157 0 -1 4202560 6276 0 0 0 96 1 0 0 20 0 22 0 27305893 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572977322936 140573161438300 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23534] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23534/stat : 23534 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572976270072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23535] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23535/stat : 23535 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572975217736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23536] ppid=23514 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/23517/task/23536/stat : 23536 (java) R 23514 23517 20157 0 -1 4202560 23 0 0 0 101 0 0 0 20 0 22 0 27305931 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572974162632 140573022097660 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23537] ppid=23514 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/23517/task/23537/stat : 23537 (java) R 23514 23517 20157 0 -1 4202560 80 0 0 0 100 3 0 0 20 0 22 0 27305931 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572973109464 140573022072480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23538] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23538/stat : 23538 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305934 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572972057384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23539] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23539/stat : 23539 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305934 10060525568 47045 33554432000 1073741824 1073778376 140733717331184 140572971004840 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 4.12 4.12 4.14 5/219 23539
/proc/meminfo: memFree=27793656/32872528 swapFree=1191052/1305516
[pid=23517] ppid=23514 vsize=9824732 CPUtime=7.95 cores=1,3,5,7
/proc/23517/stat : 23517 (java) S 23514 23517 20157 0 -1 4202496 15286 0 1 0 778 17 0 0 20 0 22 0 27305887 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140733717322320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23517/statm: 2456183 95877 2292 9 0 2446860 0
[pid=23517/tid=23519] ppid=23514 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (java) S 23514 23517 20157 0 -1 4202560 2432 0 1 0 38 2 0 0 20 0 22 0 27305888 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140573158830968 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23520] ppid=23514 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (java) S 23514 23517 20157 0 -1 4202560 51 0 0 0 3 2 0 0 20 0 22 0 27305889 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140573147892136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23521] ppid=23514 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23517/task/23521/stat : 23521 (java) S 23514 23517 20157 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 22 0 27305889 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140573146839592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23522] ppid=23514 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23517/task/23522/stat : 23522 (java) S 23514 23517 20157 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 27305889 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140573145786536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23523] ppid=23514 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23517/task/23523/stat : 23523 (java) S 23514 23517 20157 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 27305889 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140573144733992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23524] ppid=23514 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23517/task/23524/stat : 23524 (java) S 23514 23517 20157 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 22 0 27305890 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140573143681960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23525] ppid=23514 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23517/task/23525/stat : 23525 (java) S 23514 23517 20157 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 22 0 27305890 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140573142629416 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23526] ppid=23514 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23517/task/23526/stat : 23526 (java) S 23514 23517 20157 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 22 0 27305890 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140573141576360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23527] ppid=23514 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/23517/task/23527/stat : 23527 (java) S 23514 23517 20157 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 27305890 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140573140523816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23528] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23528/stat : 23528 (java) S 23514 23517 20157 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572982585704 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23529] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23529/stat : 23529 (java) S 23514 23517 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572981532024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23530] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23530/stat : 23530 (java) S 23514 23517 20157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572980478856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23531] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23531/stat : 23531 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572979427600 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23532] ppid=23514 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/23517/task/23532/stat : 23532 (java) S 23514 23517 20157 0 -1 4202560 4696 0 0 0 93 2 0 0 20 0 22 0 27305893 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572978375480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23533] ppid=23514 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/23517/task/23533/stat : 23533 (java) S 23514 23517 20157 0 -1 4202560 6276 0 0 0 104 1 0 0 20 0 22 0 27305893 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572977322936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23534] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23534/stat : 23534 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572976270072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23535] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23535/stat : 23535 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572975217736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23536] ppid=23514 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/23517/task/23536/stat : 23536 (java) R 23514 23517 20157 0 -1 4202560 28 0 0 0 249 0 0 0 20 0 22 0 27305931 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572974153616 140573022055240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23537] ppid=23514 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/23517/task/23537/stat : 23537 (java) R 23514 23517 20157 0 -1 4202560 135 0 0 0 247 4 0 0 20 0 22 0 27305931 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572973108472 140573022165459 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23538] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23538/stat : 23538 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305934 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572972057384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23539] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23539/stat : 23539 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305934 10060525568 95877 33554432000 1073741824 1073778376 140733717331184 140572971004840 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (KiB) 9824732
[startup+6.30098 s]
/proc/loadavg: 4.12 4.12 4.14 5/219 23539
/proc/meminfo: memFree=27474604/32872528 swapFree=1191052/1305516
[pid=23517] ppid=23514 vsize=9824732 CPUtime=14.4 cores=1,3,5,7
/proc/23517/stat : 23517 (java) S 23514 23517 20157 0 -1 4202496 15726 0 1 0 1418 22 0 0 20 0 22 0 27305887 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140733717322320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23517/statm: 2456183 157780 2292 9 0 2446860 0
[pid=23517/tid=23519] ppid=23514 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (java) S 23514 23517 20157 0 -1 4202560 2432 0 1 0 38 2 0 0 20 0 22 0 27305888 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140573158830968 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23520] ppid=23514 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (java) S 23514 23517 20157 0 -1 4202560 65 0 0 0 6 3 0 0 20 0 22 0 27305889 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140573147892136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23521] ppid=23514 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23517/task/23521/stat : 23521 (java) S 23514 23517 20157 0 -1 4202560 36 0 0 0 4 1 0 0 20 0 22 0 27305889 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140573146839592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23522] ppid=23514 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23517/task/23522/stat : 23522 (java) S 23514 23517 20157 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 22 0 27305889 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140573145786536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23523] ppid=23514 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23517/task/23523/stat : 23523 (java) S 23514 23517 20157 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 22 0 27305889 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140573144733992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23524] ppid=23514 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23517/task/23524/stat : 23524 (java) S 23514 23517 20157 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 22 0 27305890 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140573143681960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23525] ppid=23514 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23517/task/23525/stat : 23525 (java) S 23514 23517 20157 0 -1 4202560 35 0 0 0 3 1 0 0 20 0 22 0 27305890 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140573142629416 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23526] ppid=23514 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23517/task/23526/stat : 23526 (java) S 23514 23517 20157 0 -1 4202560 42 0 0 0 5 1 0 0 20 0 22 0 27305890 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140573141576360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23527] ppid=23514 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/23517/task/23527/stat : 23527 (java) S 23514 23517 20157 0 -1 4202560 47 0 0 0 6 2 0 0 20 0 22 0 27305890 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140573140523816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23528] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23528/stat : 23528 (java) S 23514 23517 20157 0 -1 4202560 466 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140572982585704 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23529] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23529/stat : 23529 (java) S 23514 23517 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140572981532024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23530] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23530/stat : 23530 (java) S 23514 23517 20157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140572980478856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23531] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23531/stat : 23531 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 157780 33554432000 1073741824 1073778376 140733717331184 140572979427600 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23532] ppid=23514 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
################
# More data... #
################
/proc/23517/task/23522/stat : 23522 (java) S 23514 23517 20157 0 -1 4202560 439 0 0 0 245 7 0 0 20 0 22 0 27305889 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140573145786536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23523] ppid=23514 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/23517/task/23523/stat : 23523 (java) S 23514 23517 20157 0 -1 4202560 484 0 0 0 263 8 0 0 20 0 22 0 27305889 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140573144733992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23524] ppid=23514 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/23517/task/23524/stat : 23524 (java) S 23514 23517 20157 0 -1 4202560 418 0 0 0 253 8 0 0 20 0 22 0 27305890 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140573143681960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23525] ppid=23514 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/23517/task/23525/stat : 23525 (java) S 23514 23517 20157 0 -1 4202560 399 0 0 0 257 9 0 0 20 0 22 0 27305890 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140573142629416 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23526] ppid=23514 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/23517/task/23526/stat : 23526 (java) S 23514 23517 20157 0 -1 4202560 420 0 0 0 252 9 0 0 20 0 22 0 27305890 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140573141576360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23527] ppid=23514 vsize=9824732 CPUtime=2.56 cores=1,3,5,7
/proc/23517/task/23527/stat : 23527 (java) S 23514 23517 20157 0 -1 4202560 399 0 0 0 248 8 0 0 20 0 22 0 27305890 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140573140523816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23528] ppid=23514 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/23517/task/23528/stat : 23528 (java) S 23514 23517 20157 0 -1 4202560 2599 0 0 0 101 24 0 0 20 0 22 0 27305891 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572982585704 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23529] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23529/stat : 23529 (java) S 23514 23517 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572981532024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23530] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23530/stat : 23530 (java) S 23514 23517 20157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572980478856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23531] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23531/stat : 23531 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572979427600 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23532] ppid=23514 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/23517/task/23532/stat : 23532 (java) S 23514 23517 20157 0 -1 4202560 8313 0 0 0 149 2 0 0 20 0 22 0 27305893 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572978375480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23533] ppid=23514 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/23517/task/23533/stat : 23533 (java) S 23514 23517 20157 0 -1 4202560 6289 0 0 0 131 1 0 0 20 0 22 0 27305893 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572977322936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23534] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23534/stat : 23534 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572976270072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23535] ppid=23514 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/23517/task/23535/stat : 23535 (java) S 23514 23517 20157 0 -1 4202560 47 0 0 0 16 19 0 0 20 0 22 0 27305893 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572975217736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23536] ppid=23514 vsize=9824732 CPUtime=812.01 cores=1,3,5,7
/proc/23517/task/23536/stat : 23536 (java) R 23514 23517 20157 0 -1 4202560 239 0 0 0 81185 16 0 0 20 0 22 0 27305931 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572974161360 140573022111215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23537] ppid=23514 vsize=9824732 CPUtime=812.15 cores=1,3,5,7
/proc/23517/task/23537/stat : 23537 (java) R 23514 23517 20157 0 -1 4202560 1799 0 0 0 81162 53 0 0 20 0 22 0 27305931 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572973107968 140573021785671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23538] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23538/stat : 23538 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305934 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572972057384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23539] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23539/stat : 23539 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305934 10060525568 483554 33554432000 1073741824 1073778376 140733717331184 140572971004840 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1654.02
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.06 4.19 4.17 5/219 23628
/proc/meminfo: memFree=25179112/32872528 swapFree=1191052/1305516
[pid=23517] ppid=23514 vsize=9824732 CPUtime=1774.21 cores=1,3,5,7
/proc/23517/stat : 23517 (java) S 23514 23517 20157 0 -1 4202496 28613 0 1 0 177265 156 0 0 20 0 22 0 27305887 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140733717322320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23517/statm: 2456183 485277 2301 9 0 2446860 0
[pid=23517/tid=23519] ppid=23514 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (java) S 23514 23517 20157 0 -1 4202560 2440 0 1 0 42 4 0 0 20 0 22 0 27305888 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140573158830968 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23520] ppid=23514 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (java) S 23514 23517 20157 0 -1 4202560 606 0 0 0 284 10 0 0 20 0 22 0 27305889 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140573147892136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23521] ppid=23514 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/23517/task/23521/stat : 23521 (java) S 23514 23517 20157 0 -1 4202560 529 0 0 0 270 9 0 0 20 0 22 0 27305889 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140573146839592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23522] ppid=23514 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/23517/task/23522/stat : 23522 (java) S 23514 23517 20157 0 -1 4202560 442 0 0 0 261 7 0 0 20 0 22 0 27305889 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140573145786536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23523] ppid=23514 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/23517/task/23523/stat : 23523 (java) S 23514 23517 20157 0 -1 4202560 594 0 0 0 284 8 0 0 20 0 22 0 27305889 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140573144733992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23524] ppid=23514 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/23517/task/23524/stat : 23524 (java) S 23514 23517 20157 0 -1 4202560 542 0 0 0 271 8 0 0 20 0 22 0 27305890 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140573143681960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23525] ppid=23514 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/23517/task/23525/stat : 23525 (java) S 23514 23517 20157 0 -1 4202560 479 0 0 0 276 10 0 0 20 0 22 0 27305890 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140573142629416 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23526] ppid=23514 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/23517/task/23526/stat : 23526 (java) S 23514 23517 20157 0 -1 4202560 427 0 0 0 275 9 0 0 20 0 22 0 27305890 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140573141576360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23527] ppid=23514 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/23517/task/23527/stat : 23527 (java) S 23514 23517 20157 0 -1 4202560 524 0 0 0 268 8 0 0 20 0 22 0 27305890 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140573140523816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23528] ppid=23514 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/23517/task/23528/stat : 23528 (java) S 23514 23517 20157 0 -1 4202560 4057 0 0 0 152 25 0 0 20 0 22 0 27305891 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572982585704 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23529] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23529/stat : 23529 (java) S 23514 23517 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572981532024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23530] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23530/stat : 23530 (java) S 23514 23517 20157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572980478856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23531] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23531/stat : 23531 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572979427600 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23532] ppid=23514 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/23517/task/23532/stat : 23532 (java) S 23514 23517 20157 0 -1 4202560 8313 0 0 0 149 2 0 0 20 0 22 0 27305893 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572978375480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23533] ppid=23514 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/23517/task/23533/stat : 23533 (java) S 23514 23517 20157 0 -1 4202560 6289 0 0 0 131 1 0 0 20 0 22 0 27305893 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572977322936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23534] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23534/stat : 23534 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572976270072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23535] ppid=23514 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/23517/task/23535/stat : 23535 (java) S 23514 23517 20157 0 -1 4202560 51 0 0 0 17 21 0 0 20 0 22 0 27305893 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572975217736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23536] ppid=23514 vsize=9824732 CPUtime=870.91 cores=1,3,5,7
/proc/23517/task/23536/stat : 23536 (java) R 23514 23517 20157 0 -1 4202560 251 0 0 0 87074 17 0 0 20 0 22 0 27305931 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572974161328 140573022111284 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23537] ppid=23514 vsize=9824732 CPUtime=871.05 cores=1,3,5,7
/proc/23517/task/23537/stat : 23537 (java) R 23514 23517 20157 0 -1 4202560 1803 0 0 0 87051 54 0 0 20 0 22 0 27305931 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572973107680 140573021785671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23538] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23538/stat : 23538 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305934 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572972057384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23539] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23539/stat : 23539 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305934 10060525568 485277 33554432000 1073741824 1073778376 140733717331184 140572971004840 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1774.21
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.201 s]
/proc/loadavg: 4.05 4.18 4.16 5/219 23628
/proc/meminfo: memFree=25140824/32872528 swapFree=1191052/1305516
[pid=23517] ppid=23514 vsize=9824732 CPUtime=1800.11 cores=1,3,5,7
/proc/23517/stat : 23517 (java) S 23514 23517 20157 0 -1 4202496 28616 0 1 0 179854 157 0 0 20 0 22 0 27305887 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140733717322320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23517/statm: 2456183 483514 2301 9 0 2446860 0
[pid=23517/tid=23519] ppid=23514 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (java) S 23514 23517 20157 0 -1 4202560 2440 0 1 0 42 4 0 0 20 0 22 0 27305888 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140573158830968 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23520] ppid=23514 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (java) S 23514 23517 20157 0 -1 4202560 606 0 0 0 287 10 0 0 20 0 22 0 27305889 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140573147892136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23521] ppid=23514 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/23517/task/23521/stat : 23521 (java) S 23514 23517 20157 0 -1 4202560 529 0 0 0 273 10 0 0 20 0 22 0 27305889 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140573146839592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23522] ppid=23514 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/23517/task/23522/stat : 23522 (java) S 23514 23517 20157 0 -1 4202560 442 0 0 0 264 7 0 0 20 0 22 0 27305889 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140573145786536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23523] ppid=23514 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/23517/task/23523/stat : 23523 (java) S 23514 23517 20157 0 -1 4202560 594 0 0 0 290 8 0 0 20 0 22 0 27305889 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140573144733992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23524] ppid=23514 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/23517/task/23524/stat : 23524 (java) S 23514 23517 20157 0 -1 4202560 542 0 0 0 276 8 0 0 20 0 22 0 27305890 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140573143681960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23525] ppid=23514 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/23517/task/23525/stat : 23525 (java) S 23514 23517 20157 0 -1 4202560 479 0 0 0 279 10 0 0 20 0 22 0 27305890 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140573142629416 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23526] ppid=23514 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/23517/task/23526/stat : 23526 (java) S 23514 23517 20157 0 -1 4202560 427 0 0 0 278 10 0 0 20 0 22 0 27305890 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140573141576360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23527] ppid=23514 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/23517/task/23527/stat : 23527 (java) S 23514 23517 20157 0 -1 4202560 524 0 0 0 271 8 0 0 20 0 22 0 27305890 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140573140523816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23528] ppid=23514 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/23517/task/23528/stat : 23528 (java) S 23514 23517 20157 0 -1 4202560 4057 0 0 0 152 25 0 0 20 0 22 0 27305891 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572982585704 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23529] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23529/stat : 23529 (java) S 23514 23517 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572981532024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23530] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23530/stat : 23530 (java) S 23514 23517 20157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27305891 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572980478856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23531] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23531/stat : 23531 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572979427600 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23532] ppid=23514 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/23517/task/23532/stat : 23532 (java) S 23514 23517 20157 0 -1 4202560 8313 0 0 0 149 2 0 0 20 0 22 0 27305893 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572978375480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23533] ppid=23514 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/23517/task/23533/stat : 23533 (java) S 23514 23517 20157 0 -1 4202560 6289 0 0 0 131 1 0 0 20 0 22 0 27305893 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572977322936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23534] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23534/stat : 23534 (java) S 23514 23517 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27305893 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572976270072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23535] ppid=23514 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/23517/task/23535/stat : 23535 (java) S 23514 23517 20157 0 -1 4202560 51 0 0 0 18 21 0 0 20 0 22 0 27305893 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572975217736 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23517/tid=23536] ppid=23514 vsize=9824732 CPUtime=883.69 cores=1,3,5,7
/proc/23517/task/23536/stat : 23536 (java) R 23514 23517 20157 0 -1 4202560 251 0 0 0 88352 17 0 0 20 0 22 0 27305931 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572974161312 140573022111284 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23517/tid=23537] ppid=23514 vsize=9824732 CPUtime=883.81 cores=1,3,5,7
/proc/23517/task/23537/stat : 23537 (java) R 23514 23517 20157 0 -1 4202560 1806 0 0 0 88327 54 0 0 20 0 22 0 27305931 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572973107968 140573021785583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23517/tid=23538] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23538/stat : 23538 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305934 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572972057384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23517/tid=23539] ppid=23514 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23539/stat : 23539 (java) S 23514 23517 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27305934 10060525568 483514 33554432000 1073741824 1073778376 140733717331184 140572971004840 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
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 23517 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23517 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.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 895.266
CPU time (s): 1800.11
CPU user time (s): 1798.54
CPU system time (s): 1.57
CPU usage (%): 201.07
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.16
system time used= 2.11268
maximum resident set size= 2857492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28651
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32219
involuntary context switches= 47434
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.30419 second user time and 8.12176 second system time
The end