runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3312430-1304114336/watcher-3312430-1304114336 -o /tmp/evaluation-result-3312430-1304114336/solver-3312430-1304114336 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312430-1304114336.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 5.17 5.23 5.49 5/196 10862
/proc/meminfo: memFree=23942304/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/10862/stat : 10862 (java) S 10860 10862 10666 0 -1 4202496 1413 0 0 0 0 0 0 0 25 0 2 0 523033201 26714112 885 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658949093 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 6522 885 678 9 0 381 0
[pid=10862/tid=10863] ppid=10860 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10863/stat : 10863 (java) S 10860 10862 10666 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 523033202 27824128 894 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210642222727 0 2147483391 4096 0 18446744071699109054 0 0 -1 5 0 0 0
[startup+0.0245479 s]
/proc/loadavg: 5.17 5.23 5.49 5/196 10862
/proc/meminfo: memFree=23942304/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=15603088 CPUtime=0.01 cores=1,3,5,7
/proc/10862/stat : 10862 (java) S 10860 10862 10666 0 -1 4202496 3405 0 1 0 1 0 0 0 25 0 12 0 523033201 15977562112 2847 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 3900772 2847 1627 9 0 3891520 0
[pid=10862/tid=10863] ppid=10860 vsize=15603088 CPUtime=0.01 cores=1,3,5,7
/proc/10862/task/10863/stat : 10863 (java) S 10860 10862 10666 0 -1 4202560 2038 0 1 0 1 0 0 0 25 0 12 0 523033202 15977562112 2847 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16784584 18446604454223471552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15603088
[startup+0.104783 s]
/proc/loadavg: 5.17 5.23 5.49 5/196 10862
/proc/meminfo: memFree=23942304/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=15676948 CPUtime=0.1 cores=1,3,5,7
/proc/10862/stat : 10862 (java) S 10860 10862 10666 0 -1 4202496 5685 0 1 0 9 1 0 0 25 0 18 0 523033201 16053194752 5087 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 3919237 5087 2117 9 0 3909956 0
[pid=10862/tid=10863] ppid=10860 vsize=15676948 CPUtime=0.09 cores=1,3,5,7
/proc/10862/task/10863/stat : 10863 (java) R 10860 10862 10666 0 -1 4202560 3517 0 1 0 8 1 0 0 25 0 18 0 523033202 16053194752 5088 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 47446974988195 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676948
[startup+0.300713 s]
/proc/loadavg: 5.17 5.23 5.49 5/196 10862
/proc/meminfo: memFree=23942304/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=15680464 CPUtime=0.52 cores=1,3,5,7
/proc/10862/stat : 10862 (java) S 10860 10862 10666 0 -1 4202496 15626 0 1 0 49 3 0 0 25 0 18 0 523033201 16056795136 14066 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 3920116 14066 2206 9 0 3910835 0
[pid=10862/tid=10863] ppid=10860 vsize=15680464 CPUtime=0.28 cores=1,3,5,7
/proc/10862/task/10863/stat : 10863 (java) R 10860 10862 10666 0 -1 4202560 10538 0 1 0 26 2 0 0 25 0 18 0 523033202 16056795136 14066 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 47446976184444 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15680464
[startup+0.700698 s]
/proc/loadavg: 5.17 5.23 5.49 5/196 10862
/proc/meminfo: memFree=23942304/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=15680464 CPUtime=0.93 cores=1,3,5,7
/proc/10862/stat : 10862 (java) S 10860 10862 10666 0 -1 4202496 41801 0 1 0 87 6 0 0 25 0 18 0 523033201 16056795136 40238 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 3920116 40238 2222 9 0 3910835 0
[pid=10862/tid=10863] ppid=10860 vsize=15680464 CPUtime=0.68 cores=1,3,5,7
/proc/10862/task/10863/stat : 10863 (java) R 10860 10862 10666 0 -1 4202560 35542 0 1 0 63 5 0 0 25 0 18 0 523033202 16056795136 40238 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 46912505613392 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15680464
[startup+1.50155 s]
/proc/loadavg: 5.32 5.26 5.49 7/218 10884
/proc/meminfo: memFree=23769460/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=15718428 CPUtime=2.47 cores=1,3,5,7
/proc/10862/stat : 10862 (java) S 10860 10862 10666 0 -1 4202496 57365 0 1 0 239 8 0 0 25 0 22 0 523033201 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 3929607 51365 2259 9 0 3920326 0
[pid=10862/tid=10863] ppid=10860 vsize=15718428 CPUtime=1.46 cores=1,3,5,7
/proc/10862/task/10863/stat : 10863 (java) R 10860 10862 10666 0 -1 4202560 35639 0 1 0 141 5 0 0 25 0 22 0 523033202 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 47446974976915 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10862/tid=10865] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10865/stat : 10865 (java) S 10860 10862 10666 0 -1 4202560 63 0 0 0 0 0 0 0 18 0 22 0 523033202 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10866] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10866/stat : 10866 (java) S 10860 10862 10666 0 -1 4202560 500 0 0 0 0 0 0 0 18 0 22 0 523033202 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10867] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10867/stat : 10867 (java) S 10860 10862 10666 0 -1 4202560 971 0 0 0 0 0 0 0 18 0 22 0 523033202 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10868] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10868/stat : 10868 (java) S 10860 10862 10666 0 -1 4202560 425 0 0 0 0 0 0 0 16 0 22 0 523033202 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10869] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10869/stat : 10869 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523033202 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10870] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10870/stat : 10870 (java) S 10860 10862 10666 0 -1 4202560 506 0 0 0 0 0 0 0 18 0 22 0 523033202 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10871] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10871/stat : 10871 (java) S 10860 10862 10666 0 -1 4202560 379 0 0 0 0 0 0 0 18 0 22 0 523033202 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10872] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10872/stat : 10872 (java) S 10860 10862 10666 0 -1 4202560 832 0 0 0 0 0 0 0 18 0 22 0 523033202 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10873] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10873/stat : 10873 (java) S 10860 10862 10666 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 22 0 523033203 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 0 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10874] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10874/stat : 10874 (java) S 10860 10862 10666 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523033204 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10875] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10875/stat : 10875 (java) S 10860 10862 10666 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523033204 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10876] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10876/stat : 10876 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523033206 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658970033 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10877] ppid=10860 vsize=15718428 CPUtime=0.72 cores=1,3,5,7
/proc/10862/task/10877/stat : 10877 (java) R 10860 10862 10666 0 -1 4202560 13971 0 0 0 71 1 0 0 21 0 22 0 523033206 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 47446977538239 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10862/tid=10878] ppid=10860 vsize=15718428 CPUtime=0.22 cores=1,3,5,7
/proc/10862/task/10878/stat : 10878 (java) S 10860 10862 10666 0 -1 4202560 2580 0 0 0 22 0 0 0 15 0 22 0 523033206 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10879] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10879/stat : 10879 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523033206 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10880] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10880/stat : 10880 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523033206 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10881] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10881/stat : 10881 (java) S 10860 10862 10666 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523033277 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10882] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10882/stat : 10882 (java) S 10860 10862 10666 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 523033277 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10883] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10883/stat : 10883 (java) S 10860 10862 10666 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 523033277 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10884] ppid=10860 vsize=15718428 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10884/stat : 10884 (java) S 10860 10862 10666 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 523033277 16095670272 51365 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 15718428
[startup+3.10728 s]
/proc/loadavg: 5.32 5.26 5.49 8/218 10884
/proc/meminfo: memFree=23581100/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=15719072 CPUtime=6.01 cores=1,3,5,7
/proc/10862/stat : 10862 (java) S 10860 10862 10666 0 -1 4202496 71221 0 1 0 592 9 0 0 25 0 22 0 523033201 16096329728 64379 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 3929768 64379 2275 9 0 3920487 0
[pid=10862/tid=10863] ppid=10860 vsize=15719072 CPUtime=2.27 cores=1,3,5,7
/proc/10862/task/10863/stat : 10863 (java) S 10860 10862 10666 0 -1 4202560 35697 0 1 0 222 5 0 0 25 0 22 0 523033202 16096329728 64380 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10865] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10865/stat : 10865 (java) S 10860 10862 10666 0 -1 4202560 531 0 0 0 0 0 0 0 18 0 22 0 523033202 16096329728 64380 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10866] ppid=10860 vsize=15719072 CPUtime=0.02 cores=1,3,5,7
/proc/10862/task/10866/stat : 10866 (java) S 10860 10862 10666 0 -1 4202560 4402 0 0 0 2 0 0 0 18 0 22 0 523033202 16096329728 64381 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10867] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10867/stat : 10867 (java) S 10860 10862 10666 0 -1 4202560 971 0 0 0 0 0 0 0 18 0 22 0 523033202 16096329728 64382 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10868] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10868/stat : 10868 (java) S 10860 10862 10666 0 -1 4202560 425 0 0 0 0 0 0 0 16 0 22 0 523033202 16096329728 64382 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10869] ppid=10860 vsize=15719072 CPUtime=0.02 cores=1,3,5,7
/proc/10862/task/10869/stat : 10869 (java) S 10860 10862 10666 0 -1 4202560 4418 0 0 0 2 0 0 0 18 0 22 0 523033202 16096329728 64383 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10870] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10870/stat : 10870 (java) S 10860 10862 10666 0 -1 4202560 506 0 0 0 0 0 0 0 18 0 22 0 523033202 16096329728 64384 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10871] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10871/stat : 10871 (java) S 10860 10862 10666 0 -1 4202560 379 0 0 0 0 0 0 0 18 0 22 0 523033202 16096329728 64384 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10872] ppid=10860 vsize=15719072 CPUtime=0.03 cores=1,3,5,7
/proc/10862/task/10872/stat : 10872 (java) S 10860 10862 10666 0 -1 4202560 3951 0 0 0 3 0 0 0 18 0 22 0 523033202 16096329728 64385 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10873] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10873/stat : 10873 (java) S 10860 10862 10666 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 523033203 16096329728 64386 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 0 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10874] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10874/stat : 10874 (java) S 10860 10862 10666 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523033204 16096329728 64386 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10875] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10875/stat : 10875 (java) S 10860 10862 10666 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523033204 16096329728 64387 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10876] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10876/stat : 10876 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523033206 16096329728 64388 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658970033 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10877] ppid=10860 vsize=15719072 CPUtime=1.59 cores=1,3,5,7
/proc/10862/task/10877/stat : 10877 (java) S 10860 10862 10666 0 -1 4202560 15123 0 0 0 158 1 0 0 15 0 22 0 523033206 16096329728 64389 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10878] ppid=10860 vsize=15719072 CPUtime=0.66 cores=1,3,5,7
/proc/10862/task/10878/stat : 10878 (java) S 10860 10862 10666 0 -1 4202560 2660 0 0 0 66 0 0 0 15 0 22 0 523033206 16096329728 64389 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10879] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10879/stat : 10879 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523033206 16096329728 64390 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10880] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10880/stat : 10880 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523033206 16096329728 64391 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10881] ppid=10860 vsize=15719072 CPUtime=0.33 cores=1,3,5,7
/proc/10862/task/10881/stat : 10881 (java) R 10860 10862 10666 0 -1 4202560 674 0 0 0 33 0 0 0 15 0 22 0 523033277 16096329728 64391 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 46912506280086 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10862/tid=10882] ppid=10860 vsize=15719072 CPUtime=0.44 cores=1,3,5,7
/proc/10862/task/10882/stat : 10882 (java) R 10860 10862 10666 0 -1 4202560 20 0 0 0 44 0 0 0 15 0 22 0 523033277 16096329728 64392 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 46912505701599 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10862/tid=10883] ppid=10860 vsize=15719072 CPUtime=0.29 cores=1,3,5,7
/proc/10862/task/10883/stat : 10883 (java) S 10860 10862 10666 0 -1 4202560 10 0 0 0 29 0 0 0 15 0 22 0 523033277 16096329728 64392 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10884] ppid=10860 vsize=15719072 CPUtime=0.24 cores=1,3,5,7
/proc/10862/task/10884/stat : 10884 (java) R 10860 10862 10666 0 -1 4202560 7 0 0 0 24 0 0 0 16 0 22 0 523033277 16096329728 64393 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 46912506354023 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 15719072
[startup+6.30071 s]
/proc/loadavg: 5.94 5.39 5.53 11/218 10884
/proc/meminfo: memFree=22949036/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=15719072 CPUtime=18.24 cores=1,3,5,7
/proc/10862/stat : 10862 (java) S 10860 10862 10666 0 -1 4202496 255249 0 1 0 1789 35 0 0 25 0 22 0 523033201 16096329728 248030 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 3929768 248030 2275 9 0 3920487 0
[pid=10862/tid=10863] ppid=10860 vsize=15719072 CPUtime=2.27 cores=1,3,5,7
/proc/10862/task/10863/stat : 10863 (java) S 10860 10862 10666 0 -1 4202560 35697 0 1 0 222 5 0 0 25 0 22 0 523033202 16096329728 248030 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10865] ppid=10860 vsize=15719072 CPUtime=0.11 cores=1,3,5,7
/proc/10862/task/10865/stat : 10865 (java) S 10860 10862 10666 0 -1 4202560 22322 0 0 0 8 3 0 0 15 0 22 0 523033202 16096329728 248030 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10866] ppid=10860 vsize=15719072 CPUtime=0.05 cores=1,3,5,7
/proc/10862/task/10866/stat : 10866 (java) S 10860 10862 10666 0 -1 4202560 8220 0 0 0 5 0 0 0 15 0 22 0 523033202 16096329728 248030 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10867] ppid=10860 vsize=15719072 CPUtime=0.08 cores=1,3,5,7
/proc/10862/task/10867/stat : 10867 (java) S 10860 10862 10666 0 -1 4202560 19523 0 0 0 6 2 0 0 15 0 22 0 523033202 16096329728 248030 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10868] ppid=10860 vsize=15719072 CPUtime=0.01 cores=1,3,5,7
/proc/10862/task/10868/stat : 10868 (java) S 10860 10862 10666 0 -1 4202560 3519 0 0 0 1 0 0 0 15 0 22 0 523033202 16096329728 248030 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10869] ppid=10860 vsize=15719072 CPUtime=0.14 cores=1,3,5,7
/proc/10862/task/10869/stat : 10869 (java) S 10860 10862 10666 0 -1 4202560 22166 0 0 0 12 2 0 0 15 0 22 0 523033202 16096329728 248030 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10870] ppid=10860 vsize=15719072 CPUtime=0.03 cores=1,3,5,7
/proc/10862/task/10870/stat : 10870 (java) S 10860 10862 10666 0 -1 4202560 5878 0 0 0 2 1 0 0 15 0 22 0 523033202 16096329728 248030 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10871] ppid=10860 vsize=15719072 CPUtime=0.09 cores=1,3,5,7
/proc/10862/task/10871/stat : 10871 (java) S 10860 10862 10666 0 -1 4202560 22199 0 0 0 7 2 0 0 16 0 22 0 523033202 16096329728 248030 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10872] ppid=10860 vsize=15719072 CPUtime=0.12 cores=1,3,5,7
/proc/10862/task/10872/stat : 10872 (java) S 10860 10862 10666 0 -1 4202560 20362 0 0 0 11 1 0 0 16 0 22 0 523033202 16096329728 248030 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=10862/tid=10875] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10875/stat : 10875 (java) S 10860 10862 10666 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523033204 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10876] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10876/stat : 10876 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658970033 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10877] ppid=10860 vsize=15719072 CPUtime=1.82 cores=1,3,5,7
/proc/10862/task/10877/stat : 10877 (java) S 10860 10862 10666 0 -1 4202560 15171 0 0 0 180 2 0 0 15 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10878] ppid=10860 vsize=15719072 CPUtime=0.74 cores=1,3,5,7
/proc/10862/task/10878/stat : 10878 (java) S 10860 10862 10666 0 -1 4202560 3183 0 0 0 74 0 0 0 16 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10879] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10879/stat : 10879 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10880] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10880/stat : 10880 (java) S 10860 10862 10666 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10881] ppid=10860 vsize=15719072 CPUtime=285.63 cores=1,3,5,7
/proc/10862/task/10881/stat : 10881 (java) S 10860 10862 10666 0 -1 4202560 112147 0 0 0 28544 19 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10882] ppid=10860 vsize=15719072 CPUtime=286.43 cores=1,3,5,7
/proc/10862/task/10882/stat : 10882 (java) S 10860 10862 10666 0 -1 4202560 116353 0 0 0 28622 21 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10883] ppid=10860 vsize=15719072 CPUtime=286.44 cores=1,3,5,7
/proc/10862/task/10883/stat : 10883 (java) S 10860 10862 10666 0 -1 4202560 111518 0 0 0 28620 24 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10884] ppid=10860 vsize=15719072 CPUtime=286.45 cores=1,3,5,7
/proc/10862/task/10884/stat : 10884 (java) S 10860 10862 10666 0 -1 4202560 100746 0 0 0 28620 25 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2056.76
Current children cumulated vsize (KiB) 15719072
[startup+1242.31 s]
/proc/loadavg: 5.06 5.15 5.46 6/218 10980
/proc/meminfo: memFree=9999756/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=15719072 CPUtime=2116.77 cores=1,3,5,7
/proc/10862/stat : 10862 (java) S 10860 10862 10666 0 -1 4202496 3887401 0 1 0 211007 670 0 0 25 0 22 0 523033201 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 3929768 3849629 2294 9 0 3920487 0
[pid=10862/tid=10863] ppid=10860 vsize=15719072 CPUtime=2.27 cores=1,3,5,7
/proc/10862/task/10863/stat : 10863 (java) S 10860 10862 10666 0 -1 4202560 35697 0 1 0 222 5 0 0 25 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10865] ppid=10860 vsize=15719072 CPUtime=2.74 cores=1,3,5,7
/proc/10862/task/10865/stat : 10865 (java) S 10860 10862 10666 0 -1 4202560 359475 0 0 0 215 59 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10866] ppid=10860 vsize=15719072 CPUtime=2.1 cores=1,3,5,7
/proc/10862/task/10866/stat : 10866 (java) S 10860 10862 10666 0 -1 4202560 270691 0 0 0 165 45 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10867] ppid=10860 vsize=15719072 CPUtime=2.39 cores=1,3,5,7
/proc/10862/task/10867/stat : 10867 (java) S 10860 10862 10666 0 -1 4202560 333810 0 0 0 182 57 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10868] ppid=10860 vsize=15719072 CPUtime=2.78 cores=1,3,5,7
/proc/10862/task/10868/stat : 10868 (java) S 10860 10862 10666 0 -1 4202560 359542 0 0 0 221 57 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10869] ppid=10860 vsize=15719072 CPUtime=2.69 cores=1,3,5,7
/proc/10862/task/10869/stat : 10869 (java) S 10860 10862 10666 0 -1 4202560 337558 0 0 0 213 56 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10870] ppid=10860 vsize=15719072 CPUtime=2.09 cores=1,3,5,7
/proc/10862/task/10870/stat : 10870 (java) S 10860 10862 10666 0 -1 4202560 318412 0 0 0 156 53 0 0 15 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10871] ppid=10860 vsize=15719072 CPUtime=2.11 cores=1,3,5,7
/proc/10862/task/10871/stat : 10871 (java) S 10860 10862 10666 0 -1 4202560 332365 0 0 0 159 52 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10872] ppid=10860 vsize=15719072 CPUtime=2.48 cores=1,3,5,7
/proc/10862/task/10872/stat : 10872 (java) S 10860 10862 10666 0 -1 4202560 309386 0 0 0 198 50 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10873] ppid=10860 vsize=15719072 CPUtime=947.4 cores=1,3,5,7
/proc/10862/task/10873/stat : 10873 (java) R 10860 10862 10666 0 -1 4202560 769318 0 0 0 94606 134 0 0 25 0 22 0 523033203 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 47446973887079 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=10862/tid=10874] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10874/stat : 10874 (java) S 10860 10862 10666 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 523033204 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10875] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10875/stat : 10875 (java) S 10860 10862 10666 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523033204 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10876] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10876/stat : 10876 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658970033 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10877] ppid=10860 vsize=15719072 CPUtime=1.82 cores=1,3,5,7
/proc/10862/task/10877/stat : 10877 (java) S 10860 10862 10666 0 -1 4202560 15171 0 0 0 180 2 0 0 15 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10878] ppid=10860 vsize=15719072 CPUtime=0.74 cores=1,3,5,7
/proc/10862/task/10878/stat : 10878 (java) S 10860 10862 10666 0 -1 4202560 3183 0 0 0 74 0 0 0 16 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10879] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10879/stat : 10879 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10880] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10880/stat : 10880 (java) S 10860 10862 10666 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10881] ppid=10860 vsize=15719072 CPUtime=285.63 cores=1,3,5,7
/proc/10862/task/10881/stat : 10881 (java) S 10860 10862 10666 0 -1 4202560 112147 0 0 0 28544 19 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10882] ppid=10860 vsize=15719072 CPUtime=286.44 cores=1,3,5,7
/proc/10862/task/10882/stat : 10882 (java) S 10860 10862 10666 0 -1 4202560 116695 0 0 0 28622 22 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10883] ppid=10860 vsize=15719072 CPUtime=286.44 cores=1,3,5,7
/proc/10862/task/10883/stat : 10883 (java) S 10860 10862 10666 0 -1 4202560 111750 0 0 0 28620 24 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10884] ppid=10860 vsize=15719072 CPUtime=286.45 cores=1,3,5,7
/proc/10862/task/10884/stat : 10884 (java) S 10860 10862 10666 0 -1 4202560 100746 0 0 0 28620 25 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2116.77
Current children cumulated vsize (KiB) 15719072
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.10 5.14 5.44 6/218 10982
/proc/meminfo: memFree=9924848/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=15719072 CPUtime=2174.46 cores=1,3,5,7
/proc/10862/stat : 10862 (java) S 10860 10862 10666 0 -1 4202496 3887958 0 1 0 216772 674 0 0 25 0 22 0 523033201 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 3929768 3849629 2294 9 0 3920487 0
[pid=10862/tid=10863] ppid=10860 vsize=15719072 CPUtime=2.27 cores=1,3,5,7
/proc/10862/task/10863/stat : 10863 (java) S 10860 10862 10666 0 -1 4202560 35697 0 1 0 222 5 0 0 25 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10865] ppid=10860 vsize=15719072 CPUtime=2.74 cores=1,3,5,7
/proc/10862/task/10865/stat : 10865 (java) S 10860 10862 10666 0 -1 4202560 359475 0 0 0 215 59 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10866] ppid=10860 vsize=15719072 CPUtime=2.1 cores=1,3,5,7
/proc/10862/task/10866/stat : 10866 (java) S 10860 10862 10666 0 -1 4202560 270691 0 0 0 165 45 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10867] ppid=10860 vsize=15719072 CPUtime=2.39 cores=1,3,5,7
/proc/10862/task/10867/stat : 10867 (java) S 10860 10862 10666 0 -1 4202560 333810 0 0 0 182 57 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10868] ppid=10860 vsize=15719072 CPUtime=2.78 cores=1,3,5,7
/proc/10862/task/10868/stat : 10868 (java) S 10860 10862 10666 0 -1 4202560 359542 0 0 0 221 57 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10869] ppid=10860 vsize=15719072 CPUtime=2.69 cores=1,3,5,7
/proc/10862/task/10869/stat : 10869 (java) S 10860 10862 10666 0 -1 4202560 337558 0 0 0 213 56 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10870] ppid=10860 vsize=15719072 CPUtime=2.09 cores=1,3,5,7
/proc/10862/task/10870/stat : 10870 (java) S 10860 10862 10666 0 -1 4202560 318412 0 0 0 156 53 0 0 15 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10871] ppid=10860 vsize=15719072 CPUtime=2.11 cores=1,3,5,7
/proc/10862/task/10871/stat : 10871 (java) S 10860 10862 10666 0 -1 4202560 332365 0 0 0 159 52 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10872] ppid=10860 vsize=15719072 CPUtime=2.48 cores=1,3,5,7
/proc/10862/task/10872/stat : 10872 (java) S 10860 10862 10666 0 -1 4202560 309386 0 0 0 198 50 0 0 16 0 22 0 523033202 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10873] ppid=10860 vsize=15719072 CPUtime=1005.08 cores=1,3,5,7
/proc/10862/task/10873/stat : 10873 (java) R 10860 10862 10666 0 -1 4202560 769322 0 0 0 100371 137 0 0 25 0 22 0 523033203 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 47446978546043 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=10862/tid=10874] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10874/stat : 10874 (java) S 10860 10862 10666 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 523033204 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10875] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10875/stat : 10875 (java) S 10860 10862 10666 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523033204 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10876] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10876/stat : 10876 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658970033 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10877] ppid=10860 vsize=15719072 CPUtime=1.82 cores=1,3,5,7
/proc/10862/task/10877/stat : 10877 (java) S 10860 10862 10666 0 -1 4202560 15171 0 0 0 180 2 0 0 15 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=10862/tid=10878] ppid=10860 vsize=15719072 CPUtime=0.74 cores=1,3,5,7
/proc/10862/task/10878/stat : 10878 (java) S 10860 10862 10666 0 -1 4202560 3183 0 0 0 74 0 0 0 16 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10879] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10879/stat : 10879 (java) S 10860 10862 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=10862/tid=10880] ppid=10860 vsize=15719072 CPUtime=0 cores=1,3,5,7
/proc/10862/task/10880/stat : 10880 (java) S 10860 10862 10666 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 523033206 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962944 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10881] ppid=10860 vsize=15719072 CPUtime=285.63 cores=1,3,5,7
/proc/10862/task/10881/stat : 10881 (java) S 10860 10862 10666 0 -1 4202560 112147 0 0 0 28544 19 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10882] ppid=10860 vsize=15719072 CPUtime=286.46 cores=1,3,5,7
/proc/10862/task/10882/stat : 10882 (java) S 10860 10862 10666 0 -1 4202560 117244 0 0 0 28623 23 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=10862/tid=10883] ppid=10860 vsize=15719072 CPUtime=286.44 cores=1,3,5,7
/proc/10862/task/10883/stat : 10883 (java) S 10860 10862 10666 0 -1 4202560 111750 0 0 0 28620 24 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=10862/tid=10884] ppid=10860 vsize=15719072 CPUtime=286.45 cores=1,3,5,7
/proc/10862/task/10884/stat : 10884 (java) S 10860 10862 10666 0 -1 4202560 100746 0 0 0 28620 25 0 0 15 0 22 0 523033277 16096329728 3849629 33554432000 1073741824 1073778376 140737482843216 18446744073709551615 210658962329 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2174.46
Current children cumulated vsize (KiB) 15719072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10862
[startup+1302.3 s]
/proc/loadavg: 5.17 5.15 5.44 6/219 10983
/proc/meminfo: memFree=9924840/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=0 CPUtime=2176.75 cores=1,3,5,7
/proc/10862/stat : 10862 (java) Z 10860 10862 10666 0 -1 4203548 3887983 0 1 0 216973 702 0 0 18 0 2 0 523033201 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 0 0 0 0 0 0 0
[pid=10862/tid=10879] ppid=10860 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/10862/task/10879/stat : 10879 (java) R 10860 10862 10666 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 523033206 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2176.75
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 5.17 5.15 5.44 6/219 10983
/proc/meminfo: memFree=9924840/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=0 CPUtime=2176.85 cores=1,3,5,7
/proc/10862/stat : 10862 (java) Z 10860 10862 10666 0 -1 4203548 3887983 0 1 0 216973 712 0 0 18 0 2 0 523033201 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 0 0 0 0 0 0 0
[pid=10862/tid=10879] ppid=10860 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/10862/task/10879/stat : 10879 (java) R 10860 10862 10666 0 -1 4203588 1 0 0 0 0 38 0 0 18 0 2 0 523033206 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2176.85
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 5.17 5.15 5.44 6/219 10983
/proc/meminfo: memFree=9924840/32951132 swapFree=67080200/67111528
[pid=10862] ppid=10860 vsize=0 CPUtime=2176.95 cores=1,3,5,7
/proc/10862/stat : 10862 (java) Z 10860 10862 10666 0 -1 4203548 3887983 0 1 0 216973 722 0 0 18 0 2 0 523033201 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10862/statm: 0 0 0 0 0 0 0
[pid=10862/tid=10879] ppid=10860 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/10862/task/10879/stat : 10879 (java) R 10860 10862 10666 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 523033206 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2176.95
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.52
CPU time (s): 2176.98
CPU user time (s): 2169.74
CPU system time (s): 7.2429
CPU usage (%): 167.136
Max. virtual memory (cumulated for all children) (KiB): 15719072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2169.74
system time used= 7.2429
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3887983
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= 79644
involuntary context switches= 44631
runsolver used 2.23566 second user time and 4.92125 second system time
The end