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-4244469-1500687607/watcher-4244469-1500687607 -o /tmp/evaluation-result-4244469-1500687607/solver-4244469-1500687607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16359 --watchdog 2560 bin/concrete HOME/instance-4244469-1500687607.xml
pid=17802
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.82 1.72 1.69 2/261 17805
/proc/meminfo: memFree=28523832/32770624 swapFree=5912/86828
[pid=17805] ppid=17802 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (bash) S 17802 17805 16327 0 -1 4202496 685 1535 0 0 0 0 0 0 20 0 1 0 4030294 9736192 350 33554432000 4194304 5098028 140724970872496 140724970870136 140402352573440 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 14819328 140724970878222 140724970878307 140724970878307 140724970881006 0
/proc/17805/statm: 2377 350 277 221 0 86 0
[startup+0.10015 s]
/proc/loadavg: 1.82 1.72 1.69 2/261 17805
/proc/meminfo: memFree=28523832/32770624 swapFree=5912/86828
[pid=17805] ppid=17802 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (bash) S 17802 17805 16327 0 -1 4202496 879 6426 0 0 0 0 0 1 20 0 1 0 4030294 9871360 378 33554432000 4194304 5098028 140724970872496 140724970866504 140402352573440 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 14819328 140724970878222 140724970878307 140724970878307 140724970881006 0
/proc/17805/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200352 s]
/proc/loadavg: 1.82 1.72 1.69 2/261 17805
/proc/meminfo: memFree=28523832/32770624 swapFree=5912/86828
[pid=17805] ppid=17802 vsize=10901872 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (java) S 17802 17805 16327 0 -1 1077944320 5994 12573 0 0 7 2 7 3 20 0 20 0 4030294 11163516928 6714 33554432000 4194304 4196468 140722933668800 140722933651344 139905322475255 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
/proc/17805/statm: 2725468 6714 2707 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901872
[startup+0.300323 s]
/proc/loadavg: 1.82 1.72 1.69 2/261 17805
/proc/meminfo: memFree=28523832/32770624 swapFree=5912/86828
[pid=17805] ppid=17802 vsize=10902392 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (java) S 17802 17805 16327 0 -1 1077944320 10011 12573 0 0 21 4 7 3 20 0 20 0 4030294 11164049408 11036 33554432000 4194304 4196468 140722933668800 140722933651344 139905322475255 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
/proc/17805/statm: 2725598 11036 2982 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392
[startup+0.700289 s]
/proc/loadavg: 1.82 1.72 1.69 2/261 17805
/proc/meminfo: memFree=28523832/32770624 swapFree=5912/86828
[pid=17805] ppid=17802 vsize=10902720 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (java) S 17802 17805 16327 0 -1 1077944320 13489 12573 0 0 85 5 7 3 20 0 20 0 4030294 11164385280 16810 33554432000 4194304 4196468 140722933668800 140722933651344 139905322475255 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
/proc/17805/statm: 2725680 16810 3233 1 0 2713890 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10902720
[startup+1.5008 s]
/proc/loadavg: 1.75 1.71 1.68 4/281 17878
/proc/meminfo: memFree=28411784/32770624 swapFree=5912/86864
[pid=17805] ppid=17802 vsize=10915392 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (java) S 17802 17805 16327 0 -1 1077944320 27583 12573 0 0 208 14 7 3 20 0 20 0 4030294 11177361408 44397 33554432000 4194304 4196468 140722933668800 140722933651344 139905322475255 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
/proc/17805/statm: 2728848 44397 3415 1 0 2716962 0
[pid=17805/tid=17860] ppid=17802 vsize=10915392 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17860/stat : 17860 (java) R 17802 17805 16327 0 -1 4202560 19746 12573 0 0 126 6 7 3 20 0 20 0 4030306 11177361408 44397 33554432000 4194304 4196468 140722933668800 139905326694816 139905306555742 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17861] ppid=17802 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17861/stat : 17861 (java) S 17802 17805 16327 0 -1 1077944384 65 12573 0 0 1 0 7 3 20 0 20 0 4030307 11177361408 44397 33554432000 4194304 4196468 140722933668800 139905275095568 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17862] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17862/stat : 17862 (java) S 17802 17805 16327 0 -1 1077944384 12 12573 0 0 0 0 7 3 20 0 20 0 4030307 11177361408 44397 33554432000 4194304 4196468 140722933668800 139905274043024 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17863] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17863/stat : 17863 (java) S 17802 17805 16327 0 -1 1077944384 18 12573 0 0 0 0 7 3 20 0 20 0 4030307 11177361408 44397 33554432000 4194304 4196468 140722933668800 139905272989968 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17864] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17864/stat : 17864 (java) S 17802 17805 16327 0 -1 1077944384 37 12573 0 0 0 0 7 3 20 0 20 0 4030307 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904926013840 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17865] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17865/stat : 17865 (java) S 17802 17805 16327 0 -1 1077944384 23 12573 0 0 0 0 7 3 20 0 20 0 4030307 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904924961808 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17866] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17866/stat : 17866 (java) S 17802 17805 16327 0 -1 1077944384 39 12573 0 0 0 0 7 3 20 0 20 0 4030307 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904923909264 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17867] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17867/stat : 17867 (java) S 17802 17805 16327 0 -1 1077944384 130 12573 0 0 0 0 7 3 20 0 20 0 4030307 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904922856208 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17868] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17868/stat : 17868 (java) S 17802 17805 16327 0 -1 1077944384 13 12573 0 0 0 0 7 3 20 0 20 0 4030307 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904921803664 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17869] ppid=17802 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17869/stat : 17869 (java) S 17802 17805 16327 0 -1 1077944384 1643 12573 0 0 2 0 7 3 20 0 20 0 4030309 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904527866096 139905322486402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17870] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17870/stat : 17870 (java) S 17802 17805 16327 0 -1 1077944384 56 12573 0 0 0 0 7 3 20 0 20 0 4030309 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904526812384 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17871] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17871/stat : 17871 (java) S 17802 17805 16327 0 -1 1077944384 44 12573 0 0 0 0 7 3 20 0 20 0 4030310 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904525759232 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17872] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17872/stat : 17872 (java) S 17802 17805 16327 0 -1 1077944384 1 12573 0 0 0 0 7 3 20 0 20 0 4030313 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904524707792 139905322493851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17873] ppid=17802 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17873/stat : 17873 (java) S 17802 17805 16327 0 -1 1077944384 820 12573 0 0 12 0 7 3 20 0 20 0 4030313 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904523655920 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17874] ppid=17802 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17874/stat : 17874 (java) S 17802 17805 16327 0 -1 1077944384 716 12573 0 0 14 0 7 3 20 0 20 0 4030313 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904522603376 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17875] ppid=17802 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17875/stat : 17875 (java) S 17802 17805 16327 0 -1 1077944384 571 12573 0 0 15 0 7 3 20 0 20 0 4030313 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904521550320 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17876] ppid=17802 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17876/stat : 17876 (java) S 17802 17805 16327 0 -1 1077944384 1510 12573 0 0 29 0 7 3 20 0 20 0 4030313 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904520497776 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17877] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17877/stat : 17877 (java) S 17802 17805 16327 0 -1 1077944384 3 12573 0 0 0 0 7 3 20 0 20 0 4030313 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904519444960 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17878] ppid=17802 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17878/stat : 17878 (java) S 17802 17805 16327 0 -1 1077944384 7 12573 0 0 0 0 7 3 20 0 20 0 4030313 11177361408 44397 33554432000 4194304 4196468 140722933668800 139904518392496 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10915392
[startup+3.10076 s]
/proc/loadavg: 1.75 1.71 1.68 5/281 17878
/proc/meminfo: memFree=28341368/32770624 swapFree=5912/86864
[pid=17805] ppid=17802 vsize=10925820 CPUtime=7.09 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (java) S 17802 17805 16327 0 -1 1077944320 43759 12573 0 0 677 22 7 3 20 0 20 0 4030294 11188039680 62482 33554432000 4194304 4196468 140722933668800 140722933651344 139905322475255 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
/proc/17805/statm: 2731455 62482 3483 1 0 2719010 0
[pid=17805/tid=17860] ppid=17802 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17860/stat : 17860 (java) R 17802 17805 16327 0 -1 4202560 25590 12573 0 0 282 9 7 3 20 0 20 0 4030306 11188039680 62482 33554432000 4194304 4196468 140722933668800 139905326703512 139904955982400 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17861] ppid=17802 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17861/stat : 17861 (java) S 17802 17805 16327 0 -1 1077944384 65 12573 0 0 1 0 7 3 20 0 20 0 4030307 11188039680 62482 33554432000 4194304 4196468 140722933668800 139905275095568 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17862] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17862/stat : 17862 (java) S 17802 17805 16327 0 -1 1077944384 12 12573 0 0 0 0 7 3 20 0 20 0 4030307 11188039680 62482 33554432000 4194304 4196468 140722933668800 139905274043024 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17863] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17863/stat : 17863 (java) S 17802 17805 16327 0 -1 1077944384 18 12573 0 0 0 0 7 3 20 0 20 0 4030307 11188039680 62482 33554432000 4194304 4196468 140722933668800 139905272989968 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17864] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17864/stat : 17864 (java) S 17802 17805 16327 0 -1 1077944384 37 12573 0 0 0 0 7 3 20 0 20 0 4030307 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904926013840 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17865] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17865/stat : 17865 (java) S 17802 17805 16327 0 -1 1077944384 23 12573 0 0 0 0 7 3 20 0 20 0 4030307 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904924961808 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17866] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17866/stat : 17866 (java) S 17802 17805 16327 0 -1 1077944384 39 12573 0 0 0 0 7 3 20 0 20 0 4030307 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904923909264 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17867] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17867/stat : 17867 (java) S 17802 17805 16327 0 -1 1077944384 130 12573 0 0 0 0 7 3 20 0 20 0 4030307 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904922856208 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17868] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17868/stat : 17868 (java) S 17802 17805 16327 0 -1 1077944384 13 12573 0 0 0 0 7 3 20 0 20 0 4030307 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904921803664 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17869] ppid=17802 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17869/stat : 17869 (java) S 17802 17805 16327 0 -1 1077944384 1660 12573 0 0 2 0 7 3 20 0 20 0 4030309 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904527866096 139905322486402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17870] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17870/stat : 17870 (java) S 17802 17805 16327 0 -1 1077944384 56 12573 0 0 0 0 7 3 20 0 20 0 4030309 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904526812384 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17871] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17871/stat : 17871 (java) S 17802 17805 16327 0 -1 1077944384 44 12573 0 0 0 0 7 3 20 0 20 0 4030310 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904525759232 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17872] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17872/stat : 17872 (java) S 17802 17805 16327 0 -1 1077944384 1 12573 0 0 0 0 7 3 20 0 20 0 4030313 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904524707792 139905322493851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17873] ppid=17802 vsize=10925820 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17873/stat : 17873 (java) R 17802 17805 16327 0 -1 4202560 2225 12573 0 0 74 1 7 3 20 0 20 0 4030313 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904523641856 139905322487190 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17874] ppid=17802 vsize=10925820 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17874/stat : 17874 (java) R 17802 17805 16327 0 -1 4202560 1859 12573 0 0 79 1 7 3 20 0 20 0 4030313 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904522589808 139905306031120 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17875] ppid=17802 vsize=10925820 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17875/stat : 17875 (java) R 17802 17805 16327 0 -1 4202560 4516 12573 0 0 113 1 7 3 20 0 20 0 4030313 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904521535280 139905322487190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17876] ppid=17802 vsize=10925820 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17876/stat : 17876 (java) R 17802 17805 16327 0 -1 4202560 5333 12573 0 0 117 2 7 3 20 0 20 0 4030313 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904520493504 139905322496602 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17877] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17877/stat : 17877 (java) S 17802 17805 16327 0 -1 1077944384 3 12573 0 0 0 0 7 3 20 0 20 0 4030313 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904519444960 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17878] ppid=17802 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17878/stat : 17878 (java) S 17802 17805 16327 0 -1 1077944384 10 12573 0 0 0 0 7 3 20 0 20 0 4030313 11188039680 62482 33554432000 4194304 4196468 140722933668800 139904518392496 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 10925820
[startup+6.30118 s]
/proc/loadavg: 2.09 1.78 1.70 4/281 17878
/proc/meminfo: memFree=28169388/32770624 swapFree=5912/86876
[pid=17805] ppid=17802 vsize=10997500 CPUtime=18.22 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (java) S 17802 17805 16327 0 -1 1077944320 80647 12573 0 0 1769 43 7 3 20 0 20 0 4030294 11261440000 100648 33554432000 4194304 4196468 140722933668800 140722933651344 139905322475255 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
/proc/17805/statm: 2749375 100648 3507 1 0 2736930 0
[pid=17805/tid=17860] ppid=17802 vsize=10997500 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17860/stat : 17860 (java) R 17802 17805 16327 0 -1 4202560 42840 12573 0 0 586 12 7 3 20 0 20 0 4030306 11261440000 100648 33554432000 4194304 4196468 140722933668800 139905326708824 139904956877603 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17861] ppid=17802 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17861/stat : 17861 (java) S 17802 17805 16327 0 -1 1077944384 139 12573 0 0 6 2 7 3 20 0 20 0 4030307 11261440000 100648 33554432000 4194304 4196468 140722933668800 139905275095568 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17862] ppid=17802 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17862/stat : 17862 (java) S 17802 17805 16327 0 -1 1077944384 53 12573 0 0 5 2 7 3 20 0 20 0 4030307 11261440000 100648 33554432000 4194304 4196468 140722933668800 139905274043024 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17863] ppid=17802 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17863/stat : 17863 (java) S 17802 17805 16327 0 -1 1077944384 50 12573 0 0 6 2 7 3 20 0 20 0 4030307 11261440000 100648 33554432000 4194304 4196468 140722933668800 139905272989968 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17864] ppid=17802 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17864/stat : 17864 (java) S 17802 17805 16327 0 -1 1077944384 93 12573 0 0 6 2 7 3 20 0 20 0 4030307 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904926013840 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17865] ppid=17802 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17865/stat : 17865 (java) S 17802 17805 16327 0 -1 1077944384 63 12573 0 0 6 1 7 3 20 0 20 0 4030307 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904924961808 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17866] ppid=17802 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17866/stat : 17866 (java) S 17802 17805 16327 0 -1 1077944384 91 12573 0 0 5 2 7 3 20 0 20 0 4030307 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904923909264 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17867] ppid=17802 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17867/stat : 17867 (java) S 17802 17805 16327 0 -1 1077944384 351 12573 0 0 5 2 7 3 20 0 20 0 4030307 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904922856208 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17868] ppid=17802 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17868/stat : 17868 (java) S 17802 17805 16327 0 -1 1077944384 57 12573 0 0 6 2 7 3 20 0 20 0 4030307 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904921803664 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17869] ppid=17802 vsize=10997500 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17869/stat : 17869 (java) S 17802 17805 16327 0 -1 1077944384 2381 12573 0 0 6 0 7 3 20 0 20 0 4030309 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904527866096 139905322486402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17870] ppid=17802 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17870/stat : 17870 (java) S 17802 17805 16327 0 -1 1077944384 56 12573 0 0 0 0 7 3 20 0 20 0 4030309 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904526812384 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17871] ppid=17802 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17871/stat : 17871 (java) S 17802 17805 16327 0 -1 1077944384 44 12573 0 0 0 0 7 3 20 0 20 0 4030310 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904525759232 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17872] ppid=17802 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17872/stat : 17872 (java) S 17802 17805 16327 0 -1 1077944384 1 12573 0 0 0 0 7 3 20 0 20 0 4030313 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904524707792 139905322493851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17873] ppid=17802 vsize=10997500 CPUtime=3.3 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17873/stat : 17873 (java) R 17802 17805 16327 0 -1 4202560 10287 12573 0 0 318 2 7 3 20 0 20 0 4030313 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904523642144 139905307601332 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17874] ppid=17802 vsize=10997500 CPUtime=2.85 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17874/stat : 17874 (java) R 17802 17805 16327 0 -1 4202560 4789 12573 0 0 272 3 7 3 20 0 20 0 4030313 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904522589400 139905301719840 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17875] ppid=17802 vsize=10997500 CPUtime=3.29 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17875/stat : 17875 (java) R 17802 17805 16327 0 -1 4202560 6850 12573 0 0 318 1 7 3 20 0 20 0 4030313 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904521536864 139905307582697 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17876] ppid=17802 vsize=10997500 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17876/stat : 17876 (java) S 17802 17805 16327 0 -1 1077944384 10221 12573 0 0 216 3 7 3 20 0 20 0 4030313 11261440000 100648 33554432000 4194304 4196468 140722933668800 139904520497776 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17877] ppid=17802 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/17805/task/17876/stat : 17876 (java) S 17802 17805 16327 0 -1 1077944384 22778 12573 0 0 227 5 7 3 20 0 20 0 4030313 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904520497776 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17877] ppid=17802 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17877/stat : 17877 (java) S 17802 17805 16327 0 -1 1077944384 3 12573 0 0 0 0 7 3 20 0 20 0 4030313 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904519444960 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17878] ppid=17802 vsize=10997500 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17878/stat : 17878 (java) S 17802 17805 16327 0 -1 1077944384 2963 12573 0 0 51 74 7 3 20 0 20 0 4030313 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904518392496 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
Current children cumulated CPU time (s) 2396.14
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2326.1 s]
/proc/loadavg: 1.38 1.34 1.46 3/281 18104
/proc/meminfo: memFree=28398968/32770624 swapFree=5912/89468
[pid=17805] ppid=17802 vsize=10997500 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (java) S 17802 17805 16327 0 -1 1077944320 268861 12573 0 0 239508 486 7 3 20 0 20 0 4030294 11261440000 372082 33554432000 4194304 4196468 140722933668800 140722933651344 139905322475255 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
/proc/17805/statm: 2749375 372082 3517 1 0 2736930 0
[pid=17805/tid=17860] ppid=17802 vsize=10997500 CPUtime=2305.65 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17860/stat : 17860 (java) R 17802 17805 16327 0 -1 4202560 90563 12573 0 0 230504 51 7 3 20 0 20 0 4030306 11261440000 372082 33554432000 4194304 4196468 140722933668800 139905326709296 139904972391042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17861] ppid=17802 vsize=10997500 CPUtime=9.14 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17861/stat : 17861 (java) S 17802 17805 16327 0 -1 1077944384 13896 12573 0 0 856 48 7 3 20 0 20 0 4030307 11261440000 372082 33554432000 4194304 4196468 140722933668800 139905275095568 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17862] ppid=17802 vsize=10997500 CPUtime=9.11 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17862/stat : 17862 (java) S 17802 17805 16327 0 -1 1077944384 9483 12573 0 0 858 43 7 3 20 0 20 0 4030307 11261440000 372082 33554432000 4194304 4196468 140722933668800 139905274043024 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17863] ppid=17802 vsize=10997500 CPUtime=9.21 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17863/stat : 17863 (java) S 17802 17805 16327 0 -1 1077944384 10300 12573 0 0 868 43 7 3 20 0 20 0 4030307 11261440000 372082 33554432000 4194304 4196468 140722933668800 139905272989968 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17864] ppid=17802 vsize=10997500 CPUtime=9.07 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17864/stat : 17864 (java) S 17802 17805 16327 0 -1 1077944384 9741 12573 0 0 851 46 7 3 20 0 20 0 4030307 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904926013840 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17865] ppid=17802 vsize=10997500 CPUtime=9.23 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17865/stat : 17865 (java) S 17802 17805 16327 0 -1 1077944384 10481 12573 0 0 871 42 7 3 20 0 20 0 4030307 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904924961808 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17866] ppid=17802 vsize=10997500 CPUtime=9.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17866/stat : 17866 (java) S 17802 17805 16327 0 -1 1077944384 12255 12573 0 0 858 42 7 3 20 0 20 0 4030307 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904923909264 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17867] ppid=17802 vsize=10997500 CPUtime=9.19 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17867/stat : 17867 (java) S 17802 17805 16327 0 -1 1077944384 11977 12573 0 0 868 41 7 3 20 0 20 0 4030307 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904922856208 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17868] ppid=17802 vsize=10997500 CPUtime=9.09 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17868/stat : 17868 (java) S 17802 17805 16327 0 -1 1077944384 12878 12573 0 0 856 43 7 3 20 0 20 0 4030307 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904921803664 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17869] ppid=17802 vsize=10997500 CPUtime=7.3 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17869/stat : 17869 (java) S 17802 17805 16327 0 -1 1077944384 19276 12573 0 0 684 36 7 3 20 0 20 0 4030309 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904527866096 139905322486402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17870] ppid=17802 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17870/stat : 17870 (java) S 17802 17805 16327 0 -1 1077944384 60 12573 0 0 0 0 7 3 20 0 20 0 4030309 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904526812384 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17871] ppid=17802 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17871/stat : 17871 (java) S 17802 17805 16327 0 -1 1077944384 51 12573 0 0 0 0 7 3 20 0 20 0 4030310 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904525759232 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17872] ppid=17802 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17872/stat : 17872 (java) S 17802 17805 16327 0 -1 1077944384 1 12573 0 0 0 0 7 3 20 0 20 0 4030313 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904524707792 139905322493851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17873] ppid=17802 vsize=10997500 CPUtime=4.02 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17873/stat : 17873 (java) S 17802 17805 16327 0 -1 1077944384 16925 12573 0 0 389 3 7 3 20 0 20 0 4030313 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904523655920 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17874] ppid=17802 vsize=10997500 CPUtime=3.58 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17874/stat : 17874 (java) S 17802 17805 16327 0 -1 1077944384 8918 12573 0 0 344 4 7 3 20 0 20 0 4030313 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904522603376 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17875] ppid=17802 vsize=10997500 CPUtime=3.79 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17875/stat : 17875 (java) S 17802 17805 16327 0 -1 1077944384 14183 12573 0 0 366 3 7 3 20 0 20 0 4030313 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904521550320 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17876] ppid=17802 vsize=10997500 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17876/stat : 17876 (java) S 17802 17805 16327 0 -1 1077944384 22778 12573 0 0 227 5 7 3 20 0 20 0 4030313 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904520497776 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17877] ppid=17802 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17877/stat : 17877 (java) S 17802 17805 16327 0 -1 1077944384 3 12573 0 0 0 0 7 3 20 0 20 0 4030313 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904519444960 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17878] ppid=17802 vsize=10997500 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17878/stat : 17878 (java) S 17802 17805 16327 0 -1 1077944384 2963 12573 0 0 51 74 7 3 20 0 20 0 4030313 11261440000 372082 33554432000 4194304 4196468 140722933668800 139904518392496 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10997500
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 17805 sig 9
??? kill -17805 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2326.4 s]
/proc/loadavg: 1.38 1.34 1.46 3/281 18104
/proc/meminfo: memFree=28398968/32770624 swapFree=5912/89468
[pid=17805] ppid=17802 vsize=11130628 CPUtime=2401.91 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (java) S 17802 17805 16327 0 -1 1077944320 276148 12573 0 0 239693 488 7 3 20 0 22 0 4030294 11397763072 373994 33554432000 4194304 4196468 140722933668800 140722933651344 139905322475255 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
/proc/17805/statm: 2782657 373994 3517 1 0 2770212 0
[pid=17805/tid=17860] ppid=17802 vsize=11130628 CPUtime=2305.66 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17860/stat : 17860 (java) S 17802 17805 16327 0 -1 1077944384 90961 12573 0 0 230505 51 7 3 20 0 22 0 4030306 11397763072 373994 33554432000 4194304 4196468 140722933668800 139905326712928 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17861] ppid=17802 vsize=11130628 CPUtime=9.37 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17861/stat : 17861 (java) S 17802 17805 16327 0 -1 1077944384 13946 12573 0 0 879 48 7 3 20 0 22 0 4030307 11397763072 373994 33554432000 4194304 4196468 140722933668800 139905275095568 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17862] ppid=17802 vsize=11130628 CPUtime=9.33 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17862/stat : 17862 (java) S 17802 17805 16327 0 -1 1077944384 9504 12573 0 0 880 43 7 3 20 0 22 0 4030307 11397763072 373994 33554432000 4194304 4196468 140722933668800 139905274043024 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17863] ppid=17802 vsize=11130628 CPUtime=9.44 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17863/stat : 17863 (java) S 17802 17805 16327 0 -1 1077944384 10321 12573 0 0 891 43 7 3 20 0 22 0 4030307 11397763072 373994 33554432000 4194304 4196468 140722933668800 139905272989968 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17864] ppid=17802 vsize=11130628 CPUtime=9.29 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17864/stat : 17864 (java) S 17802 17805 16327 0 -1 1077944384 9744 12573 0 0 873 46 7 3 20 0 22 0 4030307 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904926013840 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17865] ppid=17802 vsize=11130628 CPUtime=9.46 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17865/stat : 17865 (java) S 17802 17805 16327 0 -1 1077944384 10492 12573 0 0 894 42 7 3 20 0 22 0 4030307 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904924961808 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17866] ppid=17802 vsize=11130628 CPUtime=9.32 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17866/stat : 17866 (java) S 17802 17805 16327 0 -1 1077944384 12298 12573 0 0 880 42 7 3 20 0 22 0 4030307 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904923909264 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17867] ppid=17802 vsize=11130628 CPUtime=9.42 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17867/stat : 17867 (java) S 17802 17805 16327 0 -1 1077944384 12012 12573 0 0 891 41 7 3 20 0 22 0 4030307 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904922856208 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17868] ppid=17802 vsize=11130628 CPUtime=9.31 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17868/stat : 17868 (java) S 17802 17805 16327 0 -1 1077944384 12883 12573 0 0 878 43 7 3 20 0 22 0 4030307 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904921803664 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17869] ppid=17802 vsize=11130628 CPUtime=7.36 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17869/stat : 17869 (java) R 17802 17805 16327 0 -1 4202560 25712 12573 0 0 690 36 7 3 20 0 22 0 4030309 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904527864384 139905308166955 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17870] ppid=17802 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17870/stat : 17870 (java) S 17802 17805 16327 0 -1 1077944384 62 12573 0 0 0 0 7 3 20 0 22 0 4030309 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904526811920 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17871] ppid=17802 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17871/stat : 17871 (java) S 17802 17805 16327 0 -1 1077944384 51 12573 0 0 0 0 7 3 20 0 22 0 4030310 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904525759232 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17872] ppid=17802 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17872/stat : 17872 (java) S 17802 17805 16327 0 -1 1077944384 112 12573 0 0 0 0 7 3 20 0 22 0 4030313 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904524707792 139905322493851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17873] ppid=17802 vsize=11130628 CPUtime=4.02 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17873/stat : 17873 (java) S 17802 17805 16327 0 -1 1077944384 16948 12573 0 0 389 3 7 3 20 0 22 0 4030313 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904523645248 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17874] ppid=17802 vsize=11130628 CPUtime=3.58 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17874/stat : 17874 (java) S 17802 17805 16327 0 -1 1077944384 8918 12573 0 0 344 4 7 3 20 0 22 0 4030313 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904522603376 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17875] ppid=17802 vsize=11130628 CPUtime=3.79 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17875/stat : 17875 (java) S 17802 17805 16327 0 -1 1077944384 14183 12573 0 0 366 3 7 3 20 0 22 0 4030313 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904521550320 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17876] ppid=17802 vsize=11130628 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17876/stat : 17876 (java) S 17802 17805 16327 0 -1 1077944384 22778 12573 0 0 227 5 7 3 20 0 22 0 4030313 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904520497776 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17877] ppid=17802 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17877/stat : 17877 (java) S 17802 17805 16327 0 -1 1077944384 3 12573 0 0 0 0 7 3 20 0 22 0 4030313 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904519444960 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17878] ppid=17802 vsize=11130628 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17878/stat : 17878 (java) S 17802 17805 16327 0 -1 1077944384 2963 12573 0 0 52 74 7 3 20 0 22 0 4030313 11397763072 373994 33554432000 4194304 4196468 140722933668800 139904518392496 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
Current children cumulated CPU time (s) 2401.91
Current children cumulated vsize (KiB) 11130628
[startup+2326.5 s]
/proc/loadavg: 1.35 1.34 1.45 10/283 18106
/proc/meminfo: memFree=28392172/32770624 swapFree=5912/89468
[pid=17805] ppid=17802 vsize=11130628 CPUtime=2402.46 cores=1,3,5,7,9,11,13,15
/proc/17805/stat : 17805 (java) S 17802 17805 16327 0 -1 1077944320 276259 12573 0 0 239748 488 7 3 20 0 22 0 4030294 11397763072 373997 33554432000 4194304 4196468 140722933668800 140722933651344 139905322475255 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
/proc/17805/statm: 2782657 373997 3517 1 0 2770212 0
[pid=17805/tid=17860] ppid=17802 vsize=11130628 CPUtime=2305.67 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17860/stat : 17860 (java) R 17802 17805 16327 0 -1 4202560 90981 12573 0 0 230506 51 7 3 20 0 22 0 4030306 11397763072 373997 33554432000 4194304 4196468 140722933668800 139905326696144 139905302746736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17861] ppid=17802 vsize=11130628 CPUtime=9.43 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17861/stat : 17861 (java) S 17802 17805 16327 0 -1 1077944384 13946 12573 0 0 885 48 7 3 20 0 22 0 4030307 11397763072 373997 33554432000 4194304 4196468 140722933668800 139905275095568 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17862] ppid=17802 vsize=11130628 CPUtime=9.4 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17862/stat : 17862 (java) S 17802 17805 16327 0 -1 1077944384 9505 12573 0 0 887 43 7 3 20 0 22 0 4030307 11397763072 373997 33554432000 4194304 4196468 140722933668800 139905274043024 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17863] ppid=17802 vsize=11130628 CPUtime=9.5 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17863/stat : 17863 (java) S 17802 17805 16327 0 -1 1077944384 10321 12573 0 0 897 43 7 3 20 0 22 0 4030307 11397763072 373997 33554432000 4194304 4196468 140722933668800 139905272989968 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17864] ppid=17802 vsize=11130628 CPUtime=9.34 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17864/stat : 17864 (java) S 17802 17805 16327 0 -1 1077944384 9744 12573 0 0 878 46 7 3 20 0 22 0 4030307 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904926013840 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17865] ppid=17802 vsize=11130628 CPUtime=9.52 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17865/stat : 17865 (java) S 17802 17805 16327 0 -1 1077944384 10492 12573 0 0 900 42 7 3 20 0 22 0 4030307 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904924961808 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17866] ppid=17802 vsize=11130628 CPUtime=9.39 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17866/stat : 17866 (java) S 17802 17805 16327 0 -1 1077944384 12298 12573 0 0 887 42 7 3 20 0 22 0 4030307 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904923909264 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17867] ppid=17802 vsize=11130628 CPUtime=9.48 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17867/stat : 17867 (java) S 17802 17805 16327 0 -1 1077944384 12012 12573 0 0 897 41 7 3 20 0 22 0 4030307 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904922856208 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17868] ppid=17802 vsize=11130628 CPUtime=9.37 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17868/stat : 17868 (java) S 17802 17805 16327 0 -1 1077944384 12883 12573 0 0 884 43 7 3 20 0 22 0 4030307 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904921803664 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17869] ppid=17802 vsize=11130628 CPUtime=7.4 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17869/stat : 17869 (java) S 17802 17805 16327 0 -1 1077944384 25712 12573 0 0 694 36 7 3 20 0 22 0 4030309 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904527866096 139905322486402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17870] ppid=17802 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17870/stat : 17870 (java) S 17802 17805 16327 0 -1 1077944384 62 12573 0 0 0 0 7 3 20 0 22 0 4030309 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904526812384 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17871] ppid=17802 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17871/stat : 17871 (java) S 17802 17805 16327 0 -1 1077944384 53 12573 0 0 0 0 7 3 20 0 22 0 4030310 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904525759232 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17872] ppid=17802 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17872/stat : 17872 (java) S 17802 17805 16327 0 -1 1077944384 112 12573 0 0 0 0 7 3 20 0 22 0 4030313 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904524707792 139905322493851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17873] ppid=17802 vsize=11130628 CPUtime=4.02 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17873/stat : 17873 (java) R 17802 17805 16327 0 -1 4202560 16964 12573 0 0 389 3 7 3 20 0 22 0 4030313 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904523644592 139905300070368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17874] ppid=17802 vsize=11130628 CPUtime=3.58 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17874/stat : 17874 (java) S 17802 17805 16327 0 -1 1077944384 8954 12573 0 0 344 4 7 3 20 0 22 0 4030313 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904522603376 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17875] ppid=17802 vsize=11130628 CPUtime=3.8 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17875/stat : 17875 (java) R 17802 17805 16327 0 -1 4202560 14195 12573 0 0 367 3 7 3 20 0 22 0 4030313 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904521539584 139905305969433 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17876] ppid=17802 vsize=11130628 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17876/stat : 17876 (java) S 17802 17805 16327 0 -1 1077944384 22800 12573 0 0 227 5 7 3 20 0 22 0 4030313 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904520497776 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17877] ppid=17802 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17877/stat : 17877 (java) S 17802 17805 16327 0 -1 1077944384 3 12573 0 0 0 0 7 3 20 0 22 0 4030313 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904519444960 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=17878] ppid=17802 vsize=11130628 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/17805/task/17878/stat : 17878 (java) S 17802 17805 16327 0 -1 1077944384 2963 12573 0 0 52 74 7 3 20 0 22 0 4030313 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904518392496 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=18105] ppid=17802 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/18105/stat : 18105 (java) S 17802 17805 16327 0 -1 1077944384 102 12573 0 0 0 0 7 3 20 0 22 0 4262905 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904487530480 139905322485461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
[pid=17805/tid=18106] ppid=17802 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17805/task/18106/stat : 18106 (java) S 17802 17805 16327 0 -1 1077944384 27 12573 0 0 0 0 7 3 20 0 22 0 4262905 11397763072 373997 33554432000 4194304 4196468 140722933668800 139904486478960 139905322486402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140722933672641 140722933675415 140722933675415 140722933678031 0
Current children cumulated CPU time (s) 2402.46
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2326.54
CPU time (s): 2402.51
CPU user time (s): 2397.57
CPU system time (s): 4.93859
CPU usage (%): 103.265
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.57
system time used= 4.93859
maximum resident set size= 1616372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288888
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302012
involuntary context switches= 184602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5093 second user time and 20.6169 second system time
The end