runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456735-1307219706/watcher-3456735-1307219706 -o /tmp/evaluation-result-3456735-1307219706/solver-3456735-1307219706 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456735-1307219706.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: 2.01 2.06 1.99 3/572 18804
/proc/meminfo: memFree=21230624/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 1352 0 1 0 0 0 0 0 25 0 2 0 833567642 36679680 1055 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 8955 1062 825 9 0 386 0
[pid=18804/tid=18805] ppid=18802 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 3086 0 1 0 0 0 0 0 25 0 2 0 833567643 10694979584 3902 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.121026 s]
/proc/loadavg: 2.01 2.06 1.99 3/572 18804
/proc/meminfo: memFree=21230624/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=10539952 CPUtime=0.12 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 13289 0 1 0 10 2 0 0 25 0 18 0 833567642 10792910848 12959 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 2634988 12973 2125 9 0 2625722 0
[pid=18804/tid=18805] ppid=18802 vsize=10539952 CPUtime=0.09 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 11284 0 1 0 8 1 0 0 18 0 18 0 833567643 10792910848 12973 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 47851175398227 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539952
[startup+0.201013 s]
/proc/loadavg: 2.01 2.06 1.99 3/572 18804
/proc/meminfo: memFree=21230624/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=10539952 CPUtime=0.27 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 14239 0 1 0 25 2 0 0 25 0 18 0 833567642 10792910848 13762 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 2634988 13784 2186 9 0 2625722 0
[pid=18804/tid=18805] ppid=18802 vsize=10539952 CPUtime=0.17 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 11826 0 1 0 16 1 0 0 18 0 18 0 833567643 10792910848 13785 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10539952
[startup+0.31693 s]
/proc/loadavg: 2.01 2.06 1.99 3/572 18804
/proc/meminfo: memFree=21230624/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=10541216 CPUtime=0.56 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 18659 0 1 0 53 3 0 0 25 0 18 0 833567642 10794205184 17444 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 2635304 17445 2201 9 0 2626038 0
[pid=18804/tid=18805] ppid=18802 vsize=10541216 CPUtime=0.29 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 14232 0 1 0 27 2 0 0 18 0 18 0 833567643 10794205184 17445 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 46912505610935 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10541216
[startup+0.700911 s]
/proc/loadavg: 2.01 2.06 1.99 3/572 18804
/proc/meminfo: memFree=21230624/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=10545184 CPUtime=1.55 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 29918 0 1 0 151 4 0 0 25 0 19 0 833567642 10798268416 26244 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 2636296 26244 2233 9 0 2627030 0
[pid=18804/tid=18805] ppid=18802 vsize=10545184 CPUtime=0.67 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 22032 0 1 0 64 3 0 0 19 0 19 0 833567643 10798268416 26245 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 46912505851723 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10545184
[startup+1.50077 s]
/proc/loadavg: 2.01 2.06 1.99 3/591 18823
/proc/meminfo: memFree=21102388/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=10544676 CPUtime=2.69 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 43430 0 1 0 263 6 0 0 25 0 19 0 833567642 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 2636169 38479 2236 9 0 2626903 0
[pid=18804/tid=18805] ppid=18802 vsize=10544676 CPUtime=1.47 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 34321 0 1 0 143 4 0 0 20 0 19 0 833567643 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 46912505958768 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18804/tid=18807] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18807/stat : 18807 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18808] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18808/stat : 18808 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18809] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18809/stat : 18809 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18810] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18810/stat : 18810 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18811] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18811/stat : 18811 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18812] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18812/stat : 18812 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18813] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18813/stat : 18813 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18814] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18814/stat : 18814 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18815] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18815/stat : 18815 (java) S 18802 18804 18279 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833567646 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 0 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18816] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18816/stat : 18816 (java) S 18802 18804 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833567646 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18817] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18817/stat : 18817 (java) S 18802 18804 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833567646 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18818] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18818/stat : 18818 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833567649 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488518577 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18819] ppid=18802 vsize=10544676 CPUtime=0.64 cores=1,3,5,7
/proc/18804/task/18819/stat : 18819 (java) S 18802 18804 18279 0 -1 4202560 4147 0 0 0 64 0 0 0 15 0 19 0 833567649 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18820] ppid=18802 vsize=10544676 CPUtime=0.55 cores=1,3,5,7
/proc/18804/task/18820/stat : 18820 (java) S 18802 18804 18279 0 -1 4202560 3802 0 0 0 55 0 0 0 16 0 19 0 833567649 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18821] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18821/stat : 18821 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833567649 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18822] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18822/stat : 18822 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833567649 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18823] ppid=18802 vsize=10544676 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18823/stat : 18823 (java) S 18802 18804 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567688 10797748224 38479 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 10544676
[startup+3.10146 s]
/proc/loadavg: 2.01 2.06 1.99 3/591 18823
/proc/meminfo: memFree=21050540/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=10545016 CPUtime=4.46 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 63973 0 1 0 438 8 0 0 25 0 19 0 833567642 10798096384 59021 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 2636254 59021 2238 9 0 2626988 0
[pid=18804/tid=18805] ppid=18802 vsize=10545016 CPUtime=3.07 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 54787 0 1 0 301 6 0 0 25 0 19 0 833567643 10798096384 59021 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 46912505957788 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18804/tid=18807] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18807/stat : 18807 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 59021 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18808] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18808/stat : 18808 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 59022 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18809] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18809/stat : 18809 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 59022 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18810] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18810/stat : 18810 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 59022 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18811] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18811/stat : 18811 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 59023 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18812] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18812/stat : 18812 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 59023 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18813] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18813/stat : 18813 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 59023 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18814] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18814/stat : 18814 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 59023 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18815] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18815/stat : 18815 (java) S 18802 18804 18279 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833567646 10798096384 59023 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 0 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18816] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18816/stat : 18816 (java) S 18802 18804 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833567646 10798096384 59023 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18817] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18817/stat : 18817 (java) S 18802 18804 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833567646 10798096384 59023 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18818] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18818/stat : 18818 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833567649 10798096384 59023 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488518577 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18819] ppid=18802 vsize=10545016 CPUtime=0.72 cores=1,3,5,7
/proc/18804/task/18819/stat : 18819 (java) S 18802 18804 18279 0 -1 4202560 4208 0 0 0 71 1 0 0 15 0 19 0 833567649 10798096384 59023 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18820] ppid=18802 vsize=10545016 CPUtime=0.64 cores=1,3,5,7
/proc/18804/task/18820/stat : 18820 (java) S 18802 18804 18279 0 -1 4202560 3818 0 0 0 64 0 0 0 15 0 19 0 833567649 10798096384 59024 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18821] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18821/stat : 18821 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833567649 10798096384 59024 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18822] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18822/stat : 18822 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833567649 10798096384 59024 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18823] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18823/stat : 18823 (java) S 18802 18804 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567688 10798096384 59025 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 10545016
[startup+6.30085 s]
/proc/loadavg: 2.01 2.06 1.99 4/591 18823
/proc/meminfo: memFree=20740144/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=10545016 CPUtime=7.79 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 184908 0 1 0 756 23 0 0 25 0 19 0 833567642 10798096384 179806 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 2636254 179806 2239 9 0 2626988 0
[pid=18804/tid=18805] ppid=18802 vsize=10545016 CPUtime=6.27 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 175655 0 1 0 606 21 0 0 25 0 19 0 833567643 10798096384 179807 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 46912505857130 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18804/tid=18807] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18807/stat : 18807 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 179812 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18808] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18808/stat : 18808 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 179812 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18809] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18809/stat : 18809 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 179812 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18810] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18810/stat : 18810 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 179816 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18811] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18811/stat : 18811 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 179817 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18812] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18812/stat : 18812 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 179817 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18813] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18813/stat : 18813 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 179818 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18814] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18814/stat : 18814 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567645 10798096384 179823 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18815] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18815/stat : 18815 (java) S 18802 18804 18279 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833567646 10798096384 179823 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 0 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18816] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18816/stat : 18816 (java) S 18802 18804 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833567646 10798096384 179823 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18817] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18817/stat : 18817 (java) S 18802 18804 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833567646 10798096384 179826 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18818] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18818/stat : 18818 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833567649 10798096384 179828 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488518577 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18819] ppid=18802 vsize=10545016 CPUtime=0.75 cores=1,3,5,7
/proc/18804/task/18819/stat : 18819 (java) S 18802 18804 18279 0 -1 4202560 4211 0 0 0 74 1 0 0 16 0 19 0 833567649 10798096384 179828 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18820] ppid=18802 vsize=10545016 CPUtime=0.74 cores=1,3,5,7
/proc/18804/task/18820/stat : 18820 (java) S 18802 18804 18279 0 -1 4202560 3882 0 0 0 74 0 0 0 15 0 19 0 833567649 10798096384 179828 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/18804/task/18817/stat : 18817 (java) S 18802 18804 18279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833567646 10798096384 1009373 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18818] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18818/stat : 18818 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833567649 10798096384 1009373 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488518577 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18819] ppid=18802 vsize=10545016 CPUtime=0.83 cores=1,3,5,7
/proc/18804/task/18819/stat : 18819 (java) S 18802 18804 18279 0 -1 4202560 4229 0 0 0 82 1 0 0 15 0 19 0 833567649 10798096384 1009373 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18820] ppid=18802 vsize=10545016 CPUtime=0.83 cores=1,3,5,7
/proc/18804/task/18820/stat : 18820 (java) S 18802 18804 18279 0 -1 4202560 4396 0 0 0 83 0 0 0 15 0 19 0 833567649 10798096384 1009373 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18821] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18821/stat : 18821 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833567649 10798096384 1009373 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18822] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18822/stat : 18822 (java) S 18802 18804 18279 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833567649 10798096384 1009373 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18823] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18823/stat : 18823 (java) S 18802 18804 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567688 10798096384 1009373 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1667.88
Current children cumulated vsize (KiB) 10545016
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/591 18948
/proc/meminfo: memFree=17178660/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=10545016 CPUtime=1728.01 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 1023859 0 1 0 172685 116 0 0 25 0 19 0 833567642 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 2636254 1013661 2254 9 0 2626988 0
[pid=18804/tid=18805] ppid=18802 vsize=10545016 CPUtime=1720.45 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 779485 0 1 0 171964 81 0 0 25 0 19 0 833567643 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 46912506146103 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18804/tid=18807] ppid=18802 vsize=10545016 CPUtime=0.63 cores=1,3,5,7
/proc/18804/task/18807/stat : 18807 (java) S 18802 18804 18279 0 -1 4202560 24786 0 0 0 60 3 0 0 16 0 19 0 833567645 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18808] ppid=18802 vsize=10545016 CPUtime=0.76 cores=1,3,5,7
/proc/18804/task/18808/stat : 18808 (java) S 18802 18804 18279 0 -1 4202560 28267 0 0 0 72 4 0 0 15 0 19 0 833567645 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18809] ppid=18802 vsize=10545016 CPUtime=0.82 cores=1,3,5,7
/proc/18804/task/18809/stat : 18809 (java) S 18802 18804 18279 0 -1 4202560 31074 0 0 0 79 3 0 0 16 0 19 0 833567645 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18810] ppid=18802 vsize=10545016 CPUtime=0.67 cores=1,3,5,7
/proc/18804/task/18810/stat : 18810 (java) S 18802 18804 18279 0 -1 4202560 31702 0 0 0 64 3 0 0 15 0 19 0 833567645 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18811] ppid=18802 vsize=10545016 CPUtime=0.7 cores=1,3,5,7
/proc/18804/task/18811/stat : 18811 (java) S 18802 18804 18279 0 -1 4202560 29775 0 0 0 66 4 0 0 16 0 19 0 833567645 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18812] ppid=18802 vsize=10545016 CPUtime=0.84 cores=1,3,5,7
/proc/18804/task/18812/stat : 18812 (java) S 18802 18804 18279 0 -1 4202560 32199 0 0 0 81 3 0 0 16 0 19 0 833567645 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18813] ppid=18802 vsize=10545016 CPUtime=0.64 cores=1,3,5,7
/proc/18804/task/18813/stat : 18813 (java) S 18802 18804 18279 0 -1 4202560 32290 0 0 0 60 4 0 0 16 0 19 0 833567645 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18814] ppid=18802 vsize=10545016 CPUtime=0.7 cores=1,3,5,7
/proc/18804/task/18814/stat : 18814 (java) S 18802 18804 18279 0 -1 4202560 24308 0 0 0 67 3 0 0 15 0 19 0 833567645 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18815] ppid=18802 vsize=10545016 CPUtime=0.02 cores=1,3,5,7
/proc/18804/task/18815/stat : 18815 (java) S 18802 18804 18279 0 -1 4202560 100 0 0 0 1 1 0 0 15 0 19 0 833567646 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 0 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18816] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18816/stat : 18816 (java) S 18802 18804 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833567646 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18817] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18817/stat : 18817 (java) S 18802 18804 18279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833567646 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18818] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18818/stat : 18818 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833567649 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488518577 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18819] ppid=18802 vsize=10545016 CPUtime=0.83 cores=1,3,5,7
/proc/18804/task/18819/stat : 18819 (java) S 18802 18804 18279 0 -1 4202560 4229 0 0 0 82 1 0 0 15 0 19 0 833567649 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18820] ppid=18802 vsize=10545016 CPUtime=0.83 cores=1,3,5,7
/proc/18804/task/18820/stat : 18820 (java) S 18802 18804 18279 0 -1 4202560 4396 0 0 0 83 0 0 0 15 0 19 0 833567649 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18821] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18821/stat : 18821 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833567649 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18822] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18822/stat : 18822 (java) S 18802 18804 18279 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833567649 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18823] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18823/stat : 18823 (java) S 18802 18804 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567688 10798096384 1013661 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1728.01
Current children cumulated vsize (KiB) 10545016
[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/591 18953
/proc/meminfo: memFree=17115136/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=10545016 CPUtime=1788.07 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 1024686 0 1 0 178691 116 0 0 25 0 19 0 833567642 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 2636254 1014466 2254 9 0 2626988 0
[pid=18804/tid=18805] ppid=18802 vsize=10545016 CPUtime=1780.44 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 779486 0 1 0 177963 81 0 0 25 0 19 0 833567643 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 46912505935769 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18804/tid=18807] ppid=18802 vsize=10545016 CPUtime=0.65 cores=1,3,5,7
/proc/18804/task/18807/stat : 18807 (java) S 18802 18804 18279 0 -1 4202560 25052 0 0 0 62 3 0 0 16 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18808] ppid=18802 vsize=10545016 CPUtime=0.76 cores=1,3,5,7
/proc/18804/task/18808/stat : 18808 (java) S 18802 18804 18279 0 -1 4202560 28267 0 0 0 72 4 0 0 15 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18809] ppid=18802 vsize=10545016 CPUtime=0.84 cores=1,3,5,7
/proc/18804/task/18809/stat : 18809 (java) S 18802 18804 18279 0 -1 4202560 31267 0 0 0 81 3 0 0 16 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18810] ppid=18802 vsize=10545016 CPUtime=0.69 cores=1,3,5,7
/proc/18804/task/18810/stat : 18810 (java) S 18802 18804 18279 0 -1 4202560 31866 0 0 0 66 3 0 0 16 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18811] ppid=18802 vsize=10545016 CPUtime=0.7 cores=1,3,5,7
/proc/18804/task/18811/stat : 18811 (java) S 18802 18804 18279 0 -1 4202560 29775 0 0 0 66 4 0 0 15 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18812] ppid=18802 vsize=10545016 CPUtime=0.86 cores=1,3,5,7
/proc/18804/task/18812/stat : 18812 (java) S 18802 18804 18279 0 -1 4202560 32396 0 0 0 83 3 0 0 16 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18813] ppid=18802 vsize=10545016 CPUtime=0.64 cores=1,3,5,7
/proc/18804/task/18813/stat : 18813 (java) S 18802 18804 18279 0 -1 4202560 32290 0 0 0 60 4 0 0 15 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18814] ppid=18802 vsize=10545016 CPUtime=0.7 cores=1,3,5,7
/proc/18804/task/18814/stat : 18814 (java) S 18802 18804 18279 0 -1 4202560 24308 0 0 0 67 3 0 0 15 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18815] ppid=18802 vsize=10545016 CPUtime=0.02 cores=1,3,5,7
/proc/18804/task/18815/stat : 18815 (java) S 18802 18804 18279 0 -1 4202560 102 0 0 0 1 1 0 0 15 0 19 0 833567646 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 0 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18816] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18816/stat : 18816 (java) S 18802 18804 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833567646 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18817] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18817/stat : 18817 (java) S 18802 18804 18279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833567646 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18818] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18818/stat : 18818 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833567649 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488518577 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18819] ppid=18802 vsize=10545016 CPUtime=0.83 cores=1,3,5,7
/proc/18804/task/18819/stat : 18819 (java) S 18802 18804 18279 0 -1 4202560 4229 0 0 0 82 1 0 0 15 0 19 0 833567649 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18820] ppid=18802 vsize=10545016 CPUtime=0.83 cores=1,3,5,7
/proc/18804/task/18820/stat : 18820 (java) S 18802 18804 18279 0 -1 4202560 4396 0 0 0 83 0 0 0 15 0 19 0 833567649 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18821] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18821/stat : 18821 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833567649 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18822] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18822/stat : 18822 (java) S 18802 18804 18279 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833567649 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18823] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18823/stat : 18823 (java) S 18802 18804 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567688 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1788.07
Current children cumulated vsize (KiB) 10545016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.3 s]
/proc/loadavg: 2.24 2.10 2.02 3/591 18953
/proc/meminfo: memFree=17109648/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=10545016 CPUtime=1800.08 cores=1,3,5,7
/proc/18804/stat : 18804 (java) S 18802 18804 18279 0 -1 4202496 1024686 0 1 0 179892 116 0 0 25 0 19 0 833567642 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 2636254 1014466 2254 9 0 2626988 0
[pid=18804/tid=18805] ppid=18802 vsize=10545016 CPUtime=1792.46 cores=1,3,5,7
/proc/18804/task/18805/stat : 18805 (java) R 18802 18804 18279 0 -1 4202560 779486 0 1 0 179165 81 0 0 25 0 19 0 833567643 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 46912506145850 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18804/tid=18807] ppid=18802 vsize=10545016 CPUtime=0.65 cores=1,3,5,7
/proc/18804/task/18807/stat : 18807 (java) S 18802 18804 18279 0 -1 4202560 25052 0 0 0 62 3 0 0 16 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18808] ppid=18802 vsize=10545016 CPUtime=0.76 cores=1,3,5,7
/proc/18804/task/18808/stat : 18808 (java) S 18802 18804 18279 0 -1 4202560 28267 0 0 0 72 4 0 0 15 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18809] ppid=18802 vsize=10545016 CPUtime=0.84 cores=1,3,5,7
/proc/18804/task/18809/stat : 18809 (java) S 18802 18804 18279 0 -1 4202560 31267 0 0 0 81 3 0 0 16 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18810] ppid=18802 vsize=10545016 CPUtime=0.69 cores=1,3,5,7
/proc/18804/task/18810/stat : 18810 (java) S 18802 18804 18279 0 -1 4202560 31866 0 0 0 66 3 0 0 16 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18811] ppid=18802 vsize=10545016 CPUtime=0.7 cores=1,3,5,7
/proc/18804/task/18811/stat : 18811 (java) S 18802 18804 18279 0 -1 4202560 29775 0 0 0 66 4 0 0 15 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18812] ppid=18802 vsize=10545016 CPUtime=0.86 cores=1,3,5,7
/proc/18804/task/18812/stat : 18812 (java) S 18802 18804 18279 0 -1 4202560 32396 0 0 0 83 3 0 0 16 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18813] ppid=18802 vsize=10545016 CPUtime=0.64 cores=1,3,5,7
/proc/18804/task/18813/stat : 18813 (java) S 18802 18804 18279 0 -1 4202560 32290 0 0 0 60 4 0 0 15 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 7 0 0 0
[pid=18804/tid=18814] ppid=18802 vsize=10545016 CPUtime=0.7 cores=1,3,5,7
/proc/18804/task/18814/stat : 18814 (java) S 18802 18804 18279 0 -1 4202560 24308 0 0 0 67 3 0 0 15 0 19 0 833567645 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18815] ppid=18802 vsize=10545016 CPUtime=0.02 cores=1,3,5,7
/proc/18804/task/18815/stat : 18815 (java) S 18802 18804 18279 0 -1 4202560 102 0 0 0 1 1 0 0 15 0 19 0 833567646 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 0 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18816] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18816/stat : 18816 (java) S 18802 18804 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833567646 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18817] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18817/stat : 18817 (java) S 18802 18804 18279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833567646 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18818] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18818/stat : 18818 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833567649 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488518577 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18819] ppid=18802 vsize=10545016 CPUtime=0.83 cores=1,3,5,7
/proc/18804/task/18819/stat : 18819 (java) S 18802 18804 18279 0 -1 4202560 4229 0 0 0 82 1 0 0 15 0 19 0 833567649 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 3 0 0 0
[pid=18804/tid=18820] ppid=18802 vsize=10545016 CPUtime=0.83 cores=1,3,5,7
/proc/18804/task/18820/stat : 18820 (java) S 18802 18804 18279 0 -1 4202560 4396 0 0 0 83 0 0 0 15 0 19 0 833567649 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 5 0 0 0
[pid=18804/tid=18821] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18821/stat : 18821 (java) S 18802 18804 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833567649 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488510873 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18822] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18822/stat : 18822 (java) S 18802 18804 18279 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833567649 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
[pid=18804/tid=18823] ppid=18802 vsize=10545016 CPUtime=0 cores=1,3,5,7
/proc/18804/task/18823/stat : 18823 (java) S 18802 18804 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567688 10798096384 1014466 33554432000 1073741824 1073778376 140736181413920 18446744073709551615 239488511488 0 4 0 16800975 18446604469099592384 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10545016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.5 s]
/proc/loadavg: 2.24 2.10 2.02 3/591 18953
/proc/meminfo: memFree=17109648/32950928 swapFree=67056580/67111528
[pid=18804] ppid=18802 vsize=0 CPUtime=1800.34 cores=1,3,5,7
/proc/18804/stat : 18804 (java) Z 18802 18804 18279 0 -1 4203548 1024922 0 1 0 179906 128 0 0 17 0 2 0 833567642 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18804/statm: 0 0 0 0 0 0 0
[pid=18804/tid=18823] ppid=18802 vsize=0 CPUtime=0.11 cores=1,3,5,7
/proc/18804/task/18823/stat : 18823 (java) R 18802 18804 18279 0 -1 4203588 7 0 0 0 0 11 0 0 18 0 2 0 833567688 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.55
CPU time (s): 1800.39
CPU user time (s): 1799.07
CPU system time (s): 1.3248
CPU usage (%): 100.326
Max. virtual memory (cumulated for all children) (KiB): 10548632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.3248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1024922
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38465
involuntary context switches= 5067
runsolver used 9.69353 second user time and 24.0953 second system time
The end