runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3729904-1338729477/watcher-3729904-1338729477 -o /tmp/evaluation-result-3729904-1338729477/solver-3729904-1338729477 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3729904-1338729477.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.79 1.99 1.95 3/194 9868
/proc/meminfo: memFree=26355640/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/9868/stat : 9868 (java) R 9866 9868 3621 0 -1 4202496 1134 0 0 0 0 0 0 0 20 0 1 0 339072095 23793664 861 33554432000 1073741824 1073778376 140733247035904 140733247024968 140082234031472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 5793 857 646 9 0 128 0
[startup+0.0867581 s]
/proc/loadavg: 1.79 1.99 1.95 3/194 9868
/proc/meminfo: memFree=26355640/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/9868/stat : 9868 (java) S 9866 9868 3621 0 -1 4202496 4743 0 1 0 8 1 0 0 20 0 18 0 339072095 2712133632 5950 33554432000 1073741824 1073778376 140733247035904 140733247027040 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 662142 5950 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.100237 s]
/proc/loadavg: 1.79 1.99 1.95 3/194 9868
/proc/meminfo: memFree=26355640/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/9868/stat : 9868 (java) S 9866 9868 3621 0 -1 4202496 4769 0 1 0 9 1 0 0 20 0 18 0 339072095 2712133632 6487 33554432000 1073741824 1073778376 140733247035904 140733247027040 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 662142 6487 2126 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300198 s]
/proc/loadavg: 1.79 1.99 1.95 3/194 9868
/proc/meminfo: memFree=26355640/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=2648568 CPUtime=0.52 cores=1,3,5,7
/proc/9868/stat : 9868 (java) S 9866 9868 3621 0 -1 4202496 6522 0 1 0 51 1 0 0 20 0 18 0 339072095 2712133632 9545 33554432000 1073741824 1073778376 140733247035904 140733247027040 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 662142 9545 2222 9 0 652835 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2648568
[startup+0.7002 s]
/proc/loadavg: 1.79 1.99 1.95 3/194 9868
/proc/meminfo: memFree=26355640/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/9868/stat : 9868 (java) S 9866 9868 3621 0 -1 4202496 11942 0 1 0 142 4 0 0 20 0 19 0 339072095 2780295168 32602 33554432000 1073741824 1073778376 140733247035904 140733247027040 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 678783 32602 2254 9 0 669476 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 2715132
[startup+1.50076 s]
/proc/loadavg: 1.79 1.99 1.95 3/213 9887
/proc/meminfo: memFree=26234692/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=2715132 CPUtime=2.43 cores=1,3,5,7
/proc/9868/stat : 9868 (java) S 9866 9868 3621 0 -1 4202496 14805 0 1 0 239 4 0 0 20 0 19 0 339072095 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140733247027040 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 678783 33025 2257 9 0 669476 0
[pid=9868/tid=9869] ppid=9866 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/9868/task/9869/stat : 9869 (java) R 9866 9868 3621 0 -1 4202560 2860 0 1 0 144 3 0 0 20 0 19 0 339072095 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082232074712 140082172417263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9871] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9871/stat : 9871 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082098571816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9872] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9872/stat : 9872 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082097519016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9873] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9873/stat : 9873 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082096466216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9874] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9874/stat : 9874 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082095413416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9875] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9875/stat : 9875 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082094361640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9876] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9876/stat : 9876 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082093308840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9877] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9877/stat : 9877 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082092256040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9878] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9878/stat : 9878 (java) S 9866 9868 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082091203240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9879] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9879/stat : 9879 (java) S 9866 9868 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339072097 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082079005160 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9880] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9880/stat : 9880 (java) S 9866 9868 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339072098 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082077951224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9881] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9881/stat : 9881 (java) S 9866 9868 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339072098 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082076898312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9882] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9882/stat : 9882 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082075846800 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9883] ppid=9866 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/9868/task/9883/stat : 9883 (java) S 9866 9868 3621 0 -1 4202560 7294 0 0 0 51 0 0 0 20 0 19 0 339072100 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082074794936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9884] ppid=9866 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9884/stat : 9884 (java) S 9866 9868 3621 0 -1 4202560 3456 0 0 0 40 0 0 0 20 0 19 0 339072100 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082073742136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9885] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9885/stat : 9885 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082072689528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9886] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9886/stat : 9886 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082071636936 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9887] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9887/stat : 9887 (java) S 9866 9868 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339072149 2780295168 33025 33554432000 1073741824 1073778376 140733247035904 140082070582440 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 2715132
[startup+3.10076 s]
/proc/loadavg: 1.81 1.99 1.95 3/213 9887
/proc/meminfo: memFree=26228052/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=2715132 CPUtime=4.05 cores=1,3,5,7
/proc/9868/stat : 9868 (java) S 9866 9868 3621 0 -1 4202496 14815 0 1 0 401 4 0 0 20 0 19 0 339072095 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140733247027040 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 678783 35077 2257 9 0 669476 0
[pid=9868/tid=9869] ppid=9866 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/9868/task/9869/stat : 9869 (java) R 9866 9868 3621 0 -1 4202560 2866 0 1 0 304 3 0 0 20 0 19 0 339072095 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082232072576 140082172417593 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9871] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9871/stat : 9871 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082098571816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9872] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9872/stat : 9872 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082097519016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9873] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9873/stat : 9873 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082096466216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9874] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9874/stat : 9874 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082095413416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9875] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9875/stat : 9875 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082094361640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9876] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9876/stat : 9876 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082093308840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9877] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9877/stat : 9877 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082092256040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9878] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9878/stat : 9878 (java) S 9866 9868 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082091203240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9879] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9879/stat : 9879 (java) S 9866 9868 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339072097 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082079005160 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9880] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9880/stat : 9880 (java) S 9866 9868 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339072098 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082077951224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9881] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9881/stat : 9881 (java) S 9866 9868 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339072098 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082076898312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9882] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9882/stat : 9882 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082075846800 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9883] ppid=9866 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/9868/task/9883/stat : 9883 (java) S 9866 9868 3621 0 -1 4202560 7296 0 0 0 53 0 0 0 20 0 19 0 339072100 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082074794936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9884] ppid=9866 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9884/stat : 9884 (java) S 9866 9868 3621 0 -1 4202560 3457 0 0 0 40 0 0 0 20 0 19 0 339072100 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082073742136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9885] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9885/stat : 9885 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082072689528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9886] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9886/stat : 9886 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082071636936 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9887] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9887/stat : 9887 (java) S 9866 9868 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339072149 2780295168 35077 33554432000 1073741824 1073778376 140733247035904 140082070582440 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 2715132
[startup+6.30076 s]
/proc/loadavg: 1.81 1.99 1.95 3/213 9887
/proc/meminfo: memFree=26216284/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=2715132 CPUtime=7.26 cores=1,3,5,7
/proc/9868/stat : 9868 (java) S 9866 9868 3621 0 -1 4202496 14821 0 1 0 721 5 0 0 20 0 19 0 339072095 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140733247027040 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 678783 37323 2257 9 0 669476 0
[pid=9868/tid=9869] ppid=9866 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/9868/task/9869/stat : 9869 (java) R 9866 9868 3621 0 -1 4202560 2872 0 1 0 623 3 0 0 20 0 19 0 339072095 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082232074728 140082172516970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9871] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9871/stat : 9871 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082098571816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9872] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9872/stat : 9872 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082097519016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9873] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9873/stat : 9873 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082096466216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9874] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9874/stat : 9874 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082095413416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9875] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9875/stat : 9875 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082094361640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9876] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9876/stat : 9876 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082093308840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9877] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9877/stat : 9877 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082092256040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9878] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9878/stat : 9878 (java) S 9866 9868 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339072096 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082091203240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9879] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9879/stat : 9879 (java) S 9866 9868 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339072097 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082079005160 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9880] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9880/stat : 9880 (java) S 9866 9868 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339072098 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082077951224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9881] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9881/stat : 9881 (java) S 9866 9868 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339072098 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082076898312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9882] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9882/stat : 9882 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082075846800 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9883] ppid=9866 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/9868/task/9883/stat : 9883 (java) S 9866 9868 3621 0 -1 4202560 7296 0 0 0 53 0 0 0 20 0 19 0 339072100 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082074794936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9884] ppid=9866 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9884/stat : 9884 (java) S 9866 9868 3621 0 -1 4202560 3457 0 0 0 40 0 0 0 20 0 19 0 339072100 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082073742136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9885] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9885/stat : 9885 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082072689528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9886] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9886/stat : 9886 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082071636936 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9887] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9887/stat : 9887 (java) S 9866 9868 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339072149 2780295168 37323 33554432000 1073741824 1073778376 140733247035904 140082070582440 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=9868/tid=9883] ppid=9866 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/9868/task/9883/stat : 9883 (java) S 9866 9868 3621 0 -1 4202560 7297 0 0 0 54 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082074794936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9884] ppid=9866 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9884/stat : 9884 (java) S 9866 9868 3621 0 -1 4202560 3457 0 0 0 40 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082073742136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9885] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9885/stat : 9885 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082072689528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9886] ppid=9866 vsize=2715132 CPUtime=0.96 cores=1,3,5,7
/proc/9868/task/9886/stat : 9886 (java) S 9866 9868 3621 0 -1 4202560 99 0 0 0 42 54 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082071636936 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9887] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9887/stat : 9887 (java) S 9866 9868 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339072149 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082070582440 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727.06
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10018
/proc/meminfo: memFree=24797236/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=2715132 CPUtime=1787.07 cores=1,3,5,7
/proc/9868/stat : 9868 (java) S 9866 9868 3621 0 -1 4202496 17018 0 1 0 178493 214 0 0 20 0 19 0 339072095 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140733247027040 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 678783 338739 2278 9 0 669476 0
[pid=9868/tid=9869] ppid=9866 vsize=2715132 CPUtime=1776.23 cores=1,3,5,7
/proc/9868/task/9869/stat : 9869 (java) R 9866 9868 3621 0 -1 4202560 2984 0 1 0 177590 33 0 0 20 0 19 0 339072095 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082232073752 140082172417099 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9871] ppid=9866 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/9868/task/9871/stat : 9871 (java) S 9866 9868 3621 0 -1 4202560 206 0 0 0 20 10 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082098571816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9872] ppid=9866 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/9868/task/9872/stat : 9872 (java) S 9866 9868 3621 0 -1 4202560 243 0 0 0 20 12 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082097519016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9873] ppid=9866 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/9868/task/9873/stat : 9873 (java) S 9866 9868 3621 0 -1 4202560 203 0 0 0 21 11 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082096466216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9874] ppid=9866 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/9868/task/9874/stat : 9874 (java) S 9866 9868 3621 0 -1 4202560 298 0 0 0 25 17 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082095413416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9875] ppid=9866 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9875/stat : 9875 (java) S 9866 9868 3621 0 -1 4202560 242 0 0 0 27 13 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082094361640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9876] ppid=9866 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9876/stat : 9876 (java) S 9866 9868 3621 0 -1 4202560 252 0 0 0 25 15 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082093308840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9877] ppid=9866 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/9868/task/9877/stat : 9877 (java) S 9866 9868 3621 0 -1 4202560 189 0 0 0 19 12 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082092256040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9878] ppid=9866 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/9868/task/9878/stat : 9878 (java) S 9866 9868 3621 0 -1 4202560 300 0 0 0 29 16 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082091203240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9879] ppid=9866 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/9868/task/9879/stat : 9879 (java) S 9866 9868 3621 0 -1 4202560 63 0 0 0 71 4 0 0 20 0 19 0 339072097 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082079005160 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9880] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9880/stat : 9880 (java) S 9866 9868 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339072098 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082077951224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9881] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9881/stat : 9881 (java) S 9866 9868 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339072098 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082076898312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9882] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9882/stat : 9882 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082075846800 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9883] ppid=9866 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/9868/task/9883/stat : 9883 (java) S 9866 9868 3621 0 -1 4202560 7297 0 0 0 54 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082074794936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9884] ppid=9866 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9884/stat : 9884 (java) S 9866 9868 3621 0 -1 4202560 3457 0 0 0 40 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082073742136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9885] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9885/stat : 9885 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082072689528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9886] ppid=9866 vsize=2715132 CPUtime=1 cores=1,3,5,7
/proc/9868/task/9886/stat : 9886 (java) S 9866 9868 3621 0 -1 4202560 103 0 0 0 43 57 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082071636936 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9887] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9887/stat : 9887 (java) S 9866 9868 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339072149 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082070582440 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.07
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10018
/proc/meminfo: memFree=24797360/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=2715132 CPUtime=1800.09 cores=1,3,5,7
/proc/9868/stat : 9868 (java) S 9866 9868 3621 0 -1 4202496 17018 0 1 0 179794 215 0 0 20 0 19 0 339072095 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140733247027040 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 678783 338739 2278 9 0 669476 0
[pid=9868/tid=9869] ppid=9866 vsize=2715132 CPUtime=1789.2 cores=1,3,5,7
/proc/9868/task/9869/stat : 9869 (java) R 9866 9868 3621 0 -1 4202560 2984 0 1 0 178886 34 0 0 20 0 19 0 339072095 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082232073752 140082172416432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9871] ppid=9866 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/9868/task/9871/stat : 9871 (java) S 9866 9868 3621 0 -1 4202560 206 0 0 0 20 10 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082098571816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9872] ppid=9866 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/9868/task/9872/stat : 9872 (java) S 9866 9868 3621 0 -1 4202560 243 0 0 0 20 12 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082097519016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9873] ppid=9866 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/9868/task/9873/stat : 9873 (java) S 9866 9868 3621 0 -1 4202560 203 0 0 0 21 11 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082096466216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9874] ppid=9866 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/9868/task/9874/stat : 9874 (java) S 9866 9868 3621 0 -1 4202560 298 0 0 0 25 17 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082095413416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9875] ppid=9866 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9875/stat : 9875 (java) S 9866 9868 3621 0 -1 4202560 242 0 0 0 27 13 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082094361640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9876] ppid=9866 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9876/stat : 9876 (java) S 9866 9868 3621 0 -1 4202560 252 0 0 0 25 15 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082093308840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9877] ppid=9866 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/9868/task/9877/stat : 9877 (java) S 9866 9868 3621 0 -1 4202560 189 0 0 0 19 12 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082092256040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9878] ppid=9866 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/9868/task/9878/stat : 9878 (java) S 9866 9868 3621 0 -1 4202560 300 0 0 0 29 16 0 0 20 0 19 0 339072096 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082091203240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9879] ppid=9866 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/9868/task/9879/stat : 9879 (java) S 9866 9868 3621 0 -1 4202560 63 0 0 0 71 4 0 0 20 0 19 0 339072097 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082079005160 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9880] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9880/stat : 9880 (java) S 9866 9868 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339072098 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082077951224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9881] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9881/stat : 9881 (java) S 9866 9868 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339072098 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082076898312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9882] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9882/stat : 9882 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082075846800 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9883] ppid=9866 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/9868/task/9883/stat : 9883 (java) S 9866 9868 3621 0 -1 4202560 7297 0 0 0 54 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082074794936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9884] ppid=9866 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9884/stat : 9884 (java) S 9866 9868 3621 0 -1 4202560 3457 0 0 0 40 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082073742136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9885] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9885/stat : 9885 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082072689528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9886] ppid=9866 vsize=2715132 CPUtime=1 cores=1,3,5,7
/proc/9868/task/9886/stat : 9886 (java) S 9866 9868 3621 0 -1 4202560 103 0 0 0 43 57 0 0 20 0 19 0 339072100 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082071636936 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9887] ppid=9866 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9887/stat : 9887 (java) S 9866 9868 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339072149 2780295168 338739 33554432000 1073741824 1073778376 140733247035904 140082070582440 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10018
/proc/meminfo: memFree=24797360/32873844 swapFree=6608/6608
[pid=9868] ppid=9866 vsize=2848260 CPUtime=1800.31 cores=1,3,5,7
/proc/9868/stat : 9868 (java) S 9866 9868 3621 0 -1 4202496 17067 0 1 0 179816 215 0 0 20 0 21 0 339072095 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140733247027040 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9868/statm: 712065 338785 2278 9 0 702758 0
[pid=9868/tid=9869] ppid=9866 vsize=2848260 CPUtime=1789.3 cores=1,3,5,7
/proc/9868/task/9869/stat : 9869 (java) R 9866 9868 3621 0 -1 4202560 2984 0 1 0 178896 34 0 0 20 0 21 0 339072095 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082232073752 140082172417121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9871] ppid=9866 vsize=2848260 CPUtime=0.3 cores=1,3,5,7
/proc/9868/task/9871/stat : 9871 (java) S 9866 9868 3621 0 -1 4202560 206 0 0 0 20 10 0 0 20 0 21 0 339072096 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082098571816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9872] ppid=9866 vsize=2848260 CPUtime=0.32 cores=1,3,5,7
/proc/9868/task/9872/stat : 9872 (java) S 9866 9868 3621 0 -1 4202560 243 0 0 0 20 12 0 0 20 0 21 0 339072096 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082097519016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9873] ppid=9866 vsize=2848260 CPUtime=0.32 cores=1,3,5,7
/proc/9868/task/9873/stat : 9873 (java) S 9866 9868 3621 0 -1 4202560 203 0 0 0 21 11 0 0 20 0 21 0 339072096 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082096466216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9874] ppid=9866 vsize=2848260 CPUtime=0.42 cores=1,3,5,7
/proc/9868/task/9874/stat : 9874 (java) S 9866 9868 3621 0 -1 4202560 298 0 0 0 25 17 0 0 20 0 21 0 339072096 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082095413416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9875] ppid=9866 vsize=2848260 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9875/stat : 9875 (java) S 9866 9868 3621 0 -1 4202560 242 0 0 0 27 13 0 0 20 0 21 0 339072096 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082094361640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9868/tid=9876] ppid=9866 vsize=2848260 CPUtime=0.4 cores=1,3,5,7
/proc/9868/task/9876/stat : 9876 (java) S 9866 9868 3621 0 -1 4202560 252 0 0 0 25 15 0 0 20 0 21 0 339072096 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082093308840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9877] ppid=9866 vsize=2848260 CPUtime=0.31 cores=1,3,5,7
/proc/9868/task/9877/stat : 9877 (java) S 9866 9868 3621 0 -1 4202560 189 0 0 0 19 12 0 0 20 0 21 0 339072096 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082092256040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9878] ppid=9866 vsize=2848260 CPUtime=0.45 cores=1,3,5,7
/proc/9868/task/9878/stat : 9878 (java) S 9866 9868 3621 0 -1 4202560 300 0 0 0 29 16 0 0 20 0 21 0 339072096 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082091203240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9879] ppid=9866 vsize=2848260 CPUtime=0.75 cores=1,3,5,7
/proc/9868/task/9879/stat : 9879 (java) S 9866 9868 3621 0 -1 4202560 63 0 0 0 71 4 0 0 20 0 21 0 339072097 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082079005160 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9880] ppid=9866 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9880/stat : 9880 (java) S 9866 9868 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 339072098 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082077951224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9881] ppid=9866 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9881/stat : 9881 (java) S 9866 9868 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 339072098 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082076898312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9882] ppid=9866 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9882/stat : 9882 (java) S 9866 9868 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 339072100 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082075846800 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9883] ppid=9866 vsize=2848260 CPUtime=0.56 cores=1,3,5,7
/proc/9868/task/9883/stat : 9883 (java) S 9866 9868 3621 0 -1 4202560 7299 0 0 0 56 0 0 0 20 0 21 0 339072100 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082074794936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9868/tid=9884] ppid=9866 vsize=2848260 CPUtime=0.41 cores=1,3,5,7
/proc/9868/task/9884/stat : 9884 (java) S 9866 9868 3621 0 -1 4202560 3457 0 0 0 41 0 0 0 20 0 21 0 339072100 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082073742136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9885] ppid=9866 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9885/stat : 9885 (java) S 9866 9868 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339072100 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082072689528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9868/tid=9886] ppid=9866 vsize=2848260 CPUtime=1 cores=1,3,5,7
/proc/9868/task/9886/stat : 9886 (java) S 9866 9868 3621 0 -1 4202560 103 0 0 0 43 57 0 0 20 0 21 0 339072100 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082071636936 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9868/tid=9887] ppid=9866 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/9868/task/9887/stat : 9887 (java) S 9866 9868 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339072149 2916618240 338785 33554432000 1073741824 1073778376 140733247035904 140082070582440 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 2848260
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9868 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=169396
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=150673
# CPU time returned by wait4() is 1795.32
# while last known CPU time is 1800.31
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.43
CPU time (s): 1800.31
CPU user time (s): 1798.16
CPU system time (s): 2.15
CPU usage (%): 100.272
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.17
system time used= 2.15067
maximum resident set size= 1355144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17069
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37974
involuntary context switches= 2639
runsolver used 10.4914 second user time and 12.1631 second system time
The end