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-3688808-1337879864/watcher-3688808-1337879864 -o /tmp/evaluation-result-3688808-1337879864/solver-3688808-1337879864 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688808-1337879864.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.88 3.77 3.76 4/197 28759
/proc/meminfo: memFree=27710860/32873648 swapFree=6596/6596
[pid=28759] ppid=28757 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/28759/stat : 28759 (java) S 28757 28759 25418 0 -1 4202496 1205 0 0 0 0 0 0 0 20 0 2 0 254110884 94019584 917 33554432000 1073741824 1073778376 140734755969568 140734755960704 212076625981 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28759/statm: 22954 917 697 9 0 16769 0
[pid=28759/tid=28760] ppid=28757 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) D 28757 28759 25418 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 254110885 94019584 917 33554432000 1073741824 1073778376 140734755969568 139650368552488 212064103719 0 0 4096 0 18446744072100609316 0 0 -1 5 0 0 0 0 0
[startup+0.0223781 s]
/proc/loadavg: 3.88 3.77 3.76 4/197 28759
/proc/meminfo: memFree=27710860/32873648 swapFree=6596/6596
[pid=28759] ppid=28757 vsize=9026896 CPUtime=0.01 cores=1,3,5,7
/proc/28759/stat : 28759 (java) S 28757 28759 25418 0 -1 4202496 2852 0 1 0 1 0 0 0 20 0 11 0 254110884 9243541504 3552 33554432000 1073741824 1073778376 140734755969568 140734755960704 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28759/statm: 2256724 3552 1587 9 0 2247425 0
[pid=28759/tid=28760] ppid=28757 vsize=9026896 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) S 28757 28759 25418 0 -1 4202560 1696 0 1 0 0 0 0 0 20 0 11 0 254110885 9243541504 3552 33554432000 1073741824 1073778376 140734755969568 139650368559720 212076639292 0 4 0 16784584 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9026896
[startup+0.100234 s]
/proc/loadavg: 3.88 3.77 3.76 4/197 28759
/proc/meminfo: memFree=27710860/32873648 swapFree=6596/6596
[pid=28759] ppid=28757 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/28759/stat : 28759 (java) S 28757 28759 25418 0 -1 4202496 4457 0 1 0 10 0 0 0 20 0 18 0 254110884 9787813888 6134 33554432000 1073741824 1073778376 140734755969568 140734755960704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28759/statm: 2389603 6134 2139 9 0 2380296 0
[pid=28759/tid=28760] ppid=28757 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) R 28757 28759 25418 0 -1 4202560 2425 0 1 0 7 0 0 0 20 0 18 0 254110885 9787813888 6135 33554432000 1073741824 1073778376 140734755969568 139650368554992 212076651789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300208 s]
/proc/loadavg: 3.88 3.77 3.76 4/197 28759
/proc/meminfo: memFree=27710860/32873648 swapFree=6596/6596
[pid=28759] ppid=28757 vsize=9824668 CPUtime=0.55 cores=1,3,5,7
/proc/28759/stat : 28759 (java) S 28757 28759 25418 0 -1 4202496 6785 0 1 0 54 1 0 0 20 0 22 0 254110884 10060460032 10052 33554432000 1073741824 1073778376 140734755969568 140734755960704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28759/statm: 2456167 10052 2230 9 0 2446860 0
[pid=28759/tid=28760] ppid=28757 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) S 28757 28759 25418 0 -1 4202560 2450 0 1 0 22 0 0 0 20 0 22 0 254110885 10060460032 10052 33554432000 1073741824 1073778376 140734755969568 139650368558072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824668
[startup+0.700235 s]
/proc/loadavg: 3.88 3.77 3.76 4/197 28759
/proc/meminfo: memFree=27710860/32873648 swapFree=6596/6596
[pid=28759] ppid=28757 vsize=9824668 CPUtime=2.15 cores=1,3,5,7
/proc/28759/stat : 28759 (java) S 28757 28759 25418 0 -1 4202496 18830 0 1 0 212 3 0 0 20 0 22 0 254110884 10060460032 20662 33554432000 1073741824 1073778376 140734755969568 140734755960704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28759/statm: 2456167 20698 2239 9 0 2446860 0
[pid=28759/tid=28760] ppid=28757 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) S 28757 28759 25418 0 -1 4202560 2450 0 1 0 22 0 0 0 20 0 22 0 254110885 10060460032 20712 33554432000 1073741824 1073778376 140734755969568 139650368558072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9824668
[startup+1.50086 s]
/proc/loadavg: 3.88 3.77 3.76 7/219 28781
/proc/meminfo: memFree=27594724/32873648 swapFree=6596/6596
[pid=28759] ppid=28757 vsize=9824668 CPUtime=4.9 cores=1,3,5,7
/proc/28759/stat : 28759 (java) S 28757 28759 25418 0 -1 4202496 29239 0 1 0 482 8 0 0 20 0 22 0 254110884 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 140734755960704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28759/statm: 2456167 51064 2277 9 0 2446860 0
[pid=28759/tid=28760] ppid=28757 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) S 28757 28759 25418 0 -1 4202560 2450 0 1 0 22 0 0 0 20 0 22 0 254110885 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650368558072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28762/stat : 28762 (java) S 28757 28759 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650330048680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28763/stat : 28763 (java) S 28757 28759 25418 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650328996136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28764/stat : 28764 (java) S 28757 28759 25418 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650327943592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28765/stat : 28765 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650326891048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28766/stat : 28766 (java) S 28757 28759 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650325838504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28767/stat : 28767 (java) S 28757 28759 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650207312680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28768] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28768/stat : 28768 (java) S 28757 28759 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650206260136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28769] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28769/stat : 28769 (java) S 28757 28759 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650205207592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28770] ppid=28757 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28759/task/28770/stat : 28770 (java) S 28757 28759 25418 0 -1 4202560 96 0 0 0 3 0 0 0 20 0 22 0 254110886 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650192795752 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28771] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28771/stat : 28771 (java) S 28757 28759 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254110887 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139650191742072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28772] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28772/stat : 28772 (java) S 28757 28759 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254110887 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139649586553992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28773] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28773/stat : 28773 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139649585502736 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28774] ppid=28757 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/28759/task/28774/stat : 28774 (java) S 28757 28759 25418 0 -1 4202560 11401 0 0 0 106 2 0 0 20 0 22 0 254110889 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139649584450104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28775] ppid=28757 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/28759/task/28775/stat : 28775 (java) S 28757 28759 25418 0 -1 4202560 13880 0 0 0 106 2 0 0 20 0 22 0 254110889 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139649583397560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28776] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28776/stat : 28776 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139649582345208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28777] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28777/stat : 28777 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139649581292872 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28778] ppid=28757 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/28759/task/28778/stat : 28778 (java) R 28757 28759 25418 0 -1 4202560 36 0 0 0 118 0 0 0 20 0 22 0 254110908 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139649580235112 139650207383465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28779] ppid=28757 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/28759/task/28779/stat : 28779 (java) R 28757 28759 25418 0 -1 4202560 131 0 0 0 116 1 0 0 20 0 22 0 254110908 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139649579184024 139650208024990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28780] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28780/stat : 28780 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110909 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139649578132520 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28781] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28781/stat : 28781 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110909 10060460032 51064 33554432000 1073741824 1073778376 140734755969568 139649577079976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 9824668
[startup+3.10087 s]
/proc/loadavg: 3.88 3.77 3.76 5/219 28781
/proc/meminfo: memFree=27415680/32873648 swapFree=6596/6596
[pid=28759] ppid=28757 vsize=9824668 CPUtime=8.07 cores=1,3,5,7
/proc/28759/stat : 28759 (java) S 28757 28759 25418 0 -1 4202496 29324 0 1 0 797 10 0 0 20 0 22 0 254110884 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 140734755960704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28759/statm: 2456167 81797 2278 9 0 2446860 0
[pid=28759/tid=28760] ppid=28757 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) S 28757 28759 25418 0 -1 4202560 2450 0 1 0 22 0 0 0 20 0 22 0 254110885 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650368558072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28762/stat : 28762 (java) S 28757 28759 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650330048680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28763/stat : 28763 (java) S 28757 28759 25418 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650328996136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28764/stat : 28764 (java) S 28757 28759 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650327943592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28765/stat : 28765 (java) S 28757 28759 25418 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650326891048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28766/stat : 28766 (java) S 28757 28759 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650325838504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28767/stat : 28767 (java) S 28757 28759 25418 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650207312680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28768] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28768/stat : 28768 (java) S 28757 28759 25418 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650206260136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28769] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28769/stat : 28769 (java) S 28757 28759 25418 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650205207592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28770] ppid=28757 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/28759/task/28770/stat : 28770 (java) S 28757 28759 25418 0 -1 4202560 101 0 0 0 14 0 0 0 20 0 22 0 254110886 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650192795752 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28771] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28771/stat : 28771 (java) S 28757 28759 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254110887 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139650191742072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28772] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28772/stat : 28772 (java) S 28757 28759 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254110887 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139649586553992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28773] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28773/stat : 28773 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139649585502736 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28774] ppid=28757 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/28759/task/28774/stat : 28774 (java) S 28757 28759 25418 0 -1 4202560 11403 0 0 0 107 2 0 0 20 0 22 0 254110889 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139649584450104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28775] ppid=28757 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/28759/task/28775/stat : 28775 (java) S 28757 28759 25418 0 -1 4202560 13882 0 0 0 112 2 0 0 20 0 22 0 254110889 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139649583397560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28776] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28776/stat : 28776 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139649582345208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28777] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28777/stat : 28777 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139649581292872 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28778] ppid=28757 vsize=9824668 CPUtime=2.66 cores=1,3,5,7
/proc/28759/task/28778/stat : 28778 (java) R 28757 28759 25418 0 -1 4202560 38 0 0 0 266 0 0 0 20 0 22 0 254110908 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139649580236880 139650207891020 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28779] ppid=28757 vsize=9824668 CPUtime=2.66 cores=1,3,5,7
/proc/28759/task/28779/stat : 28779 (java) R 28757 28759 25418 0 -1 4202560 181 0 0 0 263 3 0 0 20 0 22 0 254110908 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139649579182560 139650208074252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28780] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28780/stat : 28780 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110909 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139649578132520 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28781] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28781/stat : 28781 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110909 10060460032 81797 33554432000 1073741824 1073778376 140734755969568 139649577079976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 9824668
[startup+6.30087 s]
/proc/loadavg: 3.89 3.77 3.76 5/219 28784
/proc/meminfo: memFree=27239028/32873648 swapFree=6596/6596
[pid=28759] ppid=28757 vsize=9824668 CPUtime=14.37 cores=1,3,5,7
/proc/28759/stat : 28759 (java) S 28757 28759 25418 0 -1 4202496 29579 0 1 0 1423 14 0 0 20 0 22 0 254110884 10060460032 120756 33554432000 1073741824 1073778376 140734755969568 140734755960704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28759/statm: 2456167 120756 2278 9 0 2446860 0
[pid=28759/tid=28760] ppid=28757 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) S 28757 28759 25418 0 -1 4202560 2450 0 1 0 22 0 0 0 20 0 22 0 254110885 10060460032 120756 33554432000 1073741824 1073778376 140734755969568 139650368558072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28759/task/28762/stat : 28762 (java) S 28757 28759 25418 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 254110885 10060460032 120756 33554432000 1073741824 1073778376 140734755969568 139650330048680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28759/task/28763/stat : 28763 (java) S 28757 28759 25418 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 254110885 10060460032 120756 33554432000 1073741824 1073778376 140734755969568 139650328996136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28764/stat : 28764 (java) S 28757 28759 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254110885 10060460032 120756 33554432000 1073741824 1073778376 140734755969568 139650327943592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28759/task/28765/stat : 28765 (java) S 28757 28759 25418 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 254110885 10060460032 120756 33554432000 1073741824 1073778376 140734755969568 139650326891048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28759/task/28766/stat : 28766 (java) S 28757 28759 25418 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 254110885 10060460032 120756 33554432000 1073741824 1073778376 140734755969568 139650325838504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28759/task/28767/stat : 28767 (java) S 28757 28759 25418 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254110885 10060460032 120756 33554432000 1073741824 1073778376 140734755969568 139650207312680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28768] ppid=28757 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28759/task/28768/stat : 28768 (java) S 28757 28759 25418 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254110885 10060460032 120756 33554432000 1073741824 1073778376 140734755969568 139650206260136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28769] ppid=28757 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28759/task/28769/stat : 28769 (java) S 28757 28759 25418 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 254110885 10060460032 120756 33554432000 1073741824 1073778376 140734755969568 139650205207592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/28759/statm: 2456167 386481 2279 9 0 2446860 0
[pid=28759/tid=28760] ppid=28757 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) S 28757 28759 25418 0 -1 4202560 2508 0 1 0 23 3 0 0 20 0 22 0 254110885 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650368558072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=9824668 CPUtime=3.32 cores=1,3,5,7
/proc/28759/task/28762/stat : 28762 (java) S 28757 28759 25418 0 -1 4202560 699 0 0 0 323 9 0 0 20 0 22 0 254110885 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650330048680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=9824668 CPUtime=3.59 cores=1,3,5,7
/proc/28759/task/28763/stat : 28763 (java) S 28757 28759 25418 0 -1 4202560 779 0 0 0 351 8 0 0 20 0 22 0 254110885 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650328996136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=9824668 CPUtime=3.3 cores=1,3,5,7
/proc/28759/task/28764/stat : 28764 (java) S 28757 28759 25418 0 -1 4202560 802 0 0 0 322 8 0 0 20 0 22 0 254110885 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650327943592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=9824668 CPUtime=3.55 cores=1,3,5,7
/proc/28759/task/28765/stat : 28765 (java) S 28757 28759 25418 0 -1 4202560 1104 0 0 0 345 10 0 0 20 0 22 0 254110885 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650326891048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=9824668 CPUtime=3.44 cores=1,3,5,7
/proc/28759/task/28766/stat : 28766 (java) S 28757 28759 25418 0 -1 4202560 619 0 0 0 336 8 0 0 20 0 22 0 254110885 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650325838504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=9824668 CPUtime=3.4 cores=1,3,5,7
/proc/28759/task/28767/stat : 28767 (java) S 28757 28759 25418 0 -1 4202560 512 0 0 0 332 8 0 0 20 0 22 0 254110885 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650207312680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28768] ppid=28757 vsize=9824668 CPUtime=3.38 cores=1,3,5,7
/proc/28759/task/28768/stat : 28768 (java) S 28757 28759 25418 0 -1 4202560 605 0 0 0 330 8 0 0 20 0 22 0 254110885 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650206260136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28769] ppid=28757 vsize=9824668 CPUtime=3.5 cores=1,3,5,7
/proc/28759/task/28769/stat : 28769 (java) S 28757 28759 25418 0 -1 4202560 486 0 0 0 341 9 0 0 20 0 22 0 254110885 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650205207592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28770] ppid=28757 vsize=9824668 CPUtime=36.15 cores=1,3,5,7
/proc/28759/task/28770/stat : 28770 (java) S 28757 28759 25418 0 -1 4202560 1620 0 0 0 3587 28 0 0 20 0 22 0 254110886 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650192795752 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28771] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28771/stat : 28771 (java) S 28757 28759 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254110887 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139650191742072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28772] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28772/stat : 28772 (java) S 28757 28759 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254110887 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139649586553992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28773] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28773/stat : 28773 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139649585502736 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28774] ppid=28757 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/28759/task/28774/stat : 28774 (java) S 28757 28759 25418 0 -1 4202560 14534 0 0 0 162 3 0 0 20 0 22 0 254110889 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139649584450104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28775] ppid=28757 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/28759/task/28775/stat : 28775 (java) S 28757 28759 25418 0 -1 4202560 13883 0 0 0 123 3 0 0 20 0 22 0 254110889 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139649583397560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28776] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28776/stat : 28776 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139649582345208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28777] ppid=28757 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/28759/task/28777/stat : 28777 (java) S 28757 28759 25418 0 -1 4202560 47 0 0 0 14 20 0 0 20 0 22 0 254110889 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139649581292872 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28778] ppid=28757 vsize=9824668 CPUtime=775.96 cores=1,3,5,7
/proc/28759/task/28778/stat : 28778 (java) R 28757 28759 25418 0 -1 4202560 252 0 0 0 77583 13 0 0 20 0 22 0 254110908 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139649580235104 139650207989805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28779] ppid=28757 vsize=9824668 CPUtime=775.91 cores=1,3,5,7
/proc/28759/task/28779/stat : 28779 (java) R 28757 28759 25418 0 -1 4202560 5120 0 0 0 77556 35 0 0 20 0 22 0 254110908 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139649579183344 139650208023768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28780] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28780/stat : 28780 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110909 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139649578132520 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28781] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28781/stat : 28781 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110909 10060460032 386481 33554432000 1073741824 1073778376 140734755969568 139649577079976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1622.93
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.05 3.48 3.67 4/216 28930
/proc/meminfo: memFree=18858888/32873648 swapFree=6596/6596
[pid=28759] ppid=28757 vsize=9824668 CPUtime=1741.5 cores=1,3,5,7
/proc/28759/stat : 28759 (java) S 28757 28759 25418 0 -1 4202496 45149 0 1 0 173988 162 0 0 20 0 22 0 254110884 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 140734755960704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28759/statm: 2456167 442396 2279 9 0 2446860 0
[pid=28759/tid=28760] ppid=28757 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) S 28757 28759 25418 0 -1 4202560 2509 0 1 0 23 3 0 0 20 0 22 0 254110885 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650368558072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=9824668 CPUtime=3.5 cores=1,3,5,7
/proc/28759/task/28762/stat : 28762 (java) S 28757 28759 25418 0 -1 4202560 730 0 0 0 339 11 0 0 20 0 22 0 254110885 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650330048680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=9824668 CPUtime=3.76 cores=1,3,5,7
/proc/28759/task/28763/stat : 28763 (java) S 28757 28759 25418 0 -1 4202560 804 0 0 0 367 9 0 0 20 0 22 0 254110885 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650328996136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/28759/task/28764/stat : 28764 (java) S 28757 28759 25418 0 -1 4202560 829 0 0 0 343 9 0 0 20 0 22 0 254110885 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650327943592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=9824668 CPUtime=3.73 cores=1,3,5,7
/proc/28759/task/28765/stat : 28765 (java) S 28757 28759 25418 0 -1 4202560 1131 0 0 0 362 11 0 0 20 0 22 0 254110885 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650326891048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/28759/task/28766/stat : 28766 (java) S 28757 28759 25418 0 -1 4202560 649 0 0 0 358 9 0 0 20 0 22 0 254110885 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650325838504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=9824668 CPUtime=3.58 cores=1,3,5,7
/proc/28759/task/28767/stat : 28767 (java) S 28757 28759 25418 0 -1 4202560 539 0 0 0 348 10 0 0 20 0 22 0 254110885 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650207312680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28768] ppid=28757 vsize=9824668 CPUtime=3.55 cores=1,3,5,7
/proc/28759/task/28768/stat : 28768 (java) S 28757 28759 25418 0 -1 4202560 629 0 0 0 346 9 0 0 20 0 22 0 254110885 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650206260136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28769] ppid=28757 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/28759/task/28769/stat : 28769 (java) S 28757 28759 25418 0 -1 4202560 519 0 0 0 356 11 0 0 20 0 22 0 254110885 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650205207592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28770] ppid=28757 vsize=9824668 CPUtime=38.27 cores=1,3,5,7
/proc/28759/task/28770/stat : 28770 (java) S 28757 28759 25418 0 -1 4202560 1736 0 0 0 3798 29 0 0 20 0 22 0 254110886 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650192795752 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28771] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28771/stat : 28771 (java) S 28757 28759 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254110887 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139650191742072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28772] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28772/stat : 28772 (java) S 28757 28759 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254110887 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139649586553992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28773] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28773/stat : 28773 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139649585502736 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28774] ppid=28757 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/28759/task/28774/stat : 28774 (java) S 28757 28759 25418 0 -1 4202560 14534 0 0 0 162 3 0 0 20 0 22 0 254110889 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139649584450104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28775] ppid=28757 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/28759/task/28775/stat : 28775 (java) S 28757 28759 25418 0 -1 4202560 13883 0 0 0 123 3 0 0 20 0 22 0 254110889 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139649583397560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28776] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28776/stat : 28776 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139649582345208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28777] ppid=28757 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/28759/task/28777/stat : 28777 (java) S 28757 28759 25418 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 254110889 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139649581292872 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28778] ppid=28757 vsize=9824668 CPUtime=833.26 cores=1,3,5,7
/proc/28759/task/28778/stat : 28778 (java) R 28757 28759 25418 0 -1 4202560 261 0 0 0 83312 14 0 0 20 0 22 0 254110908 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139649580235920 139650207833626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28779] ppid=28757 vsize=9824668 CPUtime=833.23 cores=1,3,5,7
/proc/28759/task/28779/stat : 28779 (java) R 28757 28759 25418 0 -1 4202560 5158 0 0 0 83286 37 0 0 20 0 22 0 254110908 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139649579182560 139650208022198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28780] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28780/stat : 28780 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110909 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139649578132520 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28781] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28781/stat : 28781 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110909 10060460032 442396 33554432000 1073741824 1073778376 140734755969568 139649577079976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1741.5
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+912.001 s]
/proc/loadavg: 3.03 3.44 3.65 4/216 28930
/proc/meminfo: memFree=18764064/32873648 swapFree=6596/6596
[pid=28759] ppid=28757 vsize=9824668 CPUtime=1800.04 cores=1,3,5,7
/proc/28759/stat : 28759 (java) S 28757 28759 25418 0 -1 4202496 45318 0 1 0 179833 171 0 0 20 0 22 0 254110884 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 140734755960704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28759/statm: 2456167 465988 2279 9 0 2446860 0
[pid=28759/tid=28760] ppid=28757 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/28759/task/28760/stat : 28760 (java) S 28757 28759 25418 0 -1 4202560 2511 0 1 0 24 3 0 0 20 0 22 0 254110885 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650368558072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=9824668 CPUtime=3.54 cores=1,3,5,7
/proc/28759/task/28762/stat : 28762 (java) S 28757 28759 25418 0 -1 4202560 735 0 0 0 342 12 0 0 20 0 22 0 254110885 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650330048680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=9824668 CPUtime=3.84 cores=1,3,5,7
/proc/28759/task/28763/stat : 28763 (java) S 28757 28759 25418 0 -1 4202560 819 0 0 0 374 10 0 0 20 0 22 0 254110885 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650328996136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=9824668 CPUtime=3.59 cores=1,3,5,7
/proc/28759/task/28764/stat : 28764 (java) S 28757 28759 25418 0 -1 4202560 836 0 0 0 350 9 0 0 20 0 22 0 254110885 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650327943592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=9824668 CPUtime=3.82 cores=1,3,5,7
/proc/28759/task/28765/stat : 28765 (java) S 28757 28759 25418 0 -1 4202560 1149 0 0 0 370 12 0 0 20 0 22 0 254110885 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650326891048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=9824668 CPUtime=3.79 cores=1,3,5,7
/proc/28759/task/28766/stat : 28766 (java) S 28757 28759 25418 0 -1 4202560 665 0 0 0 369 10 0 0 20 0 22 0 254110885 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650325838504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/28759/task/28767/stat : 28767 (java) S 28757 28759 25418 0 -1 4202560 554 0 0 0 356 11 0 0 20 0 22 0 254110885 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650207312680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28768] ppid=28757 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/28759/task/28768/stat : 28768 (java) S 28757 28759 25418 0 -1 4202560 645 0 0 0 357 10 0 0 20 0 22 0 254110885 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650206260136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28769] ppid=28757 vsize=9824668 CPUtime=3.78 cores=1,3,5,7
/proc/28759/task/28769/stat : 28769 (java) S 28757 28759 25418 0 -1 4202560 534 0 0 0 366 12 0 0 20 0 22 0 254110885 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650205207592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28770] ppid=28757 vsize=9824668 CPUtime=39.47 cores=1,3,5,7
/proc/28759/task/28770/stat : 28770 (java) S 28757 28759 25418 0 -1 4202560 1780 0 0 0 3917 30 0 0 20 0 22 0 254110886 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650192795752 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28771] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28771/stat : 28771 (java) S 28757 28759 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254110887 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139650191742072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28772] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28772/stat : 28772 (java) S 28757 28759 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254110887 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139649586553992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28773] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28773/stat : 28773 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139649585502736 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28774] ppid=28757 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/28759/task/28774/stat : 28774 (java) S 28757 28759 25418 0 -1 4202560 14534 0 0 0 162 3 0 0 20 0 22 0 254110889 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139649584450104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28775] ppid=28757 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/28759/task/28775/stat : 28775 (java) S 28757 28759 25418 0 -1 4202560 13883 0 0 0 123 3 0 0 20 0 22 0 254110889 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139649583397560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28776] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28776/stat : 28776 (java) S 28757 28759 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254110889 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139649582345208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28777] ppid=28757 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/28759/task/28777/stat : 28777 (java) S 28757 28759 25418 0 -1 4202560 53 0 0 0 14 23 0 0 20 0 22 0 254110889 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139649581292872 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28778] ppid=28757 vsize=9824668 CPUtime=861.5 cores=1,3,5,7
/proc/28759/task/28778/stat : 28778 (java) R 28757 28759 25418 0 -1 4202560 262 0 0 0 86135 15 0 0 20 0 22 0 254110908 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139649580236880 139650207833242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28759/tid=28779] ppid=28757 vsize=9824668 CPUtime=861.47 cores=1,3,5,7
/proc/28759/task/28779/stat : 28779 (java) R 28757 28759 25418 0 -1 4202560 5171 0 0 0 86108 39 0 0 20 0 22 0 254110908 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139649579182560 139650208074696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28759/tid=28780] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28780/stat : 28780 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110909 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139649578132520 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28759/tid=28781] ppid=28757 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28759/task/28781/stat : 28781 (java) S 28757 28759 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254110909 10060460032 465988 33554432000 1073741824 1073778376 140734755969568 139649577079976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28759 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=79258
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=180668
# CPU time returned by wait4() is 1796.26
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 912.1
CPU time (s): 1800.04
CPU user time (s): 1798.33
CPU system time (s): 1.71
CPU usage (%): 197.351
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.08
system time used= 2.18067
maximum resident set size= 1866224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45379
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33072
involuntary context switches= 61224
runsolver used 3.54246 second user time and 8.40372 second system time
The end