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-4109773-1467321477/watcher-4109773-1467321477 -o /tmp/evaluation-result-4109773-1467321477/solver-4109773-1467321477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467319279-29205 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109773-1467321477.wbo
pid=1795
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: 1.02 0.99 1.23 2/169 1798
/proc/meminfo: memFree=30052864/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/1798/stat : 1798 (java) D 1795 1798 15544 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 13108681 9515008 183 33554432000 1073741824 1073778376 140734209437888 140734209428920 266435641013 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/1798/statm: 2323 183 140 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 1.02 0.99 1.23 2/169 1798
/proc/meminfo: memFree=30052864/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/1798/stat : 1798 (java) S 1795 1798 15544 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 13108681 9787879424 6022 33554432000 1073741824 1073778376 140736178043328 140736178034464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1798/statm: 2389619 6022 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200312 s]
/proc/loadavg: 1.02 0.99 1.23 2/169 1798
/proc/meminfo: memFree=30052864/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/1798/stat : 1798 (java) S 1795 1798 15544 0 -1 4202496 4735 0 1 0 22 1 0 0 20 0 18 0 13108681 9787879424 6805 33554432000 1073741824 1073778376 140736178043328 140736178034464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1798/statm: 2389619 6805 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300333 s]
/proc/loadavg: 1.02 0.99 1.23 2/169 1798
/proc/meminfo: memFree=30052864/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/1798/stat : 1798 (java) S 1795 1798 15544 0 -1 4202496 5803 0 1 0 45 1 0 0 20 0 18 0 13108681 9787879424 8443 33554432000 1073741824 1073778376 140736178043328 140736178034464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1798/statm: 2389619 8443 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700299 s]
/proc/loadavg: 1.02 0.99 1.23 2/169 1798
/proc/meminfo: memFree=30052864/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/1798/stat : 1798 (java) S 1795 1798 15544 0 -1 4202496 11412 0 1 0 123 4 0 0 20 0 19 0 13108681 10060525568 13366 33554432000 1073741824 1073778376 140736178043328 140736178034464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1798/statm: 2456183 13366 2258 9 0 2446860 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9824732
[startup+1.50084 s]
/proc/loadavg: 1.02 0.99 1.23 3/188 1832
/proc/meminfo: memFree=29976164/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/1798/stat : 1798 (java) S 1795 1798 15544 0 -1 4202496 24570 0 1 0 210 11 0 0 20 0 19 0 13108681 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140736178034464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1798/statm: 2456183 23155 2264 9 0 2446860 0
[pid=1798/tid=1800] ppid=1795 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/1798/task/1800/stat : 1800 (java) S 1795 1798 15544 0 -1 4202560 2425 0 1 0 32 1 0 0 20 0 19 0 13108682 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291267396472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1801] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1801/stat : 1801 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291228887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1802] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1802/stat : 1802 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291227834536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1803] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1803/stat : 1803 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291226782248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1804] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1804/stat : 1804 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291225729448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1806] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1806/stat : 1806 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291224677160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1807] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1807/stat : 1807 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291223624360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1808] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1808/stat : 1808 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291222572072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1809] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1809/stat : 1809 (java) S 1795 1798 15544 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291221519272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1810] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1810/stat : 1810 (java) S 1795 1798 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13108684 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291090647272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1811] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1811/stat : 1811 (java) S 1795 1798 15544 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13108684 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291089593336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1812] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1812/stat : 1812 (java) S 1795 1798 15544 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13108684 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291088540936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1813] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1813/stat : 1813 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108687 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291087489424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1815] ppid=1795 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/1798/task/1815/stat : 1815 (java) S 1795 1798 15544 0 -1 4202560 11993 0 0 0 67 3 0 0 20 0 19 0 13108687 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291086437048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1817] ppid=1795 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/1798/task/1817/stat : 1817 (java) S 1795 1798 15544 0 -1 4202560 8800 0 0 0 71 2 0 0 20 0 19 0 13108687 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291085384248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1819] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1819/stat : 1819 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108687 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291084332152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1821] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1821/stat : 1821 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108687 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140291083279560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1829] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1829/stat : 1829 (java) S 1795 1798 15544 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13108717 10060525568 23155 33554432000 1073741824 1073778376 140736178043328 140289937228840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 1.02 0.99 1.23 1/188 1838
/proc/meminfo: memFree=29954120/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/1798/stat : 1798 (java) S 1795 1798 15544 0 -1 4202496 26151 0 1 0 252 15 0 0 20 0 19 0 13108681 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140736178034464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1798/statm: 2456183 30089 2264 9 0 2446860 0
[pid=1798/tid=1800] ppid=1795 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/1798/task/1800/stat : 1800 (java) S 1795 1798 15544 0 -1 4202560 2429 0 1 0 34 2 0 0 20 0 19 0 13108682 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291267396472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1801] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1801/stat : 1801 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291228887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1802] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1802/stat : 1802 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291227834536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1803] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1803/stat : 1803 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291226782248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1804] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1804/stat : 1804 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291225729448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1806] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1806/stat : 1806 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291224677160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1807] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1807/stat : 1807 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291223624360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1808] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1808/stat : 1808 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291222572072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1809] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1809/stat : 1809 (java) S 1795 1798 15544 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13108683 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291221519272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1810] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1810/stat : 1810 (java) S 1795 1798 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13108684 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291090647272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1811] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1811/stat : 1811 (java) S 1795 1798 15544 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13108684 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291089593336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1812] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1812/stat : 1812 (java) S 1795 1798 15544 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13108684 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291088540936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1813] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1813/stat : 1813 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108687 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291087489424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1815] ppid=1795 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/1798/task/1815/stat : 1815 (java) S 1795 1798 15544 0 -1 4202560 12020 0 0 0 81 3 0 0 20 0 19 0 13108687 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291086437048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1817] ppid=1795 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/1798/task/1817/stat : 1817 (java) S 1795 1798 15544 0 -1 4202560 10317 0 0 0 89 2 0 0 20 0 19 0 13108687 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291085384248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1819] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1819/stat : 1819 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108687 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291084332152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1821] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1821/stat : 1821 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13108687 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140291083279560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1829] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1829/stat : 1829 (java) S 1795 1798 15544 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13108717 10060525568 30089 33554432000 1073741824 1073778376 140736178043328 140289937228840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 9824732
[startup+6.30081 s]
/proc/loadavg: 0.94 0.97 1.22 2/190 1853
/proc/meminfo: memFree=29864332/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9824732 CPUtime=4.99 cores=1,3,5,7
/proc/1798/stat : 1798 (java) S 1795 1798 15544 0 -1 4202496 26868 0 1 0 480 19 0 0 20 0 21 0 13108681 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140736178034464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1798/statm: 2456183 48844 2282 9 0 2446860 0
[pid=1798/tid=1800] ppid=1795 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/1798/task/1800/stat : 1800 (java) S 1795 1798 15544 0 -1 4202560 2432 0 1 0 35 2 0 0 20 0 21 0 13108682 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291267396472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1801] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1801/stat : 1801 (java) S 1795 1798 15544 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 13108683 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291228887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1802] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1802/stat : 1802 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 13108683 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291227834536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1803] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1803/stat : 1803 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 13108683 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291226782248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1804] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1804/stat : 1804 (java) S 1795 1798 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 13108683 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291225729448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1806] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1806/stat : 1806 (java) S 1795 1798 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 13108683 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291224677160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1807] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1807/stat : 1807 (java) S 1795 1798 15544 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 13108683 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291223624360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1808] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1808/stat : 1808 (java) S 1795 1798 15544 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 13108683 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291222572072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1809] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1809/stat : 1809 (java) S 1795 1798 15544 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 13108683 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291221519272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1810] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1810/stat : 1810 (java) S 1795 1798 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 13108684 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291090647272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1811] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1811/stat : 1811 (java) S 1795 1798 15544 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 13108684 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291089593336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1812] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1812/stat : 1812 (java) S 1795 1798 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 13108684 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291088540936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1813] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1813/stat : 1813 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 13108687 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291087489424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1815] ppid=1795 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/1798/task/1815/stat : 1815 (java) S 1795 1798 15544 0 -1 4202560 12025 0 0 0 101 3 0 0 20 0 21 0 13108687 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291086437048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1817] ppid=1795 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/1798/task/1817/stat : 1817 (java) S 1795 1798 15544 0 -1 4202560 10931 0 0 0 104 2 0 0 20 0 21 0 13108687 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291085384248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1819] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1819/stat : 1819 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 13108687 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291084332152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1821] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1821/stat : 1821 (java) S 1795 1798 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 13108687 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140291083279560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1829] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1829/stat : 1829 (java) S 1795 1798 15544 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 13108717 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140289937228840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1852] ppid=1795 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/1798/task/1852/stat : 1852 (java) R 1795 1798 15544 0 -1 4202560 35 0 0 0 183 1 0 0 20 0 21 0 13109121 10060525568 48844 33554432000 1073741824 1073778376 140736178043328 140289939331312 140291097635905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1853] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=1798/tid=1929] ppid=1795 vsize=9824732 CPUtime=1530.14 cores=1,3,5,7
/proc/1798/task/1929/stat : 1929 (java) R 1795 1798 15544 0 -1 4202560 1642 0 0 0 152969 45 0 0 20 0 21 0 13119895 10060525568 1097687 33554432000 1073741824 1073778376 140736178043328 140289938280480 140291097634373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1930] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1930/stat : 1930 (java) S 1795 1798 15544 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 13119897 10060525568 1097687 33554432000 1073741824 1073778376 140736178043328 140291082225192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1689.14
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 1.21 1.21 1.18 2/190 1972
/proc/meminfo: memFree=25585752/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9824732 CPUtime=1750.43 cores=1,3,5,7
/proc/1798/stat : 1798 (java) S 1795 1798 15544 0 -1 4202496 41010 0 1 0 174612 431 0 0 20 0 21 0 13108681 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140736178034464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1798/statm: 2456183 1115714 2294 9 0 2446860 0
[pid=1798/tid=1800] ppid=1795 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/1798/task/1800/stat : 1800 (java) S 1795 1798 15544 0 -1 4202560 2512 0 1 0 98 34 0 0 20 0 21 0 13108682 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291267396584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1801] ppid=1795 vsize=9824732 CPUtime=6.54 cores=1,3,5,7
/proc/1798/task/1801/stat : 1801 (java) S 1795 1798 15544 0 -1 4202560 1039 0 0 0 618 36 0 0 20 0 21 0 13108683 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291228887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1802] ppid=1795 vsize=9824732 CPUtime=6.14 cores=1,3,5,7
/proc/1798/task/1802/stat : 1802 (java) S 1795 1798 15544 0 -1 4202560 1072 0 0 0 579 35 0 0 20 0 21 0 13108683 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291227834536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1803] ppid=1795 vsize=9824732 CPUtime=6.42 cores=1,3,5,7
/proc/1798/task/1803/stat : 1803 (java) S 1795 1798 15544 0 -1 4202560 802 0 0 0 608 34 0 0 20 0 21 0 13108683 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291226782248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1804] ppid=1795 vsize=9824732 CPUtime=5.91 cores=1,3,5,7
/proc/1798/task/1804/stat : 1804 (java) S 1795 1798 15544 0 -1 4202560 789 0 0 0 560 31 0 0 20 0 21 0 13108683 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291225729448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1806] ppid=1795 vsize=9824732 CPUtime=6.03 cores=1,3,5,7
/proc/1798/task/1806/stat : 1806 (java) S 1795 1798 15544 0 -1 4202560 942 0 0 0 568 35 0 0 20 0 21 0 13108683 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291224677160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1807] ppid=1795 vsize=9824732 CPUtime=6.69 cores=1,3,5,7
/proc/1798/task/1807/stat : 1807 (java) S 1795 1798 15544 0 -1 4202560 1261 0 0 0 635 34 0 0 20 0 21 0 13108683 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291223624360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1808] ppid=1795 vsize=9824732 CPUtime=6.19 cores=1,3,5,7
/proc/1798/task/1808/stat : 1808 (java) S 1795 1798 15544 0 -1 4202560 979 0 0 0 585 34 0 0 20 0 21 0 13108683 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291222572072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1809] ppid=1795 vsize=9824732 CPUtime=6.14 cores=1,3,5,7
/proc/1798/task/1809/stat : 1809 (java) S 1795 1798 15544 0 -1 4202560 839 0 0 0 585 29 0 0 20 0 21 0 13108683 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291221519272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1810] ppid=1795 vsize=9824732 CPUtime=11.05 cores=1,3,5,7
/proc/1798/task/1810/stat : 1810 (java) S 1795 1798 15544 0 -1 4202560 3875 0 0 0 1095 10 0 0 20 0 21 0 13108684 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291090647272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1811] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1811/stat : 1811 (java) S 1795 1798 15544 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 13108684 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291089593336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1812] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1812/stat : 1812 (java) S 1795 1798 15544 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 13108684 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291088540936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1813] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1813/stat : 1813 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 13108687 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291087489424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1815] ppid=1795 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/1798/task/1815/stat : 1815 (java) S 1795 1798 15544 0 -1 4202560 12032 0 0 0 111 3 0 0 20 0 21 0 13108687 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291086437048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1817] ppid=1795 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/1798/task/1817/stat : 1817 (java) S 1795 1798 15544 0 -1 4202560 11141 0 0 0 164 2 0 0 20 0 21 0 13108687 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291085384248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1819] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1819/stat : 1819 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 13108687 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291084332152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1821] ppid=1795 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/1798/task/1821/stat : 1821 (java) S 1795 1798 15544 0 -1 4202560 100 0 0 0 29 34 0 0 20 0 21 0 13108687 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291083279560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1829] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1829/stat : 1829 (java) S 1795 1798 15544 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 13108717 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140289937228840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1929] ppid=1795 vsize=9824732 CPUtime=1586.4 cores=1,3,5,7
/proc/1798/task/1929/stat : 1929 (java) R 1795 1798 15544 0 -1 4202560 1644 0 0 0 158594 46 0 0 20 0 21 0 13119895 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140289938280240 140291097814830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1930] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1930/stat : 1930 (java) S 1795 1798 15544 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 13119897 10060525568 1115714 33554432000 1073741824 1073778376 140736178043328 140291082225192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1750.43
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1769.5 s]
/proc/loadavg: 1.24 1.21 1.18 2/190 1973
/proc/meminfo: memFree=25585636/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7
/proc/1798/stat : 1798 (java) S 1795 1798 15544 0 -1 4202496 41087 0 1 0 179572 433 0 0 20 0 21 0 13108681 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140736178034464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1798/statm: 2456183 1115775 2294 9 0 2446860 0
[pid=1798/tid=1800] ppid=1795 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/1798/task/1800/stat : 1800 (java) S 1795 1798 15544 0 -1 4202560 2516 0 1 0 99 35 0 0 20 0 21 0 13108682 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291267396584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1801] ppid=1795 vsize=9824732 CPUtime=6.98 cores=1,3,5,7
/proc/1798/task/1801/stat : 1801 (java) S 1795 1798 15544 0 -1 4202560 1048 0 0 0 662 36 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291228887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1802] ppid=1795 vsize=9824732 CPUtime=6.5 cores=1,3,5,7
/proc/1798/task/1802/stat : 1802 (java) S 1795 1798 15544 0 -1 4202560 1078 0 0 0 615 35 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291227834536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1803] ppid=1795 vsize=9824732 CPUtime=6.89 cores=1,3,5,7
/proc/1798/task/1803/stat : 1803 (java) S 1795 1798 15544 0 -1 4202560 808 0 0 0 655 34 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291226782248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1804] ppid=1795 vsize=9824732 CPUtime=6.45 cores=1,3,5,7
/proc/1798/task/1804/stat : 1804 (java) S 1795 1798 15544 0 -1 4202560 798 0 0 0 614 31 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291225729448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1806] ppid=1795 vsize=9824732 CPUtime=6.41 cores=1,3,5,7
/proc/1798/task/1806/stat : 1806 (java) S 1795 1798 15544 0 -1 4202560 947 0 0 0 606 35 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291224677160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1807] ppid=1795 vsize=9824732 CPUtime=7.04 cores=1,3,5,7
/proc/1798/task/1807/stat : 1807 (java) S 1795 1798 15544 0 -1 4202560 1270 0 0 0 670 34 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291223624360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1808] ppid=1795 vsize=9824732 CPUtime=6.5 cores=1,3,5,7
/proc/1798/task/1808/stat : 1808 (java) S 1795 1798 15544 0 -1 4202560 989 0 0 0 616 34 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291222572072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1809] ppid=1795 vsize=9824732 CPUtime=6.54 cores=1,3,5,7
/proc/1798/task/1809/stat : 1809 (java) S 1795 1798 15544 0 -1 4202560 842 0 0 0 625 29 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291221519272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1810] ppid=1795 vsize=9824732 CPUtime=11.05 cores=1,3,5,7
/proc/1798/task/1810/stat : 1810 (java) S 1795 1798 15544 0 -1 4202560 3887 0 0 0 1095 10 0 0 20 0 21 0 13108684 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291090647272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1811] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1811/stat : 1811 (java) S 1795 1798 15544 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 13108684 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291089593336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1812] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1812/stat : 1812 (java) S 1795 1798 15544 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 13108684 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291088540936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1813] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1813/stat : 1813 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 13108687 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291087489424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1815] ppid=1795 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/1798/task/1815/stat : 1815 (java) S 1795 1798 15544 0 -1 4202560 12032 0 0 0 111 3 0 0 20 0 21 0 13108687 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291086437048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1817] ppid=1795 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/1798/task/1817/stat : 1817 (java) S 1795 1798 15544 0 -1 4202560 11141 0 0 0 164 2 0 0 20 0 21 0 13108687 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291085384248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1819] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1819/stat : 1819 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 13108687 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291084332152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1821] ppid=1795 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/1798/task/1821/stat : 1821 (java) S 1795 1798 15544 0 -1 4202560 104 0 0 0 29 35 0 0 20 0 21 0 13108687 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291083279560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1829] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1829/stat : 1829 (java) S 1795 1798 15544 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 13108717 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140289937228840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1929] ppid=1795 vsize=9824732 CPUtime=1632.77 cores=1,3,5,7
/proc/1798/task/1929/stat : 1929 (java) R 1795 1798 15544 0 -1 4202560 1644 0 0 0 163231 46 0 0 20 0 21 0 13119895 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140289938280240 140291097817010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1930] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1930/stat : 1930 (java) S 1795 1798 15544 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 13119897 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291082225192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 1798 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1769.5 s]
/proc/loadavg: 1.24 1.21 1.18 2/190 1973
/proc/meminfo: memFree=25585636/32872528 swapFree=1427768/1542232
[pid=1798] ppid=1795 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7
/proc/1798/stat : 1798 (java) S 1795 1798 15544 0 -1 4202496 41087 0 1 0 179572 433 0 0 20 0 21 0 13108681 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140736178034464 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1798/statm: 2456183 1115775 2294 9 0 2446860 0
[pid=1798/tid=1800] ppid=1795 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/1798/task/1800/stat : 1800 (java) S 1795 1798 15544 0 -1 4202560 2516 0 1 0 99 35 0 0 20 0 21 0 13108682 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291267396584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1801] ppid=1795 vsize=9824732 CPUtime=6.98 cores=1,3,5,7
/proc/1798/task/1801/stat : 1801 (java) S 1795 1798 15544 0 -1 4202560 1048 0 0 0 662 36 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291228887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1802] ppid=1795 vsize=9824732 CPUtime=6.5 cores=1,3,5,7
/proc/1798/task/1802/stat : 1802 (java) S 1795 1798 15544 0 -1 4202560 1078 0 0 0 615 35 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291227834536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1803] ppid=1795 vsize=9824732 CPUtime=6.89 cores=1,3,5,7
/proc/1798/task/1803/stat : 1803 (java) S 1795 1798 15544 0 -1 4202560 808 0 0 0 655 34 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291226782248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1804] ppid=1795 vsize=9824732 CPUtime=6.45 cores=1,3,5,7
/proc/1798/task/1804/stat : 1804 (java) S 1795 1798 15544 0 -1 4202560 798 0 0 0 614 31 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291225729448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1806] ppid=1795 vsize=9824732 CPUtime=6.41 cores=1,3,5,7
/proc/1798/task/1806/stat : 1806 (java) S 1795 1798 15544 0 -1 4202560 947 0 0 0 606 35 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291224677160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1807] ppid=1795 vsize=9824732 CPUtime=7.04 cores=1,3,5,7
/proc/1798/task/1807/stat : 1807 (java) S 1795 1798 15544 0 -1 4202560 1270 0 0 0 670 34 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291223624360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1808] ppid=1795 vsize=9824732 CPUtime=6.5 cores=1,3,5,7
/proc/1798/task/1808/stat : 1808 (java) S 1795 1798 15544 0 -1 4202560 989 0 0 0 616 34 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291222572072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1809] ppid=1795 vsize=9824732 CPUtime=6.54 cores=1,3,5,7
/proc/1798/task/1809/stat : 1809 (java) S 1795 1798 15544 0 -1 4202560 842 0 0 0 625 29 0 0 20 0 21 0 13108683 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291221519272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1810] ppid=1795 vsize=9824732 CPUtime=11.05 cores=1,3,5,7
/proc/1798/task/1810/stat : 1810 (java) S 1795 1798 15544 0 -1 4202560 3887 0 0 0 1095 10 0 0 20 0 21 0 13108684 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291090647272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1811] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1811/stat : 1811 (java) S 1795 1798 15544 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 13108684 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291089593336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1812] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1812/stat : 1812 (java) S 1795 1798 15544 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 13108684 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291088540936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1798/tid=1813] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1813/stat : 1813 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 13108687 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291087489424 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1815] ppid=1795 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/1798/task/1815/stat : 1815 (java) S 1795 1798 15544 0 -1 4202560 12032 0 0 0 111 3 0 0 20 0 21 0 13108687 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291086437048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1798/tid=1817] ppid=1795 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/1798/task/1817/stat : 1817 (java) S 1795 1798 15544 0 -1 4202560 11141 0 0 0 164 2 0 0 20 0 21 0 13108687 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291085384248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1819] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1819/stat : 1819 (java) S 1795 1798 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 13108687 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291084332152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1798/tid=1821] ppid=1795 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/1798/task/1821/stat : 1821 (java) S 1795 1798 15544 0 -1 4202560 104 0 0 0 29 35 0 0 20 0 21 0 13108687 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291083279560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1829] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1829/stat : 1829 (java) S 1795 1798 15544 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 13108717 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140289937228840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1929] ppid=1795 vsize=9824732 CPUtime=1632.77 cores=1,3,5,7
/proc/1798/task/1929/stat : 1929 (java) R 1795 1798 15544 0 -1 4202560 1644 0 0 0 163231 46 0 0 20 0 21 0 13119895 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140289938280240 140291097817010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1798/tid=1930] ppid=1795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1798/task/1930/stat : 1930 (java) S 1795 1798 15544 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 13119897 10060525568 1115775 33554432000 1073741824 1073778376 140736178043328 140291082225192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 1769.55
CPU time (s): 1800.47
CPU user time (s): 1795.66
CPU system time (s): 4.81127
CPU usage (%): 101.747
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.66
system time used= 4.81127
maximum resident set size= 4463224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41129
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77899
involuntary context switches= 54660
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4413 second user time and 13.364 second system time
The end