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-3732927-1338745754/watcher-3732927-1338745754 -o /tmp/evaluation-result-3732927-1338745754/solver-3732927-1338745754 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3732927-1338745754.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 1.98 2.00 2/192 22427
/proc/meminfo: memFree=24488044/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/22427/stat : 22427 (java6) D 22425 22427 21377 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 340700886 2560000 46 33554432000 1073741824 1073778376 140737282804080 140737282801208 229346733351 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/22427/statm: 625 46 37 9 0 29 0
[startup+0.105888 s]
/proc/loadavg: 1.98 1.98 2.00 2/192 22427
/proc/meminfo: memFree=24488044/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2648568 CPUtime=0.07 cores=0,2,4,6
/proc/22427/stat : 22427 (java) S 22425 22427 21377 0 -1 4202496 4195 0 1 0 6 1 0 0 20 0 18 0 340700886 2712133632 5915 33554432000 1073741824 1073778376 140734821953456 140734821944592 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22427/statm: 662142 5917 1986 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.200188 s]
/proc/loadavg: 1.98 1.98 2.00 2/192 22427
/proc/meminfo: memFree=24488044/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2648568 CPUtime=0.25 cores=0,2,4,6
/proc/22427/stat : 22427 (java) S 22425 22427 21377 0 -1 4202496 5347 0 1 0 24 1 0 0 20 0 18 0 340700886 2712133632 7326 33554432000 1073741824 1073778376 140734821953456 140734821944592 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22427/statm: 662142 7326 2200 9 0 652835 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 2648568
[startup+0.300199 s]
/proc/loadavg: 1.98 1.98 2.00 2/192 22427
/proc/meminfo: memFree=24488044/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2648568 CPUtime=0.47 cores=0,2,4,6
/proc/22427/stat : 22427 (java) S 22425 22427 21377 0 -1 4202496 6390 0 1 0 45 2 0 0 20 0 18 0 340700886 2712133632 9159 33554432000 1073741824 1073778376 140734821953456 140734821944592 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22427/statm: 662142 9159 2216 9 0 652835 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2648568
[startup+0.700167 s]
/proc/loadavg: 1.98 1.98 2.00 2/192 22427
/proc/meminfo: memFree=24488044/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2715132 CPUtime=1.35 cores=0,2,4,6
/proc/22427/stat : 22427 (java) S 22425 22427 21377 0 -1 4202496 10031 0 1 0 132 3 0 0 20 0 19 0 340700886 2780295168 23274 33554432000 1073741824 1073778376 140734821953456 140734821944592 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22427/statm: 678783 23274 2250 9 0 669476 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 2715132
[startup+1.5007 s]
/proc/loadavg: 1.98 1.98 2.00 3/211 22446
/proc/meminfo: memFree=24398900/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2715132 CPUtime=2.29 cores=0,2,4,6
/proc/22427/stat : 22427 (java) S 22425 22427 21377 0 -1 4202496 10610 0 1 0 225 4 0 0 20 0 19 0 340700886 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 140734821944592 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22427/statm: 678783 25325 2252 9 0 669476 0
[pid=22427/tid=22429] ppid=22425 vsize=2715132 CPUtime=1.45 cores=0,2,4,6
/proc/22427/task/22429/stat : 22429 (java) R 22425 22427 21377 0 -1 4202560 2822 0 1 0 142 3 0 0 20 0 19 0 340700887 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888699002328 139888572236208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888565914280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888564861736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888563809192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888562756648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888359893160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888358840616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22436] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22436/stat : 22436 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888357788072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22437] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22437/stat : 22437 (java) S 22425 22427 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888356735528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22438] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22438/stat : 22438 (java) S 22425 22427 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340700890 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888344537704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22439] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22439/stat : 22439 (java) S 22425 22427 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340700891 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888343484024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22440] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22440/stat : 22440 (java) S 22425 22427 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340700891 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888342431368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22441] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22441/stat : 22441 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888341380112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22442] ppid=22425 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/22427/task/22442/stat : 22442 (java) S 22425 22427 21377 0 -1 4202560 3673 0 0 0 41 0 0 0 20 0 19 0 340700893 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888340326456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22443] ppid=22425 vsize=2715132 CPUtime=0.4 cores=0,2,4,6
/proc/22427/task/22443/stat : 22443 (java) S 22425 22427 21377 0 -1 4202560 2921 0 0 0 40 0 0 0 20 0 19 0 340700893 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888339273912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22444] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22444/stat : 22444 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888338221560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22445] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22445/stat : 22445 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888337169224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22446] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22446/stat : 22446 (java) S 22425 22427 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340700934 2780295168 25325 33554432000 1073741824 1073778376 140734821953456 139888336114984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 2715132
[startup+3.10069 s]
/proc/loadavg: 1.98 1.98 2.00 3/211 22446
/proc/meminfo: memFree=24386488/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2715132 CPUtime=3.9 cores=0,2,4,6
/proc/22427/stat : 22427 (java) S 22425 22427 21377 0 -1 4202496 10620 0 1 0 386 4 0 0 20 0 19 0 340700886 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 140734821944592 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22427/statm: 678783 29421 2252 9 0 669476 0
[pid=22427/tid=22429] ppid=22425 vsize=2715132 CPUtime=3.04 cores=0,2,4,6
/proc/22427/task/22429/stat : 22429 (java) R 22425 22427 21377 0 -1 4202560 2832 0 1 0 301 3 0 0 20 0 19 0 340700887 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888699001400 139888572201665 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888565914280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888564861736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888563809192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888562756648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888359893160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888358840616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22436] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22436/stat : 22436 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888357788072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22437] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22437/stat : 22437 (java) S 22425 22427 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888356735528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22438] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22438/stat : 22438 (java) S 22425 22427 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340700890 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888344537704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22439] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22439/stat : 22439 (java) S 22425 22427 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340700891 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888343484024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22440] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22440/stat : 22440 (java) S 22425 22427 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340700891 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888342431368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22441] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22441/stat : 22441 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888341380112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22442] ppid=22425 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/22427/task/22442/stat : 22442 (java) S 22425 22427 21377 0 -1 4202560 3673 0 0 0 41 0 0 0 20 0 19 0 340700893 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888340326456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22443] ppid=22425 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/22427/task/22443/stat : 22443 (java) S 22425 22427 21377 0 -1 4202560 2921 0 0 0 41 0 0 0 20 0 19 0 340700893 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888339273912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22444] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22444/stat : 22444 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888338221560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22445] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22445/stat : 22445 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888337169224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22446] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22446/stat : 22446 (java) S 22425 22427 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340700934 2780295168 29421 33554432000 1073741824 1073778376 140734821953456 139888336114984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 2715132
[startup+6.30071 s]
/proc/loadavg: 1.98 1.98 2.00 3/211 22446
/proc/meminfo: memFree=24355272/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2715132 CPUtime=7.14 cores=0,2,4,6
/proc/22427/stat : 22427 (java) S 22425 22427 21377 0 -1 4202496 10638 0 1 0 709 5 0 0 20 0 19 0 340700886 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 140734821944592 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22427/statm: 678783 36534 2253 9 0 669476 0
[pid=22427/tid=22429] ppid=22425 vsize=2715132 CPUtime=6.24 cores=0,2,4,6
/proc/22427/task/22429/stat : 22429 (java) R 22425 22427 21377 0 -1 4202560 2849 0 1 0 621 3 0 0 20 0 19 0 340700887 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888699001408 139888572198990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888565914280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888564861736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888563809192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888562756648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888359893160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888358840616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22436] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22436/stat : 22436 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888357788072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22437] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22437/stat : 22437 (java) S 22425 22427 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340700889 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888356735528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22438] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22438/stat : 22438 (java) S 22425 22427 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340700890 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888344537704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22439] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22439/stat : 22439 (java) S 22425 22427 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340700891 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888343484024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22440] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22440/stat : 22440 (java) S 22425 22427 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340700891 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888342431368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22441] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22441/stat : 22441 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888341380112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22442] ppid=22425 vsize=2715132 CPUtime=0.42 cores=0,2,4,6
/proc/22427/task/22442/stat : 22442 (java) S 22425 22427 21377 0 -1 4202560 3673 0 0 0 42 0 0 0 20 0 19 0 340700893 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888340326456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22443] ppid=22425 vsize=2715132 CPUtime=0.43 cores=0,2,4,6
/proc/22427/task/22443/stat : 22443 (java) S 22425 22427 21377 0 -1 4202560 2921 0 0 0 43 0 0 0 20 0 19 0 340700893 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888339273912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22444] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22444/stat : 22444 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888338221560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22445] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22445/stat : 22445 (java) S 22425 22427 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888337169224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22446] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22446/stat : 22446 (java) S 22425 22427 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340700934 2780295168 36534 33554432000 1073741824 1073778376 140734821953456 139888336114984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
/proc/22427/task/22439/stat : 22439 (java) S 22425 22427 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340700891 2780295168 341761 33554432000 1073741824 1073778376 140734821953456 139888343484024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22440] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22440/stat : 22440 (java) S 22425 22427 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340700891 2780295168 341761 33554432000 1073741824 1073778376 140734821953456 139888342428472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22441] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22441/stat : 22441 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 341761 33554432000 1073741824 1073778376 140734821953456 139888341380112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22442] ppid=22425 vsize=2715132 CPUtime=0.5 cores=0,2,4,6
/proc/22427/task/22442/stat : 22442 (java) S 22425 22427 21377 0 -1 4202560 3745 0 0 0 50 0 0 0 20 0 19 0 340700893 2780295168 341761 33554432000 1073741824 1073778376 140734821953456 139888340326456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22443] ppid=22425 vsize=2715132 CPUtime=0.5 cores=0,2,4,6
/proc/22427/task/22443/stat : 22443 (java) S 22425 22427 21377 0 -1 4202560 2926 0 0 0 50 0 0 0 20 0 19 0 340700893 2780295168 341761 33554432000 1073741824 1073778376 140734821953456 139888339273912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22444] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22444/stat : 22444 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340700893 2780295168 341761 33554432000 1073741824 1073778376 140734821953456 139888338221560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22445] ppid=22425 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/22427/task/22445/stat : 22445 (java) S 22425 22427 21377 0 -1 4202560 52 0 0 0 18 12 0 0 20 0 19 0 340700893 2780295168 341761 33554432000 1073741824 1073778376 140734821953456 139888337169224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22446] ppid=22425 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22446/stat : 22446 (java) S 22425 22427 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340700934 2780295168 341761 33554432000 1073741824 1073778376 140734821953456 139888336114984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 889.04
Current children cumulated vsize (KiB) 2715132
[startup+886.401 s]
/proc/loadavg: 2.04 2.05 2.02 3/211 22537
/proc/meminfo: memFree=23146532/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2781696 CPUtime=889.83 cores=0,2,4,6
/proc/22427/stat : 22427 (java) S 22425 22427 21377 0 -1 4202496 13450 0 1 0 88824 159 0 0 20 0 20 0 340700886 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 140734821944592 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22427/statm: 695424 341771 2279 9 0 686117 0
[pid=22427/tid=22429] ppid=22425 vsize=2781696 CPUtime=864.51 cores=0,2,4,6
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21377 0 -1 4202560 3025 0 1 0 86431 20 0 0 20 0 20 0 340700887 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888699004088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=2781696 CPUtime=0.57 cores=0,2,4,6
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21377 0 -1 4202560 375 0 0 0 31 26 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888565914280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=2781696 CPUtime=0.38 cores=0,2,4,6
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21377 0 -1 4202560 285 0 0 0 20 18 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888564861736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=2781696 CPUtime=0.3 cores=0,2,4,6
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21377 0 -1 4202560 214 0 0 0 17 13 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888563809192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=2781696 CPUtime=0.52 cores=0,2,4,6
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21377 0 -1 4202560 424 0 0 0 27 25 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888562756648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=2781696 CPUtime=0.29 cores=0,2,4,6
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21377 0 -1 4202560 299 0 0 0 17 12 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888359893160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=2781696 CPUtime=0.34 cores=0,2,4,6
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21377 0 -1 4202560 199 0 0 0 20 14 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888358840616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22436] ppid=22425 vsize=2781696 CPUtime=0.33 cores=0,2,4,6
/proc/22427/task/22436/stat : 22436 (java) S 22425 22427 21377 0 -1 4202560 230 0 0 0 17 16 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888357788072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22437] ppid=22425 vsize=2781696 CPUtime=0.39 cores=0,2,4,6
/proc/22427/task/22437/stat : 22437 (java) S 22425 22427 21377 0 -1 4202560 373 0 0 0 22 17 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888356735528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22438] ppid=22425 vsize=2781696 CPUtime=18.69 cores=0,2,4,6
/proc/22427/task/22438/stat : 22438 (java) R 22425 22427 21377 0 -1 4202560 110 0 0 0 1867 2 0 0 20 0 20 0 340700890 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888344537704 139888705858952 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22439] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22439/stat : 22439 (java) S 22425 22427 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340700891 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888343484024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22440] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22440/stat : 22440 (java) S 22425 22427 21377 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 340700891 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888342431368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22441] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22441/stat : 22441 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888341380112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22442] ppid=22425 vsize=2781696 CPUtime=0.5 cores=0,2,4,6
/proc/22427/task/22442/stat : 22442 (java) S 22425 22427 21377 0 -1 4202560 3745 0 0 0 50 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888340326456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22443] ppid=22425 vsize=2781696 CPUtime=0.5 cores=0,2,4,6
/proc/22427/task/22443/stat : 22443 (java) S 22425 22427 21377 0 -1 4202560 2926 0 0 0 50 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888339273912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22444] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22444/stat : 22444 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888338221560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22445] ppid=22425 vsize=2781696 CPUtime=0.3 cores=0,2,4,6
/proc/22427/task/22445/stat : 22445 (java) S 22425 22427 21377 0 -1 4202560 52 0 0 0 18 12 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888337169224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22446] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22446/stat : 22446 (java) S 22425 22427 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340700934 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888336114984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 889.83
Current children cumulated vsize (KiB) 2781696
[startup+886.601 s]
/proc/loadavg: 2.04 2.05 2.02 3/212 22538
/proc/meminfo: memFree=23146532/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2781696 CPUtime=890.04 cores=0,2,4,6
/proc/22427/stat : 22427 (java) S 22425 22427 21377 0 -1 4202496 13450 0 1 0 88845 159 0 0 20 0 20 0 340700886 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 140734821944592 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22427/statm: 695424 341771 2279 9 0 686117 0
[pid=22427/tid=22429] ppid=22425 vsize=2781696 CPUtime=864.51 cores=0,2,4,6
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21377 0 -1 4202560 3025 0 1 0 86431 20 0 0 20 0 20 0 340700887 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888699004088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=2781696 CPUtime=0.57 cores=0,2,4,6
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21377 0 -1 4202560 375 0 0 0 31 26 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888565914280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=2781696 CPUtime=0.38 cores=0,2,4,6
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21377 0 -1 4202560 285 0 0 0 20 18 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888564861736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=2781696 CPUtime=0.3 cores=0,2,4,6
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21377 0 -1 4202560 214 0 0 0 17 13 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888563809192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=2781696 CPUtime=0.52 cores=0,2,4,6
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21377 0 -1 4202560 424 0 0 0 27 25 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888562756648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=2781696 CPUtime=0.29 cores=0,2,4,6
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21377 0 -1 4202560 299 0 0 0 17 12 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888359893160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=2781696 CPUtime=0.34 cores=0,2,4,6
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21377 0 -1 4202560 199 0 0 0 20 14 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888358840616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22436] ppid=22425 vsize=2781696 CPUtime=0.33 cores=0,2,4,6
/proc/22427/task/22436/stat : 22436 (java) S 22425 22427 21377 0 -1 4202560 230 0 0 0 17 16 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888357788072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22437] ppid=22425 vsize=2781696 CPUtime=0.39 cores=0,2,4,6
/proc/22427/task/22437/stat : 22437 (java) S 22425 22427 21377 0 -1 4202560 373 0 0 0 22 17 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888356735528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22438] ppid=22425 vsize=2781696 CPUtime=18.9 cores=0,2,4,6
/proc/22427/task/22438/stat : 22438 (java) R 22425 22427 21377 0 -1 4202560 110 0 0 0 1888 2 0 0 20 0 20 0 340700890 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888344537704 229355569444 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22439] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22439/stat : 22439 (java) S 22425 22427 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340700891 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888343484024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22440] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22440/stat : 22440 (java) S 22425 22427 21377 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 340700891 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888342431368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22441] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22441/stat : 22441 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888341380112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22442] ppid=22425 vsize=2781696 CPUtime=0.5 cores=0,2,4,6
/proc/22427/task/22442/stat : 22442 (java) S 22425 22427 21377 0 -1 4202560 3745 0 0 0 50 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888340326456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22443] ppid=22425 vsize=2781696 CPUtime=0.5 cores=0,2,4,6
/proc/22427/task/22443/stat : 22443 (java) S 22425 22427 21377 0 -1 4202560 2926 0 0 0 50 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888339273912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22444] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22444/stat : 22444 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888338221560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22445] ppid=22425 vsize=2781696 CPUtime=0.3 cores=0,2,4,6
/proc/22427/task/22445/stat : 22445 (java) S 22425 22427 21377 0 -1 4202560 52 0 0 0 18 12 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888337169224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22446] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22446/stat : 22446 (java) S 22425 22427 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340700934 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888336114984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22538] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22538/stat : 22538 (java) S 22425 22427 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340789491 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888335061768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 890.04
Current children cumulated vsize (KiB) 2781696
[startup+886.707 s]
/proc/loadavg: 2.04 2.05 2.02 3/212 22538
/proc/meminfo: memFree=23146532/32873852 swapFree=6856/6856
[pid=22427] ppid=22425 vsize=2781696 CPUtime=890.14 cores=0,2,4,6
/proc/22427/stat : 22427 (java) S 22425 22427 21377 0 -1 4202496 13450 0 1 0 88855 159 0 0 20 0 20 0 340700886 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 140734821944592 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22427/statm: 695424 341771 2279 9 0 686117 0
[pid=22427/tid=22429] ppid=22425 vsize=2781696 CPUtime=864.51 cores=0,2,4,6
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21377 0 -1 4202560 3025 0 1 0 86431 20 0 0 20 0 20 0 340700887 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888699004088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=2781696 CPUtime=0.57 cores=0,2,4,6
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21377 0 -1 4202560 375 0 0 0 31 26 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888565914280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=2781696 CPUtime=0.38 cores=0,2,4,6
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21377 0 -1 4202560 285 0 0 0 20 18 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888564861736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=2781696 CPUtime=0.3 cores=0,2,4,6
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21377 0 -1 4202560 214 0 0 0 17 13 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888563809192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=2781696 CPUtime=0.52 cores=0,2,4,6
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21377 0 -1 4202560 424 0 0 0 27 25 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888562756648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=2781696 CPUtime=0.29 cores=0,2,4,6
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21377 0 -1 4202560 299 0 0 0 17 12 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888359893160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=2781696 CPUtime=0.34 cores=0,2,4,6
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21377 0 -1 4202560 199 0 0 0 20 14 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888358840616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22436] ppid=22425 vsize=2781696 CPUtime=0.33 cores=0,2,4,6
/proc/22427/task/22436/stat : 22436 (java) S 22425 22427 21377 0 -1 4202560 230 0 0 0 17 16 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888357788072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22437] ppid=22425 vsize=2781696 CPUtime=0.39 cores=0,2,4,6
/proc/22427/task/22437/stat : 22437 (java) S 22425 22427 21377 0 -1 4202560 373 0 0 0 22 17 0 0 20 0 20 0 340700889 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888356735528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22438] ppid=22425 vsize=2781696 CPUtime=19 cores=0,2,4,6
/proc/22427/task/22438/stat : 22438 (java) R 22425 22427 21377 0 -1 4202560 110 0 0 0 1898 2 0 0 20 0 20 0 340700890 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888344537704 229355569452 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22427/tid=22439] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22439/stat : 22439 (java) S 22425 22427 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340700891 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888343484024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22440] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22440/stat : 22440 (java) S 22425 22427 21377 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 340700891 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888342431368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22441] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22441/stat : 22441 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888341380112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22442] ppid=22425 vsize=2781696 CPUtime=0.5 cores=0,2,4,6
/proc/22427/task/22442/stat : 22442 (java) S 22425 22427 21377 0 -1 4202560 3745 0 0 0 50 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888340326456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22427/tid=22443] ppid=22425 vsize=2781696 CPUtime=0.5 cores=0,2,4,6
/proc/22427/task/22443/stat : 22443 (java) S 22425 22427 21377 0 -1 4202560 2926 0 0 0 50 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888339273912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22444] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22444/stat : 22444 (java) S 22425 22427 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888338221560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22445] ppid=22425 vsize=2781696 CPUtime=0.3 cores=0,2,4,6
/proc/22427/task/22445/stat : 22445 (java) S 22425 22427 21377 0 -1 4202560 52 0 0 0 18 12 0 0 20 0 20 0 340700893 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888337169224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22427/tid=22446] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22446/stat : 22446 (java) S 22425 22427 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340700934 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888336114984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22427/tid=22538] ppid=22425 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22538/stat : 22538 (java) S 22425 22427 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340789491 2848456704 341771 33554432000 1073741824 1073778376 140734821953456 139888335061768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 890.14
Current children cumulated vsize (KiB) 2781696
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22427 and gives
# childrusage.ru_utime.tv_sec=886
# childrusage.ru_utime.tv_usec=307260
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=893712
# CPU time returned by wait4() is 888.201
# while last known CPU time is 890.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 886.72
CPU time (s): 890.14
CPU user time (s): 888.55
CPU system time (s): 1.59
CPU usage (%): 100.386
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 886.307
system time used= 1.89371
maximum resident set size= 1367092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13456
page faults= 1
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19271
involuntary context switches= 4082
runsolver used 4.00939 second user time and 9.67653 second system time
The end