runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689508-1337882658/watcher-3689508-1337882658 -o /tmp/evaluation-result-3689508-1337882658/solver-3689508-1337882658 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689508-1337882658.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.58 3.72 3.68 4/197 24900
/proc/meminfo: memFree=28810276/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/24900/stat : 24900 (java) R 24898 24900 20503 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 254394380 2560000 46 33554432000 1073741824 1073778376 140734787986864 140734787983992 270109076775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 625 46 37 9 0 29 0
[startup+0.00797193 s]
/proc/loadavg: 3.58 3.72 3.68 4/197 24900
/proc/meminfo: memFree=28810276/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/24900/stat : 24900 (java) R 24898 24900 20503 0 -1 4202496 870 0 0 0 0 0 0 0 20 0 1 0 254394380 23793664 598 33554432000 1073741824 1073778376 140734787986864 140734787975928 270109030963 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 5809 617 458 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.100166 s]
/proc/loadavg: 3.58 3.72 3.68 4/197 24900
/proc/meminfo: memFree=28810276/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/24900/stat : 24900 (java) S 24898 24900 20503 0 -1 4202496 4315 0 1 0 9 1 0 0 20 0 18 0 254394380 9787813888 5502 33554432000 1073741824 1073778376 140734787986864 140734787978000 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 2389603 5502 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300194 s]
/proc/loadavg: 3.58 3.72 3.68 4/197 24900
/proc/meminfo: memFree=28810276/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/24900/stat : 24900 (java) S 24898 24900 20503 0 -1 4202496 5652 0 1 0 46 1 0 0 20 0 18 0 254394380 9787813888 14993 33554432000 1073741824 1073778376 140734787986864 140734787978000 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 2389603 14993 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700181 s]
/proc/loadavg: 3.58 3.72 3.68 4/197 24900
/proc/meminfo: memFree=28810276/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=9558412 CPUtime=1.07 cores=1,3,5,7
/proc/24900/stat : 24900 (java) S 24898 24900 20503 0 -1 4202496 6241 0 1 0 96 11 0 0 20 0 18 0 254394380 9787813888 52822 33554432000 1073741824 1073778376 140734787986864 140734787978000 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 2389603 52822 2232 9 0 2380296 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9558412
[startup+1.50074 s]
/proc/loadavg: 3.58 3.72 3.68 4/215 24921
/proc/meminfo: memFree=28335428/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=9558412 CPUtime=2.34 cores=1,3,5,7
/proc/24900/stat : 24900 (java) S 24898 24900 20503 0 -1 4202496 8068 0 1 0 194 40 0 0 20 0 18 0 254394380 9787813888 280271 33554432000 1073741824 1073778376 140734787986864 140734787978000 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 2389603 280272 2237 9 0 2380296 0
[pid=24900/tid=24902] ppid=24898 vsize=9558412 CPUtime=1.26 cores=1,3,5,7
/proc/24900/task/24902/stat : 24902 (java) S 24898 24900 20503 0 -1 4202560 3552 0 1 0 109 17 0 0 20 0 18 0 254394381 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139743107684520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24903] ppid=24898 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/24900/task/24903/stat : 24903 (java) S 24898 24900 20503 0 -1 4202560 45 0 0 0 4 3 0 0 20 0 18 0 254394382 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742951594536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24904] ppid=24898 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24900/task/24904/stat : 24904 (java) R 24898 24900 20503 0 -1 4202560 40 0 0 0 6 2 0 0 20 0 18 0 254394382 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742950541912 139743111848744 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24905] ppid=24898 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/24900/task/24905/stat : 24905 (java) S 24898 24900 20503 0 -1 4202560 145 0 0 0 5 1 0 0 20 0 18 0 254394382 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742949488936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24906] ppid=24898 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24900/task/24906/stat : 24906 (java) R 24898 24900 20503 0 -1 4202560 61 0 0 0 5 3 0 0 20 0 18 0 254394382 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742948436136 139743114582340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24907] ppid=24898 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/24900/task/24907/stat : 24907 (java) R 24898 24900 20503 0 -1 4202560 110 0 0 0 4 2 0 0 20 0 18 0 254394382 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742947384536 139743110158021 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24908] ppid=24898 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24900/task/24908/stat : 24908 (java) R 24898 24900 20503 0 -1 4202560 49 0 0 0 4 4 0 0 20 0 18 0 254394382 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742946331560 270121612348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24909] ppid=24898 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24900/task/24909/stat : 24909 (java) R 24898 24900 20503 0 -1 4202560 134 0 0 0 5 3 0 0 20 0 18 0 254394382 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742945278760 139743110965148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24910] ppid=24898 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/24900/task/24910/stat : 24910 (java) R 24898 24900 20503 0 -1 4202560 134 0 0 0 7 3 0 0 20 0 18 0 254394382 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742944225960 139743114585647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24911] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24911/stat : 24911 (java) S 24898 24900 20503 0 -1 4202560 456 0 0 0 0 0 0 0 20 0 18 0 254394383 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742461011336 270121612348 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24912] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24912/stat : 24912 (java) S 24898 24900 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254394383 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742459958520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24913] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24913/stat : 24913 (java) S 24898 24900 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254394383 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742458905608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24914] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24914/stat : 24914 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254394386 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742457854096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24915] ppid=24898 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/24900/task/24915/stat : 24915 (java) S 24898 24900 20503 0 -1 4202560 946 0 0 0 13 0 0 0 20 0 18 0 254394386 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742456802232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24916] ppid=24898 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/24900/task/24916/stat : 24916 (java) S 24898 24900 20503 0 -1 4202560 1223 0 0 0 15 0 0 0 20 0 18 0 254394386 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742455749432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24917] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24917/stat : 24917 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254394386 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742454696824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24918] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24918/stat : 24918 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254394386 9787813888 280272 33554432000 1073741824 1073778376 140734787986864 139742453644232 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9558412
[startup+3.10069 s]
/proc/loadavg: 3.58 3.72 3.68 4/215 24924
/proc/meminfo: memFree=27422028/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=9558412 CPUtime=4.28 cores=1,3,5,7
/proc/24900/stat : 24900 (java) S 24898 24900 20503 0 -1 4202496 10471 0 1 0 365 63 0 0 20 0 18 0 254394380 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 140734787978000 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 2389603 543230 2237 9 0 2380296 0
[pid=24900/tid=24902] ppid=24898 vsize=9558412 CPUtime=2.73 cores=1,3,5,7
/proc/24900/task/24902/stat : 24902 (java) R 24898 24900 20503 0 -1 4202560 4042 0 1 0 237 36 0 0 20 0 18 0 254394381 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139743107678048 139743115451479 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24903] ppid=24898 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/24900/task/24903/stat : 24903 (java) S 24898 24900 20503 0 -1 4202560 256 0 0 0 8 4 0 0 20 0 18 0 254394382 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742951594536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24904] ppid=24898 vsize=9558412 CPUtime=0.16 cores=1,3,5,7
/proc/24900/task/24904/stat : 24904 (java) S 24898 24900 20503 0 -1 4202560 53 0 0 0 13 3 0 0 20 0 18 0 254394382 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742950541736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24905] ppid=24898 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/24900/task/24905/stat : 24905 (java) S 24898 24900 20503 0 -1 4202560 227 0 0 0 9 3 0 0 20 0 18 0 254394382 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742949488936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24906] ppid=24898 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/24900/task/24906/stat : 24906 (java) S 24898 24900 20503 0 -1 4202560 315 0 0 0 9 4 0 0 20 0 18 0 254394382 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742948436136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24907] ppid=24898 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/24900/task/24907/stat : 24907 (java) S 24898 24900 20503 0 -1 4202560 269 0 0 0 11 3 0 0 20 0 18 0 254394382 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742947384360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24908] ppid=24898 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/24900/task/24908/stat : 24908 (java) S 24898 24900 20503 0 -1 4202560 55 0 0 0 8 4 0 0 20 0 18 0 254394382 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742946331560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24909] ppid=24898 vsize=9558412 CPUtime=0.16 cores=1,3,5,7
/proc/24900/task/24909/stat : 24909 (java) S 24898 24900 20503 0 -1 4202560 394 0 0 0 12 4 0 0 20 0 18 0 254394382 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742945278760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24910] ppid=24898 vsize=9558412 CPUtime=0.18 cores=1,3,5,7
/proc/24900/task/24910/stat : 24910 (java) S 24898 24900 20503 0 -1 4202560 255 0 0 0 14 4 0 0 20 0 18 0 254394382 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742944225960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24911] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24911/stat : 24911 (java) S 24898 24900 20503 0 -1 4202560 1262 0 0 0 0 0 0 0 20 0 18 0 254394383 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742461012456 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24912] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24912/stat : 24912 (java) S 24898 24900 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254394383 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742459958520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24913] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24913/stat : 24913 (java) S 24898 24900 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254394383 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742458905608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24914] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24914/stat : 24914 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254394386 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742457854096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24915] ppid=24898 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/24900/task/24915/stat : 24915 (java) S 24898 24900 20503 0 -1 4202560 946 0 0 0 13 0 0 0 20 0 18 0 254394386 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742456802232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24916] ppid=24898 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/24900/task/24916/stat : 24916 (java) S 24898 24900 20503 0 -1 4202560 1223 0 0 0 15 0 0 0 20 0 18 0 254394386 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742455749432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24917] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24917/stat : 24917 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254394386 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742454696824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24918] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24918/stat : 24918 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254394386 9787813888 543230 33554432000 1073741824 1073778376 140734787986864 139742453644232 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 9558412
[startup+6.30083 s]
/proc/loadavg: 3.46 3.70 3.67 2/212 24933
/proc/meminfo: memFree=25906100/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=9558412 CPUtime=8.08 cores=1,3,5,7
/proc/24900/stat : 24900 (java) S 24898 24900 20503 0 -1 4202496 11522 0 1 0 725 83 0 0 20 0 18 0 254394380 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 140734787978000 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 2389603 706428 2247 9 0 2380296 0
[pid=24900/tid=24902] ppid=24898 vsize=9558412 CPUtime=5.71 cores=1,3,5,7
/proc/24900/task/24902/stat : 24902 (java) R 24898 24900 20503 0 -1 4202560 4337 0 1 0 524 47 0 0 20 0 18 0 254394381 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139743107678048 139743115451489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24903] ppid=24898 vsize=9558412 CPUtime=0.25 cores=1,3,5,7
/proc/24900/task/24903/stat : 24903 (java) S 24898 24900 20503 0 -1 4202560 319 0 0 0 20 5 0 0 20 0 18 0 254394382 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742951594536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24904] ppid=24898 vsize=9558412 CPUtime=0.22 cores=1,3,5,7
/proc/24900/task/24904/stat : 24904 (java) S 24898 24900 20503 0 -1 4202560 269 0 0 0 18 4 0 0 20 0 18 0 254394382 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742950541736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24905] ppid=24898 vsize=9558412 CPUtime=0.2 cores=1,3,5,7
/proc/24900/task/24905/stat : 24905 (java) S 24898 24900 20503 0 -1 4202560 239 0 0 0 16 4 0 0 20 0 18 0 254394382 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742949488936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24906] ppid=24898 vsize=9558412 CPUtime=0.24 cores=1,3,5,7
/proc/24900/task/24906/stat : 24906 (java) S 24898 24900 20503 0 -1 4202560 329 0 0 0 20 4 0 0 20 0 18 0 254394382 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742948436136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24907] ppid=24898 vsize=9558412 CPUtime=0.22 cores=1,3,5,7
/proc/24900/task/24907/stat : 24907 (java) S 24898 24900 20503 0 -1 4202560 386 0 0 0 18 4 0 0 20 0 18 0 254394382 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742947384360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24908] ppid=24898 vsize=9558412 CPUtime=0.24 cores=1,3,5,7
/proc/24900/task/24908/stat : 24908 (java) S 24898 24900 20503 0 -1 4202560 74 0 0 0 18 6 0 0 20 0 18 0 254394382 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742946331560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24909] ppid=24898 vsize=9558412 CPUtime=0.26 cores=1,3,5,7
/proc/24900/task/24909/stat : 24909 (java) S 24898 24900 20503 0 -1 4202560 406 0 0 0 21 5 0 0 20 0 18 0 254394382 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742945278760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24910] ppid=24898 vsize=9558412 CPUtime=0.23 cores=1,3,5,7
/proc/24900/task/24910/stat : 24910 (java) S 24898 24900 20503 0 -1 4202560 261 0 0 0 18 5 0 0 20 0 18 0 254394382 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742944225960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24911] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24911/stat : 24911 (java) S 24898 24900 20503 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 18 0 254394383 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742461012456 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24912] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24912/stat : 24912 (java) S 24898 24900 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254394383 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742459958520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24913] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24913/stat : 24913 (java) S 24898 24900 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254394383 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742458905608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24914] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24914/stat : 24914 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254394386 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742457854096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24915] ppid=24898 vsize=9558412 CPUtime=0.17 cores=1,3,5,7
/proc/24900/task/24915/stat : 24915 (java) S 24898 24900 20503 0 -1 4202560 1072 0 0 0 17 0 0 0 20 0 18 0 254394386 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742456802232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24916] ppid=24898 vsize=9558412 CPUtime=0.18 cores=1,3,5,7
/proc/24900/task/24916/stat : 24916 (java) S 24898 24900 20503 0 -1 4202560 1393 0 0 0 18 0 0 0 20 0 18 0 254394386 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742455749432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24917] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24917/stat : 24917 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254394386 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742454696824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24918] ppid=24898 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24918/stat : 24918 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254394386 9787813888 706428 33554432000 1073741824 1073778376 140734787986864 139742453644232 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 9558412
[startup+12.7008 s]
/proc/loadavg: 3.34 3.67 3.66 4/215 24942
/proc/meminfo: memFree=25807032/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=9558412 CPUtime=15.35 cores=1,3,5,7
/proc/24900/stat : 24900 (java) S 24898 24900 20503 0 -1 4202496 12482 0 1 0 1445 90 0 0 20 0 18 0 254394380 9787813888 718509 33554432000 1073741824 1073778376 140734787986864 140734787978000 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 2389603 718509 2247 9 0 2380296 0
[pid=24900/tid=24902] ppid=24898 vsize=9558412 CPUtime=11.81 cores=1,3,5,7
################
# More data... #
################
/proc/24900/statm: 2456167 802662 2284 9 0 2446860 0
[pid=24900/tid=24902] ppid=24898 vsize=9824668 CPUtime=22.87 cores=1,3,5,7
/proc/24900/task/24902/stat : 24902 (java) S 24898 24900 20503 0 -1 4202560 4393 0 1 0 2238 49 0 0 20 0 22 0 254394381 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139743107687416 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24903] ppid=24898 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/24900/task/24903/stat : 24903 (java) S 24898 24900 20503 0 -1 4202560 3075 0 0 0 67 10 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742951594536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24904] ppid=24898 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/24900/task/24904/stat : 24904 (java) S 24898 24900 20503 0 -1 4202560 3014 0 0 0 62 8 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742950541736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24905] ppid=24898 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/24900/task/24905/stat : 24905 (java) S 24898 24900 20503 0 -1 4202560 3221 0 0 0 56 8 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742949488936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24906] ppid=24898 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/24900/task/24906/stat : 24906 (java) S 24898 24900 20503 0 -1 4202560 2592 0 0 0 61 9 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742948436136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24907] ppid=24898 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/24900/task/24907/stat : 24907 (java) S 24898 24900 20503 0 -1 4202560 2492 0 0 0 63 9 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742947384360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24908] ppid=24898 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/24900/task/24908/stat : 24908 (java) S 24898 24900 20503 0 -1 4202560 1630 0 0 0 69 13 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742946331560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24909] ppid=24898 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/24900/task/24909/stat : 24909 (java) S 24898 24900 20503 0 -1 4202560 3208 0 0 0 61 9 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742945278760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24910] ppid=24898 vsize=9824668 CPUtime=0.76 cores=1,3,5,7
/proc/24900/task/24910/stat : 24910 (java) S 24898 24900 20503 0 -1 4202560 2473 0 0 0 66 10 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742944225960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24911] ppid=24898 vsize=9824668 CPUtime=14.15 cores=1,3,5,7
/proc/24900/task/24911/stat : 24911 (java) S 24898 24900 20503 0 -1 4202560 4728 0 0 0 1412 3 0 0 20 0 22 0 254394383 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742461012456 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24912] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24912/stat : 24912 (java) S 24898 24900 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254394383 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742459958520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24913] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24913/stat : 24913 (java) S 24898 24900 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254394383 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742458905608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24914] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24914/stat : 24914 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742457854096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24915] ppid=24898 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/24900/task/24915/stat : 24915 (java) S 24898 24900 20503 0 -1 4202560 5331 0 0 0 133 1 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742456802232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24916] ppid=24898 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/24900/task/24916/stat : 24916 (java) S 24898 24900 20503 0 -1 4202560 12823 0 0 0 138 4 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742455749432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24917] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24917/stat : 24917 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742454696824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24918] ppid=24898 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/24900/task/24918/stat : 24918 (java) S 24898 24900 20503 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742453644232 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24949] ppid=24898 vsize=9824668 CPUtime=841.34 cores=1,3,5,7
/proc/24900/task/24949/stat : 24949 (java) R 24898 24900 20503 0 -1 4202560 32 0 0 0 84122 12 0 0 20 0 22 0 254396783 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742452589024 139742952665992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24950] ppid=24898 vsize=9824668 CPUtime=840.98 cores=1,3,5,7
/proc/24900/task/24950/stat : 24950 (java) R 24898 24900 20503 0 -1 4202560 78 0 0 0 84086 12 0 0 20 0 22 0 254396783 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742451534016 139742953084299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24951] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24951/stat : 24951 (java) S 24898 24900 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254396806 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742450484136 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24952] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24952/stat : 24952 (java) S 24898 24900 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254396806 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742449431336 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1732.57
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+916.101 s]
/proc/loadavg: 3.96 3.90 3.78 5/219 24967
/proc/meminfo: memFree=24945064/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=9824668 CPUtime=1800.18 cores=1,3,5,7
/proc/24900/stat : 24900 (java) S 24898 24900 20503 0 -1 4202496 50330 0 1 0 179868 150 0 0 20 0 22 0 254394380 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 140734787978000 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 2456167 802662 2284 9 0 2446860 0
[pid=24900/tid=24902] ppid=24898 vsize=9824668 CPUtime=22.87 cores=1,3,5,7
/proc/24900/task/24902/stat : 24902 (java) S 24898 24900 20503 0 -1 4202560 4393 0 1 0 2238 49 0 0 20 0 22 0 254394381 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139743107687416 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24903] ppid=24898 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/24900/task/24903/stat : 24903 (java) S 24898 24900 20503 0 -1 4202560 3075 0 0 0 67 10 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742951594536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24904] ppid=24898 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/24900/task/24904/stat : 24904 (java) S 24898 24900 20503 0 -1 4202560 3014 0 0 0 62 8 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742950541736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24905] ppid=24898 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/24900/task/24905/stat : 24905 (java) S 24898 24900 20503 0 -1 4202560 3221 0 0 0 56 8 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742949488936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24906] ppid=24898 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/24900/task/24906/stat : 24906 (java) S 24898 24900 20503 0 -1 4202560 2592 0 0 0 61 9 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742948436136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24907] ppid=24898 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/24900/task/24907/stat : 24907 (java) S 24898 24900 20503 0 -1 4202560 2492 0 0 0 63 9 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742947384360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24908] ppid=24898 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/24900/task/24908/stat : 24908 (java) S 24898 24900 20503 0 -1 4202560 1630 0 0 0 69 13 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742946331560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24909] ppid=24898 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/24900/task/24909/stat : 24909 (java) S 24898 24900 20503 0 -1 4202560 3208 0 0 0 61 9 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742945278760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24910] ppid=24898 vsize=9824668 CPUtime=0.76 cores=1,3,5,7
/proc/24900/task/24910/stat : 24910 (java) S 24898 24900 20503 0 -1 4202560 2473 0 0 0 66 10 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742944225960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24911] ppid=24898 vsize=9824668 CPUtime=14.16 cores=1,3,5,7
/proc/24900/task/24911/stat : 24911 (java) S 24898 24900 20503 0 -1 4202560 4728 0 0 0 1413 3 0 0 20 0 22 0 254394383 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742461012456 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24912] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24912/stat : 24912 (java) S 24898 24900 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254394383 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742459958520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24913] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24913/stat : 24913 (java) S 24898 24900 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254394383 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742458905608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24914] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24914/stat : 24914 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742457854096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24915] ppid=24898 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/24900/task/24915/stat : 24915 (java) S 24898 24900 20503 0 -1 4202560 5331 0 0 0 133 1 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742456802232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24916] ppid=24898 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/24900/task/24916/stat : 24916 (java) S 24898 24900 20503 0 -1 4202560 12823 0 0 0 138 4 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742455749432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24917] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24917/stat : 24917 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742454696824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24918] ppid=24898 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/24900/task/24918/stat : 24918 (java) S 24898 24900 20503 0 -1 4202560 53 0 0 0 17 19 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742453644232 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24949] ppid=24898 vsize=9824668 CPUtime=875.06 cores=1,3,5,7
/proc/24900/task/24949/stat : 24949 (java) R 24898 24900 20503 0 -1 4202560 32 0 0 0 87493 13 0 0 20 0 22 0 254396783 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742452589024 139742953065292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24950] ppid=24898 vsize=9824668 CPUtime=874.68 cores=1,3,5,7
/proc/24900/task/24950/stat : 24950 (java) R 24898 24900 20503 0 -1 4202560 78 0 0 0 87455 13 0 0 20 0 22 0 254396783 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742451534016 139742953070204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24951] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24951/stat : 24951 (java) S 24898 24900 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254396806 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742450484136 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24952] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24952/stat : 24952 (java) S 24898 24900 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254396806 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742449431336 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+916.101 s]
/proc/loadavg: 3.96 3.90 3.78 5/219 24967
/proc/meminfo: memFree=24945064/32873844 swapFree=6856/6856
[pid=24900] ppid=24898 vsize=9824668 CPUtime=1800.18 cores=1,3,5,7
/proc/24900/stat : 24900 (java) S 24898 24900 20503 0 -1 4202496 50330 0 1 0 179868 150 0 0 20 0 22 0 254394380 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 140734787978000 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24900/statm: 2456167 802662 2284 9 0 2446860 0
[pid=24900/tid=24902] ppid=24898 vsize=9824668 CPUtime=22.87 cores=1,3,5,7
/proc/24900/task/24902/stat : 24902 (java) S 24898 24900 20503 0 -1 4202560 4393 0 1 0 2238 49 0 0 20 0 22 0 254394381 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139743107687416 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24903] ppid=24898 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/24900/task/24903/stat : 24903 (java) S 24898 24900 20503 0 -1 4202560 3075 0 0 0 67 10 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742951594536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24904] ppid=24898 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/24900/task/24904/stat : 24904 (java) S 24898 24900 20503 0 -1 4202560 3014 0 0 0 62 8 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742950541736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24905] ppid=24898 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/24900/task/24905/stat : 24905 (java) S 24898 24900 20503 0 -1 4202560 3221 0 0 0 56 8 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742949488936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24906] ppid=24898 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/24900/task/24906/stat : 24906 (java) S 24898 24900 20503 0 -1 4202560 2592 0 0 0 61 9 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742948436136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24907] ppid=24898 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/24900/task/24907/stat : 24907 (java) S 24898 24900 20503 0 -1 4202560 2492 0 0 0 63 9 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742947384360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24908] ppid=24898 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/24900/task/24908/stat : 24908 (java) S 24898 24900 20503 0 -1 4202560 1630 0 0 0 69 13 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742946331560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24909] ppid=24898 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/24900/task/24909/stat : 24909 (java) S 24898 24900 20503 0 -1 4202560 3208 0 0 0 61 9 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742945278760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24910] ppid=24898 vsize=9824668 CPUtime=0.76 cores=1,3,5,7
/proc/24900/task/24910/stat : 24910 (java) S 24898 24900 20503 0 -1 4202560 2473 0 0 0 66 10 0 0 20 0 22 0 254394382 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742944225960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24911] ppid=24898 vsize=9824668 CPUtime=14.16 cores=1,3,5,7
/proc/24900/task/24911/stat : 24911 (java) S 24898 24900 20503 0 -1 4202560 4728 0 0 0 1413 3 0 0 20 0 22 0 254394383 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742461012456 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24912] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24912/stat : 24912 (java) S 24898 24900 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254394383 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742459958520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24913] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24913/stat : 24913 (java) S 24898 24900 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254394383 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742458905608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24914] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24914/stat : 24914 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742457854096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24915] ppid=24898 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/24900/task/24915/stat : 24915 (java) S 24898 24900 20503 0 -1 4202560 5331 0 0 0 133 1 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742456802232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24916] ppid=24898 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/24900/task/24916/stat : 24916 (java) S 24898 24900 20503 0 -1 4202560 12823 0 0 0 138 4 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742455749432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24917] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24917/stat : 24917 (java) S 24898 24900 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742454696824 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24900/tid=24918] ppid=24898 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/24900/task/24918/stat : 24918 (java) S 24898 24900 20503 0 -1 4202560 53 0 0 0 17 19 0 0 20 0 22 0 254394386 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742453644232 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24949] ppid=24898 vsize=9824668 CPUtime=875.06 cores=1,3,5,7
/proc/24900/task/24949/stat : 24949 (java) R 24898 24900 20503 0 -1 4202560 32 0 0 0 87493 13 0 0 20 0 22 0 254396783 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742452589024 139742953065292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24900/tid=24950] ppid=24898 vsize=9824668 CPUtime=874.68 cores=1,3,5,7
/proc/24900/task/24950/stat : 24950 (java) R 24898 24900 20503 0 -1 4202560 78 0 0 0 87455 13 0 0 20 0 22 0 254396783 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742451534016 139742953070204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24900/tid=24951] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24951/stat : 24951 (java) S 24898 24900 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254396806 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742450484136 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24900/tid=24952] ppid=24898 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24900/task/24952/stat : 24952 (java) S 24898 24900 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254396806 10060460032 802662 33554432000 1073741824 1073778376 140734787986864 139742449431336 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24900 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=148248
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=962701
# CPU time returned by wait4() is 1796.11
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 916.163
CPU time (s): 1800.18
CPU user time (s): 1798.68
CPU system time (s): 1.5
CPU usage (%): 196.491
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.15
system time used= 1.9627
maximum resident set size= 3210768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50364
page faults= 1
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23834
involuntary context switches= 25547
runsolver used 5.87011 second user time and 6.46602 second system time
The end