runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455480-1307197047/watcher-3455480-1307197047 -o /tmp/evaluation-result-3455480-1307197047/solver-3455480-1307197047 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455480-1307197047.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: 2.81 2.90 3.32 3/556 22821
/proc/meminfo: memFree=21419344/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/22821/stat : 22821 (java) S 22819 22821 21439 0 -1 4202496 5141 0 1 0 0 0 0 0 25 0 2 0 812120940 10694979584 4843 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 2611079 4855 917 9 0 2602235 0
[pid=22821/tid=22822] ppid=22819 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22822/stat : 22822 (java) R 22819 22821 21439 0 -1 4202560 6371 0 1 0 0 0 0 0 25 0 2 0 812120941 10694979584 7187 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0239229 s]
/proc/loadavg: 2.81 2.90 3.32 3/556 22821
/proc/meminfo: memFree=21419344/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/22821/stat : 22821 (java) S 22819 22821 21439 0 -1 4202496 9942 0 1 0 0 1 0 0 25 0 10 0 812120940 10703900672 9644 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 2613257 9647 952 9 0 2604413 0
[pid=22821/tid=22822] ppid=22819 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/22821/task/22822/stat : 22822 (java) R 22819 22821 21439 0 -1 4202560 8822 0 1 0 0 1 0 0 25 0 10 0 812120941 10703900672 9647 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 47093663727656 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.100913 s]
/proc/loadavg: 2.81 2.90 3.32 3/556 22821
/proc/meminfo: memFree=21419344/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=10539956 CPUtime=0.1 cores=0,2,4,6
/proc/22821/stat : 22821 (java) S 22819 22821 21439 0 -1 4202496 13079 0 1 0 8 2 0 0 25 0 18 0 812120940 10792914944 12752 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 2634989 12752 2092 9 0 2625723 0
[pid=22821/tid=22822] ppid=22819 vsize=10539956 CPUtime=0.08 cores=0,2,4,6
/proc/22821/task/22822/stat : 22822 (java) R 22819 22821 21439 0 -1 4202560 11125 0 1 0 7 1 0 0 25 0 18 0 812120941 10792914944 12754 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539956
[startup+0.305215 s]
/proc/loadavg: 2.81 2.90 3.32 3/556 22821
/proc/meminfo: memFree=21419344/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=10542280 CPUtime=0.5 cores=0,2,4,6
/proc/22821/stat : 22821 (java) S 22819 22821 21439 0 -1 4202496 16767 0 1 0 48 2 0 0 25 0 18 0 812120940 10795294720 16100 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 2635570 16101 2200 9 0 2626304 0
[pid=22821/tid=22822] ppid=22819 vsize=10542280 CPUtime=0.29 cores=0,2,4,6
/proc/22821/task/22822/stat : 22822 (java) R 22819 22821 21439 0 -1 4202560 13266 0 1 0 27 2 0 0 25 0 18 0 812120941 10795294720 16101 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912505596190 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542280
[startup+0.707232 s]
/proc/loadavg: 2.81 2.90 3.32 3/556 22821
/proc/meminfo: memFree=21419344/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=10563708 CPUtime=1.92 cores=0,2,4,6
/proc/22821/stat : 22821 (java) S 22819 22821 21439 0 -1 4202496 54738 0 1 0 185 7 0 0 25 0 21 0 812120940 10817236992 48356 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 2640927 48356 2226 9 0 2631661 0
[pid=22821/tid=22822] ppid=22819 vsize=10563708 CPUtime=0.78 cores=0,2,4,6
/proc/22821/task/22822/stat : 22822 (java) S 22819 22821 21439 0 -1 4202560 37610 0 1 0 73 5 0 0 19 0 21 0 812120941 10817236992 48356 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 10563708
[startup+1.5016 s]
/proc/loadavg: 2.81 2.90 3.32 7/578 22843
/proc/meminfo: memFree=21228584/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=10564736 CPUtime=4.28 cores=0,2,4,6
/proc/22821/stat : 22821 (java) S 22819 22821 21439 0 -1 4202496 87630 0 1 0 417 11 0 0 25 0 22 0 812120940 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 2641184 75924 2240 9 0 2631918 0
[pid=22821/tid=22822] ppid=22819 vsize=10564736 CPUtime=0.78 cores=0,2,4,6
/proc/22821/task/22822/stat : 22822 (java) S 22819 22821 21439 0 -1 4202560 37610 0 1 0 73 5 0 0 15 0 22 0 812120941 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22824] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22824/stat : 22824 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120943 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22825] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22825/stat : 22825 (java) S 22819 22821 21439 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 812120943 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22826] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22826/stat : 22826 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120943 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22827] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22827/stat : 22827 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120943 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22828] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22828/stat : 22828 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120943 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22829] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22829/stat : 22829 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120943 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22830] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22830/stat : 22830 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120943 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22831] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22831/stat : 22831 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120943 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22832] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22832/stat : 22832 (java) S 22819 22821 21439 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 812120944 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 0 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22833] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22833/stat : 22833 (java) S 22819 22821 21439 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 812120944 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22834] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22834/stat : 22834 (java) S 22819 22821 21439 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812120944 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22835] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22835/stat : 22835 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120946 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051478961 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22836] ppid=22819 vsize=10564736 CPUtime=1.05 cores=0,2,4,6
/proc/22821/task/22836/stat : 22836 (java) R 22819 22821 21439 0 -1 4202560 8175 0 0 0 104 1 0 0 16 0 22 0 812120946 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 47093667970900 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22821/tid=22837] ppid=22819 vsize=10564736 CPUtime=1.12 cores=0,2,4,6
/proc/22821/task/22837/stat : 22837 (java) R 22819 22821 21439 0 -1 4202560 13639 0 0 0 111 1 0 0 16 0 22 0 812120946 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051474144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22821/tid=22838] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22838/stat : 22838 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120946 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22839] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22839/stat : 22839 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812120946 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22840] ppid=22819 vsize=10564736 CPUtime=0.67 cores=0,2,4,6
/proc/22821/task/22840/stat : 22840 (java) R 22819 22821 21439 0 -1 4202560 324 0 0 0 67 0 0 0 22 0 22 0 812121020 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912505955130 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22821/tid=22841] ppid=22819 vsize=10564736 CPUtime=0.63 cores=0,2,4,6
/proc/22821/task/22841/stat : 22841 (java) R 22819 22821 21439 0 -1 4202560 26711 0 0 0 60 3 0 0 23 0 22 0 812121020 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912505954551 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22821/tid=22842] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22842/stat : 22842 (java) S 22819 22821 21439 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 812121026 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22843] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22843/stat : 22843 (java) S 22819 22821 21439 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 812121028 10818289664 75924 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 10564736
[startup+3.10132 s]
/proc/loadavg: 2.81 2.90 3.32 4/578 22844
/proc/meminfo: memFree=20826080/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=10564736 CPUtime=7.76 cores=0,2,4,6
/proc/22821/stat : 22821 (java) S 22819 22821 21439 0 -1 4202496 229190 0 1 0 749 27 0 0 25 0 22 0 812120940 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 2641184 216213 2268 9 0 2631918 0
[pid=22821/tid=22822] ppid=22819 vsize=10564736 CPUtime=0.78 cores=0,2,4,6
/proc/22821/task/22822/stat : 22822 (java) S 22819 22821 21439 0 -1 4202560 37610 0 1 0 73 5 0 0 15 0 22 0 812120941 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22824] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22824/stat : 22824 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812120943 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22825] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22825/stat : 22825 (java) S 22819 22821 21439 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 812120943 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22826] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22826/stat : 22826 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812120943 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22827] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22827/stat : 22827 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812120943 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22828] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22828/stat : 22828 (java) S 22819 22821 21439 0 -1 4202560 360 0 0 0 0 0 0 0 18 0 22 0 812120943 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22829] ppid=22819 vsize=10564736 CPUtime=0.01 cores=0,2,4,6
/proc/22821/task/22829/stat : 22829 (java) S 22819 22821 21439 0 -1 4202560 1348 0 0 0 1 0 0 0 18 0 22 0 812120943 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22830] ppid=22819 vsize=10564736 CPUtime=0.01 cores=0,2,4,6
/proc/22821/task/22830/stat : 22830 (java) S 22819 22821 21439 0 -1 4202560 991 0 0 0 1 0 0 0 18 0 22 0 812120943 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22831] ppid=22819 vsize=10564736 CPUtime=0.01 cores=0,2,4,6
/proc/22821/task/22831/stat : 22831 (java) S 22819 22821 21439 0 -1 4202560 1114 0 0 0 1 0 0 0 18 0 22 0 812120943 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22832] ppid=22819 vsize=10564736 CPUtime=0.05 cores=0,2,4,6
/proc/22821/task/22832/stat : 22832 (java) S 22819 22821 21439 0 -1 4202560 3806 0 0 0 5 0 0 0 16 0 22 0 812120944 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 0 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22833] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22833/stat : 22833 (java) S 22819 22821 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812120944 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22834] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22834/stat : 22834 (java) S 22819 22821 21439 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812120944 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22835] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22835/stat : 22835 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120946 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051478961 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22836] ppid=22819 vsize=10564736 CPUtime=1.23 cores=0,2,4,6
/proc/22821/task/22836/stat : 22836 (java) S 22819 22821 21439 0 -1 4202560 8197 0 0 0 122 1 0 0 15 0 22 0 812120946 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22837] ppid=22819 vsize=10564736 CPUtime=1.26 cores=0,2,4,6
/proc/22821/task/22837/stat : 22837 (java) S 22819 22821 21439 0 -1 4202560 14218 0 0 0 125 1 0 0 15 0 22 0 812120946 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22838] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22838/stat : 22838 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120946 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22839] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22839/stat : 22839 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812120946 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22840] ppid=22819 vsize=10564736 CPUtime=2.19 cores=0,2,4,6
/proc/22821/task/22840/stat : 22840 (java) R 22819 22821 21439 0 -1 4202560 536 0 0 0 219 0 0 0 25 0 22 0 812121020 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912505623727 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22821/tid=22841] ppid=22819 vsize=10564736 CPUtime=2.15 cores=0,2,4,6
/proc/22821/task/22841/stat : 22841 (java) R 22819 22821 21439 0 -1 4202560 159845 0 0 0 197 18 0 0 25 0 22 0 812121020 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912505996476 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22821/tid=22842] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22842/stat : 22842 (java) S 22819 22821 21439 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 812121026 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22843] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22843/stat : 22843 (java) S 22819 22821 21439 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 812121028 10818289664 216213 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 10564736
[startup+6.30082 s]
/proc/loadavg: 2.91 2.92 3.32 5/578 22844
/proc/meminfo: memFree=20504240/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=10564736 CPUtime=14.16 cores=0,2,4,6
/proc/22821/stat : 22821 (java) S 22819 22821 21439 0 -1 4202496 282446 0 1 0 1384 32 0 0 25 0 22 0 812120940 10818289664 269464 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 2641184 269464 2268 9 0 2631918 0
[pid=22821/tid=22822] ppid=22819 vsize=10564736 CPUtime=0.78 cores=0,2,4,6
/proc/22821/task/22822/stat : 22822 (java) S 22819 22821 21439 0 -1 4202560 37610 0 1 0 73 5 0 0 15 0 22 0 812120941 10818289664 269464 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22824] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22824/stat : 22824 (java) S 22819 22821 21439 0 -1 4202560 404 0 0 0 0 0 0 0 15 0 22 0 812120943 10818289664 269464 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22825] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22825/stat : 22825 (java) S 22819 22821 21439 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 812120943 10818289664 269464 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22826] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22826/stat : 22826 (java) S 22819 22821 21439 0 -1 4202560 270 0 0 0 0 0 0 0 16 0 22 0 812120943 10818289664 269464 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22827] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22827/stat : 22827 (java) S 22819 22821 21439 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 812120943 10818289664 269464 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22828] ppid=22819 vsize=10564736 CPUtime=0.01 cores=0,2,4,6
/proc/22821/task/22828/stat : 22828 (java) S 22819 22821 21439 0 -1 4202560 621 0 0 0 1 0 0 0 18 0 22 0 812120943 10818289664 269464 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22829] ppid=22819 vsize=10564736 CPUtime=0.01 cores=0,2,4,6
/proc/22821/task/22829/stat : 22829 (java) S 22819 22821 21439 0 -1 4202560 1349 0 0 0 1 0 0 0 16 0 22 0 812120943 10818289664 269464 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22830] ppid=22819 vsize=10564736 CPUtime=0.02 cores=0,2,4,6
/proc/22821/task/22830/stat : 22830 (java) S 22819 22821 21439 0 -1 4202560 1281 0 0 0 2 0 0 0 18 0 22 0 812120943 10818289664 269464 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22831] ppid=22819 vsize=10564736 CPUtime=0.01 cores=0,2,4,6
/proc/22821/task/22831/stat : 22831 (java) S 22819 22821 21439 0 -1 4202560 1114 0 0 0 1 0 0 0 15 0 22 0 812120943 10818289664 269464 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/22821/task/22825/stat : 22825 (java) S 22819 22821 21439 0 -1 4202560 4659 0 0 0 66 0 0 0 16 0 22 0 812120943 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22826] ppid=22819 vsize=10564736 CPUtime=0.66 cores=0,2,4,6
/proc/22821/task/22826/stat : 22826 (java) S 22819 22821 21439 0 -1 4202560 5964 0 0 0 65 1 0 0 15 0 22 0 812120943 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22827] ppid=22819 vsize=10564736 CPUtime=0.52 cores=0,2,4,6
/proc/22821/task/22827/stat : 22827 (java) S 22819 22821 21439 0 -1 4202560 5135 0 0 0 52 0 0 0 15 0 22 0 812120943 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22828] ppid=22819 vsize=10564736 CPUtime=0.58 cores=0,2,4,6
/proc/22821/task/22828/stat : 22828 (java) S 22819 22821 21439 0 -1 4202560 7211 0 0 0 58 0 0 0 15 0 22 0 812120943 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22829] ppid=22819 vsize=10564736 CPUtime=0.64 cores=0,2,4,6
/proc/22821/task/22829/stat : 22829 (java) S 22819 22821 21439 0 -1 4202560 6804 0 0 0 64 0 0 0 15 0 22 0 812120943 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22830] ppid=22819 vsize=10564736 CPUtime=0.59 cores=0,2,4,6
/proc/22821/task/22830/stat : 22830 (java) S 22819 22821 21439 0 -1 4202560 8969 0 0 0 58 1 0 0 15 0 22 0 812120943 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22831] ppid=22819 vsize=10564736 CPUtime=0.49 cores=0,2,4,6
/proc/22821/task/22831/stat : 22831 (java) S 22819 22821 21439 0 -1 4202560 4208 0 0 0 49 0 0 0 16 0 22 0 812120943 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22832] ppid=22819 vsize=10564736 CPUtime=22.01 cores=0,2,4,6
/proc/22821/task/22832/stat : 22832 (java) S 22819 22821 21439 0 -1 4202560 41425 0 0 0 2196 5 0 0 15 0 22 0 812120944 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 0 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22833] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22833/stat : 22833 (java) S 22819 22821 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812120944 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22834] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22834/stat : 22834 (java) S 22819 22821 21439 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812120944 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22835] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22835/stat : 22835 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120946 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051478961 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22836] ppid=22819 vsize=10564736 CPUtime=1.72 cores=0,2,4,6
/proc/22821/task/22836/stat : 22836 (java) S 22819 22821 21439 0 -1 4202560 8398 0 0 0 171 1 0 0 15 0 22 0 812120946 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22837] ppid=22819 vsize=10564736 CPUtime=1.39 cores=0,2,4,6
/proc/22821/task/22837/stat : 22837 (java) S 22819 22821 21439 0 -1 4202560 14227 0 0 0 138 1 0 0 15 0 22 0 812120946 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22838] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22838/stat : 22838 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120946 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22839] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22839/stat : 22839 (java) S 22819 22821 21439 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 812120946 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22840] ppid=22819 vsize=10564736 CPUtime=797.97 cores=0,2,4,6
/proc/22821/task/22840/stat : 22840 (java) R 22819 22821 21439 0 -1 4202560 1324 0 0 0 79796 1 0 0 25 0 22 0 812121020 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912505976032 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22821/tid=22841] ppid=22819 vsize=10564736 CPUtime=797.91 cores=0,2,4,6
/proc/22821/task/22841/stat : 22841 (java) R 22819 22821 21439 0 -1 4202560 809904 0 0 0 79698 93 0 0 25 0 22 0 812121020 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912506199855 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22821/tid=22842] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22842/stat : 22842 (java) S 22819 22821 21439 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 812121026 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22843] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22843/stat : 22843 (java) S 22819 22821 21439 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 812121028 10818289664 946273 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1626.62
Current children cumulated vsize (KiB) 10564736
[startup+882.32 s]
/proc/loadavg: 2.55 3.47 3.54 8/551 22890
/proc/meminfo: memFree=21275984/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=10564736 CPUtime=1744.98 cores=0,2,4,6
/proc/22821/stat : 22821 (java) S 22819 22821 21439 0 -1 4202496 963717 0 1 0 174382 116 0 0 25 0 22 0 812120940 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 2641184 949403 2269 9 0 2631918 0
[pid=22821/tid=22822] ppid=22819 vsize=10564736 CPUtime=0.78 cores=0,2,4,6
/proc/22821/task/22822/stat : 22822 (java) S 22819 22821 21439 0 -1 4202560 37615 0 1 0 73 5 0 0 15 0 22 0 812120941 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22824] ppid=22819 vsize=10564736 CPUtime=0.59 cores=0,2,4,6
/proc/22821/task/22824/stat : 22824 (java) S 22819 22821 21439 0 -1 4202560 3477 0 0 0 59 0 0 0 15 0 22 0 812120943 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22825] ppid=22819 vsize=10564736 CPUtime=0.69 cores=0,2,4,6
/proc/22821/task/22825/stat : 22825 (java) S 22819 22821 21439 0 -1 4202560 5273 0 0 0 69 0 0 0 15 0 22 0 812120943 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22826] ppid=22819 vsize=10564736 CPUtime=0.69 cores=0,2,4,6
/proc/22821/task/22826/stat : 22826 (java) S 22819 22821 21439 0 -1 4202560 6288 0 0 0 68 1 0 0 15 0 22 0 812120943 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22827] ppid=22819 vsize=10564736 CPUtime=0.59 cores=0,2,4,6
/proc/22821/task/22827/stat : 22827 (java) S 22819 22821 21439 0 -1 4202560 5465 0 0 0 59 0 0 0 16 0 22 0 812120943 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22828] ppid=22819 vsize=10564736 CPUtime=0.62 cores=0,2,4,6
/proc/22821/task/22828/stat : 22828 (java) S 22819 22821 21439 0 -1 4202560 7548 0 0 0 61 1 0 0 15 0 22 0 812120943 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22829] ppid=22819 vsize=10564736 CPUtime=0.71 cores=0,2,4,6
/proc/22821/task/22829/stat : 22829 (java) S 22819 22821 21439 0 -1 4202560 7227 0 0 0 70 1 0 0 16 0 22 0 812120943 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22830] ppid=22819 vsize=10564736 CPUtime=0.68 cores=0,2,4,6
/proc/22821/task/22830/stat : 22830 (java) S 22819 22821 21439 0 -1 4202560 9425 0 0 0 67 1 0 0 16 0 22 0 812120943 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22831] ppid=22819 vsize=10564736 CPUtime=0.59 cores=0,2,4,6
/proc/22821/task/22831/stat : 22831 (java) S 22819 22821 21439 0 -1 4202560 4591 0 0 0 59 0 0 0 16 0 22 0 812120943 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22832] ppid=22819 vsize=10564736 CPUtime=23.91 cores=0,2,4,6
/proc/22821/task/22832/stat : 22832 (java) S 22819 22821 21439 0 -1 4202560 41736 0 0 0 2386 5 0 0 15 0 22 0 812120944 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 0 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22833] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22833/stat : 22833 (java) S 22819 22821 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812120944 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22834] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22834/stat : 22834 (java) S 22819 22821 21439 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812120944 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22835] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22835/stat : 22835 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120946 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051478961 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22836] ppid=22819 vsize=10564736 CPUtime=1.72 cores=0,2,4,6
/proc/22821/task/22836/stat : 22836 (java) S 22819 22821 21439 0 -1 4202560 8398 0 0 0 171 1 0 0 15 0 22 0 812120946 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22837] ppid=22819 vsize=10564736 CPUtime=1.39 cores=0,2,4,6
/proc/22821/task/22837/stat : 22837 (java) S 22819 22821 21439 0 -1 4202560 14227 0 0 0 138 1 0 0 15 0 22 0 812120946 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22838] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22838/stat : 22838 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120946 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22839] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22839/stat : 22839 (java) S 22819 22821 21439 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 812120946 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22840] ppid=22819 vsize=10564736 CPUtime=855.98 cores=0,2,4,6
/proc/22821/task/22840/stat : 22840 (java) R 22819 22821 21439 0 -1 4202560 1328 0 0 0 85597 1 0 0 25 0 22 0 812121020 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912505976091 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22821/tid=22841] ppid=22819 vsize=10564736 CPUtime=855.92 cores=0,2,4,6
/proc/22821/task/22841/stat : 22841 (java) R 22819 22821 21439 0 -1 4202560 809907 0 0 0 85499 93 0 0 25 0 22 0 812121020 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22821/tid=22842] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22842/stat : 22842 (java) S 22819 22821 21439 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 812121026 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22843] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22843/stat : 22843 (java) S 22819 22821 21439 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 812121028 10818289664 949403 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1744.98
Current children cumulated vsize (KiB) 10564736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+910.401 s]
/proc/loadavg: 2.33 3.33 3.49 3/551 22891
/proc/meminfo: memFree=21264428/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=10564736 CPUtime=1800.14 cores=0,2,4,6
/proc/22821/stat : 22821 (java) S 22819 22821 21439 0 -1 4202496 966646 0 1 0 179897 117 0 0 25 0 22 0 812120940 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 2641184 952281 2269 9 0 2631918 0
[pid=22821/tid=22822] ppid=22819 vsize=10564736 CPUtime=0.78 cores=0,2,4,6
/proc/22821/task/22822/stat : 22822 (java) S 22819 22821 21439 0 -1 4202560 37615 0 1 0 73 5 0 0 15 0 22 0 812120941 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22824] ppid=22819 vsize=10564736 CPUtime=0.59 cores=0,2,4,6
/proc/22821/task/22824/stat : 22824 (java) S 22819 22821 21439 0 -1 4202560 3481 0 0 0 59 0 0 0 15 0 22 0 812120943 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22825] ppid=22819 vsize=10564736 CPUtime=0.72 cores=0,2,4,6
/proc/22821/task/22825/stat : 22825 (java) S 22819 22821 21439 0 -1 4202560 5720 0 0 0 72 0 0 0 16 0 22 0 812120943 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22826] ppid=22819 vsize=10564736 CPUtime=0.72 cores=0,2,4,6
/proc/22821/task/22826/stat : 22826 (java) S 22819 22821 21439 0 -1 4202560 6359 0 0 0 71 1 0 0 15 0 22 0 812120943 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22827] ppid=22819 vsize=10564736 CPUtime=0.63 cores=0,2,4,6
/proc/22821/task/22827/stat : 22827 (java) S 22819 22821 21439 0 -1 4202560 5596 0 0 0 63 0 0 0 15 0 22 0 812120943 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22828] ppid=22819 vsize=10564736 CPUtime=0.62 cores=0,2,4,6
/proc/22821/task/22828/stat : 22828 (java) S 22819 22821 21439 0 -1 4202560 7555 0 0 0 61 1 0 0 15 0 22 0 812120943 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22829] ppid=22819 vsize=10564736 CPUtime=0.75 cores=0,2,4,6
/proc/22821/task/22829/stat : 22829 (java) S 22819 22821 21439 0 -1 4202560 7621 0 0 0 74 1 0 0 16 0 22 0 812120943 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22830] ppid=22819 vsize=10564736 CPUtime=0.7 cores=0,2,4,6
/proc/22821/task/22830/stat : 22830 (java) S 22819 22821 21439 0 -1 4202560 9990 0 0 0 69 1 0 0 16 0 22 0 812120943 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22831] ppid=22819 vsize=10564736 CPUtime=0.63 cores=0,2,4,6
/proc/22821/task/22831/stat : 22831 (java) S 22819 22821 21439 0 -1 4202560 5100 0 0 0 63 0 0 0 16 0 22 0 812120943 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22832] ppid=22819 vsize=10564736 CPUtime=25.04 cores=0,2,4,6
/proc/22821/task/22832/stat : 22832 (java) S 22819 22821 21439 0 -1 4202560 42534 0 0 0 2499 5 0 0 15 0 22 0 812120944 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 0 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22833] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22833/stat : 22833 (java) S 22819 22821 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812120944 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22834] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22834/stat : 22834 (java) S 22819 22821 21439 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812120944 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22835] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22835/stat : 22835 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120946 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051478961 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22836] ppid=22819 vsize=10564736 CPUtime=1.72 cores=0,2,4,6
/proc/22821/task/22836/stat : 22836 (java) S 22819 22821 21439 0 -1 4202560 8398 0 0 0 171 1 0 0 15 0 22 0 812120946 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 4 0 0 0
[pid=22821/tid=22837] ppid=22819 vsize=10564736 CPUtime=1.39 cores=0,2,4,6
/proc/22821/task/22837/stat : 22837 (java) S 22819 22821 21439 0 -1 4202560 14227 0 0 0 138 1 0 0 15 0 22 0 812120946 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22838] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22838/stat : 22838 (java) S 22819 22821 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812120946 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471257 0 4 0 16800975 18446604440775297920 0 0 -1 2 0 0 0
[pid=22821/tid=22839] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22839/stat : 22839 (java) S 22819 22821 21439 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 812120946 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 0 0 0 0
[pid=22821/tid=22840] ppid=22819 vsize=10564736 CPUtime=882.89 cores=0,2,4,6
/proc/22821/task/22840/stat : 22840 (java) R 22819 22821 21439 0 -1 4202560 1330 0 0 0 88288 1 0 0 25 0 22 0 812121020 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912505954551 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22821/tid=22841] ppid=22819 vsize=10564736 CPUtime=882.83 cores=0,2,4,6
/proc/22821/task/22841/stat : 22841 (java) R 22819 22821 21439 0 -1 4202560 809908 0 0 0 88190 93 0 0 25 0 22 0 812121020 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 46912505996608 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22821/tid=22842] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22842/stat : 22842 (java) S 22819 22821 21439 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 812121026 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
[pid=22821/tid=22843] ppid=22819 vsize=10564736 CPUtime=0 cores=0,2,4,6
/proc/22821/task/22843/stat : 22843 (java) S 22819 22821 21439 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 812121028 10818289664 952281 33554432000 1073741824 1073778376 140733596781424 18446744073709551615 212051471872 0 4 0 16800975 18446604440775297920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 10564736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+910.526 s]
/proc/loadavg: 2.33 3.33 3.49 3/551 22891
/proc/meminfo: memFree=21264428/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=0 CPUtime=1800.3 cores=0,2,4,6
/proc/22821/stat : 22821 (java) Z 22819 22821 21439 0 -1 4203548 966676 0 1 0 179907 123 0 0 17 0 2 0 812120940 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 0 0 0 0 0 0 0
[pid=22821/tid=22841] ppid=22819 vsize=0 CPUtime=882.93 cores=0,2,4,6
/proc/22821/task/22841/stat : 22841 (java) R 22819 22821 21439 0 -1 4203588 809908 0 0 0 88193 100 0 0 25 0 2 0 812121020 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
[startup+910.601 s]
/proc/loadavg: 2.33 3.33 3.49 3/551 22891
/proc/meminfo: memFree=21264428/32951124 swapFree=46970528/67111528
[pid=22821] ppid=22819 vsize=0 CPUtime=1800.37 cores=0,2,4,6
/proc/22821/stat : 22821 (java) Z 22819 22821 21439 0 -1 4203548 966676 0 1 0 179907 130 0 0 17 0 1 0 812120940 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22821/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 910.602
CPU time (s): 1800.38
CPU user time (s): 1799.07
CPU system time (s): 1.3098
CPU usage (%): 197.714
Max. virtual memory (cumulated for all children) (KiB): 10564736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.3098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966676
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24135
involuntary context switches= 26446
runsolver used 5.35119 second user time and 11.2373 second system time
The end