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-3311200-1304113970/watcher-3311200-1304113970 -o /tmp/evaluation-result-3311200-1304113970/solver-3311200-1304113970 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311200-1304113970.cnf -hbr 2
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: 4.82 5.16 6.10 2/198 28758
/proc/meminfo: memFree=14770424/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/28758/stat : 28758 (java) R 28756 28758 28616 0 -1 4202496 666 0 0 0 0 0 0 0 20 0 1 0 522994096 9318400 155 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488515412 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28758/statm: 2275 155 126 9 0 67 0
[startup+0.049072 s]
/proc/loadavg: 4.82 5.16 6.10 2/198 28758
/proc/meminfo: memFree=14770424/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=15604248 CPUtime=0.03 cores=1,3,5,7
/proc/28758/stat : 28758 (java) S 28756 28758 28616 0 -1 4202496 3870 0 1 0 3 0 0 0 20 0 13 0 522994096 15978749952 3310 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488497637 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 3901062 3310 1684 9 0 3891810 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15604248
[startup+0.101053 s]
/proc/loadavg: 4.82 5.16 6.10 2/198 28758
/proc/meminfo: memFree=14770424/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=15676796 CPUtime=0.1 cores=1,3,5,7
/proc/28758/stat : 28758 (java) S 28756 28758 28616 0 -1 4202496 5516 0 1 0 9 1 0 0 20 0 18 0 522994096 16053039104 4956 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 3919199 4957 2115 9 0 3909918 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676796
[startup+0.300997 s]
/proc/loadavg: 4.82 5.16 6.10 2/198 28758
/proc/meminfo: memFree=14770424/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=15680392 CPUtime=0.51 cores=1,3,5,7
/proc/28758/stat : 28758 (java) S 28756 28758 28616 0 -1 4202496 14403 0 1 0 48 3 0 0 20 0 18 0 522994096 16056721408 12876 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 3920098 12882 2206 9 0 3910817 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680392
[startup+0.700939 s]
/proc/loadavg: 4.82 5.16 6.10 2/198 28758
/proc/meminfo: memFree=14770424/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=15680392 CPUtime=0.91 cores=1,3,5,7
/proc/28758/stat : 28758 (java) S 28756 28758 28616 0 -1 4202496 41857 0 1 0 85 6 0 0 20 0 18 0 522994096 16056721408 40327 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 3920098 40327 2222 9 0 3910817 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15680392
[startup+1.50078 s]
/proc/loadavg: 4.82 5.16 6.10 3/216 28776
/proc/meminfo: memFree=14613236/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=15686576 CPUtime=2.07 cores=1,3,5,7
/proc/28758/stat : 28758 (java) S 28756 28758 28616 0 -1 4202496 54366 0 1 0 199 8 0 0 20 0 22 0 522994096 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 3921644 50722 2260 9 0 3912363 0
[pid=28758/tid=28760] ppid=28756 vsize=15686576 CPUtime=1.45 cores=1,3,5,7
/proc/28758/task/28760/stat : 28760 (java) R 28756 28758 28616 0 -1 4202560 35653 0 1 0 140 5 0 0 21 0 22 0 522994097 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 46912505227951 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28758/tid=28761] ppid=28756 vsize=15686576 CPUtime=0.01 cores=1,3,5,7
/proc/28758/task/28761/stat : 28761 (java) S 28756 28758 28616 0 -1 4202560 2303 0 0 0 1 0 0 0 16 0 22 0 522994097 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28762] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28762/stat : 28762 (java) S 28756 28758 28616 0 -1 4202560 271 0 0 0 0 0 0 0 15 0 22 0 522994098 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28763] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28763/stat : 28763 (java) S 28756 28758 28616 0 -1 4202560 895 0 0 0 0 0 0 0 16 0 22 0 522994098 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28764] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28764/stat : 28764 (java) S 28756 28758 28616 0 -1 4202560 1078 0 0 0 0 0 0 0 16 0 22 0 522994098 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28765] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28765/stat : 28765 (java) S 28756 28758 28616 0 -1 4202560 1480 0 0 0 0 0 0 0 16 0 22 0 522994098 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28766] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28766/stat : 28766 (java) S 28756 28758 28616 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 22 0 522994098 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28767] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28767/stat : 28767 (java) S 28756 28758 28616 0 -1 4202560 1032 0 0 0 0 0 0 0 15 0 22 0 522994098 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28768] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28768/stat : 28768 (java) S 28756 28758 28616 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 522994098 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28769] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28769/stat : 28769 (java) S 28756 28758 28616 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 522994099 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 0 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28770] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28770/stat : 28770 (java) S 28756 28758 28616 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522994099 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28771] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28771/stat : 28771 (java) S 28756 28758 28616 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522994099 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28772] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28772/stat : 28772 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522994101 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488518577 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28773] ppid=28756 vsize=15686576 CPUtime=0.34 cores=1,3,5,7
/proc/28758/task/28773/stat : 28773 (java) R 28756 28758 28616 0 -1 4202560 8583 0 0 0 34 0 0 0 16 0 22 0 522994101 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 47370275430370 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28758/tid=28774] ppid=28756 vsize=15686576 CPUtime=0.18 cores=1,3,5,7
/proc/28758/task/28774/stat : 28774 (java) S 28756 28758 28616 0 -1 4202560 1478 0 0 0 18 0 0 0 15 0 22 0 522994101 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28775] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28775/stat : 28775 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522994101 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28776] ppid=28756 vsize=15686576 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28776/stat : 28776 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522994101 16063053824 50722 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 15686576
[startup+3.10151 s]
/proc/loadavg: 4.82 5.16 6.10 4/220 28780
/proc/meminfo: memFree=14561620/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=15686648 CPUtime=5.08 cores=1,3,5,7
/proc/28758/stat : 28758 (java) S 28756 28758 28616 0 -1 4202496 66475 0 1 0 497 11 0 0 20 0 22 0 522994096 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 3921662 54298 2266 9 0 3912381 0
[pid=28758/tid=28760] ppid=28756 vsize=15686648 CPUtime=3.05 cores=1,3,5,7
/proc/28758/task/28760/stat : 28760 (java) R 28756 28758 28616 0 -1 4202560 35697 0 1 0 300 5 0 0 25 0 22 0 522994097 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 46912506231322 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28758/tid=28761] ppid=28756 vsize=15686648 CPUtime=0.01 cores=1,3,5,7
/proc/28758/task/28761/stat : 28761 (java) S 28756 28758 28616 0 -1 4202560 2303 0 0 0 1 0 0 0 16 0 22 0 522994097 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28762] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28762/stat : 28762 (java) S 28756 28758 28616 0 -1 4202560 271 0 0 0 0 0 0 0 15 0 22 0 522994098 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28763] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28763/stat : 28763 (java) S 28756 28758 28616 0 -1 4202560 895 0 0 0 0 0 0 0 16 0 22 0 522994098 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28764] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28764/stat : 28764 (java) S 28756 28758 28616 0 -1 4202560 1078 0 0 0 0 0 0 0 16 0 22 0 522994098 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28765] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28765/stat : 28765 (java) S 28756 28758 28616 0 -1 4202560 1480 0 0 0 0 0 0 0 16 0 22 0 522994098 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28766] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28766/stat : 28766 (java) S 28756 28758 28616 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 22 0 522994098 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28767] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28767/stat : 28767 (java) S 28756 28758 28616 0 -1 4202560 1032 0 0 0 0 0 0 0 15 0 22 0 522994098 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28768] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28768/stat : 28768 (java) S 28756 28758 28616 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 522994098 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28769] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28769/stat : 28769 (java) S 28756 28758 28616 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 22 0 522994099 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 0 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28770] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28770/stat : 28770 (java) S 28756 28758 28616 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522994099 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28771] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28771/stat : 28771 (java) S 28756 28758 28616 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522994099 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28772] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28772/stat : 28772 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522994101 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488518577 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28773] ppid=28756 vsize=15686648 CPUtime=1.29 cores=1,3,5,7
/proc/28758/task/28773/stat : 28773 (java) S 28756 28758 28616 0 -1 4202560 18587 0 0 0 127 2 0 0 15 0 22 0 522994101 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28774] ppid=28756 vsize=15686648 CPUtime=0.63 cores=1,3,5,7
/proc/28758/task/28774/stat : 28774 (java) S 28756 28758 28616 0 -1 4202560 3538 0 0 0 63 0 0 0 16 0 22 0 522994101 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28775] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28775/stat : 28775 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522994101 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28776] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28776/stat : 28776 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522994101 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28777] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28777/stat : 28777 (java) S 28756 28758 28616 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 522994204 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28778] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28778/stat : 28778 (java) S 28756 28758 28616 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 522994204 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28779] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28779/stat : 28779 (java) S 28756 28758 28616 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522994204 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28780] ppid=28756 vsize=15686648 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28780/stat : 28780 (java) S 28756 28758 28616 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522994204 16063127552 54298 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 15686648
[startup+6.31386 s]
/proc/loadavg: 4.91 5.18 6.10 10/220 28781
/proc/meminfo: memFree=13910268/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=15688812 CPUtime=15.99 cores=1,3,5,7
/proc/28758/stat : 28758 (java) S 28756 28758 28616 0 -1 4202496 302560 0 1 0 1559 40 0 0 20 0 22 0 522994096 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 3922203 288468 2274 9 0 3912922 0
[pid=28758/tid=28760] ppid=28756 vsize=15688812 CPUtime=3.07 cores=1,3,5,7
/proc/28758/task/28760/stat : 28760 (java) S 28756 28758 28616 0 -1 4202560 35708 0 1 0 302 5 0 0 25 0 22 0 522994097 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28761] ppid=28756 vsize=15688812 CPUtime=0.18 cores=1,3,5,7
/proc/28758/task/28761/stat : 28761 (java) S 28756 28758 28616 0 -1 4202560 29910 0 0 0 15 3 0 0 16 0 22 0 522994097 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28762] ppid=28756 vsize=15688812 CPUtime=0.18 cores=1,3,5,7
/proc/28758/task/28762/stat : 28762 (java) S 28756 28758 28616 0 -1 4202560 21573 0 0 0 15 3 0 0 16 0 22 0 522994098 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28763] ppid=28756 vsize=15688812 CPUtime=0.28 cores=1,3,5,7
/proc/28758/task/28763/stat : 28763 (java) S 28756 28758 28616 0 -1 4202560 41838 0 0 0 24 4 0 0 16 0 22 0 522994098 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28764] ppid=28756 vsize=15688812 CPUtime=0.15 cores=1,3,5,7
/proc/28758/task/28764/stat : 28764 (java) S 28756 28758 28616 0 -1 4202560 15619 0 0 0 13 2 0 0 15 0 22 0 522994098 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28765] ppid=28756 vsize=15688812 CPUtime=0.23 cores=1,3,5,7
/proc/28758/task/28765/stat : 28765 (java) S 28756 28758 28616 0 -1 4202560 33451 0 0 0 19 4 0 0 16 0 22 0 522994098 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28766] ppid=28756 vsize=15688812 CPUtime=0.17 cores=1,3,5,7
/proc/28758/task/28766/stat : 28766 (java) R 28756 28758 28616 0 -1 4202560 19049 0 0 0 15 2 0 0 15 0 22 0 522994098 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28758/tid=28767] ppid=28756 vsize=15688812 CPUtime=0.11 cores=1,3,5,7
/proc/28758/task/28767/stat : 28767 (java) S 28756 28758 28616 0 -1 4202560 13158 0 0 0 9 2 0 0 15 0 22 0 522994098 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28768] ppid=28756 vsize=15688812 CPUtime=0.04 cores=1,3,5,7
/proc/28758/task/28768/stat : 28768 (java) S 28756 28758 28616 0 -1 4202560 6397 0 0 0 4 0 0 0 16 0 22 0 522994098 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28769] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28769/stat : 28769 (java) S 28756 28758 28616 0 -1 4202560 434 0 0 0 0 0 0 0 16 0 22 0 522994099 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 0 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28770] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28770/stat : 28770 (java) S 28756 28758 28616 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522994099 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28771] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28771/stat : 28771 (java) S 28756 28758 28616 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522994099 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28772] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28772/stat : 28772 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522994101 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488518577 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28773] ppid=28756 vsize=15688812 CPUtime=1.62 cores=1,3,5,7
/proc/28758/task/28773/stat : 28773 (java) S 28756 28758 28616 0 -1 4202560 19000 0 0 0 160 2 0 0 15 0 22 0 522994101 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28774] ppid=28756 vsize=15688812 CPUtime=0.77 cores=1,3,5,7
/proc/28758/task/28774/stat : 28774 (java) S 28756 28758 28616 0 -1 4202560 3700 0 0 0 77 0 0 0 15 0 22 0 522994101 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28775] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28775/stat : 28775 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522994101 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28776] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28776/stat : 28776 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522994101 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28777] ppid=28756 vsize=15688812 CPUtime=2.14 cores=1,3,5,7
/proc/28758/task/28777/stat : 28777 (java) S 28756 28758 28616 0 -1 4202560 18032 0 0 0 213 1 0 0 16 0 22 0 522994204 16065343488 288468 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=28758/tid=28771] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28771/stat : 28771 (java) S 28756 28758 28616 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522994099 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28772] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28772/stat : 28772 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522994101 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488518577 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28773] ppid=28756 vsize=15688812 CPUtime=1.78 cores=1,3,5,7
/proc/28758/task/28773/stat : 28773 (java) S 28756 28758 28616 0 -1 4202560 19031 0 0 0 176 2 0 0 15 0 22 0 522994101 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28774] ppid=28756 vsize=15688812 CPUtime=0.77 cores=1,3,5,7
/proc/28758/task/28774/stat : 28774 (java) S 28756 28758 28616 0 -1 4202560 3700 0 0 0 77 0 0 0 15 0 22 0 522994101 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28775] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28775/stat : 28775 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522994101 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28776] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28776/stat : 28776 (java) S 28756 28758 28616 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 522994101 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28777] ppid=28756 vsize=15688812 CPUtime=348.93 cores=1,3,5,7
/proc/28758/task/28777/stat : 28777 (java) S 28756 28758 28616 0 -1 4202560 61684 0 0 0 34876 17 0 0 15 0 22 0 522994204 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28778] ppid=28756 vsize=15688812 CPUtime=348.57 cores=1,3,5,7
/proc/28758/task/28778/stat : 28778 (java) S 28756 28758 28616 0 -1 4202560 69337 0 0 0 34841 16 0 0 15 0 22 0 522994204 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28779] ppid=28756 vsize=15688812 CPUtime=347.75 cores=1,3,5,7
/proc/28758/task/28779/stat : 28779 (java) S 28756 28758 28616 0 -1 4202560 58899 0 0 0 34759 16 0 0 15 0 22 0 522994204 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28780] ppid=28756 vsize=15688812 CPUtime=348.58 cores=1,3,5,7
/proc/28758/task/28780/stat : 28780 (java) S 28756 28758 28616 0 -1 4202560 72997 0 0 0 34841 17 0 0 15 0 22 0 522994204 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2248.49
Current children cumulated vsize (KiB) 15688812
[startup+1242.31 s]
/proc/loadavg: 4.99 5.10 5.58 6/220 28875
/proc/meminfo: memFree=14437044/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=15688812 CPUtime=2308.63 cores=1,3,5,7
/proc/28758/stat : 28758 (java) S 28756 28758 28616 0 -1 4202496 3882572 0 1 0 230202 661 0 0 20 0 22 0 522994096 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 3922203 3847203 2293 9 0 3912922 0
[pid=28758/tid=28760] ppid=28756 vsize=15688812 CPUtime=3.07 cores=1,3,5,7
/proc/28758/task/28760/stat : 28760 (java) S 28756 28758 28616 0 -1 4202560 35708 0 1 0 302 5 0 0 25 0 22 0 522994097 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28761] ppid=28756 vsize=15688812 CPUtime=3.88 cores=1,3,5,7
/proc/28758/task/28761/stat : 28761 (java) S 28756 28758 28616 0 -1 4202560 478700 0 0 0 314 74 0 0 16 0 22 0 522994097 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28762] ppid=28756 vsize=15688812 CPUtime=3.59 cores=1,3,5,7
/proc/28758/task/28762/stat : 28762 (java) S 28756 28758 28616 0 -1 4202560 394033 0 0 0 298 61 0 0 16 0 22 0 522994098 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28763] ppid=28756 vsize=15688812 CPUtime=3.36 cores=1,3,5,7
/proc/28758/task/28763/stat : 28763 (java) S 28756 28758 28616 0 -1 4202560 463162 0 0 0 266 70 0 0 16 0 22 0 522994098 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28764] ppid=28756 vsize=15688812 CPUtime=3.8 cores=1,3,5,7
/proc/28758/task/28764/stat : 28764 (java) S 28756 28758 28616 0 -1 4202560 448805 0 0 0 308 72 0 0 16 0 22 0 522994098 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28765] ppid=28756 vsize=15688812 CPUtime=3.19 cores=1,3,5,7
/proc/28758/task/28765/stat : 28765 (java) S 28756 28758 28616 0 -1 4202560 310253 0 0 0 271 48 0 0 16 0 22 0 522994098 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28766] ppid=28756 vsize=15688812 CPUtime=2.49 cores=1,3,5,7
/proc/28758/task/28766/stat : 28766 (java) S 28756 28758 28616 0 -1 4202560 288488 0 0 0 202 47 0 0 15 0 22 0 522994098 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28767] ppid=28756 vsize=15688812 CPUtime=2.66 cores=1,3,5,7
/proc/28758/task/28767/stat : 28767 (java) S 28756 28758 28616 0 -1 4202560 327275 0 0 0 217 49 0 0 16 0 22 0 522994098 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28768] ppid=28756 vsize=15688812 CPUtime=2.87 cores=1,3,5,7
/proc/28758/task/28768/stat : 28768 (java) S 28756 28758 28616 0 -1 4202560 291710 0 0 0 240 47 0 0 16 0 22 0 522994098 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28769] ppid=28756 vsize=15688812 CPUtime=882.96 cores=1,3,5,7
/proc/28758/task/28769/stat : 28769 (java) R 28756 28758 28616 0 -1 4202560 556922 0 0 0 88191 105 0 0 18 0 22 0 522994099 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 47370279110127 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=28758/tid=28770] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28770/stat : 28770 (java) S 28756 28758 28616 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522994099 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28771] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28771/stat : 28771 (java) S 28756 28758 28616 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522994099 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28772] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28772/stat : 28772 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522994101 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488518577 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28773] ppid=28756 vsize=15688812 CPUtime=1.78 cores=1,3,5,7
/proc/28758/task/28773/stat : 28773 (java) S 28756 28758 28616 0 -1 4202560 19031 0 0 0 176 2 0 0 15 0 22 0 522994101 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28774] ppid=28756 vsize=15688812 CPUtime=0.77 cores=1,3,5,7
/proc/28758/task/28774/stat : 28774 (java) S 28756 28758 28616 0 -1 4202560 3700 0 0 0 77 0 0 0 15 0 22 0 522994101 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28775] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28775/stat : 28775 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522994101 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28776] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28776/stat : 28776 (java) S 28756 28758 28616 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 522994101 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28777] ppid=28756 vsize=15688812 CPUtime=348.99 cores=1,3,5,7
/proc/28758/task/28777/stat : 28777 (java) S 28756 28758 28616 0 -1 4202560 61684 0 0 0 34880 19 0 0 15 0 22 0 522994204 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28778] ppid=28756 vsize=15688812 CPUtime=348.63 cores=1,3,5,7
/proc/28758/task/28778/stat : 28778 (java) S 28756 28758 28616 0 -1 4202560 69337 0 0 0 34846 17 0 0 16 0 22 0 522994204 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28779] ppid=28756 vsize=15688812 CPUtime=347.77 cores=1,3,5,7
/proc/28758/task/28779/stat : 28779 (java) S 28756 28758 28616 0 -1 4202560 58913 0 0 0 34760 17 0 0 15 0 22 0 522994204 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28780] ppid=28756 vsize=15688812 CPUtime=348.63 cores=1,3,5,7
/proc/28758/task/28780/stat : 28780 (java) S 28756 28758 28616 0 -1 4202560 73399 0 0 0 34844 19 0 0 15 0 22 0 522994204 16065343488 3847203 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2308.63
Current children cumulated vsize (KiB) 15688812
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.11 5.11 5.55 6/220 28876
/proc/meminfo: memFree=14450348/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=15688812 CPUtime=2368.61 cores=1,3,5,7
/proc/28758/stat : 28758 (java) S 28756 28758 28616 0 -1 4202496 3882956 0 1 0 236194 667 0 0 20 0 22 0 522994096 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 3922203 3847204 2293 9 0 3912922 0
[pid=28758/tid=28760] ppid=28756 vsize=15688812 CPUtime=3.07 cores=1,3,5,7
/proc/28758/task/28760/stat : 28760 (java) S 28756 28758 28616 0 -1 4202560 35708 0 1 0 302 5 0 0 25 0 22 0 522994097 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28761] ppid=28756 vsize=15688812 CPUtime=3.88 cores=1,3,5,7
/proc/28758/task/28761/stat : 28761 (java) S 28756 28758 28616 0 -1 4202560 478700 0 0 0 314 74 0 0 16 0 22 0 522994097 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28762] ppid=28756 vsize=15688812 CPUtime=3.59 cores=1,3,5,7
/proc/28758/task/28762/stat : 28762 (java) S 28756 28758 28616 0 -1 4202560 394033 0 0 0 298 61 0 0 16 0 22 0 522994098 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28763] ppid=28756 vsize=15688812 CPUtime=3.36 cores=1,3,5,7
/proc/28758/task/28763/stat : 28763 (java) S 28756 28758 28616 0 -1 4202560 463162 0 0 0 266 70 0 0 16 0 22 0 522994098 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28764] ppid=28756 vsize=15688812 CPUtime=3.8 cores=1,3,5,7
/proc/28758/task/28764/stat : 28764 (java) S 28756 28758 28616 0 -1 4202560 448805 0 0 0 308 72 0 0 16 0 22 0 522994098 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28765] ppid=28756 vsize=15688812 CPUtime=3.19 cores=1,3,5,7
/proc/28758/task/28765/stat : 28765 (java) S 28756 28758 28616 0 -1 4202560 310253 0 0 0 271 48 0 0 16 0 22 0 522994098 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28766] ppid=28756 vsize=15688812 CPUtime=2.49 cores=1,3,5,7
/proc/28758/task/28766/stat : 28766 (java) S 28756 28758 28616 0 -1 4202560 288488 0 0 0 202 47 0 0 15 0 22 0 522994098 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
[pid=28758/tid=28767] ppid=28756 vsize=15688812 CPUtime=2.66 cores=1,3,5,7
/proc/28758/task/28767/stat : 28767 (java) S 28756 28758 28616 0 -1 4202560 327275 0 0 0 217 49 0 0 16 0 22 0 522994098 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28768] ppid=28756 vsize=15688812 CPUtime=2.87 cores=1,3,5,7
/proc/28758/task/28768/stat : 28768 (java) S 28756 28758 28616 0 -1 4202560 291710 0 0 0 240 47 0 0 16 0 22 0 522994098 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28769] ppid=28756 vsize=15688812 CPUtime=939.87 cores=1,3,5,7
/proc/28758/task/28769/stat : 28769 (java) R 28756 28758 28616 0 -1 4202560 556924 0 0 0 93879 108 0 0 18 0 22 0 522994099 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 47370275504444 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=28758/tid=28770] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28770/stat : 28770 (java) S 28756 28758 28616 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522994099 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28771] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28771/stat : 28771 (java) S 28756 28758 28616 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522994099 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28772] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28772/stat : 28772 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522994101 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488518577 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28773] ppid=28756 vsize=15688812 CPUtime=1.78 cores=1,3,5,7
/proc/28758/task/28773/stat : 28773 (java) S 28756 28758 28616 0 -1 4202560 19031 0 0 0 176 2 0 0 15 0 22 0 522994101 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28774] ppid=28756 vsize=15688812 CPUtime=0.77 cores=1,3,5,7
/proc/28758/task/28774/stat : 28774 (java) S 28756 28758 28616 0 -1 4202560 3700 0 0 0 77 0 0 0 15 0 22 0 522994101 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28775] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28775/stat : 28775 (java) S 28756 28758 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522994101 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28776] ppid=28756 vsize=15688812 CPUtime=0 cores=1,3,5,7
/proc/28758/task/28776/stat : 28776 (java) S 28756 28758 28616 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 522994101 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488511488 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28777] ppid=28756 vsize=15688812 CPUtime=349.75 cores=1,3,5,7
/proc/28758/task/28777/stat : 28777 (java) S 28756 28758 28616 0 -1 4202560 61715 0 0 0 34956 19 0 0 15 0 22 0 522994204 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 1 0 0 0
[pid=28758/tid=28778] ppid=28756 vsize=15688812 CPUtime=349.41 cores=1,3,5,7
/proc/28758/task/28778/stat : 28778 (java) S 28756 28758 28616 0 -1 4202560 69356 0 0 0 34923 18 0 0 15 0 22 0 522994204 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 3 0 0 0
[pid=28758/tid=28779] ppid=28756 vsize=15688812 CPUtime=348.52 cores=1,3,5,7
/proc/28758/task/28779/stat : 28779 (java) S 28756 28758 28616 0 -1 4202560 58931 0 0 0 34835 17 0 0 15 0 22 0 522994204 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 7 0 0 0
[pid=28758/tid=28780] ppid=28756 vsize=15688812 CPUtime=349.4 cores=1,3,5,7
/proc/28758/task/28780/stat : 28780 (java) S 28756 28758 28616 0 -1 4202560 73711 0 0 0 34920 20 0 0 15 0 22 0 522994204 16065343488 3847204 33554432000 1073741824 1073778376 140734839263504 18446744073709551615 239488510873 0 4 0 16800975 18446604457438677952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2368.61
Current children cumulated vsize (KiB) 15688812
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -28758
[startup+1302.3 s]
/proc/loadavg: 5.11 5.11 5.55 2/198 28880
/proc/meminfo: memFree=14790904/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=0 CPUtime=2370.9 cores=1,3,5,7
/proc/28758/stat : 28758 (java) Z 28756 28758 28616 0 -1 4203548 3882977 0 1 0 236395 695 0 0 18 0 2 0 522994096 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 0 0 0 0 0 0 0
[pid=28758/tid=28775] ppid=28756 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/28758/task/28775/stat : 28775 (java) R 28756 28758 28616 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 522994101 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2370.9
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 5.11 5.11 5.55 2/198 28880
/proc/meminfo: memFree=14790904/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=0 CPUtime=2371 cores=1,3,5,7
/proc/28758/stat : 28758 (java) Z 28756 28758 28616 0 -1 4203548 3882977 0 1 0 236395 705 0 0 18 0 2 0 522994096 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 0 0 0 0 0 0 0
[pid=28758/tid=28775] ppid=28756 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/28758/task/28775/stat : 28775 (java) R 28756 28758 28616 0 -1 4203588 1 0 0 0 0 38 0 0 18 0 2 0 522994101 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2371
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 5.11 5.11 5.55 2/198 28880
/proc/meminfo: memFree=14790904/32950928 swapFree=67086612/67111528
[pid=28758] ppid=28756 vsize=0 CPUtime=2371.1 cores=1,3,5,7
/proc/28758/stat : 28758 (java) Z 28756 28758 28616 0 -1 4203548 3882977 0 1 0 236395 715 0 0 18 0 2 0 522994096 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28758/statm: 0 0 0 0 0 0 0
[pid=28758/tid=28775] ppid=28756 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/28758/task/28775/stat : 28775 (java) R 28756 28758 28616 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 522994101 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2371.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.52
CPU time (s): 2371.13
CPU user time (s): 2363.95
CPU system time (s): 7.17291
CPU usage (%): 182.042
Max. virtual memory (cumulated for all children) (KiB): 15691184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2363.95
system time used= 7.17291
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3882977
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= 66990
involuntary context switches= 42720
runsolver used 2.23566 second user time and 4.91825 second system time
The end