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-4248007-1500741815/watcher-4248007-1500741815 -o /tmp/evaluation-result-4248007-1500741815/solver-4248007-1500741815 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500716625-14914 --watchdog 2560 bin/concrete HOME/instance-4248007-1500741815.xml
pid=19930
running on 8 cores: 0,2,4,6,8,10,12,14
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.27 1.40 1.46 3/262 19933
/proc/meminfo: memFree=30334156/32770624 swapFree=5780/174232
[pid=19933] ppid=19930 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (bash) S 19930 19933 14883 0 -1 4202496 687 1536 0 0 0 0 0 0 20 0 1 0 9448846 9736192 351 33554432000 4194304 5098028 140726938036832 140726938034472 140430853307392 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 19931136 140726938043662 140726938043747 140726938043747 140726938046446 0
/proc/19933/statm: 2377 351 278 221 0 86 0
[startup+0.100172 s]
/proc/loadavg: 1.27 1.40 1.46 3/262 19933
/proc/meminfo: memFree=30334156/32770624 swapFree=5780/174232
[pid=19933] ppid=19930 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (bash) S 19930 19933 14883 0 -1 4202496 881 6427 0 0 0 0 0 1 20 0 1 0 9448846 9871360 378 33554432000 4194304 5098028 140726938036832 140726938030840 140430853307392 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 19931136 140726938043662 140726938043747 140726938043747 140726938046446 0
/proc/19933/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200418 s]
/proc/loadavg: 1.27 1.40 1.46 3/262 19933
/proc/meminfo: memFree=30334156/32770624 swapFree=5780/174232
[pid=19933] ppid=19930 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (java) S 19930 19933 14883 0 -1 1077944320 5014 12408 0 0 5 1 8 4 20 0 13 0 9448846 10686320640 5347 33554432000 4194304 4196468 140736943685968 140736943668512 139799038840567 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
/proc/19933/statm: 2608965 5347 2137 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300335 s]
/proc/loadavg: 1.27 1.40 1.46 3/262 19933
/proc/meminfo: memFree=30334156/32770624 swapFree=5780/174232
[pid=19933] ppid=19930 vsize=10902392 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (java) S 19930 19933 14883 0 -1 1077944320 7352 12408 0 0 22 2 8 4 20 0 20 0 9448846 11164049408 9116 33554432000 4194304 4196468 140736943685968 140736943668512 139799038840567 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
/proc/19933/statm: 2725598 9116 2987 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700169 s]
/proc/loadavg: 1.27 1.40 1.46 3/262 19933
/proc/meminfo: memFree=30334156/32770624 swapFree=5780/174232
[pid=19933] ppid=19930 vsize=10902720 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (java) S 19930 19933 14883 0 -1 1077944320 12725 12408 0 0 78 4 8 4 20 0 20 0 9448846 11164385280 16044 33554432000 4194304 4196468 140736943685968 140736943668512 139799038840567 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
/proc/19933/statm: 2725680 16044 3218 1 0 2713890 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 10902720
[startup+1.50105 s]
/proc/loadavg: 1.24 1.40 1.45 3/282 20006
/proc/meminfo: memFree=30228648/32770624 swapFree=5780/174276
[pid=19933] ppid=19930 vsize=10913344 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (java) S 19930 19933 14883 0 -1 1077944320 27329 12408 0 0 200 14 8 4 20 0 20 0 9448846 11175264256 43944 33554432000 4194304 4196468 140736943685968 140736943668512 139799038840567 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
/proc/19933/statm: 2728336 43944 3405 1 0 2716450 0
[pid=19933/tid=19988] ppid=19930 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19988/stat : 19988 (java) R 19930 19933 14883 0 -1 4202560 19555 12408 0 0 125 6 8 4 20 0 20 0 9448859 11175264256 43944 33554432000 4194304 4196468 140736943685968 139799043060016 139799022921054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19989] ppid=19930 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19989/stat : 19989 (java) S 19930 19933 14883 0 -1 1077944384 132 12408 0 0 0 0 8 4 20 0 20 0 9448860 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798975531536 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19990] ppid=19930 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19990/stat : 19990 (java) S 19930 19933 14883 0 -1 1077944384 17 12408 0 0 0 0 8 4 20 0 20 0 9448860 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798974478992 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19991] ppid=19930 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19991/stat : 19991 (java) S 19930 19933 14883 0 -1 1077944384 28 12408 0 0 1 0 8 4 20 0 20 0 9448860 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798973425936 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19992] ppid=19930 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19992/stat : 19992 (java) S 19930 19933 14883 0 -1 1077944384 48 12408 0 0 1 0 8 4 20 0 20 0 9448860 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798972373392 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19993] ppid=19930 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19993/stat : 19993 (java) S 19930 19933 14883 0 -1 1077944384 32 12408 0 0 1 0 8 4 20 0 20 0 9448860 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798641503248 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19994] ppid=19930 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19994/stat : 19994 (java) S 19930 19933 14883 0 -1 1077944384 14 12408 0 0 1 0 8 4 20 0 20 0 9448860 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798640450704 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19995] ppid=19930 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19995/stat : 19995 (java) S 19930 19933 14883 0 -1 1077944384 55 12408 0 0 1 0 8 4 20 0 20 0 9448860 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798639397648 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19996] ppid=19930 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19996/stat : 19996 (java) S 19930 19933 14883 0 -1 1077944384 15 12408 0 0 0 0 8 4 20 0 20 0 9448860 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798638345104 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19997] ppid=19930 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19997/stat : 19997 (java) S 19930 19933 14883 0 -1 1077944384 1406 12408 0 0 1 0 8 4 20 0 20 0 9448862 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798244960496 139799038851714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19998] ppid=19930 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19998/stat : 19998 (java) S 19930 19933 14883 0 -1 1077944384 56 12408 0 0 0 0 8 4 20 0 20 0 9448863 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798243906784 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19999] ppid=19930 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19999/stat : 19999 (java) S 19930 19933 14883 0 -1 1077944384 42 12408 0 0 0 0 8 4 20 0 20 0 9448863 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798242853632 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20000] ppid=19930 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20000/stat : 20000 (java) S 19930 19933 14883 0 -1 1077944384 1 12408 0 0 0 0 8 4 20 0 20 0 9448867 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798241802192 139799038859163 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20001] ppid=19930 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20001/stat : 20001 (java) R 19930 19933 14883 0 -1 4202560 893 12408 0 0 13 0 8 4 20 0 20 0 9448867 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798240739472 139799019540864 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20002] ppid=19930 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20002/stat : 20002 (java) R 19930 19933 14883 0 -1 4202560 520 12408 0 0 10 0 8 4 20 0 20 0 9448867 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798239679072 139799020362563 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20003] ppid=19930 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20003/stat : 20003 (java) S 19930 19933 14883 0 -1 1077944384 1131 12408 0 0 14 0 8 4 20 0 20 0 9448867 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798238644720 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20004] ppid=19930 vsize=10913344 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20004/stat : 20004 (java) S 19930 19933 14883 0 -1 1077944384 1273 12408 0 0 26 0 8 4 20 0 20 0 9448867 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798237592176 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20005] ppid=19930 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20005/stat : 20005 (java) S 19930 19933 14883 0 -1 1077944384 3 12408 0 0 0 0 8 4 20 0 20 0 9448867 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798236539360 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20006] ppid=19930 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20006/stat : 20006 (java) S 19930 19933 14883 0 -1 1077944384 6 12408 0 0 0 0 8 4 20 0 20 0 9448868 11175264256 43944 33554432000 4194304 4196468 140736943685968 139798235486896 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10913344
[startup+3.10108 s]
/proc/loadavg: 1.24 1.40 1.45 4/282 20006
/proc/meminfo: memFree=30159916/32770624 swapFree=5780/174276
[pid=19933] ppid=19930 vsize=10925820 CPUtime=6.03 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (java) S 19930 19933 14883 0 -1 1077944320 46380 12408 0 0 571 20 8 4 20 0 20 0 9448846 11188039680 60046 33554432000 4194304 4196468 140736943685968 140736943668512 139799038840567 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
/proc/19933/statm: 2731455 60046 3475 1 0 2719010 0
[pid=19933/tid=19988] ppid=19930 vsize=10925820 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19988/stat : 19988 (java) R 19930 19933 14883 0 -1 4202560 33840 12408 0 0 281 9 8 4 20 0 20 0 9448859 11188039680 60046 33554432000 4194304 4196468 140736943685968 139799043074360 139798653244632 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19989] ppid=19930 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19989/stat : 19989 (java) S 19930 19933 14883 0 -1 1077944384 132 12408 0 0 0 0 8 4 20 0 20 0 9448860 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798975531536 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19990] ppid=19930 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19990/stat : 19990 (java) S 19930 19933 14883 0 -1 1077944384 17 12408 0 0 0 0 8 4 20 0 20 0 9448860 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798974478992 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19991] ppid=19930 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19991/stat : 19991 (java) S 19930 19933 14883 0 -1 1077944384 28 12408 0 0 1 0 8 4 20 0 20 0 9448860 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798973425936 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19992] ppid=19930 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19992/stat : 19992 (java) S 19930 19933 14883 0 -1 1077944384 48 12408 0 0 1 0 8 4 20 0 20 0 9448860 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798972373392 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19993] ppid=19930 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19993/stat : 19993 (java) S 19930 19933 14883 0 -1 1077944384 32 12408 0 0 1 0 8 4 20 0 20 0 9448860 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798641503248 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19994] ppid=19930 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19994/stat : 19994 (java) S 19930 19933 14883 0 -1 1077944384 14 12408 0 0 1 0 8 4 20 0 20 0 9448860 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798640450704 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19995] ppid=19930 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19995/stat : 19995 (java) S 19930 19933 14883 0 -1 1077944384 55 12408 0 0 1 0 8 4 20 0 20 0 9448860 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798639397648 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19996] ppid=19930 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19996/stat : 19996 (java) S 19930 19933 14883 0 -1 1077944384 15 12408 0 0 0 0 8 4 20 0 20 0 9448860 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798638345104 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19997] ppid=19930 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19997/stat : 19997 (java) S 19930 19933 14883 0 -1 1077944384 1422 12408 0 0 1 0 8 4 20 0 20 0 9448862 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798244960496 139799038851714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19998] ppid=19930 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19998/stat : 19998 (java) S 19930 19933 14883 0 -1 1077944384 56 12408 0 0 0 0 8 4 20 0 20 0 9448863 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798243906784 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19999] ppid=19930 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19999/stat : 19999 (java) S 19930 19933 14883 0 -1 1077944384 42 12408 0 0 0 0 8 4 20 0 20 0 9448863 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798242853632 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20000] ppid=19930 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20000/stat : 20000 (java) S 19930 19933 14883 0 -1 1077944384 1 12408 0 0 0 0 8 4 20 0 20 0 9448867 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798241802192 139799038859163 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20001] ppid=19930 vsize=10925820 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20001/stat : 20001 (java) R 19930 19933 14883 0 -1 4202560 1831 12408 0 0 61 1 8 4 20 0 20 0 9448867 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798240727520 139799038861914 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20002] ppid=19930 vsize=10925820 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20002/stat : 20002 (java) R 19930 19933 14883 0 -1 4202560 1110 12408 0 0 59 1 8 4 20 0 20 0 9448867 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798239684320 139799018086366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20003] ppid=19930 vsize=10925820 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20003/stat : 20003 (java) R 19930 19933 14883 0 -1 4202560 1885 12408 0 0 59 1 8 4 20 0 20 0 9448867 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798238631184 139799016866469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20004] ppid=19930 vsize=10925820 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20004/stat : 20004 (java) S 19930 19933 14883 0 -1 1077944384 3716 12408 0 0 98 1 8 4 20 0 20 0 9448867 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798237592176 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20005] ppid=19930 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20005/stat : 20005 (java) S 19930 19933 14883 0 -1 1077944384 3 12408 0 0 0 0 8 4 20 0 20 0 9448867 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798236539360 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20006] ppid=19930 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20006/stat : 20006 (java) S 19930 19933 14883 0 -1 1077944384 7 12408 0 0 0 0 8 4 20 0 20 0 9448868 11188039680 60046 33554432000 4194304 4196468 140736943685968 139798235486896 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 10925820
[startup+6.30107 s]
/proc/loadavg: 1.30 1.41 1.46 7/282 20006
/proc/meminfo: memFree=29967248/32770624 swapFree=5780/174280
[pid=19933] ppid=19930 vsize=10999548 CPUtime=19.02 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (java) S 19930 19933 14883 0 -1 1077944320 77856 12408 0 0 1857 33 8 4 20 0 20 0 9448846 11263537152 97786 33554432000 4194304 4196468 140736943685968 140736943668512 139799038840567 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
/proc/19933/statm: 2749887 97786 3499 1 0 2737442 0
[pid=19933/tid=19988] ppid=19930 vsize=10999548 CPUtime=6.13 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19988/stat : 19988 (java) R 19930 19933 14883 0 -1 4202560 46038 12408 0 0 589 12 8 4 20 0 20 0 9448859 11263537152 97786 33554432000 4194304 4196468 140736943685968 139799043071768 139798652218017 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19989] ppid=19930 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19989/stat : 19989 (java) S 19930 19933 14883 0 -1 1077944384 146 12408 0 0 3 1 8 4 20 0 20 0 9448860 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798975531536 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19990] ppid=19930 vsize=10999548 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19990/stat : 19990 (java) S 19930 19933 14883 0 -1 1077944384 95 12408 0 0 2 1 8 4 20 0 20 0 9448860 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798974478992 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19991] ppid=19930 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19991/stat : 19991 (java) S 19930 19933 14883 0 -1 1077944384 786 12408 0 0 3 1 8 4 20 0 20 0 9448860 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798973425936 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19992] ppid=19930 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19992/stat : 19992 (java) S 19930 19933 14883 0 -1 1077944384 162 12408 0 0 3 1 8 4 20 0 20 0 9448860 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798972373392 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19993] ppid=19930 vsize=10999548 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19993/stat : 19993 (java) S 19930 19933 14883 0 -1 1077944384 39 12408 0 0 2 0 8 4 20 0 20 0 9448860 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798641503248 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19994] ppid=19930 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19994/stat : 19994 (java) S 19930 19933 14883 0 -1 1077944384 123 12408 0 0 3 1 8 4 20 0 20 0 9448860 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798640450704 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19995] ppid=19930 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19995/stat : 19995 (java) S 19930 19933 14883 0 -1 1077944384 112 12408 0 0 3 1 8 4 20 0 20 0 9448860 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798639397648 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19996] ppid=19930 vsize=10999548 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19996/stat : 19996 (java) S 19930 19933 14883 0 -1 1077944384 53 12408 0 0 3 0 8 4 20 0 20 0 9448860 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798638345104 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19997] ppid=19930 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19997/stat : 19997 (java) S 19930 19933 14883 0 -1 1077944384 2189 12408 0 0 4 0 8 4 20 0 20 0 9448862 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798244960496 139799038851714 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19998] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19998/stat : 19998 (java) S 19930 19933 14883 0 -1 1077944384 56 12408 0 0 0 0 8 4 20 0 20 0 9448863 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798243906784 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19999] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19999/stat : 19999 (java) S 19930 19933 14883 0 -1 1077944384 42 12408 0 0 0 0 8 4 20 0 20 0 9448863 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798242853632 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20000] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20000/stat : 20000 (java) S 19930 19933 14883 0 -1 1077944384 1 12408 0 0 0 0 8 4 20 0 20 0 9448867 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798241802192 139799038859163 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20001] ppid=19930 vsize=10999548 CPUtime=3.33 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20001/stat : 20001 (java) R 19930 19933 14883 0 -1 4202560 4931 12408 0 0 319 2 8 4 20 0 20 0 9448867 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798240735280 139799023230427 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20002] ppid=19930 vsize=10999548 CPUtime=3.53 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20002/stat : 20002 (java) R 19930 19933 14883 0 -1 4202560 5887 12408 0 0 339 2 8 4 20 0 20 0 9448867 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798239683888 139799020365504 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20003] ppid=19930 vsize=10999548 CPUtime=3.6 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20003/stat : 20003 (java) R 19930 19933 14883 0 -1 4202560 9169 12408 0 0 346 2 8 4 20 0 20 0 9448867 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798238631264 139799020384801 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20004] ppid=19930 vsize=10999548 CPUtime=2.42 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20004/stat : 20004 (java) S 19930 19933 14883 0 -1 1077944384 5886 12408 0 0 228 2 8 4 20 0 20 0 9448867 11263537152 97786 33554432000 4194304 4196468 140736943685968 139798237592176 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20005] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=19933/tid=20002] ppid=19930 vsize=10999548 CPUtime=6.04 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20002/stat : 20002 (java) S 19930 19933 14883 0 -1 1077944384 39399 12408 0 0 586 6 8 4 20 0 20 0 9448867 11263537152 172452 33554432000 4194304 4196468 140736943685968 139798239697776 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20003] ppid=19930 vsize=10999548 CPUtime=6.59 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20003/stat : 20003 (java) S 19930 19933 14883 0 -1 1077944384 43595 12408 0 0 642 5 8 4 20 0 20 0 9448867 11263537152 172452 33554432000 4194304 4196468 140736943685968 139798238644720 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20004] ppid=19930 vsize=10999548 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20004/stat : 20004 (java) S 19930 19933 14883 0 -1 1077944384 47798 12408 0 0 287 6 8 4 20 0 20 0 9448867 11263537152 172452 33554432000 4194304 4196468 140736943685968 139798237592176 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20005] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20005/stat : 20005 (java) S 19930 19933 14883 0 -1 1077944384 3 12408 0 0 0 0 8 4 20 0 20 0 9448867 11263537152 172452 33554432000 4194304 4196468 140736943685968 139798236539360 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20006] ppid=19930 vsize=10999548 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20006/stat : 20006 (java) S 19930 19933 14883 0 -1 1077944384 1689 12408 0 0 56 54 8 4 20 0 20 0 9448868 11263537152 172452 33554432000 4194304 4196468 140736943685968 139798235486896 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
Current children cumulated CPU time (s) 2327.87
Current children cumulated vsize (KiB) 10999548
[startup+2322.3 s]
/proc/loadavg: 1.48 1.57 1.58 3/281 20240
/proc/meminfo: memFree=28138012/32770624 swapFree=5780/175312
[pid=19933] ppid=19930 vsize=10999548 CPUtime=2389.26 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (java) S 19930 19933 14883 0 -1 1077944320 311057 12408 0 0 238562 352 8 4 20 0 20 0 9448846 11263537152 171938 33554432000 4194304 4196468 140736943685968 140736943668512 139799038840567 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
/proc/19933/statm: 2749887 171938 3515 1 0 2737442 0
[pid=19933/tid=19988] ppid=19930 vsize=10999548 CPUtime=2306.84 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19988/stat : 19988 (java) R 19930 19933 14883 0 -1 4202560 79919 12408 0 0 230640 32 8 4 20 0 20 0 9448859 11263537152 171938 33554432000 4194304 4196468 140736943685968 139799043074816 139798670644708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19989] ppid=19930 vsize=10999548 CPUtime=6.92 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19989/stat : 19989 (java) S 19930 19933 14883 0 -1 1077944384 7452 12408 0 0 651 29 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798975531536 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19990] ppid=19930 vsize=10999548 CPUtime=6.9 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19990/stat : 19990 (java) S 19930 19933 14883 0 -1 1077944384 6562 12408 0 0 648 30 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798974478992 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19991] ppid=19930 vsize=10999548 CPUtime=6.92 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19991/stat : 19991 (java) S 19930 19933 14883 0 -1 1077944384 7888 12408 0 0 650 30 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798973425936 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19992] ppid=19930 vsize=10999548 CPUtime=6.86 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19992/stat : 19992 (java) S 19930 19933 14883 0 -1 1077944384 4030 12408 0 0 646 28 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798972373392 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19993] ppid=19930 vsize=10999548 CPUtime=6.96 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19993/stat : 19993 (java) S 19930 19933 14883 0 -1 1077944384 2881 12408 0 0 656 28 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798641503248 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19994] ppid=19930 vsize=10999548 CPUtime=6.95 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19994/stat : 19994 (java) S 19930 19933 14883 0 -1 1077944384 6625 12408 0 0 652 31 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798640450704 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19995] ppid=19930 vsize=10999548 CPUtime=6.98 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19995/stat : 19995 (java) S 19930 19933 14883 0 -1 1077944384 5301 12408 0 0 654 32 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798639397648 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19996] ppid=19930 vsize=10999548 CPUtime=6.83 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19996/stat : 19996 (java) S 19930 19933 14883 0 -1 1077944384 5686 12408 0 0 641 30 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798638345104 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19997] ppid=19930 vsize=10999548 CPUtime=5.49 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19997/stat : 19997 (java) S 19930 19933 14883 0 -1 1077944384 11181 12408 0 0 507 30 8 4 20 0 20 0 9448862 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798244960496 139799038851714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19998] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19998/stat : 19998 (java) S 19930 19933 14883 0 -1 1077944384 63 12408 0 0 0 0 8 4 20 0 20 0 9448863 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798243906784 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19999] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19999/stat : 19999 (java) S 19930 19933 14883 0 -1 1077944384 42 12408 0 0 0 0 8 4 20 0 20 0 9448863 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798242853632 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20000] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20000/stat : 20000 (java) S 19930 19933 14883 0 -1 1077944384 1 12408 0 0 0 0 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798241802192 139799038859163 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20001] ppid=19930 vsize=10999548 CPUtime=6.07 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20001/stat : 20001 (java) S 19930 19933 14883 0 -1 1077944384 37772 12408 0 0 589 6 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798240750320 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20002] ppid=19930 vsize=10999548 CPUtime=6.08 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20002/stat : 20002 (java) S 19930 19933 14883 0 -1 1077944384 39678 12408 0 0 590 6 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798239697776 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20003] ppid=19930 vsize=10999548 CPUtime=6.64 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20003/stat : 20003 (java) S 19930 19933 14883 0 -1 1077944384 43923 12408 0 0 647 5 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798238644720 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20004] ppid=19930 vsize=10999548 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20004/stat : 20004 (java) S 19930 19933 14883 0 -1 1077944384 48214 12408 0 0 289 7 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798237592176 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20005] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20005/stat : 20005 (java) S 19930 19933 14883 0 -1 1077944384 3 12408 0 0 0 0 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798236539360 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20006] ppid=19930 vsize=10999548 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20006/stat : 20006 (java) S 19930 19933 14883 0 -1 1077944384 1706 12408 0 0 58 55 8 4 20 0 20 0 9448868 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798235486896 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
Current children cumulated CPU time (s) 2389.26
Current children cumulated vsize (KiB) 10999548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2332.8 s]
/proc/loadavg: 1.48 1.57 1.58 3/281 20240
/proc/meminfo: memFree=28181648/32770624 swapFree=5780/175312
[pid=19933] ppid=19930 vsize=10999548 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (java) S 19930 19933 14883 0 -1 1077944320 311189 12408 0 0 239638 353 8 4 20 0 20 0 9448846 11263537152 171938 33554432000 4194304 4196468 140736943685968 140736943668512 139799038840567 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
/proc/19933/statm: 2749887 171938 3515 1 0 2737442 0
[pid=19933/tid=19988] ppid=19930 vsize=10999548 CPUtime=2317.26 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19988/stat : 19988 (java) R 19930 19933 14883 0 -1 4202560 79962 12408 0 0 231682 32 8 4 20 0 20 0 9448859 11263537152 171938 33554432000 4194304 4196468 140736943685968 139799043074608 139798655514343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19989] ppid=19930 vsize=10999548 CPUtime=6.96 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19989/stat : 19989 (java) S 19930 19933 14883 0 -1 1077944384 7452 12408 0 0 654 30 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798975531536 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19990] ppid=19930 vsize=10999548 CPUtime=6.93 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19990/stat : 19990 (java) S 19930 19933 14883 0 -1 1077944384 6562 12408 0 0 651 30 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798974478992 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19991] ppid=19930 vsize=10999548 CPUtime=6.96 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19991/stat : 19991 (java) S 19930 19933 14883 0 -1 1077944384 7912 12408 0 0 654 30 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798973425936 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19992] ppid=19930 vsize=10999548 CPUtime=6.89 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19992/stat : 19992 (java) S 19930 19933 14883 0 -1 1077944384 4030 12408 0 0 649 28 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798972373392 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19993] ppid=19930 vsize=10999548 CPUtime=6.99 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19993/stat : 19993 (java) S 19930 19933 14883 0 -1 1077944384 2882 12408 0 0 659 28 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798641503248 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19994] ppid=19930 vsize=10999548 CPUtime=6.98 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19994/stat : 19994 (java) S 19930 19933 14883 0 -1 1077944384 6626 12408 0 0 655 31 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798640450704 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19995] ppid=19930 vsize=10999548 CPUtime=7.02 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19995/stat : 19995 (java) S 19930 19933 14883 0 -1 1077944384 5302 12408 0 0 658 32 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798639397648 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19996] ppid=19930 vsize=10999548 CPUtime=6.86 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19996/stat : 19996 (java) S 19930 19933 14883 0 -1 1077944384 5687 12408 0 0 644 30 8 4 20 0 20 0 9448860 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798638345104 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19997] ppid=19930 vsize=10999548 CPUtime=5.51 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19997/stat : 19997 (java) S 19930 19933 14883 0 -1 1077944384 11181 12408 0 0 509 30 8 4 20 0 20 0 9448862 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798244960496 139799038851714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19998] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19998/stat : 19998 (java) S 19930 19933 14883 0 -1 1077944384 63 12408 0 0 0 0 8 4 20 0 20 0 9448863 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798243906784 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19999] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19999/stat : 19999 (java) S 19930 19933 14883 0 -1 1077944384 42 12408 0 0 0 0 8 4 20 0 20 0 9448863 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798242853632 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20000] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20000/stat : 20000 (java) S 19930 19933 14883 0 -1 1077944384 1 12408 0 0 0 0 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798241802192 139799038859163 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20001] ppid=19930 vsize=10999548 CPUtime=6.08 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20001/stat : 20001 (java) S 19930 19933 14883 0 -1 1077944384 37772 12408 0 0 590 6 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798240750320 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20002] ppid=19930 vsize=10999548 CPUtime=6.09 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20002/stat : 20002 (java) S 19930 19933 14883 0 -1 1077944384 39679 12408 0 0 591 6 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798239697776 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20003] ppid=19930 vsize=10999548 CPUtime=6.65 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20003/stat : 20003 (java) S 19930 19933 14883 0 -1 1077944384 43924 12408 0 0 648 5 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798238644720 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20004] ppid=19930 vsize=10999548 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20004/stat : 20004 (java) S 19930 19933 14883 0 -1 1077944384 48273 12408 0 0 290 7 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798237592176 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20005] ppid=19930 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20005/stat : 20005 (java) S 19930 19933 14883 0 -1 1077944384 3 12408 0 0 0 0 8 4 20 0 20 0 9448867 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798236539360 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20006] ppid=19930 vsize=10999548 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20006/stat : 20006 (java) S 19930 19933 14883 0 -1 1077944384 1706 12408 0 0 58 56 8 4 20 0 20 0 9448868 11263537152 171938 33554432000 4194304 4196468 140736943685968 139798235486896 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10999548
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 19933 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2333 s]
/proc/loadavg: 1.48 1.57 1.58 3/281 20240
/proc/meminfo: memFree=28181648/32770624 swapFree=5780/175312
[pid=19933] ppid=19930 vsize=11132676 CPUtime=2401.1 cores=0,2,4,6,8,10,12,14
/proc/19933/stat : 19933 (java) S 19930 19933 14883 0 -1 1077944320 313918 12408 0 0 239743 355 8 4 20 0 22 0 9448846 11399860224 173817 33554432000 4194304 4196468 140736943685968 140736943668512 139799038840567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
/proc/19933/statm: 2783169 173817 3515 1 0 2770724 0
[pid=19933/tid=19988] ppid=19930 vsize=11132676 CPUtime=2317.27 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19988/stat : 19988 (java) S 19930 19933 14883 0 -1 1077944384 80073 12408 0 0 231683 32 8 4 20 0 22 0 9448859 11399860224 173817 33554432000 4194304 4196468 140736943685968 139799043078288 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19989] ppid=19930 vsize=11132676 CPUtime=7.08 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19989/stat : 19989 (java) R 19930 19933 14883 0 -1 4202560 7476 12408 0 0 666 30 8 4 20 0 22 0 9448860 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798975531536 139799031468775 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19990] ppid=19930 vsize=11132676 CPUtime=7.06 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19990/stat : 19990 (java) R 19930 19933 14883 0 -1 4202560 6583 12408 0 0 664 30 8 4 20 0 22 0 9448860 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798974478992 139799031468775 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19991] ppid=19930 vsize=11132676 CPUtime=7.09 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19991/stat : 19991 (java) R 19930 19933 14883 0 -1 4202560 7926 12408 0 0 667 30 8 4 20 0 22 0 9448860 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798973425936 139799038852502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19992] ppid=19930 vsize=11132676 CPUtime=7.02 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19992/stat : 19992 (java) R 19930 19933 14883 0 -1 4202560 4232 12408 0 0 662 28 8 4 20 0 22 0 9448860 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798972373592 139799021244432 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19993] ppid=19930 vsize=11132676 CPUtime=7.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19993/stat : 19993 (java) R 19930 19933 14883 0 -1 4202560 2893 12408 0 0 672 28 8 4 20 0 22 0 9448860 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798641503248 139799038861914 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19994] ppid=19930 vsize=11132676 CPUtime=7.11 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19994/stat : 19994 (java) R 19930 19933 14883 0 -1 4202560 6636 12408 0 0 668 31 8 4 20 0 22 0 9448860 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798640450704 139799031468775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19995] ppid=19930 vsize=11132676 CPUtime=7.14 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19995/stat : 19995 (java) R 19930 19933 14883 0 -1 4202560 5314 12408 0 0 670 32 8 4 20 0 22 0 9448860 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798639397768 139799031468775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19996] ppid=19930 vsize=11132676 CPUtime=6.98 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19996/stat : 19996 (java) R 19930 19933 14883 0 -1 4202560 5699 12408 0 0 656 30 8 4 20 0 22 0 9448860 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798638345224 139799031468775 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19997] ppid=19930 vsize=11132676 CPUtime=5.57 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19997/stat : 19997 (java) S 19930 19933 14883 0 -1 1077944384 13331 12408 0 0 515 30 8 4 20 0 22 0 9448862 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798244959088 139799038850773 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19998] ppid=19930 vsize=11132676 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19998/stat : 19998 (java) S 19930 19933 14883 0 -1 1077944384 64 12408 0 0 0 0 8 4 20 0 22 0 9448863 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798243906688 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=19999] ppid=19930 vsize=11132676 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/19999/stat : 19999 (java) S 19930 19933 14883 0 -1 1077944384 42 12408 0 0 0 0 8 4 20 0 22 0 9448863 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798242853632 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20000] ppid=19930 vsize=11132676 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20000/stat : 20000 (java) S 19930 19933 14883 0 -1 1077944384 72 12408 0 0 0 0 8 4 20 0 22 0 9448867 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798241802192 139799038859163 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20001] ppid=19930 vsize=11132676 CPUtime=6.08 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20001/stat : 20001 (java) S 19930 19933 14883 0 -1 1077944384 37772 12408 0 0 590 6 8 4 20 0 22 0 9448867 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798240750320 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20002] ppid=19930 vsize=11132676 CPUtime=6.09 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20002/stat : 20002 (java) S 19930 19933 14883 0 -1 1077944384 39679 12408 0 0 591 6 8 4 20 0 22 0 9448867 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798239697776 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20003] ppid=19930 vsize=11132676 CPUtime=6.65 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20003/stat : 20003 (java) S 19930 19933 14883 0 -1 1077944384 43924 12408 0 0 648 5 8 4 20 0 22 0 9448867 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798238644720 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20004] ppid=19930 vsize=11132676 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20004/stat : 20004 (java) S 19930 19933 14883 0 -1 1077944384 48273 12408 0 0 290 7 8 4 20 0 22 0 9448867 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798237592176 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20005] ppid=19930 vsize=11132676 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20005/stat : 20005 (java) S 19930 19933 14883 0 -1 1077944384 3 12408 0 0 0 0 8 4 20 0 22 0 9448867 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798236539360 139799038850773 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
[pid=19933/tid=20006] ppid=19930 vsize=11132676 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/19933/task/20006/stat : 20006 (java) S 19930 19933 14883 0 -1 1077944384 1706 12408 0 0 58 56 8 4 20 0 22 0 9448868 11399860224 173817 33554432000 4194304 4196468 140736943685968 139798235486896 139799038851714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140736943692481 140736943695255 140736943695255 140736943697871 0
Current children cumulated CPU time (s) 2401.1
Current children cumulated vsize (KiB) 11132676
Child status: 143
Real time (s): 2333.08
CPU time (s): 2401.36
CPU user time (s): 2397.75
CPU system time (s): 3.60965
CPU usage (%): 102.927
Max. virtual memory (cumulated for all children) (KiB): 11132676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.75
system time used= 3.60965
maximum resident set size= 770064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326397
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250415
involuntary context switches= 172423
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8446 second user time and 19.6931 second system time
The end