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-4081640-1465268000/watcher-4081640-1465268000 -o /tmp/evaluation-result-4081640-1465268000/solver-4081640-1465268000 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465261736-14347 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081640-1465268000.opb
pid=16799
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: 3.95 4.00 3.99 4/197 16802
/proc/meminfo: memFree=29770744/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/16802/stat : 16802 (java) R 16799 16802 14331 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 108731153 5767168 59 33554432000 1073741824 1073778376 140734684017536 140734684014664 243756240176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2303 66 53 9 0 35 0
[startup+0.10006 s]
/proc/loadavg: 3.95 4.00 3.99 4/197 16802
/proc/meminfo: memFree=29770744/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/16802/stat : 16802 (java) S 16799 16802 14331 0 -1 4202496 4423 0 1 0 8 0 0 0 20 0 18 0 108731153 9787879424 6053 33554432000 1073741824 1073778376 140734684017536 140734684008672 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2389619 6053 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200222 s]
/proc/loadavg: 3.95 4.00 3.99 4/197 16802
/proc/meminfo: memFree=29770744/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/16802/stat : 16802 (java) S 16799 16802 14331 0 -1 4202496 4685 0 1 0 23 1 0 0 20 0 18 0 108731153 9787879424 6766 33554432000 1073741824 1073778376 140734684017536 140734684008672 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2389619 6766 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300216 s]
/proc/loadavg: 3.95 4.00 3.99 4/197 16802
/proc/meminfo: memFree=29770744/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/16802/stat : 16802 (java) S 16799 16802 14331 0 -1 4202496 5564 0 1 0 45 1 0 0 20 0 18 0 108731153 9787879424 8370 33554432000 1073741824 1073778376 140734684017536 140734684008672 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2389619 8370 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700256 s]
/proc/loadavg: 3.95 4.00 3.99 4/197 16802
/proc/meminfo: memFree=29770744/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=9759196 CPUtime=1.3 cores=0,2,4,6
/proc/16802/stat : 16802 (java) S 16799 16802 14331 0 -1 4202496 23391 0 1 0 126 4 0 0 20 0 19 0 108731153 9993416704 23330 33554432000 1073741824 1073778376 140734684017536 140734684008672 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2439799 23330 2254 9 0 2430476 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9759196
[startup+1.50073 s]
/proc/loadavg: 3.87 3.98 3.99 3/216 16827
/proc/meminfo: memFree=29677752/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/16802/stat : 16802 (java) S 16799 16802 14331 0 -1 4202496 24344 0 1 0 198 6 0 0 20 0 22 0 108731153 10060525568 26900 33554432000 1073741824 1073778376 140734684017536 140734684008672 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2456183 26900 2264 9 0 2446860 0
[pid=16802/tid=16804] ppid=16799 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/16802/task/16804/stat : 16804 (java) S 16799 16802 14331 0 -1 4202560 2492 0 1 0 34 2 0 0 20 0 22 0 108731154 10060525568 26900 33554432000 1073741824 1073778376 140734684017536 140718012638072 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16805] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16805/stat : 16805 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 26900 33554432000 1073741824 1073778376 140734684017536 140717974129448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16806] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16806/stat : 16806 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 26908 33554432000 1073741824 1073778376 140734684017536 140717973076648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16807] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16807/stat : 16807 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 26925 33554432000 1073741824 1073778376 140734684017536 140717972024360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16808] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16808/stat : 16808 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717970971560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16809] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16809/stat : 16809 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717969918248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16810] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16810/stat : 16810 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717968865448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16811] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16811/stat : 16811 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717967813160 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16812] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16812/stat : 16812 (java) S 16799 16802 14331 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717966760360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16813] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16813/stat : 16813 (java) S 16799 16802 14331 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108731156 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717835913960 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16814] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16814/stat : 16814 (java) S 16799 16802 14331 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717834860024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16815] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16815/stat : 16815 (java) S 16799 16802 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717833807624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16816] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16816/stat : 16816 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717832756112 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16817] ppid=16799 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/16802/task/16817/stat : 16817 (java) R 16799 16802 14331 0 -1 4202560 9547 0 0 0 67 2 0 0 20 0 22 0 108731159 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717831694512 243765097145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16818] ppid=16799 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/16802/task/16818/stat : 16818 (java) R 16799 16802 14331 0 -1 4202560 10954 0 0 0 68 2 0 0 20 0 22 0 108731159 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717830649912 140718015239153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16819] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16819/stat : 16819 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717829597816 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16820] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16820/stat : 16820 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140717828545224 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16824] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16824/stat : 16824 (java) S 16799 16802 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 108731191 10060525568 26929 33554432000 1073741824 1073778376 140734684017536 140716682495528 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 3.87 3.98 3.99 7/219 16830
/proc/meminfo: memFree=29546360/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=9824732 CPUtime=6.9 cores=0,2,4,6
/proc/16802/stat : 16802 (java) S 16799 16802 14331 0 -1 4202496 32389 0 1 0 674 16 0 0 20 0 22 0 108731153 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140734684008672 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2456183 78285 2293 9 0 2446860 0
[pid=16802/tid=16804] ppid=16799 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/16802/task/16804/stat : 16804 (java) S 16799 16802 14331 0 -1 4202560 2492 0 1 0 34 2 0 0 20 0 22 0 108731154 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140718012638072 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16805] ppid=16799 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16802/task/16805/stat : 16805 (java) S 16799 16802 14331 0 -1 4202560 111 0 0 0 2 1 0 0 20 0 22 0 108731155 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717974129448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16806] ppid=16799 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/16802/task/16806/stat : 16806 (java) S 16799 16802 14331 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 22 0 108731155 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717973076648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16807] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16807/stat : 16807 (java) S 16799 16802 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717972024360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16808] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16808/stat : 16808 (java) S 16799 16802 14331 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717970971560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16809] ppid=16799 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/16802/task/16809/stat : 16809 (java) S 16799 16802 14331 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 108731155 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717969918248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16810] ppid=16799 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16802/task/16810/stat : 16810 (java) S 16799 16802 14331 0 -1 4202560 109 0 0 0 1 2 0 0 20 0 22 0 108731155 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717968865448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16811] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16811/stat : 16811 (java) S 16799 16802 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108731155 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717967813160 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16812] ppid=16799 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16802/task/16812/stat : 16812 (java) S 16799 16802 14331 0 -1 4202560 110 0 0 0 2 1 0 0 20 0 22 0 108731155 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717966760360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16813] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16813/stat : 16813 (java) S 16799 16802 14331 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 108731156 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717835913960 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16814] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16814/stat : 16814 (java) S 16799 16802 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717834860024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16815] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16815/stat : 16815 (java) S 16799 16802 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717833807624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16816] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16816/stat : 16816 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717832756112 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16817] ppid=16799 vsize=9824732 CPUtime=1.51 cores=0,2,4,6
/proc/16802/task/16817/stat : 16817 (java) S 16799 16802 14331 0 -1 4202560 14553 0 0 0 148 3 0 0 20 0 22 0 108731159 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717831702712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16818] ppid=16799 vsize=9824732 CPUtime=1.45 cores=0,2,4,6
/proc/16802/task/16818/stat : 16818 (java) S 16799 16802 14331 0 -1 4202560 13366 0 0 0 143 2 0 0 20 0 22 0 108731159 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717830649912 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16819] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16819/stat : 16819 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717829597816 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16820] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16820/stat : 16820 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717828545224 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16824] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16824/stat : 16824 (java) S 16799 16802 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 108731191 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140716682495528 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16828] ppid=16799 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/16802/task/16828/stat : 16828 (java) R 16799 16802 14331 0 -1 4202560 10 0 0 0 164 0 0 0 20 0 22 0 108731292 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140717827224456 140717843295299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16829] ppid=16799 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/16802/task/16829/stat : 16829 (java) R 16799 16802 14331 0 -1 4202560 79 0 0 0 159 3 0 0 20 0 22 0 108731292 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140716684599240 140717843351993 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16830] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16830/stat : 16830 (java) S 16799 16802 14331 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108731292 10060525568 78285 33554432000 1073741824 1073778376 140734684017536 140716683547944 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 3.87 3.98 3.99 5/219 16830
/proc/meminfo: memFree=29052192/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=9824732 CPUtime=13.68 cores=0,2,4,6
/proc/16802/stat : 16802 (java) S 16799 16802 14331 0 -1 4202496 33490 0 1 0 1335 33 0 0 20 0 22 0 108731153 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140734684008672 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2456183 181366 2293 9 0 2446860 0
[pid=16802/tid=16804] ppid=16799 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/16802/task/16804/stat : 16804 (java) S 16799 16802 14331 0 -1 4202560 2492 0 1 0 34 2 0 0 20 0 22 0 108731154 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140718012638072 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16805] ppid=16799 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/16802/task/16805/stat : 16805 (java) S 16799 16802 14331 0 -1 4202560 146 0 0 0 4 3 0 0 20 0 22 0 108731155 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717974129448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16806] ppid=16799 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/16802/task/16806/stat : 16806 (java) S 16799 16802 14331 0 -1 4202560 153 0 0 0 10 3 0 0 20 0 22 0 108731155 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717973076648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16807] ppid=16799 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16802/task/16807/stat : 16807 (java) S 16799 16802 14331 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 22 0 108731155 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717972024360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16808] ppid=16799 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16802/task/16808/stat : 16808 (java) S 16799 16802 14331 0 -1 4202560 45 0 0 0 5 0 0 0 20 0 22 0 108731155 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717970971560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16809] ppid=16799 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/16802/task/16809/stat : 16809 (java) S 16799 16802 14331 0 -1 4202560 70 0 0 0 7 3 0 0 20 0 22 0 108731155 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717969918248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16810] ppid=16799 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/16802/task/16810/stat : 16810 (java) S 16799 16802 14331 0 -1 4202560 155 0 0 0 6 2 0 0 20 0 22 0 108731155 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717968865448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16811] ppid=16799 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/16802/task/16811/stat : 16811 (java) S 16799 16802 14331 0 -1 4202560 69 0 0 0 9 3 0 0 20 0 22 0 108731155 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717967813160 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16812] ppid=16799 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/16802/task/16812/stat : 16812 (java) S 16799 16802 14331 0 -1 4202560 147 0 0 0 6 3 0 0 20 0 22 0 108731155 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717966760360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16813] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16813/stat : 16813 (java) S 16799 16802 14331 0 -1 4202560 489 0 0 0 0 0 0 0 20 0 22 0 108731156 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717835913960 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16814] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16814/stat : 16814 (java) S 16799 16802 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717834860024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16815] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16815/stat : 16815 (java) S 16799 16802 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717833807624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16816] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16816/stat : 16816 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717832756112 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16817] ppid=16799 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/16802/task/16817/stat : 16817 (java) S 16799 16802 14331 0 -1 4202560 14553 0 0 0 153 3 0 0 20 0 22 0 108731159 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717831702712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16818] ppid=16799 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/16802/task/16818/stat : 16818 (java) S 16799 16802 14331 0 -1 4202560 13366 0 0 0 155 2 0 0 20 0 22 0 108731159 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717830649912 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16819] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16819/stat : 16819 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 181366 33554432000 1073741824 1073778376 140734684017536 140717829597816 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16820] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.77 3.93 4.00 5/219 16944
/proc/meminfo: memFree=19643960/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=9824732 CPUtime=1660.13 cores=0,2,4,6
/proc/16802/stat : 16802 (java) S 16799 16802 14331 0 -1 4202496 43282 0 1 0 165768 245 0 0 20 0 22 0 108731153 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140734684008672 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2456183 1009251 2302 9 0 2446860 0
[pid=16802/tid=16804] ppid=16799 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/16802/task/16804/stat : 16804 (java) S 16799 16802 14331 0 -1 4202560 2511 0 1 0 37 2 0 0 20 0 22 0 108731154 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140718012638072 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16805] ppid=16799 vsize=9824732 CPUtime=5.24 cores=0,2,4,6
/proc/16802/task/16805/stat : 16805 (java) S 16799 16802 14331 0 -1 4202560 942 0 0 0 502 22 0 0 20 0 22 0 108731155 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717974129448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16806] ppid=16799 vsize=9824732 CPUtime=5.59 cores=0,2,4,6
/proc/16802/task/16806/stat : 16806 (java) S 16799 16802 14331 0 -1 4202560 943 0 0 0 535 24 0 0 20 0 22 0 108731155 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717973076648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16807] ppid=16799 vsize=9824732 CPUtime=5.34 cores=0,2,4,6
/proc/16802/task/16807/stat : 16807 (java) S 16799 16802 14331 0 -1 4202560 616 0 0 0 513 21 0 0 20 0 22 0 108731155 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717972024360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16808] ppid=16799 vsize=9824732 CPUtime=5.5 cores=0,2,4,6
/proc/16802/task/16808/stat : 16808 (java) S 16799 16802 14331 0 -1 4202560 632 0 0 0 529 21 0 0 20 0 22 0 108731155 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717970971560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16809] ppid=16799 vsize=9824732 CPUtime=5.31 cores=0,2,4,6
/proc/16802/task/16809/stat : 16809 (java) S 16799 16802 14331 0 -1 4202560 912 0 0 0 503 28 0 0 20 0 22 0 108731155 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717969918248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16810] ppid=16799 vsize=9824732 CPUtime=4.98 cores=0,2,4,6
/proc/16802/task/16810/stat : 16810 (java) S 16799 16802 14331 0 -1 4202560 795 0 0 0 477 21 0 0 20 0 22 0 108731155 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717968865448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16811] ppid=16799 vsize=9824732 CPUtime=5.46 cores=0,2,4,6
/proc/16802/task/16811/stat : 16811 (java) S 16799 16802 14331 0 -1 4202560 898 0 0 0 523 23 0 0 20 0 22 0 108731155 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717967813160 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16812] ppid=16799 vsize=9824732 CPUtime=5.44 cores=0,2,4,6
/proc/16802/task/16812/stat : 16812 (java) S 16799 16802 14331 0 -1 4202560 961 0 0 0 517 27 0 0 20 0 22 0 108731155 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717966760360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16813] ppid=16799 vsize=9824732 CPUtime=6.33 cores=0,2,4,6
/proc/16802/task/16813/stat : 16813 (java) S 16799 16802 14331 0 -1 4202560 2966 0 0 0 626 7 0 0 20 0 22 0 108731156 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717835913960 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16814] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16814/stat : 16814 (java) S 16799 16802 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717834860024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16815] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16815/stat : 16815 (java) S 16799 16802 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717833807624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16816] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16816/stat : 16816 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717832756112 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16817] ppid=16799 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/16802/task/16817/stat : 16817 (java) S 16799 16802 14331 0 -1 4202560 14555 0 0 0 157 3 0 0 20 0 22 0 108731159 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717831702712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16818] ppid=16799 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/16802/task/16818/stat : 16818 (java) S 16799 16802 14331 0 -1 4202560 13381 0 0 0 217 2 0 0 20 0 22 0 108731159 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717830649912 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16819] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16819/stat : 16819 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717829597816 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16820] ppid=16799 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/16802/task/16820/stat : 16820 (java) S 16799 16802 14331 0 -1 4202560 47 0 0 0 14 15 0 0 20 0 22 0 108731159 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717828545224 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16824] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16824/stat : 16824 (java) S 16799 16802 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 108731191 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140716682495528 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16828] ppid=16799 vsize=9824732 CPUtime=803.39 cores=0,2,4,6
/proc/16802/task/16828/stat : 16828 (java) R 16799 16802 14331 0 -1 4202560 91 0 0 0 80324 15 0 0 20 0 22 0 108731292 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140717827215264 140717843321500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16829] ppid=16799 vsize=9824732 CPUtime=803.33 cores=0,2,4,6
/proc/16802/task/16829/stat : 16829 (java) R 16799 16802 14331 0 -1 4202560 1671 0 0 0 80291 42 0 0 20 0 22 0 108731292 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140716684597920 140717843206931 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16830] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16830/stat : 16830 (java) S 16799 16802 14331 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108731292 10060525568 1009251 33554432000 1073741824 1073778376 140734684017536 140716683547944 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1660.13
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 3.66 3.86 3.97 5/219 16945
/proc/meminfo: memFree=19475596/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=9824732 CPUtime=1781.79 cores=0,2,4,6
/proc/16802/stat : 16802 (java) S 16799 16802 14331 0 -1 4202496 43493 0 1 0 177924 255 0 0 20 0 22 0 108731153 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140734684008672 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2456183 1051226 2302 9 0 2446860 0
[pid=16802/tid=16804] ppid=16799 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/16802/task/16804/stat : 16804 (java) S 16799 16802 14331 0 -1 4202560 2512 0 1 0 37 2 0 0 20 0 22 0 108731154 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140718012638072 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16805] ppid=16799 vsize=9824732 CPUtime=5.63 cores=0,2,4,6
/proc/16802/task/16805/stat : 16805 (java) S 16799 16802 14331 0 -1 4202560 973 0 0 0 540 23 0 0 20 0 22 0 108731155 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717974129448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16806] ppid=16799 vsize=9824732 CPUtime=5.96 cores=0,2,4,6
/proc/16802/task/16806/stat : 16806 (java) S 16799 16802 14331 0 -1 4202560 956 0 0 0 571 25 0 0 20 0 22 0 108731155 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717973076648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16807] ppid=16799 vsize=9824732 CPUtime=5.76 cores=0,2,4,6
/proc/16802/task/16807/stat : 16807 (java) S 16799 16802 14331 0 -1 4202560 637 0 0 0 554 22 0 0 20 0 22 0 108731155 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717972024360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16808] ppid=16799 vsize=9824732 CPUtime=5.85 cores=0,2,4,6
/proc/16802/task/16808/stat : 16808 (java) S 16799 16802 14331 0 -1 4202560 653 0 0 0 563 22 0 0 20 0 22 0 108731155 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717970971560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16809] ppid=16799 vsize=9824732 CPUtime=5.8 cores=0,2,4,6
/proc/16802/task/16809/stat : 16809 (java) S 16799 16802 14331 0 -1 4202560 939 0 0 0 551 29 0 0 20 0 22 0 108731155 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717969918248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16810] ppid=16799 vsize=9824732 CPUtime=5.4 cores=0,2,4,6
/proc/16802/task/16810/stat : 16810 (java) S 16799 16802 14331 0 -1 4202560 810 0 0 0 518 22 0 0 20 0 22 0 108731155 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717968865448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16811] ppid=16799 vsize=9824732 CPUtime=5.81 cores=0,2,4,6
/proc/16802/task/16811/stat : 16811 (java) S 16799 16802 14331 0 -1 4202560 910 0 0 0 558 23 0 0 20 0 22 0 108731155 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717967813160 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16812] ppid=16799 vsize=9824732 CPUtime=5.81 cores=0,2,4,6
/proc/16802/task/16812/stat : 16812 (java) S 16799 16802 14331 0 -1 4202560 994 0 0 0 552 29 0 0 20 0 22 0 108731155 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717966760360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16813] ppid=16799 vsize=9824732 CPUtime=6.34 cores=0,2,4,6
/proc/16802/task/16813/stat : 16813 (java) S 16799 16802 14331 0 -1 4202560 2989 0 0 0 627 7 0 0 20 0 22 0 108731156 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717835913960 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16814] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16814/stat : 16814 (java) S 16799 16802 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717834860024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16815] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16815/stat : 16815 (java) S 16799 16802 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717833807624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16816] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16816/stat : 16816 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717832756112 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16817] ppid=16799 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/16802/task/16817/stat : 16817 (java) S 16799 16802 14331 0 -1 4202560 14557 0 0 0 172 3 0 0 20 0 22 0 108731159 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717831702712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16818] ppid=16799 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/16802/task/16818/stat : 16818 (java) S 16799 16802 14331 0 -1 4202560 13381 0 0 0 217 2 0 0 20 0 22 0 108731159 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717830649912 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16819] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16819/stat : 16819 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717829597816 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16820] ppid=16799 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/16802/task/16820/stat : 16820 (java) S 16799 16802 14331 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 108731159 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717828545224 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16824] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16824/stat : 16824 (java) S 16799 16802 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 108731191 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140716682495528 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16828] ppid=16799 vsize=9824732 CPUtime=862.57 cores=0,2,4,6
/proc/16802/task/16828/stat : 16828 (java) R 16799 16802 14331 0 -1 4202560 94 0 0 0 86241 16 0 0 20 0 22 0 108731292 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140717827222160 140717843899242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16829] ppid=16799 vsize=9824732 CPUtime=862.53 cores=0,2,4,6
/proc/16802/task/16829/stat : 16829 (java) R 16799 16802 14331 0 -1 4202560 1676 0 0 0 86210 43 0 0 20 0 22 0 108731292 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140716684599056 140717843349963 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16830] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16830/stat : 16830 (java) S 16799 16802 14331 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108731292 10060525568 1051226 33554432000 1073741824 1073778376 140734684017536 140716683547944 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+891.401 s]
/proc/loadavg: 3.69 3.87 3.97 4/219 16945
/proc/meminfo: memFree=19467288/32872528 swapFree=9100/9100
[pid=16802] ppid=16799 vsize=9824732 CPUtime=1800.17 cores=0,2,4,6
/proc/16802/stat : 16802 (java) S 16799 16802 14331 0 -1 4202496 43503 0 1 0 179761 256 0 0 20 0 22 0 108731153 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140734684008672 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16802/statm: 2456183 1053270 2302 9 0 2446860 0
[pid=16802/tid=16804] ppid=16799 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/16802/task/16804/stat : 16804 (java) S 16799 16802 14331 0 -1 4202560 2512 0 1 0 37 2 0 0 20 0 22 0 108731154 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140718012638072 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16805] ppid=16799 vsize=9824732 CPUtime=5.7 cores=0,2,4,6
/proc/16802/task/16805/stat : 16805 (java) S 16799 16802 14331 0 -1 4202560 975 0 0 0 546 24 0 0 20 0 22 0 108731155 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717974129448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16806] ppid=16799 vsize=9824732 CPUtime=6 cores=0,2,4,6
/proc/16802/task/16806/stat : 16806 (java) S 16799 16802 14331 0 -1 4202560 956 0 0 0 575 25 0 0 20 0 22 0 108731155 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717973076648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16807] ppid=16799 vsize=9824732 CPUtime=5.82 cores=0,2,4,6
/proc/16802/task/16807/stat : 16807 (java) S 16799 16802 14331 0 -1 4202560 638 0 0 0 560 22 0 0 20 0 22 0 108731155 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717972024360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16808] ppid=16799 vsize=9824732 CPUtime=5.95 cores=0,2,4,6
/proc/16802/task/16808/stat : 16808 (java) S 16799 16802 14331 0 -1 4202560 654 0 0 0 573 22 0 0 20 0 22 0 108731155 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717970971560 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16809] ppid=16799 vsize=9824732 CPUtime=5.85 cores=0,2,4,6
/proc/16802/task/16809/stat : 16809 (java) S 16799 16802 14331 0 -1 4202560 941 0 0 0 556 29 0 0 20 0 22 0 108731155 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717969918248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16810] ppid=16799 vsize=9824732 CPUtime=5.41 cores=0,2,4,6
/proc/16802/task/16810/stat : 16810 (java) S 16799 16802 14331 0 -1 4202560 810 0 0 0 519 22 0 0 20 0 22 0 108731155 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717968865448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16811] ppid=16799 vsize=9824732 CPUtime=5.84 cores=0,2,4,6
/proc/16802/task/16811/stat : 16811 (java) S 16799 16802 14331 0 -1 4202560 910 0 0 0 561 23 0 0 20 0 22 0 108731155 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717967813160 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16812] ppid=16799 vsize=9824732 CPUtime=5.84 cores=0,2,4,6
/proc/16802/task/16812/stat : 16812 (java) S 16799 16802 14331 0 -1 4202560 997 0 0 0 555 29 0 0 20 0 22 0 108731155 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717966760360 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16813] ppid=16799 vsize=9824732 CPUtime=6.34 cores=0,2,4,6
/proc/16802/task/16813/stat : 16813 (java) S 16799 16802 14331 0 -1 4202560 2989 0 0 0 627 7 0 0 20 0 22 0 108731156 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717835913960 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16814] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16814/stat : 16814 (java) S 16799 16802 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717834860024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16815] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16815/stat : 16815 (java) S 16799 16802 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108731157 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717833807624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16816] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16816/stat : 16816 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717832756112 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16817] ppid=16799 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/16802/task/16817/stat : 16817 (java) S 16799 16802 14331 0 -1 4202560 14557 0 0 0 172 3 0 0 20 0 22 0 108731159 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717831702712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16818] ppid=16799 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/16802/task/16818/stat : 16818 (java) S 16799 16802 14331 0 -1 4202560 13381 0 0 0 217 2 0 0 20 0 22 0 108731159 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717830649912 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16802/tid=16819] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16819/stat : 16819 (java) S 16799 16802 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108731159 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717829597816 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16820] ppid=16799 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/16802/task/16820/stat : 16820 (java) S 16799 16802 14331 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 108731159 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717828545224 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16824] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16824/stat : 16824 (java) S 16799 16802 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 108731191 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140716682495528 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16802/tid=16828] ppid=16799 vsize=9824732 CPUtime=871.55 cores=0,2,4,6
/proc/16802/task/16828/stat : 16828 (java) R 16799 16802 14331 0 -1 4202560 95 0 0 0 87139 16 0 0 20 0 22 0 108731292 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140717827222960 140717842503072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16802/tid=16829] ppid=16799 vsize=9824732 CPUtime=871.52 cores=0,2,4,6
/proc/16802/task/16829/stat : 16829 (java) R 16799 16802 14331 0 -1 4202560 1676 0 0 0 87109 43 0 0 20 0 22 0 108731292 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140716684598288 140717843590405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16802/tid=16830] ppid=16799 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16802/task/16830/stat : 16830 (java) S 16799 16802 14331 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108731292 10060525568 1053270 33554432000 1073741824 1073778376 140734684017536 140716683547944 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16802 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 891.472
CPU time (s): 1800.95
CPU user time (s): 1797.9
CPU system time (s): 3.05154
CPU usage (%): 202.02
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.9
system time used= 3.05154
maximum resident set size= 4213192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43539
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24423
involuntary context switches= 35245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.36118 second user time and 7.65484 second system time
The end