runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312041-1304185529/watcher-3312041-1304185529 -o /tmp/evaluation-result-3312041-1304185529/solver-3312041-1304185529 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312041-1304185529.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.94 7.84 7.76 2/174 10946
/proc/meminfo: memFree=24345964/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/10946/stat : 10946 (java) R 10944 10946 10914 0 -1 4202496 1194 0 0 0 0 0 0 0 25 0 1 0 530150662 23580672 680 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212682753488 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10946/statm: 5757 680 507 9 0 124 0
[startup+0.020802 s]
/proc/loadavg: 6.94 7.84 7.76 2/174 10946
/proc/meminfo: memFree=24345964/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=15591648 CPUtime=0.01 cores=0,2,4,6
/proc/10946/stat : 10946 (java) S 10944 10946 10914 0 -1 4202496 3123 0 1 0 1 0 0 0 25 0 10 0 530150662 15965847552 2564 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/10946/statm: 3897912 2566 1513 9 0 3888660 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15591648
[startup+0.100978 s]
/proc/loadavg: 6.94 7.84 7.76 2/174 10946
/proc/meminfo: memFree=24345964/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=15676156 CPUtime=0.11 cores=0,2,4,6
/proc/10946/stat : 10946 (java) S 10944 10946 10914 0 -1 4202496 5550 0 1 0 10 1 0 0 25 0 18 0 530150662 16052383744 4969 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10946/statm: 3919039 4969 2117 9 0 3909758 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676156
[startup+0.300745 s]
/proc/loadavg: 6.94 7.84 7.76 2/174 10946
/proc/meminfo: memFree=24345964/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=15679592 CPUtime=0.51 cores=0,2,4,6
/proc/10946/stat : 10946 (java) S 10944 10946 10914 0 -1 4202496 14897 0 1 0 48 3 0 0 25 0 18 0 530150662 16055902208 13341 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10946/statm: 3919898 13348 2207 9 0 3910617 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679592
[startup+0.70068 s]
/proc/loadavg: 6.94 7.84 7.76 2/174 10946
/proc/meminfo: memFree=24345964/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=15679592 CPUtime=0.91 cores=0,2,4,6
/proc/10946/stat : 10946 (java) S 10944 10946 10914 0 -1 4202496 41771 0 1 0 85 6 0 0 25 0 18 0 530150662 16055902208 40212 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10946/statm: 3919898 40212 2223 9 0 3910617 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15679592
[startup+1.50157 s]
/proc/loadavg: 6.55 7.75 7.73 3/212 10987
/proc/meminfo: memFree=24032368/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=15707700 CPUtime=2.14 cores=0,2,4,6
/proc/10946/stat : 10946 (java) S 10944 10946 10914 0 -1 4202496 53769 0 1 0 206 8 0 0 25 0 22 0 530150662 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10946/statm: 3926925 50525 2255 9 0 3917644 0
[pid=10946/tid=10948] ppid=10944 vsize=15707700 CPUtime=1.46 cores=0,2,4,6
/proc/10946/task/10948/stat : 10948 (java) R 10944 10946 10914 0 -1 4202560 35597 0 1 0 141 5 0 0 21 0 22 0 530150663 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912505217805 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10946/tid=10949] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10949/stat : 10949 (java) S 10944 10946 10914 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 22 0 530150663 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10950] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10950/stat : 10950 (java) S 10944 10946 10914 0 -1 4202560 607 0 0 0 0 0 0 0 16 0 22 0 530150663 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10951] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10951/stat : 10951 (java) S 10944 10946 10914 0 -1 4202560 496 0 0 0 0 0 0 0 16 0 22 0 530150663 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10952] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10952/stat : 10952 (java) S 10944 10946 10914 0 -1 4202560 658 0 0 0 0 0 0 0 16 0 22 0 530150663 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10953] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10953/stat : 10953 (java) S 10944 10946 10914 0 -1 4202560 593 0 0 0 0 0 0 0 15 0 22 0 530150663 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10954] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10954/stat : 10954 (java) S 10944 10946 10914 0 -1 4202560 667 0 0 0 0 0 0 0 15 0 22 0 530150663 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10955] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10955/stat : 10955 (java) S 10944 10946 10914 0 -1 4202560 904 0 0 0 0 0 0 0 16 0 22 0 530150663 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10956] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10956/stat : 10956 (java) S 10944 10946 10914 0 -1 4202560 1343 0 0 0 0 0 0 0 16 0 22 0 530150663 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10957] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10957/stat : 10957 (java) S 10944 10946 10914 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 530150664 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10958] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10958/stat : 10958 (java) S 10944 10946 10914 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530150665 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10959] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10959/stat : 10959 (java) S 10944 10946 10914 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 530150665 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10960] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10960/stat : 10960 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10961] ppid=10944 vsize=15707700 CPUtime=0.39 cores=0,2,4,6
/proc/10946/task/10961/stat : 10961 (java) R 10944 10946 10914 0 -1 4202560 8819 0 0 0 38 1 0 0 16 0 22 0 530150667 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 47753097348653 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10946/tid=10962] ppid=10944 vsize=15707700 CPUtime=0.22 cores=0,2,4,6
/proc/10946/task/10962/stat : 10962 (java) S 10944 10946 10914 0 -1 4202560 2543 0 0 0 22 0 0 0 15 0 22 0 530150667 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10963] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10963/stat : 10963 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10964] ppid=10944 vsize=15707700 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10964/stat : 10964 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530150667 16084684800 50525 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 15707700
[startup+3.10128 s]
/proc/loadavg: 6.55 7.75 7.73 6/220 10995
/proc/meminfo: memFree=23835516/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=15711132 CPUtime=4.7 cores=0,2,4,6
/proc/10946/stat : 10946 (java) S 10944 10946 10914 0 -1 4202496 56805 0 1 0 461 9 0 0 25 0 22 0 530150662 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10946/statm: 3927783 51732 2267 9 0 3918502 0
[pid=10946/tid=10948] ppid=10944 vsize=15711132 CPUtime=3.06 cores=0,2,4,6
/proc/10946/task/10948/stat : 10948 (java) R 10944 10946 10914 0 -1 4202560 35635 0 1 0 301 5 0 0 25 0 22 0 530150663 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506171941 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10946/tid=10949] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10949/stat : 10949 (java) S 10944 10946 10914 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 22 0 530150663 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10950] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10950/stat : 10950 (java) S 10944 10946 10914 0 -1 4202560 607 0 0 0 0 0 0 0 16 0 22 0 530150663 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10951] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10951/stat : 10951 (java) S 10944 10946 10914 0 -1 4202560 496 0 0 0 0 0 0 0 16 0 22 0 530150663 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10952] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10952/stat : 10952 (java) S 10944 10946 10914 0 -1 4202560 658 0 0 0 0 0 0 0 16 0 22 0 530150663 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10953] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10953/stat : 10953 (java) S 10944 10946 10914 0 -1 4202560 593 0 0 0 0 0 0 0 15 0 22 0 530150663 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10954] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10954/stat : 10954 (java) S 10944 10946 10914 0 -1 4202560 667 0 0 0 0 0 0 0 15 0 22 0 530150663 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10955] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10955/stat : 10955 (java) S 10944 10946 10914 0 -1 4202560 904 0 0 0 0 0 0 0 16 0 22 0 530150663 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10956] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10956/stat : 10956 (java) S 10944 10946 10914 0 -1 4202560 1343 0 0 0 0 0 0 0 16 0 22 0 530150663 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10957] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10957/stat : 10957 (java) S 10944 10946 10914 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 22 0 530150664 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10958] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10958/stat : 10958 (java) S 10944 10946 10914 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530150665 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10959] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10959/stat : 10959 (java) S 10944 10946 10914 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 530150665 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10960] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10960/stat : 10960 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10961] ppid=10944 vsize=15711132 CPUtime=0.86 cores=0,2,4,6
/proc/10946/task/10961/stat : 10961 (java) S 10944 10946 10914 0 -1 4202560 11246 0 0 0 84 2 0 0 15 0 22 0 530150667 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10962] ppid=10944 vsize=15711132 CPUtime=0.71 cores=0,2,4,6
/proc/10946/task/10962/stat : 10962 (java) S 10944 10946 10914 0 -1 4202560 3113 0 0 0 71 0 0 0 15 0 22 0 530150667 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10963] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10963/stat : 10963 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10964] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10964/stat : 10964 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530150667 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10988] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10988/stat : 10988 (java) S 10944 10946 10914 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 530150771 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10989] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10989/stat : 10989 (java) S 10944 10946 10914 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 530150771 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10990] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10990/stat : 10990 (java) S 10944 10946 10914 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 530150771 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10991] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10991/stat : 10991 (java) S 10944 10946 10914 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530150771 16088199168 51732 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 15711132
[startup+6.30165 s]
/proc/loadavg: 6.55 7.75 7.73 5/220 10995
/proc/meminfo: memFree=23731728/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=15711132 CPUtime=12.4 cores=0,2,4,6
/proc/10946/stat : 10946 (java) S 10944 10946 10914 0 -1 4202496 115430 0 1 0 1220 20 0 0 25 0 22 0 530150662 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10946/statm: 3927783 109055 2276 9 0 3918502 0
[pid=10946/tid=10948] ppid=10944 vsize=15711132 CPUtime=3.51 cores=0,2,4,6
/proc/10946/task/10948/stat : 10948 (java) S 10944 10946 10914 0 -1 4202560 35659 0 1 0 346 5 0 0 25 0 22 0 530150663 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10949] ppid=10944 vsize=15711132 CPUtime=0.01 cores=0,2,4,6
/proc/10946/task/10949/stat : 10949 (java) S 10944 10946 10914 0 -1 4202560 3139 0 0 0 1 0 0 0 15 0 22 0 530150663 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10950] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10950/stat : 10950 (java) S 10944 10946 10914 0 -1 4202560 607 0 0 0 0 0 0 0 15 0 22 0 530150663 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10951] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10951/stat : 10951 (java) S 10944 10946 10914 0 -1 4202560 496 0 0 0 0 0 0 0 15 0 22 0 530150663 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10952] ppid=10944 vsize=15711132 CPUtime=0.01 cores=0,2,4,6
/proc/10946/task/10952/stat : 10952 (java) S 10944 10946 10914 0 -1 4202560 3434 0 0 0 1 0 0 0 15 0 22 0 530150663 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10953] ppid=10944 vsize=15711132 CPUtime=0.02 cores=0,2,4,6
/proc/10946/task/10953/stat : 10953 (java) S 10944 10946 10914 0 -1 4202560 6255 0 0 0 1 1 0 0 16 0 22 0 530150663 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10954] ppid=10944 vsize=15711132 CPUtime=0.03 cores=0,2,4,6
/proc/10946/task/10954/stat : 10954 (java) S 10944 10946 10914 0 -1 4202560 6125 0 0 0 2 1 0 0 16 0 22 0 530150663 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10955] ppid=10944 vsize=15711132 CPUtime=0.03 cores=0,2,4,6
/proc/10946/task/10955/stat : 10955 (java) S 10944 10946 10914 0 -1 4202560 9862 0 0 0 2 1 0 0 16 0 22 0 530150663 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10956] ppid=10944 vsize=15711132 CPUtime=0.04 cores=0,2,4,6
/proc/10946/task/10956/stat : 10956 (java) S 10944 10946 10914 0 -1 4202560 12582 0 0 0 2 2 0 0 16 0 22 0 530150663 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10957] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10957/stat : 10957 (java) S 10944 10946 10914 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 22 0 530150664 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10958] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10958/stat : 10958 (java) S 10944 10946 10914 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530150665 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10959] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10959/stat : 10959 (java) S 10944 10946 10914 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 530150665 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10960] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10960/stat : 10960 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10961] ppid=10944 vsize=15711132 CPUtime=1.21 cores=0,2,4,6
/proc/10946/task/10961/stat : 10961 (java) S 10944 10946 10914 0 -1 4202560 11879 0 0 0 119 2 0 0 15 0 22 0 530150667 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10962] ppid=10944 vsize=15711132 CPUtime=1.06 cores=0,2,4,6
/proc/10946/task/10962/stat : 10962 (java) S 10944 10946 10914 0 -1 4202560 3155 0 0 0 106 0 0 0 15 0 22 0 530150667 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10963] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10963/stat : 10963 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10964] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10964/stat : 10964 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530150667 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10988] ppid=10944 vsize=15711132 CPUtime=2.46 cores=0,2,4,6
/proc/10946/task/10988/stat : 10988 (java) R 10944 10946 10914 0 -1 4202560 4619 0 0 0 246 0 0 0 17 0 22 0 530150771 16088199168 109055 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506171027 0 4 0 16800975 0 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=10946/tid=10989] ppid=10944 vsize=15711132 CPUtime=1105.34 cores=0,2,4,6
/proc/10946/task/10989/stat : 10989 (java) R 10944 10946 10914 0 -1 4202560 209193 0 0 0 110505 29 0 0 25 0 22 0 530150771 16088199168 296849 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506056100 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10946/tid=10990] ppid=10944 vsize=15711132 CPUtime=1104.73 cores=0,2,4,6
/proc/10946/task/10990/stat : 10990 (java) R 10944 10946 10914 0 -1 4202560 180355 0 0 0 110453 20 0 0 25 0 22 0 530150771 16088199168 296849 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506179557 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=10946/tid=10991] ppid=10944 vsize=15711132 CPUtime=1103.2 cores=0,2,4,6
/proc/10946/task/10991/stat : 10991 (java) R 10944 10946 10914 0 -1 4202560 114340 0 0 0 110304 16 0 0 25 0 22 0 530150771 16088199168 296849 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506056095 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4458.67
Current children cumulated vsize (KiB) 15711132
[startup+1182.3 s]
/proc/loadavg: 8.32 8.16 7.98 9/220 11038
/proc/meminfo: memFree=22019720/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=15711132 CPUtime=4697.22 cores=0,2,4,6
/proc/10946/stat : 10946 (java) S 10944 10946 10914 0 -1 4202496 2851046 0 1 0 469211 511 0 0 25 0 22 0 530150662 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10946/statm: 3927783 284429 2300 9 0 3918502 0
[pid=10946/tid=10948] ppid=10944 vsize=15711132 CPUtime=3.51 cores=0,2,4,6
/proc/10946/task/10948/stat : 10948 (java) S 10944 10946 10914 0 -1 4202560 35659 0 1 0 346 5 0 0 25 0 22 0 530150663 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10949] ppid=10944 vsize=15711132 CPUtime=4.36 cores=0,2,4,6
/proc/10946/task/10949/stat : 10949 (java) S 10944 10946 10914 0 -1 4202560 292074 0 0 0 387 49 0 0 16 0 22 0 530150663 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10950] ppid=10944 vsize=15711132 CPUtime=3.93 cores=0,2,4,6
/proc/10946/task/10950/stat : 10950 (java) S 10944 10946 10914 0 -1 4202560 241309 0 0 0 355 38 0 0 16 0 22 0 530150663 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10951] ppid=10944 vsize=15711132 CPUtime=4.1 cores=0,2,4,6
/proc/10946/task/10951/stat : 10951 (java) S 10944 10946 10914 0 -1 4202560 246073 0 0 0 366 44 0 0 15 0 22 0 530150663 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10952] ppid=10944 vsize=15711132 CPUtime=4.17 cores=0,2,4,6
/proc/10946/task/10952/stat : 10952 (java) S 10944 10946 10914 0 -1 4202560 268529 0 0 0 370 47 0 0 16 0 22 0 530150663 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10953] ppid=10944 vsize=15711132 CPUtime=3.92 cores=0,2,4,6
/proc/10946/task/10953/stat : 10953 (java) S 10944 10946 10914 0 -1 4202560 267739 0 0 0 344 48 0 0 15 0 22 0 530150663 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10954] ppid=10944 vsize=15711132 CPUtime=4.14 cores=0,2,4,6
/proc/10946/task/10954/stat : 10954 (java) S 10944 10946 10914 0 -1 4202560 280201 0 0 0 367 47 0 0 15 0 22 0 530150663 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10955] ppid=10944 vsize=15711132 CPUtime=4.08 cores=0,2,4,6
/proc/10946/task/10955/stat : 10955 (java) S 10944 10946 10914 0 -1 4202560 258912 0 0 0 364 44 0 0 16 0 22 0 530150663 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10956] ppid=10944 vsize=15711132 CPUtime=4.11 cores=0,2,4,6
/proc/10946/task/10956/stat : 10956 (java) S 10944 10946 10914 0 -1 4202560 266532 0 0 0 368 43 0 0 15 0 22 0 530150663 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10957] ppid=10944 vsize=15711132 CPUtime=2.3 cores=0,2,4,6
/proc/10946/task/10957/stat : 10957 (java) S 10944 10946 10914 0 -1 4202560 7364 0 0 0 180 50 0 0 15 0 22 0 530150664 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10958] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10958/stat : 10958 (java) S 10944 10946 10914 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530150665 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10959] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10959/stat : 10959 (java) S 10944 10946 10914 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 530150665 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10960] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10960/stat : 10960 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10961] ppid=10944 vsize=15711132 CPUtime=1.78 cores=0,2,4,6
/proc/10946/task/10961/stat : 10961 (java) S 10944 10946 10914 0 -1 4202560 16721 0 0 0 175 3 0 0 16 0 22 0 530150667 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10962] ppid=10944 vsize=15711132 CPUtime=1.38 cores=0,2,4,6
/proc/10946/task/10962/stat : 10962 (java) S 10944 10946 10914 0 -1 4202560 3197 0 0 0 138 0 0 0 15 0 22 0 530150667 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10963] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10963/stat : 10963 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10964] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10964/stat : 10964 (java) S 10944 10946 10914 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 530150667 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10988] ppid=10944 vsize=15711132 CPUtime=1164.57 cores=0,2,4,6
/proc/10946/task/10988/stat : 10988 (java) R 10944 10946 10914 0 -1 4202560 140779 0 0 0 116440 17 0 0 25 0 22 0 530150771 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506096092 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=10946/tid=10989] ppid=10944 vsize=15711132 CPUtime=1164.45 cores=0,2,4,6
/proc/10946/task/10989/stat : 10989 (java) R 10944 10946 10914 0 -1 4202560 218879 0 0 0 116415 30 0 0 25 0 22 0 530150771 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506057074 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10946/tid=10990] ppid=10944 vsize=15711132 CPUtime=1163.67 cores=0,2,4,6
/proc/10946/task/10990/stat : 10990 (java) R 10944 10946 10914 0 -1 4202560 185083 0 0 0 116346 21 0 0 25 0 22 0 530150771 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506325562 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10946/tid=10991] ppid=10944 vsize=15711132 CPUtime=1162.59 cores=0,2,4,6
/proc/10946/task/10991/stat : 10991 (java) R 10944 10946 10914 0 -1 4202560 120540 0 0 0 116242 17 0 0 25 0 22 0 530150771 16088199168 284429 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506243240 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4697.22
Current children cumulated vsize (KiB) 15711132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1208.1 s]
/proc/loadavg: 8.21 8.14 7.98 9/220 11039
/proc/meminfo: memFree=22012140/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=15711132 CPUtime=4800.19 cores=0,2,4,6
/proc/10946/stat : 10946 (java) S 10944 10946 10914 0 -1 4202496 2909173 0 1 0 479498 521 0 0 25 0 22 0 530150662 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10946/statm: 3927783 286498 2300 9 0 3918502 0
[pid=10946/tid=10948] ppid=10944 vsize=15711132 CPUtime=3.51 cores=0,2,4,6
/proc/10946/task/10948/stat : 10948 (java) S 10944 10946 10914 0 -1 4202560 35659 0 1 0 346 5 0 0 25 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10949] ppid=10944 vsize=15711132 CPUtime=4.45 cores=0,2,4,6
/proc/10946/task/10949/stat : 10949 (java) S 10944 10946 10914 0 -1 4202560 294880 0 0 0 396 49 0 0 16 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10950] ppid=10944 vsize=15711132 CPUtime=4.01 cores=0,2,4,6
/proc/10946/task/10950/stat : 10950 (java) S 10944 10946 10914 0 -1 4202560 244830 0 0 0 362 39 0 0 15 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10951] ppid=10944 vsize=15711132 CPUtime=4.2 cores=0,2,4,6
/proc/10946/task/10951/stat : 10951 (java) S 10944 10946 10914 0 -1 4202560 248026 0 0 0 375 45 0 0 15 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10952] ppid=10944 vsize=15711132 CPUtime=4.26 cores=0,2,4,6
/proc/10946/task/10952/stat : 10952 (java) S 10944 10946 10914 0 -1 4202560 270526 0 0 0 378 48 0 0 16 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10953] ppid=10944 vsize=15711132 CPUtime=4.04 cores=0,2,4,6
/proc/10946/task/10953/stat : 10953 (java) S 10944 10946 10914 0 -1 4202560 274495 0 0 0 355 49 0 0 15 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10954] ppid=10944 vsize=15711132 CPUtime=4.21 cores=0,2,4,6
/proc/10946/task/10954/stat : 10954 (java) S 10944 10946 10914 0 -1 4202560 284072 0 0 0 373 48 0 0 16 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10955] ppid=10944 vsize=15711132 CPUtime=4.19 cores=0,2,4,6
/proc/10946/task/10955/stat : 10955 (java) S 10944 10946 10914 0 -1 4202560 265040 0 0 0 375 44 0 0 15 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10956] ppid=10944 vsize=15711132 CPUtime=4.22 cores=0,2,4,6
/proc/10946/task/10956/stat : 10956 (java) S 10944 10946 10914 0 -1 4202560 274107 0 0 0 377 45 0 0 16 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10957] ppid=10944 vsize=15711132 CPUtime=2.31 cores=0,2,4,6
/proc/10946/task/10957/stat : 10957 (java) S 10944 10946 10914 0 -1 4202560 7481 0 0 0 180 51 0 0 15 0 22 0 530150664 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10958] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10958/stat : 10958 (java) S 10944 10946 10914 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530150665 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10959] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10959/stat : 10959 (java) S 10944 10946 10914 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 530150665 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10960] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10960/stat : 10960 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10961] ppid=10944 vsize=15711132 CPUtime=1.78 cores=0,2,4,6
/proc/10946/task/10961/stat : 10961 (java) S 10944 10946 10914 0 -1 4202560 16721 0 0 0 175 3 0 0 16 0 22 0 530150667 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10962] ppid=10944 vsize=15711132 CPUtime=1.38 cores=0,2,4,6
/proc/10946/task/10962/stat : 10962 (java) S 10944 10946 10914 0 -1 4202560 3197 0 0 0 138 0 0 0 15 0 22 0 530150667 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10963] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10963/stat : 10963 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10964] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10964/stat : 10964 (java) S 10944 10946 10914 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 530150667 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10988] ppid=10944 vsize=15711132 CPUtime=1190.01 cores=0,2,4,6
/proc/10946/task/10988/stat : 10988 (java) R 10944 10946 10914 0 -1 4202560 143707 0 0 0 118983 18 0 0 25 0 22 0 530150771 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912505600744 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=10946/tid=10989] ppid=10944 vsize=15711132 CPUtime=1190.02 cores=0,2,4,6
/proc/10946/task/10989/stat : 10989 (java) R 10944 10946 10914 0 -1 4202560 227355 0 0 0 118972 30 0 0 25 0 22 0 530150771 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506179586 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10946/tid=10990] ppid=10944 vsize=15711132 CPUtime=1189.25 cores=0,2,4,6
/proc/10946/task/10990/stat : 10990 (java) R 10944 10946 10914 0 -1 4202560 189062 0 0 0 118904 21 0 0 25 0 22 0 530150771 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506067912 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10946/tid=10991] ppid=10944 vsize=15711132 CPUtime=1188.17 cores=0,2,4,6
/proc/10946/task/10991/stat : 10991 (java) R 10944 10946 10914 0 -1 4202560 128558 0 0 0 118800 17 0 0 25 0 22 0 530150771 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506096012 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 15711132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1208.1 s]
/proc/loadavg: 8.21 8.14 7.98 9/220 11039
/proc/meminfo: memFree=22012140/32951124 swapFree=67111524/67111528
[pid=10946] ppid=10944 vsize=15711132 CPUtime=4800.19 cores=0,2,4,6
/proc/10946/stat : 10946 (java) S 10944 10946 10914 0 -1 4202496 2909173 0 1 0 479498 521 0 0 25 0 22 0 530150662 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10946/statm: 3927783 286498 2300 9 0 3918502 0
[pid=10946/tid=10948] ppid=10944 vsize=15711132 CPUtime=3.51 cores=0,2,4,6
/proc/10946/task/10948/stat : 10948 (java) S 10944 10946 10914 0 -1 4202560 35659 0 1 0 346 5 0 0 25 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10949] ppid=10944 vsize=15711132 CPUtime=4.45 cores=0,2,4,6
/proc/10946/task/10949/stat : 10949 (java) S 10944 10946 10914 0 -1 4202560 294880 0 0 0 396 49 0 0 16 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10950] ppid=10944 vsize=15711132 CPUtime=4.01 cores=0,2,4,6
/proc/10946/task/10950/stat : 10950 (java) S 10944 10946 10914 0 -1 4202560 244830 0 0 0 362 39 0 0 15 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10951] ppid=10944 vsize=15711132 CPUtime=4.2 cores=0,2,4,6
/proc/10946/task/10951/stat : 10951 (java) S 10944 10946 10914 0 -1 4202560 248026 0 0 0 375 45 0 0 15 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10952] ppid=10944 vsize=15711132 CPUtime=4.26 cores=0,2,4,6
/proc/10946/task/10952/stat : 10952 (java) S 10944 10946 10914 0 -1 4202560 270526 0 0 0 378 48 0 0 16 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10953] ppid=10944 vsize=15711132 CPUtime=4.04 cores=0,2,4,6
/proc/10946/task/10953/stat : 10953 (java) S 10944 10946 10914 0 -1 4202560 274495 0 0 0 355 49 0 0 15 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10954] ppid=10944 vsize=15711132 CPUtime=4.21 cores=0,2,4,6
/proc/10946/task/10954/stat : 10954 (java) S 10944 10946 10914 0 -1 4202560 284072 0 0 0 373 48 0 0 16 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10955] ppid=10944 vsize=15711132 CPUtime=4.19 cores=0,2,4,6
/proc/10946/task/10955/stat : 10955 (java) S 10944 10946 10914 0 -1 4202560 265040 0 0 0 375 44 0 0 15 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10956] ppid=10944 vsize=15711132 CPUtime=4.22 cores=0,2,4,6
/proc/10946/task/10956/stat : 10956 (java) S 10944 10946 10914 0 -1 4202560 274107 0 0 0 377 45 0 0 16 0 22 0 530150663 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 0 0 0 0
[pid=10946/tid=10957] ppid=10944 vsize=15711132 CPUtime=2.31 cores=0,2,4,6
/proc/10946/task/10957/stat : 10957 (java) S 10944 10946 10914 0 -1 4202560 7481 0 0 0 180 51 0 0 15 0 22 0 530150664 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10958] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10958/stat : 10958 (java) S 10944 10946 10914 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530150665 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10959] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10959/stat : 10959 (java) S 10944 10946 10914 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 530150665 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10960] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10960/stat : 10960 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10961] ppid=10944 vsize=15711132 CPUtime=1.78 cores=0,2,4,6
/proc/10946/task/10961/stat : 10961 (java) S 10944 10946 10914 0 -1 4202560 16721 0 0 0 175 3 0 0 16 0 22 0 530150667 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10962] ppid=10944 vsize=15711132 CPUtime=1.38 cores=0,2,4,6
/proc/10946/task/10962/stat : 10962 (java) S 10944 10946 10914 0 -1 4202560 3197 0 0 0 138 0 0 0 15 0 22 0 530150667 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 2 0 0 0
[pid=10946/tid=10963] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10963/stat : 10963 (java) S 10944 10946 10914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150667 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=10946/tid=10964] ppid=10944 vsize=15711132 CPUtime=0 cores=0,2,4,6
/proc/10946/task/10964/stat : 10964 (java) S 10944 10946 10914 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 530150667 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=10946/tid=10988] ppid=10944 vsize=15711132 CPUtime=1190.01 cores=0,2,4,6
/proc/10946/task/10988/stat : 10988 (java) R 10944 10946 10914 0 -1 4202560 143707 0 0 0 118983 18 0 0 25 0 22 0 530150771 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912505600744 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=10946/tid=10989] ppid=10944 vsize=15711132 CPUtime=1190.02 cores=0,2,4,6
/proc/10946/task/10989/stat : 10989 (java) R 10944 10946 10914 0 -1 4202560 227355 0 0 0 118972 30 0 0 25 0 22 0 530150771 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506179586 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10946/tid=10990] ppid=10944 vsize=15711132 CPUtime=1189.25 cores=0,2,4,6
/proc/10946/task/10990/stat : 10990 (java) R 10944 10946 10914 0 -1 4202560 189062 0 0 0 118904 21 0 0 25 0 22 0 530150771 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506067912 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10946/tid=10991] ppid=10944 vsize=15711132 CPUtime=1188.17 cores=0,2,4,6
/proc/10946/task/10991/stat : 10991 (java) R 10944 10946 10914 0 -1 4202560 128558 0 0 0 118800 17 0 0 25 0 22 0 530150771 16088199168 286498 33554432000 1073741824 1073778376 140733772274928 18446744073709551615 46912506096012 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 15711132
Child status: 143
Real time (s): 1208.17
CPU time (s): 4800.28
CPU user time (s): 4795.01
CPU system time (s): 5.2682
CPU usage (%): 397.32
Max. virtual memory (cumulated for all children) (KiB): 15711132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.01
system time used= 5.2682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2909199
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= 58567
involuntary context switches= 62641
runsolver used 2.11168 second user time and 4.54831 second system time
The end