runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688774-1337879675/watcher-3688774-1337879675 -o /tmp/evaluation-result-3688774-1337879675/solver-3688774-1337879675 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688774-1337879675.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.95 3.97 3.89 5/197 24979
/proc/meminfo: memFree=26842940/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (java) R 24977 24979 21497 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 254093516 23793664 716 33554432000 1073741824 1073778376 140734295167952 140734295157016 266426430824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 5809 716 530 9 0 128 0
[startup+0.0688879 s]
/proc/loadavg: 3.95 3.97 3.89 5/197 24979
/proc/meminfo: memFree=26842940/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/24979/stat : 24979 (java) S 24977 24979 21497 0 -1 4202496 3427 0 1 0 5 0 0 0 20 0 18 0 254093516 9787813888 4124 33554432000 1073741824 1073778376 140734295167952 140734295159088 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 2389603 4125 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100204 s]
/proc/loadavg: 3.95 3.97 3.89 5/197 24979
/proc/meminfo: memFree=26842940/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/24979/stat : 24979 (java) S 24977 24979 21497 0 -1 4202496 4539 0 1 0 10 0 0 0 20 0 18 0 254093516 9787813888 5674 33554432000 1073741824 1073778376 140734295167952 140734295159088 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 2389603 5681 2142 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300145 s]
/proc/loadavg: 3.95 3.97 3.89 5/197 24979
/proc/meminfo: memFree=26842940/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/24979/stat : 24979 (java) S 24977 24979 21497 0 -1 4202496 5808 0 1 0 47 1 0 0 20 0 18 0 254093516 9787813888 8668 33554432000 1073741824 1073778376 140734295167952 140734295159088 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 2389603 8668 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.70015 s]
/proc/loadavg: 3.95 3.97 3.89 5/197 24979
/proc/meminfo: memFree=26842940/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=9824668 CPUtime=1.93 cores=1,3,5,7
/proc/24979/stat : 24979 (java) S 24977 24979 21497 0 -1 4202496 15542 0 1 0 190 3 0 0 20 0 22 0 254093516 10060460032 20697 33554432000 1073741824 1073778376 140734295167952 140734295159088 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 2456167 20697 2251 9 0 2446860 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9824668
[startup+1.50055 s]
/proc/loadavg: 3.95 3.97 3.89 3/216 25004
/proc/meminfo: memFree=26758820/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=9824668 CPUtime=2.37 cores=1,3,5,7
/proc/24979/stat : 24979 (java) S 24977 24979 21497 0 -1 4202496 18126 0 1 0 228 9 0 0 20 0 19 0 254093516 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 140734295159088 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 2456167 27316 2254 9 0 2446860 0
[pid=24979/tid=24981] ppid=24977 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/24979/task/24981/stat : 24981 (java) S 24977 24979 21497 0 -1 4202560 2547 0 1 0 37 1 0 0 20 0 19 0 254093516 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139895006749688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24982] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24982/stat : 24982 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894850734760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24983] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24983/stat : 24983 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894849682216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24984] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24984/stat : 24984 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894848629672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24985] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24985/stat : 24985 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894847577128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24986] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24986/stat : 24986 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894846523560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24987] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24987/stat : 24987 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894845471016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24988] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24988/stat : 24988 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894844418472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24989] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24989/stat : 24989 (java) S 24977 24979 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894843365928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24990] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24990/stat : 24990 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254093518 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894830955112 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24991] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24991/stat : 24991 (java) S 24977 24979 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254093518 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894829901432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24992] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24992/stat : 24992 (java) S 24977 24979 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254093518 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894828848776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24993] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24993/stat : 24993 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093520 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894827797520 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24994] ppid=24977 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/24979/task/24994/stat : 24994 (java) S 24977 24979 21497 0 -1 4202560 4998 0 0 0 57 0 0 0 20 0 19 0 254093520 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894826743864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24995] ppid=24977 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/24979/task/24995/stat : 24995 (java) R 24977 24979 21497 0 -1 4202560 9244 0 0 0 60 2 0 0 20 0 19 0 254093520 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894825668472 139895013724395 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24996] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24996/stat : 24996 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093520 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894824638968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24997] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24997/stat : 24997 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093520 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894823586632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=25001] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/25001/stat : 25001 (java) S 24977 24979 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254093557 10060460032 27316 33554432000 1073741824 1073778376 140734295167952 139894817703592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 9824668
[startup+3.10062 s]
/proc/loadavg: 3.95 3.97 3.89 3/216 25010
/proc/meminfo: memFree=26735032/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=9824668 CPUtime=2.73 cores=1,3,5,7
/proc/24979/stat : 24979 (java) S 24977 24979 21497 0 -1 4202496 19149 0 1 0 258 15 0 0 20 0 19 0 254093516 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 140734295159088 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 2456167 33550 2258 9 0 2446860 0
[pid=24979/tid=24981] ppid=24977 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/24979/task/24981/stat : 24981 (java) S 24977 24979 21497 0 -1 4202560 2548 0 1 0 37 1 0 0 20 0 19 0 254093516 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139895006749688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24982] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24982/stat : 24982 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894850734760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24983] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24983/stat : 24983 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894849682216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24984] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24984/stat : 24984 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894848629672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24985] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24985/stat : 24985 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894847577128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24986] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24986/stat : 24986 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894846523560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24987] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24987/stat : 24987 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894845471016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24988] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24988/stat : 24988 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894844418472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24989] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24989/stat : 24989 (java) S 24977 24979 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894843365928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24990] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24990/stat : 24990 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254093518 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894830955112 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24991] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24991/stat : 24991 (java) S 24977 24979 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254093518 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894829901432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24992] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24992/stat : 24992 (java) S 24977 24979 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254093518 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894828848776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24993] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24993/stat : 24993 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093520 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894827797520 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24994] ppid=24977 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/24979/task/24994/stat : 24994 (java) S 24977 24979 21497 0 -1 4202560 5003 0 0 0 66 0 0 0 20 0 19 0 254093520 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894826743864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24995] ppid=24977 vsize=9824668 CPUtime=0.74 cores=1,3,5,7
/proc/24979/task/24995/stat : 24995 (java) S 24977 24979 21497 0 -1 4202560 10228 0 0 0 72 2 0 0 20 0 19 0 254093520 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894825691320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24996] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24996/stat : 24996 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093520 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894824638968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24997] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24997/stat : 24997 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093520 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894823586632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=25001] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/25001/stat : 25001 (java) S 24977 24979 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254093557 10060460032 33550 33554432000 1073741824 1073778376 140734295167952 139894817703592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 9824668
[startup+6.30064 s]
/proc/loadavg: 3.87 3.95 3.89 3/216 25028
/proc/meminfo: memFree=26670540/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/24979/stat : 24979 (java) S 24977 24979 21497 0 -1 4202496 21001 0 1 0 323 29 0 0 20 0 19 0 254093516 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 140734295159088 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 2456167 44464 2274 9 0 2446860 0
[pid=24979/tid=24981] ppid=24977 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/24979/task/24981/stat : 24981 (java) S 24977 24979 21497 0 -1 4202560 2550 0 1 0 37 2 0 0 20 0 19 0 254093516 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139895006749688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24982] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24982/stat : 24982 (java) S 24977 24979 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894850734760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24983] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24983/stat : 24983 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894849682216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24984] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24984/stat : 24984 (java) S 24977 24979 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894848629672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24985] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24985/stat : 24985 (java) S 24977 24979 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894847577128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24986] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24986/stat : 24986 (java) S 24977 24979 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894846523560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24987] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24987/stat : 24987 (java) S 24977 24979 21497 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894845471016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24988] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24988/stat : 24988 (java) S 24977 24979 21497 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894844418472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24989] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24989/stat : 24989 (java) S 24977 24979 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254093517 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894843365928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24990] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24990/stat : 24990 (java) S 24977 24979 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254093518 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894830955112 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24991] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24991/stat : 24991 (java) S 24977 24979 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254093518 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894829901432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24992] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24992/stat : 24992 (java) S 24977 24979 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254093518 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894828848776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24993] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24993/stat : 24993 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093520 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894827797520 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24994] ppid=24977 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/24979/task/24994/stat : 24994 (java) S 24977 24979 21497 0 -1 4202560 6051 0 0 0 83 0 0 0 20 0 19 0 254093520 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894826743864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24995] ppid=24977 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/24979/task/24995/stat : 24995 (java) S 24977 24979 21497 0 -1 4202560 10922 0 0 0 90 2 0 0 20 0 19 0 254093520 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894825691320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24996] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24996/stat : 24996 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254093520 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894824638968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24997] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24997/stat : 24997 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254093520 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894823586632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=25001] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/25001/stat : 25001 (java) S 24977 24979 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254093557 10060460032 44464 33554432000 1073741824 1073778376 140734295167952 139894817703592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9824668
heavy processes:
################
# More data... #
################
[pid=24979/tid=25074] ppid=24977 vsize=9824668 CPUtime=632.21 cores=1,3,5,7
/proc/24979/task/25074/stat : 25074 (java) R 24977 24979 21497 0 -1 4202560 50 0 0 0 63212 9 0 0 20 0 22 0 254103372 10060460032 682988 33554432000 1073741824 1073778376 140734295167952 139894820831312 139894879179610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=25075] ppid=24977 vsize=9824668 CPUtime=632.23 cores=1,3,5,7
/proc/24979/task/25075/stat : 25075 (java) R 24977 24979 21497 0 -1 4202560 135 0 0 0 63214 9 0 0 20 0 22 0 254103372 10060460032 682988 33554432000 1073741824 1073778376 140734295167952 139894821882336 139894879293334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=25076] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/25076/stat : 25076 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254103372 10060460032 682988 33554432000 1073741824 1073778376 140734295167952 139894818755624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1486.66
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 3.95 3.95 3.91 4/219 25148
/proc/meminfo: memFree=23071312/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=9824668 CPUtime=1604.88 cores=1,3,5,7
/proc/24979/stat : 24979 (java) S 24977 24979 21497 0 -1 4202496 39764 0 1 0 160228 260 0 0 20 0 22 0 254093516 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 140734295159088 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 2456167 719556 2288 9 0 2446860 0
[pid=24979/tid=24981] ppid=24977 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/24979/task/24981/stat : 24981 (java) S 24977 24979 21497 0 -1 4202560 2583 0 1 0 41 3 0 0 20 0 22 0 254093516 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139895006749688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24982] ppid=24977 vsize=9824668 CPUtime=2.39 cores=1,3,5,7
/proc/24979/task/24982/stat : 24982 (java) S 24977 24979 21497 0 -1 4202560 1480 0 0 0 223 16 0 0 20 0 22 0 254093517 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894850734760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24983] ppid=24977 vsize=9824668 CPUtime=2.68 cores=1,3,5,7
/proc/24979/task/24983/stat : 24983 (java) S 24977 24979 21497 0 -1 4202560 1625 0 0 0 250 18 0 0 20 0 22 0 254093517 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894849682216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24984] ppid=24977 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/24979/task/24984/stat : 24984 (java) S 24977 24979 21497 0 -1 4202560 859 0 0 0 232 16 0 0 20 0 22 0 254093517 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894848629672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24985] ppid=24977 vsize=9824668 CPUtime=2.73 cores=1,3,5,7
/proc/24979/task/24985/stat : 24985 (java) S 24977 24979 21497 0 -1 4202560 1043 0 0 0 254 19 0 0 20 0 22 0 254093517 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894847577128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24986] ppid=24977 vsize=9824668 CPUtime=2.62 cores=1,3,5,7
/proc/24979/task/24986/stat : 24986 (java) S 24977 24979 21497 0 -1 4202560 1475 0 0 0 243 19 0 0 20 0 22 0 254093517 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894846523560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24987] ppid=24977 vsize=9824668 CPUtime=2.81 cores=1,3,5,7
/proc/24979/task/24987/stat : 24987 (java) S 24977 24979 21497 0 -1 4202560 1487 0 0 0 260 21 0 0 20 0 22 0 254093517 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894845471016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24988] ppid=24977 vsize=9824668 CPUtime=2.44 cores=1,3,5,7
/proc/24979/task/24988/stat : 24988 (java) S 24977 24979 21497 0 -1 4202560 906 0 0 0 227 17 0 0 20 0 22 0 254093517 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894844418472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24989] ppid=24977 vsize=9824668 CPUtime=2.38 cores=1,3,5,7
/proc/24979/task/24989/stat : 24989 (java) S 24977 24979 21497 0 -1 4202560 906 0 0 0 223 15 0 0 20 0 22 0 254093517 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894843365928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24990] ppid=24977 vsize=9824668 CPUtime=32.41 cores=1,3,5,7
/proc/24979/task/24990/stat : 24990 (java) S 24977 24979 21497 0 -1 4202560 2031 0 0 0 3218 23 0 0 20 0 22 0 254093518 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894830955112 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24991] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24991/stat : 24991 (java) S 24977 24979 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254093518 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894829901432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24992] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24992/stat : 24992 (java) S 24977 24979 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254093518 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894828848776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24993] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24993/stat : 24993 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254093520 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894827797520 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24994] ppid=24977 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/24979/task/24994/stat : 24994 (java) S 24977 24979 21497 0 -1 4202560 11240 0 0 0 163 2 0 0 20 0 22 0 254093520 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894826743864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24995] ppid=24977 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/24979/task/24995/stat : 24995 (java) S 24977 24979 21497 0 -1 4202560 10962 0 0 0 135 3 0 0 20 0 22 0 254093520 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894825691320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24996] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24996/stat : 24996 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254093520 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894824638968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24997] ppid=24977 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/24979/task/24997/stat : 24997 (java) S 24977 24979 21497 0 -1 4202560 48 0 0 0 12 20 0 0 20 0 22 0 254093520 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894823586632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=25058] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/25058/stat : 25058 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254094508 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894817702696 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=25074] ppid=24977 vsize=9824668 CPUtime=689.52 cores=1,3,5,7
/proc/24979/task/25074/stat : 25074 (java) R 24977 24979 21497 0 -1 4202560 52 0 0 0 68942 10 0 0 20 0 22 0 254103372 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894820829424 139894879179517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=25075] ppid=24977 vsize=9824668 CPUtime=689.55 cores=1,3,5,7
/proc/24979/task/25075/stat : 25075 (java) R 24977 24979 21497 0 -1 4202560 141 0 0 0 68945 10 0 0 20 0 22 0 254103372 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894821883104 139894879291359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=25076] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/25076/stat : 25076 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254103372 10060460032 719556 33554432000 1073741824 1073778376 140734295167952 139894818755624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1604.88
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.87 3.92 3.90 5/219 25157
/proc/meminfo: memFree=22726108/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=9824668 CPUtime=1723.53 cores=1,3,5,7
/proc/24979/stat : 24979 (java) S 24977 24979 21497 0 -1 4202496 40034 0 1 0 172081 272 0 0 20 0 22 0 254093516 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 140734295159088 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 2456167 749839 2288 9 0 2446860 0
[pid=24979/tid=24981] ppid=24977 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/24979/task/24981/stat : 24981 (java) S 24977 24979 21497 0 -1 4202560 2584 0 1 0 41 3 0 0 20 0 22 0 254093516 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139895006749688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24982] ppid=24977 vsize=9824668 CPUtime=2.51 cores=1,3,5,7
/proc/24979/task/24982/stat : 24982 (java) S 24977 24979 21497 0 -1 4202560 1507 0 0 0 234 17 0 0 20 0 22 0 254093517 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894850734760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24983] ppid=24977 vsize=9824668 CPUtime=2.76 cores=1,3,5,7
/proc/24979/task/24983/stat : 24983 (java) S 24977 24979 21497 0 -1 4202560 1639 0 0 0 257 19 0 0 20 0 22 0 254093517 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894849682216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24984] ppid=24977 vsize=9824668 CPUtime=2.59 cores=1,3,5,7
/proc/24979/task/24984/stat : 24984 (java) S 24977 24979 21497 0 -1 4202560 866 0 0 0 242 17 0 0 20 0 22 0 254093517 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894848629672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24985] ppid=24977 vsize=9824668 CPUtime=2.9 cores=1,3,5,7
/proc/24979/task/24985/stat : 24985 (java) S 24977 24979 21497 0 -1 4202560 1093 0 0 0 270 20 0 0 20 0 22 0 254093517 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894847577128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24986] ppid=24977 vsize=9824668 CPUtime=2.79 cores=1,3,5,7
/proc/24979/task/24986/stat : 24986 (java) S 24977 24979 21497 0 -1 4202560 1502 0 0 0 259 20 0 0 20 0 22 0 254093517 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894846523560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24987] ppid=24977 vsize=9824668 CPUtime=2.94 cores=1,3,5,7
/proc/24979/task/24987/stat : 24987 (java) S 24977 24979 21497 0 -1 4202560 1511 0 0 0 271 23 0 0 20 0 22 0 254093517 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894845471016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24988] ppid=24977 vsize=9824668 CPUtime=2.59 cores=1,3,5,7
/proc/24979/task/24988/stat : 24988 (java) S 24977 24979 21497 0 -1 4202560 938 0 0 0 241 18 0 0 20 0 22 0 254093517 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894844418472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24989] ppid=24977 vsize=9824668 CPUtime=2.53 cores=1,3,5,7
/proc/24979/task/24989/stat : 24989 (java) S 24977 24979 21497 0 -1 4202560 937 0 0 0 237 16 0 0 20 0 22 0 254093517 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894843365928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24990] ppid=24977 vsize=9824668 CPUtime=34.25 cores=1,3,5,7
/proc/24979/task/24990/stat : 24990 (java) S 24977 24979 21497 0 -1 4202560 2078 0 0 0 3401 24 0 0 20 0 22 0 254093518 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894830955112 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24991] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24991/stat : 24991 (java) S 24977 24979 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254093518 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894829901432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24992] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24992/stat : 24992 (java) S 24977 24979 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254093518 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894828848776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24993] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24993/stat : 24993 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254093520 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894827797520 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24994] ppid=24977 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/24979/task/24994/stat : 24994 (java) S 24977 24979 21497 0 -1 4202560 11240 0 0 0 163 2 0 0 20 0 22 0 254093520 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894826743864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24995] ppid=24977 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/24979/task/24995/stat : 24995 (java) S 24977 24979 21497 0 -1 4202560 10962 0 0 0 135 3 0 0 20 0 22 0 254093520 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894825691320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24996] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24996/stat : 24996 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254093520 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894824638968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24997] ppid=24977 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/24979/task/24997/stat : 24997 (java) S 24977 24979 21497 0 -1 4202560 52 0 0 0 12 23 0 0 20 0 22 0 254093520 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894823586632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=25058] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/25058/stat : 25058 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254094508 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894817702696 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=25074] ppid=24977 vsize=9824668 CPUtime=747.38 cores=1,3,5,7
/proc/24979/task/25074/stat : 25074 (java) R 24977 24979 21497 0 -1 4202560 53 0 0 0 74727 11 0 0 20 0 22 0 254103372 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894820829424 139894879179508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=25075] ppid=24977 vsize=9824668 CPUtime=747.41 cores=1,3,5,7
/proc/24979/task/25075/stat : 25075 (java) R 24977 24979 21497 0 -1 4202560 146 0 0 0 74730 11 0 0 20 0 22 0 254103372 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894821883120 139894879414911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=25076] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/25076/stat : 25076 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254103372 10060460032 749839 33554432000 1073741824 1073778376 140734295167952 139894818755624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.53
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+921.201 s]
/proc/loadavg: 3.88 3.92 3.90 5/219 25157
/proc/meminfo: memFree=22614036/32873648 swapFree=6852/6852
[pid=24979] ppid=24977 vsize=9824668 CPUtime=1800.21 cores=1,3,5,7
/proc/24979/stat : 24979 (java) S 24977 24979 21497 0 -1 4202496 40306 0 1 0 179740 281 0 0 20 0 22 0 254093516 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 140734295159088 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24979/statm: 2456167 768404 2288 9 0 2446860 0
[pid=24979/tid=24981] ppid=24977 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/24979/task/24981/stat : 24981 (java) S 24977 24979 21497 0 -1 4202560 2584 0 1 0 41 3 0 0 20 0 22 0 254093516 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139895006749688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24982] ppid=24977 vsize=9824668 CPUtime=2.57 cores=1,3,5,7
/proc/24979/task/24982/stat : 24982 (java) S 24977 24979 21497 0 -1 4202560 1520 0 0 0 239 18 0 0 20 0 22 0 254093517 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894850734760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24983] ppid=24977 vsize=9824668 CPUtime=2.91 cores=1,3,5,7
/proc/24979/task/24983/stat : 24983 (java) S 24977 24979 21497 0 -1 4202560 1693 0 0 0 271 20 0 0 20 0 22 0 254093517 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894849682216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24984] ppid=24977 vsize=9824668 CPUtime=2.66 cores=1,3,5,7
/proc/24979/task/24984/stat : 24984 (java) S 24977 24979 21497 0 -1 4202560 873 0 0 0 249 17 0 0 20 0 22 0 254093517 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894848629672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24985] ppid=24977 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/24979/task/24985/stat : 24985 (java) S 24977 24979 21497 0 -1 4202560 1139 0 0 0 280 21 0 0 20 0 22 0 254093517 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894847577128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24986] ppid=24977 vsize=9824668 CPUtime=2.88 cores=1,3,5,7
/proc/24979/task/24986/stat : 24986 (java) S 24977 24979 21497 0 -1 4202560 1528 0 0 0 267 21 0 0 20 0 22 0 254093517 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894846523560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24987] ppid=24977 vsize=9824668 CPUtime=2.99 cores=1,3,5,7
/proc/24979/task/24987/stat : 24987 (java) S 24977 24979 21497 0 -1 4202560 1520 0 0 0 276 23 0 0 20 0 22 0 254093517 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894845471016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24988] ppid=24977 vsize=9824668 CPUtime=2.75 cores=1,3,5,7
/proc/24979/task/24988/stat : 24988 (java) S 24977 24979 21497 0 -1 4202560 991 0 0 0 255 20 0 0 20 0 22 0 254093517 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894844418472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24989] ppid=24977 vsize=9824668 CPUtime=2.62 cores=1,3,5,7
/proc/24979/task/24989/stat : 24989 (java) S 24977 24979 21497 0 -1 4202560 950 0 0 0 245 17 0 0 20 0 22 0 254093517 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894843365928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24979/tid=24990] ppid=24977 vsize=9824668 CPUtime=35.78 cores=1,3,5,7
/proc/24979/task/24990/stat : 24990 (java) S 24977 24979 21497 0 -1 4202560 2123 0 0 0 3554 24 0 0 20 0 22 0 254093518 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894830955112 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24991] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24991/stat : 24991 (java) S 24977 24979 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254093518 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894829901432 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24992] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24992/stat : 24992 (java) S 24977 24979 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254093518 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894828848776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24993] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24993/stat : 24993 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254093520 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894827797520 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=24994] ppid=24977 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/24979/task/24994/stat : 24994 (java) S 24977 24979 21497 0 -1 4202560 11240 0 0 0 163 2 0 0 20 0 22 0 254093520 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894826743864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24995] ppid=24977 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/24979/task/24995/stat : 24995 (java) S 24977 24979 21497 0 -1 4202560 10962 0 0 0 135 3 0 0 20 0 22 0 254093520 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894825691320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=24996] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/24996/stat : 24996 (java) S 24977 24979 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254093520 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894824638968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=24997] ppid=24977 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/24979/task/24997/stat : 24997 (java) S 24977 24979 21497 0 -1 4202560 54 0 0 0 13 23 0 0 20 0 22 0 254093520 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894823586632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=25058] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/25058/stat : 25058 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254094508 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894817702696 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24979/tid=25074] ppid=24977 vsize=9824668 CPUtime=784.55 cores=1,3,5,7
/proc/24979/task/25074/stat : 25074 (java) R 24977 24979 21497 0 -1 4202560 53 0 0 0 78444 11 0 0 20 0 22 0 254103372 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894820829536 139894879179610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24979/tid=25075] ppid=24977 vsize=9824668 CPUtime=784.58 cores=1,3,5,7
/proc/24979/task/25075/stat : 25075 (java) R 24977 24979 21497 0 -1 4202560 150 0 0 0 78447 11 0 0 20 0 22 0 254103372 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894821883104 139894879283900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24979/tid=25076] ppid=24977 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24979/task/25076/stat : 25076 (java) S 24977 24979 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254103372 10060460032 768404 33554432000 1073741824 1073778376 140734295167952 139894818755624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 921.235
CPU time (s): 1800.65
CPU user time (s): 1797.4
CPU system time (s): 3.24951
CPU usage (%): 195.46
Max. virtual memory (cumulated for all children) (KiB): 9825036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.4
system time used= 3.24951
maximum resident set size= 3073728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40335
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29824
involuntary context switches= 45209
runsolver used 3.47247 second user time and 8.30374 second system time
The end