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-4117898-1467215420/watcher-4117898-1467215420 -o /tmp/evaluation-result-4117898-1467215420/solver-4117898-1467215420 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5283 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117898-1467215420.opb
pid=7853
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: 4.23 4.21 4.18 1/195 7856
/proc/meminfo: memFree=28537304/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 2493168 98570240 977 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 24065 977 743 9 0 16771 0
[pid=7856/tid=7857] ppid=7853 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) R 7853 7856 5267 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 2493168 98570240 977 33554432000 1073741824 1073778376 140734413837488 140290587123240 239873115520 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100119 s]
/proc/loadavg: 4.23 4.21 4.18 1/195 7856
/proc/meminfo: memFree=28537304/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 4426 0 1 0 9 1 0 0 20 0 18 0 2493168 9787879424 6062 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 2389619 6062 2138 9 0 2380296 0
[pid=7856/tid=7857] ppid=7853 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) R 7853 7856 5267 0 -1 4202560 2386 0 1 0 7 0 0 0 20 0 18 0 2493168 9787879424 6062 33554432000 1073741824 1073778376 140734413837488 140290587126688 140290594280521 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200256 s]
/proc/loadavg: 4.23 4.21 4.18 1/195 7856
/proc/meminfo: memFree=28537304/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 4870 0 1 0 24 1 0 0 20 0 22 0 2493168 10060525568 7962 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 2456183 7962 2209 9 0 2446860 0
[pid=7856/tid=7857] ppid=7853 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) S 7853 7856 5267 0 -1 4202560 2425 0 1 0 16 0 0 0 20 0 22 0 2493168 10060525568 7962 33554432000 1073741824 1073778376 140734413837488 140290587128696 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824732
[startup+0.300353 s]
/proc/loadavg: 4.23 4.21 4.18 1/195 7856
/proc/meminfo: memFree=28537304/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 8044 0 1 0 55 4 0 0 20 0 19 0 2493168 10060525568 9627 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 2456183 9627 2246 9 0 2446860 0
[pid=7856/tid=7857] ppid=7853 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) S 7853 7856 5267 0 -1 4202560 2425 0 1 0 16 0 0 0 20 0 19 0 2493168 10060525568 9627 33554432000 1073741824 1073778376 140734413837488 140290587128696 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9824732
[startup+0.70022 s]
/proc/loadavg: 4.23 4.21 4.18 1/195 7856
/proc/meminfo: memFree=28537304/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 8364 0 1 0 70 4 0 0 20 0 22 0 2493168 10060525568 10682 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 2456183 10682 2246 9 0 2446860 0
[pid=7856/tid=7857] ppid=7853 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) S 7853 7856 5267 0 -1 4202560 2425 0 1 0 16 0 0 0 20 0 22 0 2493168 10060525568 10682 33554432000 1073741824 1073778376 140734413837488 140290587128696 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 9824732
[startup+1.50082 s]
/proc/loadavg: 4.23 4.21 4.18 8/220 7884
/proc/meminfo: memFree=28274276/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 22140 0 1 0 380 9 0 0 20 0 22 0 2493168 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 2456183 47197 2284 9 0 2446860 0
[pid=7856/tid=7857] ppid=7853 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) S 7853 7856 5267 0 -1 4202560 2425 0 1 0 16 0 0 0 20 0 22 0 2493168 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290587128696 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7859] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7859/stat : 7859 (java) S 7853 7856 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290548620328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7860] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7860/stat : 7860 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290547567528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7861] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7861/stat : 7861 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290546514728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7862] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7862/stat : 7862 (java) S 7853 7856 5267 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290545461928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7863] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7863/stat : 7863 (java) S 7853 7856 5267 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290544409128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7864] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7864/stat : 7864 (java) S 7853 7856 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290425874856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7865] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7865/stat : 7865 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290424822056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7866] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7866/stat : 7866 (java) S 7853 7856 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290423769256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7867] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7867/stat : 7867 (java) S 7853 7856 5267 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 2493170 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290411359208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7868] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7868/stat : 7868 (java) S 7853 7856 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2493171 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140290410305272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7869] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7869/stat : 7869 (java) S 7853 7856 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2493171 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140289805116936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7870] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7870/stat : 7870 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140289804065424 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7871] ppid=7853 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/7856/task/7871/stat : 7871 (java) R 7853 7856 5267 0 -1 4202560 8674 0 0 0 90 1 0 0 20 0 22 0 2493173 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140289803012104 140290591242750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7872] ppid=7853 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/7856/task/7872/stat : 7872 (java) R 7853 7856 5267 0 -1 4202560 9540 0 0 0 97 2 0 0 20 0 22 0 2493173 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140289801946712 239876482665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7873] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7873/stat : 7873 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140289800907128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7874] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7874/stat : 7874 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140289799854536 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7877] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7877/stat : 7877 (java) S 7853 7856 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2493186 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140289796695464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7882] ppid=7853 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/7856/task/7882/stat : 7882 (java) R 7853 7856 5267 0 -1 4202560 6 0 0 0 77 0 0 0 20 0 22 0 2493236 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140289797747408 140290426477012 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7883] ppid=7853 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/7856/task/7883/stat : 7883 (java) R 7853 7856 5267 0 -1 4202560 73 0 0 0 75 3 0 0 20 0 22 0 2493236 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140289798798368 140290426348421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7884] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7884/stat : 7884 (java) S 7853 7856 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2493237 10060525568 47197 33554432000 1073741824 1073778376 140734413837488 140289795642280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9824732
[startup+3.10092 s]
/proc/loadavg: 4.23 4.21 4.18 7/220 7884
/proc/meminfo: memFree=28099880/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=9824732 CPUtime=8.43 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 31599 0 1 0 827 16 0 0 20 0 22 0 2493168 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 2456183 86863 2285 9 0 2446860 0
[pid=7856/tid=7857] ppid=7853 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) S 7853 7856 5267 0 -1 4202560 2425 0 1 0 16 0 0 0 20 0 22 0 2493168 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290587128696 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7859] ppid=7853 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/7856/task/7859/stat : 7859 (java) S 7853 7856 5267 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 2493169 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290548620328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7860] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7860/stat : 7860 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290547567528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7861] ppid=7853 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/7856/task/7861/stat : 7861 (java) S 7853 7856 5267 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 2493169 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290546514728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7862] ppid=7853 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/7856/task/7862/stat : 7862 (java) S 7853 7856 5267 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 2493169 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290545461928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7863] ppid=7853 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/7856/task/7863/stat : 7863 (java) S 7853 7856 5267 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 2493169 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290544409128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7864] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7864/stat : 7864 (java) S 7853 7856 5267 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290425874856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7865] ppid=7853 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/7856/task/7865/stat : 7865 (java) S 7853 7856 5267 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 2493169 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290424822056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7866] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7866/stat : 7866 (java) S 7853 7856 5267 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 2493169 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290423769256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7867] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7867/stat : 7867 (java) S 7853 7856 5267 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 2493170 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290411359208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7868] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7868/stat : 7868 (java) S 7853 7856 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2493171 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140290410305272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7869] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7869/stat : 7869 (java) S 7853 7856 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2493171 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140289805116936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7870] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7870/stat : 7870 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140289804065424 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7871] ppid=7853 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/7856/task/7871/stat : 7871 (java) S 7853 7856 5267 0 -1 4202560 13648 0 0 0 178 2 0 0 20 0 22 0 2493173 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140289803012536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7872] ppid=7853 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/7856/task/7872/stat : 7872 (java) S 7853 7856 5267 0 -1 4202560 13781 0 0 0 141 3 0 0 20 0 22 0 2493173 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140289801959736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7873] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7873/stat : 7873 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140289800907128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7874] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7874/stat : 7874 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140289799854536 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7877] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7877/stat : 7877 (java) S 7853 7856 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2493186 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140289796695464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7882] ppid=7853 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/7856/task/7882/stat : 7882 (java) R 7853 7856 5267 0 -1 4202560 10 0 0 0 228 0 0 0 20 0 22 0 2493236 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140289797747256 140290426382449 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7883] ppid=7853 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/7856/task/7883/stat : 7883 (java) R 7853 7856 5267 0 -1 4202560 134 0 0 0 229 5 0 0 20 0 22 0 2493236 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140289798798432 140290427091099 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7884] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7884/stat : 7884 (java) S 7853 7856 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2493237 10060525568 86863 33554432000 1073741824 1073778376 140734413837488 140289795642280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 9824732
[startup+6.30093 s]
/proc/loadavg: 4.45 4.26 4.20 5/220 7884
/proc/meminfo: memFree=27353600/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=9824732 CPUtime=15.1 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 32734 0 1 0 1482 28 0 0 20 0 22 0 2493168 10060525568 161029 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 2456183 161029 2285 9 0 2446860 0
[pid=7856/tid=7857] ppid=7853 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) S 7853 7856 5267 0 -1 4202560 2425 0 1 0 16 0 0 0 20 0 22 0 2493168 10060525568 161029 33554432000 1073741824 1073778376 140734413837488 140290587128696 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7859] ppid=7853 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/7856/task/7859/stat : 7859 (java) S 7853 7856 5267 0 -1 4202560 63 0 0 0 4 2 0 0 20 0 22 0 2493169 10060525568 161029 33554432000 1073741824 1073778376 140734413837488 140290548620328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7860] ppid=7853 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7856/task/7860/stat : 7860 (java) S 7853 7856 5267 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 2493169 10060525568 161029 33554432000 1073741824 1073778376 140734413837488 140290547567528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7861] ppid=7853 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7856/task/7861/stat : 7861 (java) S 7853 7856 5267 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 22 0 2493169 10060525568 161029 33554432000 1073741824 1073778376 140734413837488 140290546514728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7862] ppid=7853 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/7856/task/7862/stat : 7862 (java) S 7853 7856 5267 0 -1 4202560 143 0 0 0 5 2 0 0 20 0 22 0 2493169 10060525568 161029 33554432000 1073741824 1073778376 140734413837488 140290545461928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7863] ppid=7853 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7856/task/7863/stat : 7863 (java) S 7853 7856 5267 0 -1 4202560 92 0 0 0 3 0 0 0 20 0 22 0 2493169 10060525568 161029 33554432000 1073741824 1073778376 140734413837488 140290544409128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7864] ppid=7853 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/7856/task/7864/stat : 7864 (java) S 7853 7856 5267 0 -1 4202560 115 0 0 0 5 2 0 0 20 0 22 0 2493169 10060525568 161029 33554432000 1073741824 1073778376 140734413837488 140290425874856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7865] ppid=7853 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7856/task/7865/stat : 7865 (java) S 7853 7856 5267 0 -1 4202560 101 0 0 0 4 1 0 0 20 0 22 0 2493169 10060525568 161029 33554432000 1073741824 1073778376 140734413837488 140290424822056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7866] ppid=7853 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.21 4.22 4.18 5/219 7998
/proc/meminfo: memFree=22433148/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=9824732 CPUtime=1767.72 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 35948 0 1 0 176650 122 0 0 20 0 22 0 2493168 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 2456183 732421 2286 9 0 2446860 0
[pid=7856/tid=7857] ppid=7853 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) S 7853 7856 5267 0 -1 4202560 2426 0 1 0 17 3 0 0 20 0 22 0 2493168 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290587128696 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7859] ppid=7853 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/7856/task/7859/stat : 7859 (java) S 7853 7856 5267 0 -1 4202560 249 0 0 0 21 7 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290548620328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7860] ppid=7853 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/7856/task/7860/stat : 7860 (java) S 7853 7856 5267 0 -1 4202560 183 0 0 0 22 8 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290547567528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7861] ppid=7853 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/7856/task/7861/stat : 7861 (java) S 7853 7856 5267 0 -1 4202560 125 0 0 0 20 6 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290546514728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7862] ppid=7853 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/7856/task/7862/stat : 7862 (java) S 7853 7856 5267 0 -1 4202560 293 0 0 0 29 10 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290545461928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7863] ppid=7853 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/7856/task/7863/stat : 7863 (java) S 7853 7856 5267 0 -1 4202560 292 0 0 0 17 4 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290544409128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7864] ppid=7853 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/7856/task/7864/stat : 7864 (java) S 7853 7856 5267 0 -1 4202560 259 0 0 0 23 7 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290425874856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7865] ppid=7853 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/7856/task/7865/stat : 7865 (java) S 7853 7856 5267 0 -1 4202560 214 0 0 0 22 6 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290424822056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7866] ppid=7853 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/7856/task/7866/stat : 7866 (java) S 7853 7856 5267 0 -1 4202560 148 0 0 0 15 7 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290423769256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7867] ppid=7853 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7856/task/7867/stat : 7867 (java) S 7853 7856 5267 0 -1 4202560 1272 0 0 0 0 4 0 0 20 0 22 0 2493170 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290411359208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7868] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7868/stat : 7868 (java) S 7853 7856 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2493171 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290410305272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7869] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7869/stat : 7869 (java) S 7853 7856 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2493171 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289805116936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7870] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7870/stat : 7870 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289804065424 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7871] ppid=7853 vsize=9824732 CPUtime=1.85 cores=0,2,4,6
/proc/7856/task/7871/stat : 7871 (java) S 7853 7856 5267 0 -1 4202560 13648 0 0 0 183 2 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289803012536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7872] ppid=7853 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/7856/task/7872/stat : 7872 (java) S 7853 7856 5267 0 -1 4202560 14048 0 0 0 158 3 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289801959736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7873] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7873/stat : 7873 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289800907128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7874] ppid=7853 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/7856/task/7874/stat : 7874 (java) S 7853 7856 5267 0 -1 4202560 51 0 0 0 9 13 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289799854536 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7877] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7877/stat : 7877 (java) S 7853 7856 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2493186 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289796695464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7882] ppid=7853 vsize=9824732 CPUtime=880.72 cores=0,2,4,6
/proc/7856/task/7882/stat : 7882 (java) R 7853 7856 5267 0 -1 4202560 29 0 0 0 88056 16 0 0 20 0 22 0 2493236 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289797738496 140290426476896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7883] ppid=7853 vsize=9824732 CPUtime=880.74 cores=0,2,4,6
/proc/7856/task/7883/stat : 7883 (java) R 7853 7856 5267 0 -1 4202560 1392 0 0 0 88020 54 0 0 20 0 22 0 2493236 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289798797664 140290426520400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7884] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7884/stat : 7884 (java) S 7853 7856 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2493237 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289795642280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1767.72
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.501 s]
/proc/loadavg: 4.23 4.22 4.18 5/219 7998
/proc/meminfo: memFree=22433152/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 35948 0 1 0 179887 123 0 0 20 0 22 0 2493168 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 2456183 732421 2286 9 0 2446860 0
[pid=7856/tid=7857] ppid=7853 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) S 7853 7856 5267 0 -1 4202560 2426 0 1 0 17 3 0 0 20 0 22 0 2493168 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290587128696 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7859] ppid=7853 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/7856/task/7859/stat : 7859 (java) S 7853 7856 5267 0 -1 4202560 249 0 0 0 21 7 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290548620328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7860] ppid=7853 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/7856/task/7860/stat : 7860 (java) S 7853 7856 5267 0 -1 4202560 183 0 0 0 22 8 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290547567528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7861] ppid=7853 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/7856/task/7861/stat : 7861 (java) S 7853 7856 5267 0 -1 4202560 125 0 0 0 20 6 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290546514728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7862] ppid=7853 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/7856/task/7862/stat : 7862 (java) S 7853 7856 5267 0 -1 4202560 293 0 0 0 29 10 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290545461928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7863] ppid=7853 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/7856/task/7863/stat : 7863 (java) S 7853 7856 5267 0 -1 4202560 292 0 0 0 17 4 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290544409128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7864] ppid=7853 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/7856/task/7864/stat : 7864 (java) S 7853 7856 5267 0 -1 4202560 259 0 0 0 23 7 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290425874856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7865] ppid=7853 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/7856/task/7865/stat : 7865 (java) S 7853 7856 5267 0 -1 4202560 214 0 0 0 22 6 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290424822056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7866] ppid=7853 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/7856/task/7866/stat : 7866 (java) S 7853 7856 5267 0 -1 4202560 148 0 0 0 15 7 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290423769256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7867] ppid=7853 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7856/task/7867/stat : 7867 (java) S 7853 7856 5267 0 -1 4202560 1272 0 0 0 0 4 0 0 20 0 22 0 2493170 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290411359208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7868] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7868/stat : 7868 (java) S 7853 7856 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2493171 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290410305272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7869] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7869/stat : 7869 (java) S 7853 7856 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2493171 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289805116936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7870] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7870/stat : 7870 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289804065424 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7871] ppid=7853 vsize=9824732 CPUtime=1.85 cores=0,2,4,6
/proc/7856/task/7871/stat : 7871 (java) S 7853 7856 5267 0 -1 4202560 13648 0 0 0 183 2 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289803012536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7872] ppid=7853 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/7856/task/7872/stat : 7872 (java) S 7853 7856 5267 0 -1 4202560 14048 0 0 0 158 3 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289801959736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7873] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7873/stat : 7873 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289800907128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7874] ppid=7853 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/7856/task/7874/stat : 7874 (java) S 7853 7856 5267 0 -1 4202560 51 0 0 0 9 14 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289799854536 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7877] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7877/stat : 7877 (java) S 7853 7856 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2493186 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289796695464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7882] ppid=7853 vsize=9824732 CPUtime=896.91 cores=0,2,4,6
/proc/7856/task/7882/stat : 7882 (java) R 7853 7856 5267 0 -1 4202560 29 0 0 0 89675 16 0 0 20 0 22 0 2493236 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289797738496 140290426382522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7883] ppid=7853 vsize=9824732 CPUtime=896.93 cores=0,2,4,6
/proc/7856/task/7883/stat : 7883 (java) R 7853 7856 5267 0 -1 4202560 1392 0 0 0 89639 54 0 0 20 0 22 0 2493236 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289798797664 140290426520445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7884] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7884/stat : 7884 (java) S 7853 7856 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2493237 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289795642280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 7856 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+898.501 s]
/proc/loadavg: 4.23 4.22 4.18 5/219 7998
/proc/meminfo: memFree=22433152/32872528 swapFree=1459092/1655316
[pid=7856] ppid=7853 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/7856/stat : 7856 (java) S 7853 7856 5267 0 -1 4202496 35948 0 1 0 179887 123 0 0 20 0 22 0 2493168 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140734413828624 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7856/statm: 2456183 732421 2286 9 0 2446860 0
[pid=7856/tid=7857] ppid=7853 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/7856/task/7857/stat : 7857 (java) S 7853 7856 5267 0 -1 4202560 2426 0 1 0 17 3 0 0 20 0 22 0 2493168 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290587128696 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7859] ppid=7853 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/7856/task/7859/stat : 7859 (java) S 7853 7856 5267 0 -1 4202560 249 0 0 0 21 7 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290548620328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7860] ppid=7853 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/7856/task/7860/stat : 7860 (java) S 7853 7856 5267 0 -1 4202560 183 0 0 0 22 8 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290547567528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7861] ppid=7853 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/7856/task/7861/stat : 7861 (java) S 7853 7856 5267 0 -1 4202560 125 0 0 0 20 6 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290546514728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7862] ppid=7853 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/7856/task/7862/stat : 7862 (java) S 7853 7856 5267 0 -1 4202560 293 0 0 0 29 10 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290545461928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7863] ppid=7853 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/7856/task/7863/stat : 7863 (java) S 7853 7856 5267 0 -1 4202560 292 0 0 0 17 4 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290544409128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7864] ppid=7853 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/7856/task/7864/stat : 7864 (java) S 7853 7856 5267 0 -1 4202560 259 0 0 0 23 7 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290425874856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7865] ppid=7853 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/7856/task/7865/stat : 7865 (java) S 7853 7856 5267 0 -1 4202560 214 0 0 0 22 6 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290424822056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7866] ppid=7853 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/7856/task/7866/stat : 7866 (java) S 7853 7856 5267 0 -1 4202560 148 0 0 0 15 7 0 0 20 0 22 0 2493169 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290423769256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7867] ppid=7853 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7856/task/7867/stat : 7867 (java) S 7853 7856 5267 0 -1 4202560 1272 0 0 0 0 4 0 0 20 0 22 0 2493170 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290411359208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7868] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7868/stat : 7868 (java) S 7853 7856 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2493171 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140290410305272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7869] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7869/stat : 7869 (java) S 7853 7856 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2493171 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289805116936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7870] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7870/stat : 7870 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289804065424 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7871] ppid=7853 vsize=9824732 CPUtime=1.85 cores=0,2,4,6
/proc/7856/task/7871/stat : 7871 (java) S 7853 7856 5267 0 -1 4202560 13648 0 0 0 183 2 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289803012536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7872] ppid=7853 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/7856/task/7872/stat : 7872 (java) S 7853 7856 5267 0 -1 4202560 14048 0 0 0 158 3 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289801959736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7856/tid=7873] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7873/stat : 7873 (java) S 7853 7856 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289800907128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7874] ppid=7853 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/7856/task/7874/stat : 7874 (java) S 7853 7856 5267 0 -1 4202560 51 0 0 0 9 14 0 0 20 0 22 0 2493173 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289799854536 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7877] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7877/stat : 7877 (java) S 7853 7856 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2493186 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289796695464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7856/tid=7882] ppid=7853 vsize=9824732 CPUtime=896.91 cores=0,2,4,6
/proc/7856/task/7882/stat : 7882 (java) R 7853 7856 5267 0 -1 4202560 29 0 0 0 89675 16 0 0 20 0 22 0 2493236 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289797738496 140290426382522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7856/tid=7883] ppid=7853 vsize=9824732 CPUtime=896.93 cores=0,2,4,6
/proc/7856/task/7883/stat : 7883 (java) R 7853 7856 5267 0 -1 4202560 1392 0 0 0 89639 54 0 0 20 0 22 0 2493236 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289798797664 140290426520445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7856/tid=7884] ppid=7853 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7856/task/7884/stat : 7884 (java) S 7853 7856 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2493237 10060525568 732421 33554432000 1073741824 1073778376 140734413837488 140289795642280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 898.604
CPU time (s): 1800.69
CPU user time (s): 1798.94
CPU system time (s): 1.75173
CPU usage (%): 200.387
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.75173
maximum resident set size= 2982936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35992
page faults= 1
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21507
involuntary context switches= 18748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.594 second user time and 6.15506 second system time
The end