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-3454253-1307191679/watcher-3454253-1307191679 -o /tmp/evaluation-result-3454253-1307191679/solver-3454253-1307191679 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454253-1307191679.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.62 3.81 3.80 4/421 13042
/proc/meminfo: memFree=27629312/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 1169 0 0 0 0 0 0 0 25 0 2 0 830767686 26714112 897 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 6522 897 682 9 0 381 0
[pid=13042/tid=13043] ppid=13040 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) R 13040 13042 8078 0 -1 4202560 687 0 1 0 0 0 0 0 25 0 2 0 830767687 10681323520 1503 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0887321 s]
/proc/loadavg: 3.62 3.81 3.80 4/421 13042
/proc/meminfo: memFree=27629312/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=10538944 CPUtime=0.07 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 12298 0 1 0 6 1 0 0 25 0 18 0 830767686 10791878656 11994 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 2634736 11994 1913 9 0 2625470 0
[pid=13042/tid=13043] ppid=13040 vsize=10538944 CPUtime=0.06 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) R 13040 13042 8078 0 -1 4202560 10918 0 1 0 5 1 0 0 25 0 18 0 830767687 10791878656 11995 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 47119824149566 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538944
[startup+0.100728 s]
/proc/loadavg: 3.62 3.81 3.80 4/421 13042
/proc/meminfo: memFree=27629312/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=10540052 CPUtime=0.09 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 12973 0 1 0 8 1 0 0 25 0 18 0 830767686 10793013248 12669 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 2635013 12669 2092 9 0 2625747 0
[pid=13042/tid=13043] ppid=13040 vsize=10540052 CPUtime=0.08 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) R 13040 13042 8078 0 -1 4202560 11081 0 1 0 7 1 0 0 25 0 18 0 830767687 10793013248 12669 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 47119824191672 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540052
[startup+0.300696 s]
/proc/loadavg: 3.62 3.81 3.80 4/421 13042
/proc/meminfo: memFree=27629312/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=10543352 CPUtime=0.51 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 17451 0 1 0 49 2 0 0 25 0 18 0 830767686 10796392448 16573 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 2635838 16573 2202 9 0 2626572 0
[pid=13042/tid=13043] ppid=13040 vsize=10543352 CPUtime=0.27 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) R 13040 13042 8078 0 -1 4202560 14079 0 1 0 26 1 0 0 25 0 18 0 830767687 10796392448 16575 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 46912505567103 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10543352
[startup+0.700623 s]
/proc/loadavg: 3.62 3.81 3.80 4/421 13042
/proc/meminfo: memFree=27629312/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=10560712 CPUtime=1.59 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 38534 0 1 0 155 4 0 0 25 0 22 0 830767686 10814169088 34376 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 2640178 34378 2225 9 0 2630912 0
[pid=13042/tid=13043] ppid=13040 vsize=10560712 CPUtime=0.56 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) S 13040 13042 8078 0 -1 4202560 26458 0 1 0 53 3 0 0 25 0 22 0 830767687 10814169088 34378 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10560712
[startup+1.50148 s]
/proc/loadavg: 3.62 3.81 3.80 6/443 13064
/proc/meminfo: memFree=27479912/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=10561628 CPUtime=4.15 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 74110 0 1 0 406 9 0 0 25 0 22 0 830767686 10815107072 68812 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 2640407 68818 2237 9 0 2631141 0
[pid=13042/tid=13043] ppid=13040 vsize=10561628 CPUtime=0.56 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) S 13040 13042 8078 0 -1 4202560 26458 0 1 0 53 3 0 0 20 0 22 0 830767687 10815107072 68822 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13045] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13045/stat : 13045 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 68825 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13046] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13046/stat : 13046 (java) S 13040 13042 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 68828 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13047] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13047/stat : 13047 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 68832 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13048] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13048/stat : 13048 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 68835 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13049] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13049/stat : 13049 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 68839 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13050] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13050/stat : 13050 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 68842 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13051] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13051/stat : 13051 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 68845 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13052] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13052/stat : 13052 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 68849 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13053] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13053/stat : 13053 (java) S 13040 13042 8078 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830767690 10815107072 68851 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 0 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13054] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13054/stat : 13054 (java) S 13040 13042 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830767691 10815107072 68855 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13055] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13055/stat : 13055 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767691 10815107072 68858 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13056] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13056/stat : 13056 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767693 10815107072 68861 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290703281 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13057] ppid=13040 vsize=10561628 CPUtime=0.86 cores=1,3,5,7
/proc/13042/task/13057/stat : 13057 (java) S 13040 13042 8078 0 -1 4202560 6428 0 0 0 86 0 0 0 25 0 22 0 830767693 10815107072 68864 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 1 0 0 0
[pid=13042/tid=13058] ppid=13040 vsize=10561628 CPUtime=0.98 cores=1,3,5,7
/proc/13042/task/13058/stat : 13058 (java) S 13040 13042 8078 0 -1 4202560 5209 0 0 0 98 0 0 0 25 0 22 0 830767693 10815107072 68867 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13059] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13059/stat : 13059 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767693 10815107072 68870 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13060] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13060/stat : 13060 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830767693 10815107072 68874 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13061] ppid=13040 vsize=10561628 CPUtime=0.91 cores=1,3,5,7
/proc/13042/task/13061/stat : 13061 (java) R 13040 13042 8078 0 -1 4202560 372 0 0 0 91 0 0 0 25 0 22 0 830767745 10815107072 68876 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 46912506036544 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13042/tid=13062] ppid=13040 vsize=10561628 CPUtime=0.8 cores=1,3,5,7
/proc/13042/task/13062/stat : 13062 (java) R 13040 13042 8078 0 -1 4202560 34542 0 0 0 76 4 0 0 25 0 22 0 830767745 10815107072 68879 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 46912505612095 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13042/tid=13063] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13063/stat : 13063 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767753 10815107072 68882 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13064] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13064/stat : 13064 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767754 10815107072 68885 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 10561628
[startup+3.1012 s]
/proc/loadavg: 3.62 3.81 3.80 5/443 13064
/proc/meminfo: memFree=27174496/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=10561628 CPUtime=7.6 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 193636 0 1 0 738 22 0 0 25 0 22 0 830767686 10815107072 186715 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 2640407 186717 2237 9 0 2631141 0
[pid=13042/tid=13043] ppid=13040 vsize=10561628 CPUtime=0.56 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) S 13040 13042 8078 0 -1 4202560 26458 0 1 0 53 3 0 0 15 0 22 0 830767687 10815107072 186718 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13045] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13045/stat : 13045 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 186718 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13046] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13046/stat : 13046 (java) S 13040 13042 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 186718 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13047] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13047/stat : 13047 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 186718 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13048] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13048/stat : 13048 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 186719 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13049] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13049/stat : 13049 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 186719 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13050] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13050/stat : 13050 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 186719 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13051] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13051/stat : 13051 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 186719 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13052] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13052/stat : 13052 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767689 10815107072 186720 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13053] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13053/stat : 13053 (java) S 13040 13042 8078 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830767690 10815107072 186720 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 0 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13054] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13054/stat : 13054 (java) S 13040 13042 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830767691 10815107072 186720 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13055] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13055/stat : 13055 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767691 10815107072 186721 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13056] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13056/stat : 13056 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767693 10815107072 186721 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290703281 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13057] ppid=13040 vsize=10561628 CPUtime=1.05 cores=1,3,5,7
/proc/13042/task/13057/stat : 13057 (java) S 13040 13042 8078 0 -1 4202560 8624 0 0 0 104 1 0 0 21 0 22 0 830767693 10815107072 186722 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 1 0 0 0
[pid=13042/tid=13058] ppid=13040 vsize=10561628 CPUtime=1.04 cores=1,3,5,7
/proc/13042/task/13058/stat : 13058 (java) S 13040 13042 8078 0 -1 4202560 5213 0 0 0 104 0 0 0 15 0 22 0 830767693 10815107072 186722 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13059] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13059/stat : 13059 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767693 10815107072 186723 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13060] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13060/stat : 13060 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830767693 10815107072 186723 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13061] ppid=13040 vsize=10561628 CPUtime=2.51 cores=1,3,5,7
/proc/13042/task/13061/stat : 13061 (java) R 13040 13042 8078 0 -1 4202560 647 0 0 0 251 0 0 0 25 0 22 0 830767745 10815107072 186724 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 46912506027101 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13042/tid=13062] ppid=13040 vsize=10561628 CPUtime=2.4 cores=1,3,5,7
/proc/13042/task/13062/stat : 13062 (java) R 13040 13042 8078 0 -1 4202560 151534 0 0 0 224 16 0 0 25 0 22 0 830767745 10815107072 186724 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 46912505809967 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13042/tid=13063] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13063/stat : 13063 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767753 10815107072 186724 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13064] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13064/stat : 13064 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767754 10815107072 186724 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 10561628
[startup+6.30163 s]
/proc/loadavg: 3.65 3.82 3.80 5/443 13064
/proc/meminfo: memFree=26724856/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=10561628 CPUtime=14.08 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 289847 0 1 0 1376 32 0 0 25 0 22 0 830767686 10815107072 282916 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 2640407 282917 2263 9 0 2631141 0
[pid=13042/tid=13043] ppid=13040 vsize=10561628 CPUtime=0.56 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) S 13040 13042 8078 0 -1 4202560 26458 0 1 0 53 3 0 0 15 0 22 0 830767687 10815107072 282917 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13045] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13045/stat : 13045 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830767689 10815107072 282917 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13046] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13046/stat : 13046 (java) S 13040 13042 8078 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830767689 10815107072 282918 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13047] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13047/stat : 13047 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830767689 10815107072 282918 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13048] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13048/stat : 13048 (java) S 13040 13042 8078 0 -1 4202560 137 0 0 0 0 0 0 0 18 0 22 0 830767689 10815107072 282919 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13049] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13049/stat : 13049 (java) S 13040 13042 8078 0 -1 4202560 451 0 0 0 0 0 0 0 18 0 22 0 830767689 10815107072 282919 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13050] ppid=13040 vsize=10561628 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13050/stat : 13050 (java) S 13040 13042 8078 0 -1 4202560 1025 0 0 0 0 0 0 0 18 0 22 0 830767689 10815107072 282920 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 1 0 0 0
[pid=13042/tid=13051] ppid=13040 vsize=10561628 CPUtime=0.01 cores=1,3,5,7
/proc/13042/task/13051/stat : 13051 (java) S 13040 13042 8078 0 -1 4202560 1846 0 0 0 1 0 0 0 18 0 22 0 830767689 10815107072 282920 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13052] ppid=13040 vsize=10561628 CPUtime=0.01 cores=1,3,5,7
/proc/13042/task/13052/stat : 13052 (java) S 13040 13042 8078 0 -1 4202560 1552 0 0 0 1 0 0 0 18 0 22 0 830767689 10815107072 282934 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=13042/tid=13060] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13060/stat : 13060 (java) S 13040 13042 8078 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830767693 10813853696 367883 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13061] ppid=13040 vsize=10560404 CPUtime=776.67 cores=1,3,5,7
/proc/13042/task/13061/stat : 13061 (java) S 13040 13042 8078 0 -1 4202560 894 0 0 0 77666 1 0 0 25 0 22 0 830767745 10813853696 367883 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13062] ppid=13040 vsize=10560404 CPUtime=776.57 cores=1,3,5,7
/proc/13042/task/13062/stat : 13062 (java) S 13040 13042 8078 0 -1 4202560 267406 0 0 0 77627 30 0 0 25 0 22 0 830767745 10813853696 367883 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13063] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13063/stat : 13063 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767753 10813853696 367883 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13064] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13064/stat : 13064 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767754 10813853696 367883 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.18
Current children cumulated vsize (KiB) 10560404
[startup+942.301 s]
/proc/loadavg: 3.53 3.73 3.77 4/443 13164
/proc/meminfo: memFree=25351560/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=10560404 CPUtime=1775.52 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 377473 0 1 0 177505 47 0 0 25 0 22 0 830767686 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 2640101 369611 2264 9 0 2630835 0
[pid=13042/tid=13043] ppid=13040 vsize=10560404 CPUtime=0.56 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) S 13040 13042 8078 0 -1 4202560 26589 0 1 0 53 3 0 0 15 0 22 0 830767687 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13045] ppid=13040 vsize=10560404 CPUtime=1.06 cores=1,3,5,7
/proc/13042/task/13045/stat : 13045 (java) S 13040 13042 8078 0 -1 4202560 827 0 0 0 106 0 0 0 16 0 22 0 830767689 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13046] ppid=13040 vsize=10560404 CPUtime=1.16 cores=1,3,5,7
/proc/13042/task/13046/stat : 13046 (java) S 13040 13042 8078 0 -1 4202560 139 0 0 0 116 0 0 0 15 0 22 0 830767689 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13047] ppid=13040 vsize=10560404 CPUtime=1.14 cores=1,3,5,7
/proc/13042/task/13047/stat : 13047 (java) S 13040 13042 8078 0 -1 4202560 162 0 0 0 114 0 0 0 16 0 22 0 830767689 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13048] ppid=13040 vsize=10560404 CPUtime=1 cores=1,3,5,7
/proc/13042/task/13048/stat : 13048 (java) S 13040 13042 8078 0 -1 4202560 1008 0 0 0 100 0 0 0 16 0 22 0 830767689 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13049] ppid=13040 vsize=10560404 CPUtime=1.12 cores=1,3,5,7
/proc/13042/task/13049/stat : 13049 (java) S 13040 13042 8078 0 -1 4202560 719 0 0 0 112 0 0 0 16 0 22 0 830767689 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13050] ppid=13040 vsize=10560404 CPUtime=1 cores=1,3,5,7
/proc/13042/task/13050/stat : 13050 (java) S 13040 13042 8078 0 -1 4202560 1239 0 0 0 100 0 0 0 15 0 22 0 830767689 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13051] ppid=13040 vsize=10560404 CPUtime=1.11 cores=1,3,5,7
/proc/13042/task/13051/stat : 13051 (java) S 13040 13042 8078 0 -1 4202560 2528 0 0 0 111 0 0 0 16 0 22 0 830767689 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13052] ppid=13040 vsize=10560404 CPUtime=1.06 cores=1,3,5,7
/proc/13042/task/13052/stat : 13052 (java) S 13040 13042 8078 0 -1 4202560 2178 0 0 0 106 0 0 0 16 0 22 0 830767689 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13053] ppid=13040 vsize=10560404 CPUtime=114.49 cores=1,3,5,7
/proc/13042/task/13053/stat : 13053 (java) R 13040 13042 8078 0 -1 4202560 58411 0 0 0 11443 6 0 0 16 0 22 0 830767690 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 47119818920496 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=13042/tid=13054] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13054/stat : 13054 (java) S 13040 13042 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830767691 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13055] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13055/stat : 13055 (java) S 13040 13042 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830767691 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13056] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13056/stat : 13056 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767693 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290703281 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13057] ppid=13040 vsize=10560404 CPUtime=1.14 cores=1,3,5,7
/proc/13042/task/13057/stat : 13057 (java) S 13040 13042 8078 0 -1 4202560 8635 0 0 0 113 1 0 0 15 0 22 0 830767693 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13058] ppid=13040 vsize=10560404 CPUtime=1.76 cores=1,3,5,7
/proc/13042/task/13058/stat : 13058 (java) S 13040 13042 8078 0 -1 4202560 5524 0 0 0 176 0 0 0 15 0 22 0 830767693 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 1 0 0 0
[pid=13042/tid=13059] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13059/stat : 13059 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767693 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13060] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13060/stat : 13060 (java) S 13040 13042 8078 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830767693 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13061] ppid=13040 vsize=10560404 CPUtime=824.45 cores=1,3,5,7
/proc/13042/task/13061/stat : 13061 (java) S 13040 13042 8078 0 -1 4202560 895 0 0 0 82444 1 0 0 25 0 22 0 830767745 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13062] ppid=13040 vsize=10560404 CPUtime=824.35 cores=1,3,5,7
/proc/13042/task/13062/stat : 13062 (java) S 13040 13042 8078 0 -1 4202560 267407 0 0 0 82405 30 0 0 25 0 22 0 830767745 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13063] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13063/stat : 13063 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767753 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13064] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13064/stat : 13064 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767754 10813853696 369611 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1775.52
Current children cumulated vsize (KiB) 10560404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+955.802 s]
/proc/loadavg: 3.48 3.71 3.77 4/443 13164
/proc/meminfo: memFree=25350064/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=10560404 CPUtime=1800.09 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 377765 0 1 0 179962 47 0 0 25 0 22 0 830767686 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 2640101 369893 2264 9 0 2630835 0
[pid=13042/tid=13043] ppid=13040 vsize=10560404 CPUtime=0.56 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) S 13040 13042 8078 0 -1 4202560 26595 0 1 0 53 3 0 0 15 0 22 0 830767687 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13045] ppid=13040 vsize=10560404 CPUtime=1.06 cores=1,3,5,7
/proc/13042/task/13045/stat : 13045 (java) S 13040 13042 8078 0 -1 4202560 827 0 0 0 106 0 0 0 15 0 22 0 830767689 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13046] ppid=13040 vsize=10560404 CPUtime=1.19 cores=1,3,5,7
/proc/13042/task/13046/stat : 13046 (java) S 13040 13042 8078 0 -1 4202560 148 0 0 0 119 0 0 0 16 0 22 0 830767689 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13047] ppid=13040 vsize=10560404 CPUtime=1.17 cores=1,3,5,7
/proc/13042/task/13047/stat : 13047 (java) S 13040 13042 8078 0 -1 4202560 162 0 0 0 117 0 0 0 15 0 22 0 830767689 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13048] ppid=13040 vsize=10560404 CPUtime=1.04 cores=1,3,5,7
/proc/13042/task/13048/stat : 13048 (java) S 13040 13042 8078 0 -1 4202560 1008 0 0 0 104 0 0 0 16 0 22 0 830767689 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13049] ppid=13040 vsize=10560404 CPUtime=1.15 cores=1,3,5,7
/proc/13042/task/13049/stat : 13049 (java) S 13040 13042 8078 0 -1 4202560 729 0 0 0 115 0 0 0 15 0 22 0 830767689 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13050] ppid=13040 vsize=10560404 CPUtime=1.04 cores=1,3,5,7
/proc/13042/task/13050/stat : 13050 (java) S 13040 13042 8078 0 -1 4202560 1249 0 0 0 104 0 0 0 16 0 22 0 830767689 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13051] ppid=13040 vsize=10560404 CPUtime=1.12 cores=1,3,5,7
/proc/13042/task/13051/stat : 13051 (java) S 13040 13042 8078 0 -1 4202560 2528 0 0 0 112 0 0 0 15 0 22 0 830767689 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13052] ppid=13040 vsize=10560404 CPUtime=1.09 cores=1,3,5,7
/proc/13042/task/13052/stat : 13052 (java) S 13040 13042 8078 0 -1 4202560 2178 0 0 0 109 0 0 0 15 0 22 0 830767689 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13053] ppid=13040 vsize=10560404 CPUtime=117.03 cores=1,3,5,7
/proc/13042/task/13053/stat : 13053 (java) R 13040 13042 8078 0 -1 4202560 58666 0 0 0 11697 6 0 0 15 0 22 0 830767690 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 47119818920101 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=13042/tid=13054] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13054/stat : 13054 (java) S 13040 13042 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830767691 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13055] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13055/stat : 13055 (java) S 13040 13042 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830767691 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13056] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13056/stat : 13056 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767693 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290703281 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13057] ppid=13040 vsize=10560404 CPUtime=1.14 cores=1,3,5,7
/proc/13042/task/13057/stat : 13057 (java) S 13040 13042 8078 0 -1 4202560 8635 0 0 0 113 1 0 0 15 0 22 0 830767693 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13058] ppid=13040 vsize=10560404 CPUtime=1.76 cores=1,3,5,7
/proc/13042/task/13058/stat : 13058 (java) S 13040 13042 8078 0 -1 4202560 5524 0 0 0 176 0 0 0 15 0 22 0 830767693 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 1 0 0 0
[pid=13042/tid=13059] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13059/stat : 13059 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830767693 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13060] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13060/stat : 13060 (java) S 13040 13042 8078 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830767693 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13061] ppid=13040 vsize=10560404 CPUtime=835.35 cores=1,3,5,7
/proc/13042/task/13061/stat : 13061 (java) S 13040 13042 8078 0 -1 4202560 895 0 0 0 83534 1 0 0 25 0 22 0 830767745 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13062] ppid=13040 vsize=10560404 CPUtime=835.25 cores=1,3,5,7
/proc/13042/task/13062/stat : 13062 (java) S 13040 13042 8078 0 -1 4202560 267407 0 0 0 83495 30 0 0 25 0 22 0 830767745 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13063] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13063/stat : 13063 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767753 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13064] ppid=13040 vsize=10560404 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13064/stat : 13064 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830767754 10813853696 369893 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10560404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+956.202 s]
/proc/loadavg: 3.48 3.71 3.77 4/443 13164
/proc/meminfo: memFree=25350064/32950904 swapFree=56615552/67111528
[pid=13042] ppid=13040 vsize=10562460 CPUtime=1800.48 cores=1,3,5,7
/proc/13042/stat : 13042 (java) S 13040 13042 8078 0 -1 4202496 378082 0 1 0 180001 47 0 0 18 0 21 0 830767686 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13042/statm: 2640615 370208 2268 9 0 2631349 0
[pid=13042/tid=13043] ppid=13040 vsize=10562460 CPUtime=0.56 cores=1,3,5,7
/proc/13042/task/13043/stat : 13043 (java) S 13040 13042 8078 0 -1 4202560 26595 0 1 0 53 3 0 0 15 0 21 0 830767687 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13045] ppid=13040 vsize=10562460 CPUtime=1.06 cores=1,3,5,7
/proc/13042/task/13045/stat : 13045 (java) S 13040 13042 8078 0 -1 4202560 827 0 0 0 106 0 0 0 15 0 21 0 830767689 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13046] ppid=13040 vsize=10562460 CPUtime=1.19 cores=1,3,5,7
/proc/13042/task/13046/stat : 13046 (java) S 13040 13042 8078 0 -1 4202560 148 0 0 0 119 0 0 0 16 0 21 0 830767689 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13047] ppid=13040 vsize=10562460 CPUtime=1.17 cores=1,3,5,7
/proc/13042/task/13047/stat : 13047 (java) S 13040 13042 8078 0 -1 4202560 162 0 0 0 117 0 0 0 15 0 21 0 830767689 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13048] ppid=13040 vsize=10562460 CPUtime=1.04 cores=1,3,5,7
/proc/13042/task/13048/stat : 13048 (java) S 13040 13042 8078 0 -1 4202560 1008 0 0 0 104 0 0 0 16 0 21 0 830767689 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13049] ppid=13040 vsize=10562460 CPUtime=1.15 cores=1,3,5,7
/proc/13042/task/13049/stat : 13049 (java) S 13040 13042 8078 0 -1 4202560 729 0 0 0 115 0 0 0 15 0 21 0 830767689 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13050] ppid=13040 vsize=10562460 CPUtime=1.04 cores=1,3,5,7
/proc/13042/task/13050/stat : 13050 (java) S 13040 13042 8078 0 -1 4202560 1249 0 0 0 104 0 0 0 16 0 21 0 830767689 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13051] ppid=13040 vsize=10562460 CPUtime=1.12 cores=1,3,5,7
/proc/13042/task/13051/stat : 13051 (java) S 13040 13042 8078 0 -1 4202560 2528 0 0 0 112 0 0 0 15 0 21 0 830767689 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 5 0 0 0
[pid=13042/tid=13052] ppid=13040 vsize=10562460 CPUtime=1.09 cores=1,3,5,7
/proc/13042/task/13052/stat : 13052 (java) S 13040 13042 8078 0 -1 4202560 2178 0 0 0 109 0 0 0 15 0 21 0 830767689 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
[pid=13042/tid=13053] ppid=13040 vsize=10562460 CPUtime=117.39 cores=1,3,5,7
/proc/13042/task/13053/stat : 13053 (java) R 13040 13042 8078 0 -1 4202560 58951 0 0 0 11733 6 0 0 16 0 21 0 830767690 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=13042/tid=13054] ppid=13040 vsize=10562460 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13054/stat : 13054 (java) S 13040 13042 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 830767691 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13055] ppid=13040 vsize=10562460 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13055/stat : 13055 (java) S 13040 13042 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 21 0 830767691 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13057] ppid=13040 vsize=10562460 CPUtime=1.14 cores=1,3,5,7
/proc/13042/task/13057/stat : 13057 (java) R 13040 13042 8078 0 -1 4202560 8635 0 0 0 113 1 0 0 16 0 21 0 830767693 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 47119823712927 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13042/tid=13058] ppid=13040 vsize=10562460 CPUtime=1.77 cores=1,3,5,7
/proc/13042/task/13058/stat : 13058 (java) R 13040 13042 8078 0 -1 4202560 5528 0 0 0 177 0 0 0 15 0 21 0 830767693 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 47119820568253 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13042/tid=13059] ppid=13040 vsize=10562460 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13059/stat : 13059 (java) S 13040 13042 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830767693 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290695577 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13061] ppid=13040 vsize=10562460 CPUtime=835.36 cores=1,3,5,7
/proc/13042/task/13061/stat : 13061 (java) R 13040 13042 8078 0 -1 4202560 895 0 0 0 83535 1 0 0 21 0 21 0 830767745 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 46912505895976 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13042/tid=13062] ppid=13040 vsize=10562460 CPUtime=835.26 cores=1,3,5,7
/proc/13042/task/13062/stat : 13062 (java) R 13040 13042 8078 0 -1 4202560 267407 0 0 0 83496 30 0 0 21 0 21 0 830767745 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 46912505865754 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13042/tid=13063] ppid=13040 vsize=10562460 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13063/stat : 13063 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830767753 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 3 0 0 0
[pid=13042/tid=13064] ppid=13040 vsize=10562460 CPUtime=0 cores=1,3,5,7
/proc/13042/task/13064/stat : 13064 (java) S 13040 13042 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830767754 10815959040 370208 33554432000 1073741824 1073778376 140736995803104 18446744073709551615 237290696192 0 4 0 16800975 18446604460426859584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 10562460
Child status: 143
Real time (s): 956.264
CPU time (s): 1800.56
CPU user time (s): 1800.02
CPU system time (s): 0.538918
CPU usage (%): 188.291
Max. virtual memory (cumulated for all children) (KiB): 10563284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.538918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378083
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= 31636
involuntary context switches= 24773
runsolver used 3.80442 second user time and 9.29259 second system time
The end