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-3690202-1337888913/watcher-3690202-1337888913 -o /tmp/evaluation-result-3690202-1337888913/solver-3690202-1337888913 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690202-1337888913.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.39 4.04 3.91 3/197 26958
/proc/meminfo: memFree=27963508/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/26958/stat : 26958 (java) R 26956 26958 21308 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 255019916 23793664 714 33554432000 1073741824 1073778376 140734477135968 140734477125032 247055037800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 5809 714 529 9 0 128 0
[startup+0.070295 s]
/proc/loadavg: 4.39 4.04 3.91 3/197 26958
/proc/meminfo: memFree=27963508/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26956 26958 21308 0 -1 4202496 3324 0 1 0 5 0 0 0 20 0 18 0 255019916 9787813888 4533 33554432000 1073741824 1073778376 140734477135968 140734477127104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 2389603 4533 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100249 s]
/proc/loadavg: 4.39 4.04 3.91 3/197 26958
/proc/meminfo: memFree=27963508/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26956 26958 21308 0 -1 4202496 4369 0 1 0 9 0 0 0 20 0 18 0 255019916 9787813888 6077 33554432000 1073741824 1073778376 140734477135968 140734477127104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 2389603 6077 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300218 s]
/proc/loadavg: 4.39 4.04 3.91 3/197 26958
/proc/meminfo: memFree=27963508/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26956 26958 21308 0 -1 4202496 5362 0 1 0 50 1 0 0 20 0 18 0 255019916 9787813888 8725 33554432000 1073741824 1073778376 140734477135968 140734477127104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 2389603 8720 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412
[startup+0.70017 s]
/proc/loadavg: 4.39 4.04 3.91 3/197 26958
/proc/meminfo: memFree=27963508/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=9824668 CPUtime=1.35 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26956 26958 21308 0 -1 4202496 7969 0 1 0 132 3 0 0 20 0 22 0 255019916 10060460032 39281 33554432000 1073741824 1073778376 140734477135968 140734477127104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 2456167 39281 2247 9 0 2446860 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9824668
[startup+1.50083 s]
/proc/loadavg: 4.52 4.07 3.92 11/219 26980
/proc/meminfo: memFree=27619988/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=9824668 CPUtime=4.34 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26956 26958 21308 0 -1 4202496 20197 0 1 0 426 8 0 0 20 0 22 0 255019916 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 140734477127104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 2456167 49961 2271 9 0 2446860 0
[pid=26958/tid=26960] ppid=26956 vsize=9824668 CPUtime=0.63 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) S 26956 26958 21308 0 -1 4202560 2524 0 1 0 61 2 0 0 20 0 22 0 255019917 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992735704056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26961] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) S 26956 26958 21308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 255019917 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992724764968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26962] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019917 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992723712168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26963] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26956 26958 21308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 255019917 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992722659880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26964] ppid=26956 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26956 26958 21308 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 255019917 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992721607080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26965] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26956 26958 21308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 255019917 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992720554792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26966] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26956 26958 21308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 255019917 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992719501992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26967] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26956 26958 21308 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 255019917 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992718449704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26968] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019917 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992717396904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26969] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26956 26958 21308 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 255019918 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992559692008 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26970] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26956 26958 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992558638072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26971] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26956 26958 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992557585672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26972] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992556534160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26973] ppid=26956 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26956 26958 21308 0 -1 4202560 8736 0 0 0 94 2 0 0 20 0 22 0 255019921 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992555481784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26974] ppid=26956 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/26958/task/26974/stat : 26974 (java) S 26956 26958 21308 0 -1 4202560 7512 0 0 0 96 2 0 0 20 0 22 0 255019921 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992554428984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26975] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26975/stat : 26975 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992553376888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26976] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26976/stat : 26976 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992552324296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26977] ppid=26956 vsize=9824668 CPUtime=0.79 cores=0,2,4,6
/proc/26958/task/26977/stat : 26977 (java) R 26956 26958 21308 0 -1 4202560 21 0 0 0 79 0 0 0 20 0 22 0 255019982 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992551260352 139992597499429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26978] ppid=26956 vsize=9824668 CPUtime=0.79 cores=0,2,4,6
/proc/26958/task/26978/stat : 26978 (java) R 26956 26958 21308 0 -1 4202560 82 0 0 0 79 0 0 0 20 0 22 0 255019982 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992550215688 139992597436697 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26979] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26979/stat : 26979 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992549164200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26980] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26980/stat : 26980 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 49961 33554432000 1073741824 1073778376 140734477135968 139992548111400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 9824668
[startup+3.10082 s]
/proc/loadavg: 4.52 4.07 3.92 5/219 26980
/proc/meminfo: memFree=27551672/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=9824668 CPUtime=7.87 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26956 26958 21308 0 -1 4202496 20843 0 1 0 770 17 0 0 20 0 22 0 255019916 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 140734477127104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 2456167 90388 2274 9 0 2446860 0
[pid=26958/tid=26960] ppid=26956 vsize=9824668 CPUtime=0.63 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) S 26956 26958 21308 0 -1 4202560 2524 0 1 0 61 2 0 0 20 0 22 0 255019917 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992735704056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26961] ppid=26956 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) S 26956 26958 21308 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 255019917 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992724764968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26962] ppid=26956 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26956 26958 21308 0 -1 4202560 121 0 0 0 4 2 0 0 20 0 22 0 255019917 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992723712168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26963] ppid=26956 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26956 26958 21308 0 -1 4202560 102 0 0 0 2 0 0 0 20 0 22 0 255019917 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992722659880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26964] ppid=26956 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26956 26958 21308 0 -1 4202560 117 0 0 0 3 2 0 0 20 0 22 0 255019917 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992721607080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26965] ppid=26956 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26956 26958 21308 0 -1 4202560 108 0 0 0 3 2 0 0 20 0 22 0 255019917 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992720554792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26966] ppid=26956 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26956 26958 21308 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 255019917 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992719501992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26967] ppid=26956 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26956 26958 21308 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 255019917 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992718449704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26968] ppid=26956 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26956 26958 21308 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 255019917 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992717396904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26969] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26956 26958 21308 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 255019918 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992559692008 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26970] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26956 26958 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992558638072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26971] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26956 26958 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992557585672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26972] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992556534160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26973] ppid=26956 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26956 26958 21308 0 -1 4202560 8739 0 0 0 106 2 0 0 20 0 22 0 255019921 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992555481784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26974] ppid=26956 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/26958/task/26974/stat : 26974 (java) S 26956 26958 21308 0 -1 4202560 7512 0 0 0 105 2 0 0 20 0 22 0 255019921 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992554428984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26975] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26975/stat : 26975 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992553376888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26976] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26976/stat : 26976 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992552324296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26977] ppid=26956 vsize=9824668 CPUtime=2.32 cores=0,2,4,6
/proc/26958/task/26977/stat : 26977 (java) R 26956 26958 21308 0 -1 4202560 22 0 0 0 232 0 0 0 20 0 22 0 255019982 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992551268696 139992597499272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26978] ppid=26956 vsize=9824668 CPUtime=2.32 cores=0,2,4,6
/proc/26958/task/26978/stat : 26978 (java) R 26956 26958 21308 0 -1 4202560 135 0 0 0 230 2 0 0 20 0 22 0 255019982 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992550214384 139992597797274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26979] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26979/stat : 26979 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992549164200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26980] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26980/stat : 26980 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 90388 33554432000 1073741824 1073778376 140734477135968 139992548111400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 9824668
[startup+6.30081 s]
/proc/loadavg: 4.52 4.07 3.92 4/219 26980
/proc/meminfo: memFree=27133820/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=9824668 CPUtime=14.56 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26956 26958 21308 0 -1 4202496 21609 0 1 0 1429 27 0 0 20 0 22 0 255019916 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 140734477127104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 2456167 161052 2286 9 0 2446860 0
[pid=26958/tid=26960] ppid=26956 vsize=9824668 CPUtime=0.63 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) S 26956 26958 21308 0 -1 4202560 2524 0 1 0 61 2 0 0 20 0 22 0 255019917 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992735704056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26961] ppid=26956 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) S 26956 26958 21308 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 22 0 255019917 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992724764968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26962] ppid=26956 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26956 26958 21308 0 -1 4202560 156 0 0 0 8 3 0 0 20 0 22 0 255019917 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992723712168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26963] ppid=26956 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26956 26958 21308 0 -1 4202560 125 0 0 0 5 0 0 0 20 0 22 0 255019917 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992722659880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26964] ppid=26956 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26956 26958 21308 0 -1 4202560 153 0 0 0 8 3 0 0 20 0 22 0 255019917 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992721607080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26965] ppid=26956 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26956 26958 21308 0 -1 4202560 111 0 0 0 5 3 0 0 20 0 22 0 255019917 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992720554792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26966] ppid=26956 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26956 26958 21308 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 255019917 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992719501992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26967] ppid=26956 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26956 26958 21308 0 -1 4202560 52 0 0 0 5 3 0 0 20 0 22 0 255019917 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992718449704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26968] ppid=26956 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26956 26958 21308 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 255019917 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992717396904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26969] ppid=26956 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26956 26958 21308 0 -1 4202560 491 0 0 0 10 0 0 0 20 0 22 0 255019918 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992559692008 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26970] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26956 26958 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992558638072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26971] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26956 26958 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992557585672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26972] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992556534160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26973] ppid=26956 vsize=9824668 CPUtime=1.2 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26956 26958 21308 0 -1 4202560 8740 0 0 0 118 2 0 0 20 0 22 0 255019921 10060460032 161052 33554432000 1073741824 1073778376 140734477135968 139992555481784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
[pid=26958/tid=26978] ppid=26956 vsize=9824668 CPUtime=731.05 cores=0,2,4,6
/proc/26958/task/26978/stat : 26978 (java) R 26956 26958 21308 0 -1 4202560 1970 0 0 0 73057 48 0 0 20 0 22 0 255019982 10060460032 619151 33554432000 1073741824 1073778376 140734477135968 139992550214016 139992597215390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26979] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26979/stat : 26979 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 619151 33554432000 1073741824 1073778376 140734477135968 139992549164200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26980] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26980/stat : 26980 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 619151 33554432000 1073741824 1073778376 140734477135968 139992548111400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1510.6
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 3.95 4.04 3.96 5/219 27023
/proc/meminfo: memFree=24435908/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=9824668 CPUtime=1629.57 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26956 26958 21308 0 -1 4202496 36708 0 1 0 162781 176 0 0 20 0 22 0 255019916 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 140734477127104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 2456167 648523 2286 9 0 2446860 0
[pid=26958/tid=26960] ppid=26956 vsize=9824668 CPUtime=0.67 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) S 26956 26958 21308 0 -1 4202560 2544 0 1 0 63 4 0 0 20 0 22 0 255019917 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992735704056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26961] ppid=26956 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) S 26956 26958 21308 0 -1 4202560 593 0 0 0 253 12 0 0 20 0 22 0 255019917 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992724764968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26962] ppid=26956 vsize=9824668 CPUtime=2.75 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26956 26958 21308 0 -1 4202560 815 0 0 0 261 14 0 0 20 0 22 0 255019917 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992723712168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26963] ppid=26956 vsize=9824668 CPUtime=2.75 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26956 26958 21308 0 -1 4202560 674 0 0 0 263 12 0 0 20 0 22 0 255019917 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992722659880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26964] ppid=26956 vsize=9824668 CPUtime=2.63 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26956 26958 21308 0 -1 4202560 632 0 0 0 250 13 0 0 20 0 22 0 255019917 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992721607080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26965] ppid=26956 vsize=9824668 CPUtime=2.41 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26956 26958 21308 0 -1 4202560 758 0 0 0 231 10 0 0 20 0 22 0 255019917 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992720554792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26966] ppid=26956 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26956 26958 21308 0 -1 4202560 574 0 0 0 237 12 0 0 20 0 22 0 255019917 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992719501992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26967] ppid=26956 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26956 26958 21308 0 -1 4202560 610 0 0 0 244 12 0 0 20 0 22 0 255019917 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992718449704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26968] ppid=26956 vsize=9824668 CPUtime=2.48 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26956 26958 21308 0 -1 4202560 1035 0 0 0 236 12 0 0 20 0 22 0 255019917 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992717396904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26969] ppid=26956 vsize=9824668 CPUtime=26.81 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26956 26958 21308 0 -1 4202560 4490 0 0 0 2665 16 0 0 20 0 22 0 255019918 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992559692008 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26970] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26956 26958 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992558638072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26971] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26956 26958 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992557585672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26972] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992556534160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26973] ppid=26956 vsize=9824668 CPUtime=1.34 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26956 26958 21308 0 -1 4202560 8746 0 0 0 132 2 0 0 20 0 22 0 255019921 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992555481784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26974] ppid=26956 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/26958/task/26974/stat : 26974 (java) S 26956 26958 21308 0 -1 4202560 11940 0 0 0 167 3 0 0 20 0 22 0 255019921 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992554428984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26975] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26975/stat : 26975 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992553376888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26976] ppid=26956 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/26958/task/26976/stat : 26976 (java) S 26956 26958 21308 0 -1 4202560 47 0 0 0 11 18 0 0 20 0 22 0 255019921 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992552324296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26977] ppid=26956 vsize=9824668 CPUtime=789.09 cores=0,2,4,6
/proc/26958/task/26977/stat : 26977 (java) R 26956 26958 21308 0 -1 4202560 88 0 0 0 78895 14 0 0 20 0 22 0 255019982 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992551266704 139992597424999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26978] ppid=26956 vsize=9824668 CPUtime=789.05 cores=0,2,4,6
/proc/26958/task/26978/stat : 26978 (java) R 26956 26958 21308 0 -1 4202560 1976 0 0 0 78856 49 0 0 20 0 22 0 255019982 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992550214704 139992597652603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26979] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26979/stat : 26979 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992549164200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26980] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26980/stat : 26980 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 648523 33554432000 1073741824 1073778376 140734477135968 139992548111400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1629.57
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.00 4.03 3.96 5/219 27023
/proc/meminfo: memFree=24332892/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=9824668 CPUtime=1747.86 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26956 26958 21308 0 -1 4202496 38054 0 1 0 174600 186 0 0 20 0 22 0 255019916 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 140734477127104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 2456167 674268 2286 9 0 2446860 0
[pid=26958/tid=26960] ppid=26956 vsize=9824668 CPUtime=0.68 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) S 26956 26958 21308 0 -1 4202560 2546 0 1 0 63 5 0 0 20 0 22 0 255019917 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992735704056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26961] ppid=26956 vsize=9824668 CPUtime=2.8 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) S 26956 26958 21308 0 -1 4202560 625 0 0 0 267 13 0 0 20 0 22 0 255019917 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992724764968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26962] ppid=26956 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26956 26958 21308 0 -1 4202560 1050 0 0 0 275 16 0 0 20 0 22 0 255019917 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992723712168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26963] ppid=26956 vsize=9824668 CPUtime=2.97 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26956 26958 21308 0 -1 4202560 942 0 0 0 283 14 0 0 20 0 22 0 255019917 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992722659880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26964] ppid=26956 vsize=9824668 CPUtime=2.81 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26956 26958 21308 0 -1 4202560 714 0 0 0 267 14 0 0 20 0 22 0 255019917 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992721607080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26965] ppid=26956 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26956 26958 21308 0 -1 4202560 786 0 0 0 244 12 0 0 20 0 22 0 255019917 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992720554792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26966] ppid=26956 vsize=9824668 CPUtime=2.58 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26956 26958 21308 0 -1 4202560 611 0 0 0 246 12 0 0 20 0 22 0 255019917 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992719501992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26967] ppid=26956 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26956 26958 21308 0 -1 4202560 636 0 0 0 252 13 0 0 20 0 22 0 255019917 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992718449704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26968] ppid=26956 vsize=9824668 CPUtime=2.58 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26956 26958 21308 0 -1 4202560 1106 0 0 0 245 13 0 0 20 0 22 0 255019917 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992717396904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26969] ppid=26956 vsize=9824668 CPUtime=29.03 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26956 26958 21308 0 -1 4202560 4526 0 0 0 2886 17 0 0 20 0 22 0 255019918 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992559692008 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26970] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26956 26958 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992558638072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26971] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26956 26958 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992557585672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26972] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992556534160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26973] ppid=26956 vsize=9824668 CPUtime=1.34 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26956 26958 21308 0 -1 4202560 8746 0 0 0 132 2 0 0 20 0 22 0 255019921 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992555481784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26974] ppid=26956 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/26958/task/26974/stat : 26974 (java) S 26956 26958 21308 0 -1 4202560 11940 0 0 0 167 3 0 0 20 0 22 0 255019921 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992554428984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26975] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26975/stat : 26975 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992553376888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26976] ppid=26956 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/26958/task/26976/stat : 26976 (java) S 26956 26958 21308 0 -1 4202560 51 0 0 0 12 19 0 0 20 0 22 0 255019921 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992552324296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26977] ppid=26956 vsize=9824668 CPUtime=846.56 cores=0,2,4,6
/proc/26958/task/26977/stat : 26977 (java) R 26956 26958 21308 0 -1 4202560 91 0 0 0 84641 15 0 0 20 0 22 0 255019982 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992551268576 139992597504857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26978] ppid=26956 vsize=9824668 CPUtime=846.52 cores=0,2,4,6
/proc/26958/task/26978/stat : 26978 (java) R 26956 26958 21308 0 -1 4202560 2498 0 0 0 84602 50 0 0 20 0 22 0 255019982 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992550214016 139992597563493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26979] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26979/stat : 26979 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992549164200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26980] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26980/stat : 26980 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 674268 33554432000 1073741824 1073778376 140734477135968 139992548111400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1747.86
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+908.607 s]
/proc/loadavg: 3.69 3.96 3.94 3/191 27050
/proc/meminfo: memFree=26376832/32873844 swapFree=7100/7100
[pid=26958] ppid=26956 vsize=9824668 CPUtime=1800.05 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26956 26958 21308 0 -1 4202496 38236 0 1 0 179811 194 0 0 20 0 22 0 255019916 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 140734477127104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26958/statm: 2456167 692753 2287 9 0 2446860 0
[pid=26958/tid=26960] ppid=26956 vsize=9824668 CPUtime=0.68 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) S 26956 26958 21308 0 -1 4202560 2546 0 1 0 63 5 0 0 20 0 22 0 255019917 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992735704056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26961] ppid=26956 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) S 26956 26958 21308 0 -1 4202560 664 0 0 0 276 14 0 0 20 0 22 0 255019917 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992724764968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26962] ppid=26956 vsize=9824668 CPUtime=3.01 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26956 26958 21308 0 -1 4202560 1064 0 0 0 284 17 0 0 20 0 22 0 255019917 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992723712168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26963] ppid=26956 vsize=9824668 CPUtime=3.02 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26956 26958 21308 0 -1 4202560 952 0 0 0 288 14 0 0 20 0 22 0 255019917 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992722659880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26964] ppid=26956 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26956 26958 21308 0 -1 4202560 719 0 0 0 272 15 0 0 20 0 22 0 255019917 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992721607080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26965] ppid=26956 vsize=9824668 CPUtime=2.68 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26956 26958 21308 0 -1 4202560 798 0 0 0 255 13 0 0 20 0 22 0 255019917 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992720554792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26966] ppid=26956 vsize=9824668 CPUtime=2.74 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26956 26958 21308 0 -1 4202560 632 0 0 0 261 13 0 0 20 0 22 0 255019917 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992719501992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26967] ppid=26956 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26956 26958 21308 0 -1 4202560 659 0 0 0 262 14 0 0 20 0 22 0 255019917 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992718449704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26968] ppid=26956 vsize=9824668 CPUtime=2.7 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26956 26958 21308 0 -1 4202560 1116 0 0 0 257 13 0 0 20 0 22 0 255019917 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992717396904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26969] ppid=26956 vsize=9824668 CPUtime=29.88 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26956 26958 21308 0 -1 4202560 4564 0 0 0 2971 17 0 0 20 0 22 0 255019918 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992559692008 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26970] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26956 26958 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992558638072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26971] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26956 26958 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255019919 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992557585672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26972] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992556534160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26973] ppid=26956 vsize=9824668 CPUtime=1.34 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26956 26958 21308 0 -1 4202560 8746 0 0 0 132 2 0 0 20 0 22 0 255019921 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992555481784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26958/tid=26974] ppid=26956 vsize=9824668 CPUtime=1.71 cores=0,2,4,6
/proc/26958/task/26974/stat : 26974 (java) S 26956 26958 21308 0 -1 4202560 11944 0 0 0 168 3 0 0 20 0 22 0 255019921 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992554428984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26975] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26975/stat : 26975 (java) S 26956 26958 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255019921 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992553376888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26976] ppid=26956 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/26958/task/26976/stat : 26976 (java) S 26956 26958 21308 0 -1 4202560 53 0 0 0 12 20 0 0 20 0 22 0 255019921 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992552324296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26958/tid=26977] ppid=26956 vsize=9824668 CPUtime=871.81 cores=0,2,4,6
/proc/26958/task/26977/stat : 26977 (java) R 26956 26958 21308 0 -1 4202560 92 0 0 0 87165 16 0 0 20 0 22 0 255019982 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992551268576 139992597504308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26978] ppid=26956 vsize=9824668 CPUtime=871.77 cores=0,2,4,6
/proc/26958/task/26978/stat : 26978 (java) R 26956 26958 21308 0 -1 4202560 2501 0 0 0 87126 51 0 0 20 0 22 0 255019982 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992550216216 139992597722949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26958/tid=26979] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26979/stat : 26979 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992549164200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26958/tid=26980] ppid=26956 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26980/stat : 26980 (java) S 26956 26958 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255019985 10060460032 692753 33554432000 1073741824 1073778376 140734477135968 139992548111400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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): 908.657
CPU time (s): 1800.59
CPU user time (s): 1798.16
CPU system time (s): 2.43163
CPU usage (%): 198.159
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 2.43163
maximum resident set size= 2919288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38268
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27704
involuntary context switches= 48466
runsolver used 3.61145 second user time and 7.62384 second system time
The end