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-4081820-1465252926/watcher-4081820-1465252926 -o /tmp/evaluation-result-4081820-1465252926/solver-4081820-1465252926 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17743 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081820-1465252926.opb
pid=18452
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.88 4.05 3.16 4/197 18455
/proc/meminfo: memFree=30185236/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 1285 0 0 0 0 0 0 0 20 0 2 0 107224975 95129600 918 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 23225 922 699 9 0 16769 0
[pid=18455/tid=18456] ppid=18452 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) D 18452 18455 17726 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 107224976 95129600 927 33554432000 1073741824 1073778376 140735972522816 140197691711016 213410475303 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0
[startup+0.100167 s]
/proc/loadavg: 3.88 4.05 3.16 4/197 18455
/proc/meminfo: memFree=30185236/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 4444 0 1 0 10 0 0 0 20 0 18 0 107224975 9787879424 6065 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 2389619 6066 2142 9 0 2380296 0
[pid=18455/tid=18456] ppid=18452 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) R 18452 18455 17726 0 -1 4202560 2386 0 1 0 7 0 0 0 20 0 18 0 107224976 9787879424 6066 33554432000 1073741824 1073778376 140735972522816 140197691712776 213423023373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200268 s]
/proc/loadavg: 3.88 4.05 3.16 4/197 18455
/proc/meminfo: memFree=30185236/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 4935 0 1 0 24 1 0 0 20 0 22 0 107224975 10060525568 8031 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 2456183 8039 2217 9 0 2446860 0
[pid=18455/tid=18456] ppid=18452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) S 18452 18455 17726 0 -1 4202560 2410 0 1 0 16 0 0 0 20 0 22 0 107224976 10060525568 8042 33554432000 1073741824 1073778376 140735972522816 140197691716472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824732
[startup+0.300266 s]
/proc/loadavg: 3.88 4.05 3.16 4/197 18455
/proc/meminfo: memFree=30185236/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 11033 0 1 0 63 2 0 0 20 0 22 0 107224975 10060525568 12140 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 2456183 12140 2234 9 0 2446860 0
[pid=18455/tid=18456] ppid=18452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) S 18452 18455 17726 0 -1 4202560 2410 0 1 0 16 0 0 0 20 0 22 0 107224976 10060525568 12140 33554432000 1073741824 1073778376 140735972522816 140197691716472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 9824732
[startup+0.700234 s]
/proc/loadavg: 3.88 4.05 3.16 4/197 18455
/proc/meminfo: memFree=30185236/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 15995 0 1 0 219 4 0 0 20 0 22 0 107224975 10060525568 25453 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 2456183 25453 2257 9 0 2446860 0
[pid=18455/tid=18456] ppid=18452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) S 18452 18455 17726 0 -1 4202560 2410 0 1 0 16 0 0 0 20 0 22 0 107224976 10060525568 25453 33554432000 1073741824 1073778376 140735972522816 140197691716472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9824732
[startup+1.50084 s]
/proc/loadavg: 3.88 4.05 3.16 5/216 18477
/proc/meminfo: memFree=30062472/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=9824732 CPUtime=4.03 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 21231 0 1 0 394 9 0 0 20 0 19 0 107224975 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 2456183 45522 2282 9 0 2446860 0
[pid=18455/tid=18456] ppid=18452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) S 18452 18455 17726 0 -1 4202560 2411 0 1 0 16 0 0 0 20 0 19 0 107224976 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197691716472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18458] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18458/stat : 18458 (java) S 18452 18455 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107224977 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197669816488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18459] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18459/stat : 18459 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107224977 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197668763944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18460] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18460/stat : 18460 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107224977 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197667711400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18461] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18461/stat : 18461 (java) S 18452 18455 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107224977 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197666658856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18462] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18462/stat : 18462 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107224977 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197329103528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18463] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18463/stat : 18463 (java) S 18452 18455 17726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107224977 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197328050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18464] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18464/stat : 18464 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107224977 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197326998440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18465] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18465/stat : 18465 (java) S 18452 18455 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107224977 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197325945896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18466] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18466/stat : 18466 (java) S 18452 18455 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107224978 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197313747048 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18467] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18467/stat : 18467 (java) S 18452 18455 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107224978 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197312693368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18468] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18468/stat : 18468 (java) S 18452 18455 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107224978 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197311640712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18469] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18469/stat : 18469 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107224980 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197310589456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18470] ppid=18452 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/18455/task/18470/stat : 18470 (java) S 18452 18455 17726 0 -1 4202560 9240 0 0 0 103 2 0 0 20 0 19 0 107224980 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197309536824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18471] ppid=18452 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/18455/task/18471/stat : 18471 (java) S 18452 18455 17726 0 -1 4202560 8135 0 0 0 94 2 0 0 20 0 19 0 107224980 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197308484280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18472] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18472/stat : 18472 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107224980 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197307431928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18473] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18473/stat : 18473 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107224980 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197306379592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18477] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18477/stat : 18477 (java) S 18452 18455 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107224994 10060525568 45522 33554432000 1073741824 1073778376 140735972522816 140197302166696 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9824732
[startup+3.101 s]
/proc/loadavg: 3.88 4.05 3.16 6/219 18483
/proc/meminfo: memFree=29974136/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=9824732 CPUtime=7.82 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 30950 0 1 0 768 14 0 0 20 0 22 0 107224975 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 2456183 83735 2282 9 0 2446860 0
[pid=18455/tid=18456] ppid=18452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) S 18452 18455 17726 0 -1 4202560 2411 0 1 0 16 0 0 0 20 0 22 0 107224976 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197691716472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18458] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18458/stat : 18458 (java) S 18452 18455 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 107224977 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197669816488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18459] ppid=18452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18455/task/18459/stat : 18459 (java) S 18452 18455 17726 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 107224977 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197668763944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18460] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18460/stat : 18460 (java) S 18452 18455 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 107224977 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197667711400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18461] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18461/stat : 18461 (java) S 18452 18455 17726 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 107224977 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197666658856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18462] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18462/stat : 18462 (java) S 18452 18455 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 107224977 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197329103528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18463] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18463/stat : 18463 (java) S 18452 18455 17726 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 107224977 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197328050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18464] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18464/stat : 18464 (java) S 18452 18455 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 107224977 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197326998440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18465] ppid=18452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18455/task/18465/stat : 18465 (java) S 18452 18455 17726 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 107224977 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197325945896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18466] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18466/stat : 18466 (java) S 18452 18455 17726 0 -1 4202560 184 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197313747048 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18467] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18467/stat : 18467 (java) S 18452 18455 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197312693368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18468] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18468/stat : 18468 (java) S 18452 18455 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197311640712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18469] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18469/stat : 18469 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197310589456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18470] ppid=18452 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/18455/task/18470/stat : 18470 (java) S 18452 18455 17726 0 -1 4202560 16140 0 0 0 168 3 0 0 20 0 22 0 107224980 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197309536824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18471] ppid=18452 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/18455/task/18471/stat : 18471 (java) S 18452 18455 17726 0 -1 4202560 10654 0 0 0 123 2 0 0 20 0 22 0 107224980 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197308484280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18472] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18472/stat : 18472 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197307431928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18473] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18473/stat : 18473 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197306379592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18477] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18477/stat : 18477 (java) S 18452 18455 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107224994 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197302166696 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18481] ppid=18452 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/18455/task/18481/stat : 18481 (java) R 18452 18455 17726 0 -1 4202560 12 0 0 0 136 0 0 0 20 0 22 0 107225144 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197305315824 140197547759987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18482] ppid=18452 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/18455/task/18482/stat : 18482 (java) R 18452 18455 17726 0 -1 4202560 60 0 0 0 134 1 0 0 20 0 22 0 107225144 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197303216976 140197547727094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18483] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18483/stat : 18483 (java) S 18452 18455 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107225144 10060525568 83735 33554432000 1073741824 1073778376 140735972522816 140197304271784 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.82
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 3.89 4.05 3.17 5/219 18483
/proc/meminfo: memFree=29460648/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=9824732 CPUtime=14.54 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 33731 0 1 0 1430 24 0 0 20 0 22 0 107224975 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 2456183 173887 2282 9 0 2446860 0
[pid=18455/tid=18456] ppid=18452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) S 18452 18455 17726 0 -1 4202560 2411 0 1 0 16 0 0 0 20 0 22 0 107224976 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197691716472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18458] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18458/stat : 18458 (java) S 18452 18455 17726 0 -1 4202560 82 0 0 0 2 0 0 0 20 0 22 0 107224977 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197669816488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18459] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18459/stat : 18459 (java) S 18452 18455 17726 0 -1 4202560 90 0 0 0 2 0 0 0 20 0 22 0 107224977 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197668763944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18460] ppid=18452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18455/task/18460/stat : 18460 (java) S 18452 18455 17726 0 -1 4202560 62 0 0 0 1 0 0 0 20 0 22 0 107224977 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197667711400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18461] ppid=18452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18455/task/18461/stat : 18461 (java) S 18452 18455 17726 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 22 0 107224977 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197666658856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18462] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18462/stat : 18462 (java) S 18452 18455 17726 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 22 0 107224977 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197329103528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18463] ppid=18452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18455/task/18463/stat : 18463 (java) S 18452 18455 17726 0 -1 4202560 82 0 0 0 0 1 0 0 20 0 22 0 107224977 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197328050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18464] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18464/stat : 18464 (java) S 18452 18455 17726 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 22 0 107224977 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197326998440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18465] ppid=18452 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18455/task/18465/stat : 18465 (java) S 18452 18455 17726 0 -1 4202560 95 0 0 0 2 1 0 0 20 0 22 0 107224977 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197325945896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18466] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18466/stat : 18466 (java) S 18452 18455 17726 0 -1 4202560 436 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197313747048 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18467] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18467/stat : 18467 (java) S 18452 18455 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 173887 33554432000 1073741824 1073778376 140735972522816 140197312693368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18468] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=18455/tid=18469] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18469/stat : 18469 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 186175 33554432000 1073741824 1073778376 140735972522816 140197310589456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18470] ppid=18452 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18455/task/18470/stat : 18470 (java) S 18452 18455 17726 0 -1 4202560 16142 0 0 0 171 3 0 0 20 0 22 0 107224980 10060525568 186175 33554432000 1073741824 1073778376 140735972522816 140197309536824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18471] ppid=18452 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/18455/task/18471/stat : 18471 (java) S 18452 18455 17726 0 -1 4202560 12236 0 0 0 146 3 0 0 20 0 22 0 107224980 10060525568 186175 33554432000 1073741824 1073778376 140735972522816 140197308484280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18472] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18472/stat : 18472 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 186175 33554432000 1073741824 1073778376 140735972522816 140197307431928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18473] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18473/stat : 18473 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 186175 33554432000 1073741824 1073778376 140735972522816 140197306379592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18477] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18477/stat : 18477 (java) S 18452 18455 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107224994 10060525568 186175 33554432000 1073741824 1073778376 140735972522816 140197302166696 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18481] ppid=18452 vsize=9824732 CPUtime=4.62 cores=1,3,5,7
/proc/18455/task/18481/stat : 18481 (java) R 18452 18455 17726 0 -1 4202560 19 0 0 0 462 0 0 0 20 0 22 0 107225144 10060525568 186175 33554432000 1073741824 1073778376 140735972522816 140197305322856 140197548010429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18482] ppid=18452 vsize=9824732 CPUtime=4.59 cores=1,3,5,7
/proc/18455/task/18482/stat : 18482 (java) R 18452 18455 17726 0 -1 4202560 518 0 0 0 452 7 0 0 20 0 22 0 107225144 10060525568 186175 33554432000 1073741824 1073778376 140735972522816 140197303216616 140197547709208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18483] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18483/stat : 18483 (java) S 18452 18455 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107225144 10060525568 186175 33554432000 1073741824 1073778376 140735972522816 140197304271784 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 14.73
Current children cumulated vsize (KiB) 9824732
[startup+7.20088 s]
/proc/loadavg: 3.89 4.05 3.17 5/219 18483
/proc/meminfo: memFree=29165552/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=9824732 CPUtime=16.38 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 34274 0 1 0 1606 32 0 0 20 0 22 0 107224975 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 2456183 279668 2282 9 0 2446860 0
[pid=18455/tid=18456] ppid=18452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) S 18452 18455 17726 0 -1 4202560 2411 0 1 0 16 0 0 0 20 0 22 0 107224976 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197691716472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18458] ppid=18452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18455/task/18458/stat : 18458 (java) S 18452 18455 17726 0 -1 4202560 92 0 0 0 3 1 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197669816488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18459] ppid=18452 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18455/task/18459/stat : 18459 (java) S 18452 18455 17726 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197668763944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18460] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18460/stat : 18460 (java) S 18452 18455 17726 0 -1 4202560 64 0 0 0 2 0 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197667711400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18461] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18461/stat : 18461 (java) S 18452 18455 17726 0 -1 4202560 61 0 0 0 2 0 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197666658856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18462] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18462/stat : 18462 (java) S 18452 18455 17726 0 -1 4202560 55 0 0 0 2 0 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197329103528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18463] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18463/stat : 18463 (java) S 18452 18455 17726 0 -1 4202560 82 0 0 0 1 1 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197328050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18464] ppid=18452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18455/task/18464/stat : 18464 (java) S 18452 18455 17726 0 -1 4202560 67 0 0 0 1 0 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197326998440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18465] ppid=18452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18455/task/18465/stat : 18465 (java) S 18452 18455 17726 0 -1 4202560 103 0 0 0 3 1 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197325945896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18466] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18466/stat : 18466 (java) S 18452 18455 17726 0 -1 4202560 740 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197313747048 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18467] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18467/stat : 18467 (java) S 18452 18455 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197312693368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18468] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18468/stat : 18468 (java) S 18452 18455 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197311640712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18469] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18469/stat : 18469 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197310589456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18470] ppid=18452 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18455/task/18470/stat : 18470 (java) S 18452 18455 17726 0 -1 4202560 16142 0 0 0 171 3 0 0 20 0 22 0 107224980 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197309536824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18471] ppid=18452 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/18455/task/18471/stat : 18471 (java) S 18452 18455 17726 0 -1 4202560 12236 0 0 0 146 3 0 0 20 0 22 0 107224980 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197308484280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18472] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18472/stat : 18472 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197307431928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18473] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18473/stat : 18473 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197306379592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18477] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18477/stat : 18477 (java) S 18452 18455 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107224994 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197302166696 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18481] ppid=18452 vsize=9824732 CPUtime=5.39 cores=1,3,5,7
/proc/18455/task/18481/stat : 18481 (java) R 18452 18455 17726 0 -1 4202560 23 0 0 0 539 0 0 0 20 0 22 0 107225144 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197305324608 140197547692737 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18482] ppid=18452 vsize=9824732 CPUtime=5.37 cores=1,3,5,7
/proc/18455/task/18482/stat : 18482 (java) R 18452 18455 17726 0 -1 4202560 688 0 0 0 525 12 0 0 20 0 22 0 107225144 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197303217368 140197547725448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18483] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18483/stat : 18483 (java) S 18452 18455 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107225144 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197304271784 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 16.38
Current children cumulated vsize (KiB) 9824732
[startup+7.60092 s]
/proc/loadavg: 3.89 4.05 3.17 5/219 18483
/proc/meminfo: memFree=29165552/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=9824732 CPUtime=17.18 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 34274 0 1 0 1686 32 0 0 20 0 22 0 107224975 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 2456183 279668 2282 9 0 2446860 0
[pid=18455/tid=18456] ppid=18452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) S 18452 18455 17726 0 -1 4202560 2411 0 1 0 16 0 0 0 20 0 22 0 107224976 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197691716472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18458] ppid=18452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18455/task/18458/stat : 18458 (java) S 18452 18455 17726 0 -1 4202560 92 0 0 0 3 1 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197669816488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18459] ppid=18452 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18455/task/18459/stat : 18459 (java) S 18452 18455 17726 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197668763944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18460] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18460/stat : 18460 (java) S 18452 18455 17726 0 -1 4202560 64 0 0 0 2 0 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197667711400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18461] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18461/stat : 18461 (java) S 18452 18455 17726 0 -1 4202560 61 0 0 0 2 0 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197666658856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18462] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18462/stat : 18462 (java) S 18452 18455 17726 0 -1 4202560 55 0 0 0 2 0 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197329103528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18463] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18463/stat : 18463 (java) S 18452 18455 17726 0 -1 4202560 82 0 0 0 1 1 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197328050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18464] ppid=18452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18455/task/18464/stat : 18464 (java) S 18452 18455 17726 0 -1 4202560 67 0 0 0 1 0 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197326998440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18465] ppid=18452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18455/task/18465/stat : 18465 (java) S 18452 18455 17726 0 -1 4202560 103 0 0 0 3 1 0 0 20 0 22 0 107224977 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197325945896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18466] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18466/stat : 18466 (java) S 18452 18455 17726 0 -1 4202560 740 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197313747048 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18467] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18467/stat : 18467 (java) S 18452 18455 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197312693368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18468] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18468/stat : 18468 (java) S 18452 18455 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107224978 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197311640712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18469] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18469/stat : 18469 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197310589456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18470] ppid=18452 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18455/task/18470/stat : 18470 (java) S 18452 18455 17726 0 -1 4202560 16142 0 0 0 171 3 0 0 20 0 22 0 107224980 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197309536824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18471] ppid=18452 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/18455/task/18471/stat : 18471 (java) S 18452 18455 17726 0 -1 4202560 12236 0 0 0 146 3 0 0 20 0 22 0 107224980 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197308484280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18472] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18472/stat : 18472 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197307431928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18473] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18473/stat : 18473 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107224980 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197306379592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18477] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18477/stat : 18477 (java) S 18452 18455 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107224994 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197302166696 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18481] ppid=18452 vsize=9824732 CPUtime=5.79 cores=1,3,5,7
/proc/18455/task/18481/stat : 18481 (java) R 18452 18455 17726 0 -1 4202560 23 0 0 0 579 0 0 0 20 0 22 0 107225144 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197305324608 140197547759443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18482] ppid=18452 vsize=9824732 CPUtime=5.76 cores=1,3,5,7
/proc/18455/task/18482/stat : 18482 (java) R 18452 18455 17726 0 -1 4202560 688 0 0 0 564 12 0 0 20 0 22 0 107225144 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197303217368 140197547727427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18483] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18483/stat : 18483 (java) S 18452 18455 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107225144 10060525568 279668 33554432000 1073741824 1073778376 140735972522816 140197304271784 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 17.18
Current children cumulated vsize (KiB) 9824732
[startup+7.70097 s]
/proc/loadavg: 3.89 4.05 3.17 4/216 18486
/proc/meminfo: memFree=28889136/32872528 swapFree=16636/1570076
[pid=18455] ppid=18452 vsize=9824732 CPUtime=17.3 cores=1,3,5,7
/proc/18455/stat : 18455 (java) S 18452 18455 17726 0 -1 4202496 34274 0 1 0 1697 33 0 0 20 0 19 0 107224975 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140735972513952 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18455/statm: 2456183 279657 2282 9 0 2446860 0
[pid=18455/tid=18456] ppid=18452 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/18455/task/18456/stat : 18456 (java) R 18452 18455 17726 0 -1 4202560 2411 0 1 0 17 0 0 0 20 0 19 0 107224976 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197691715048 213423012920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18458] ppid=18452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18455/task/18458/stat : 18458 (java) S 18452 18455 17726 0 -1 4202560 92 0 0 0 3 1 0 0 20 0 19 0 107224977 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197669816488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18459] ppid=18452 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18455/task/18459/stat : 18459 (java) S 18452 18455 17726 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 19 0 107224977 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197668763944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18460] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18460/stat : 18460 (java) S 18452 18455 17726 0 -1 4202560 64 0 0 0 2 0 0 0 20 0 19 0 107224977 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197667711400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18461] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18461/stat : 18461 (java) S 18452 18455 17726 0 -1 4202560 61 0 0 0 2 0 0 0 20 0 19 0 107224977 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197666658856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18462] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18462/stat : 18462 (java) S 18452 18455 17726 0 -1 4202560 55 0 0 0 2 0 0 0 20 0 19 0 107224977 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197329103528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18463] ppid=18452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18455/task/18463/stat : 18463 (java) S 18452 18455 17726 0 -1 4202560 82 0 0 0 1 1 0 0 20 0 19 0 107224977 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197328050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18464] ppid=18452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18455/task/18464/stat : 18464 (java) S 18452 18455 17726 0 -1 4202560 67 0 0 0 1 0 0 0 20 0 19 0 107224977 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197326998440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18465] ppid=18452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18455/task/18465/stat : 18465 (java) S 18452 18455 17726 0 -1 4202560 103 0 0 0 3 1 0 0 20 0 19 0 107224977 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197325945896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18466] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18466/stat : 18466 (java) S 18452 18455 17726 0 -1 4202560 740 0 0 0 0 0 0 0 20 0 19 0 107224978 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197313747048 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18455/tid=18467] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18467/stat : 18467 (java) S 18452 18455 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107224978 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197312693368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18468] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18468/stat : 18468 (java) S 18452 18455 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107224978 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197311640712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18469] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18469/stat : 18469 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107224980 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197310589456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18470] ppid=18452 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18455/task/18470/stat : 18470 (java) R 18452 18455 17726 0 -1 4202560 16142 0 0 0 171 3 0 0 20 0 19 0 107224980 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197309536824 213423022517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18471] ppid=18452 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/18455/task/18471/stat : 18471 (java) S 18452 18455 17726 0 -1 4202560 12236 0 0 0 147 3 0 0 20 0 19 0 107224980 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197308484280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18455/tid=18472] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18472/stat : 18472 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107224980 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197307431928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18455/tid=18473] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18473/stat : 18473 (java) S 18452 18455 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107224980 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197306379592 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18455/tid=18477] ppid=18452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18455/task/18477/stat : 18477 (java) S 18452 18455 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107224994 10060525568 279657 33554432000 1073741824 1073778376 140735972522816 140197302166696 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 17.3
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 7.75495
CPU time (s): 17.4104
CPU user time (s): 17.0194
CPU system time (s): 0.39094
CPU usage (%): 224.506
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0194
system time used= 0.39094
maximum resident set size= 1118672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34282
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 800
involuntary context switches= 367
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052991 second user time and 0.067989 second system time
The end