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-3459196-1307134191/watcher-3459196-1307134191 -o /tmp/evaluation-result-3459196-1307134191/solver-3459196-1307134191 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459196-1307134191.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.31 2.22 2.74 2/501 16813
/proc/meminfo: memFree=24809748/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 1971 0 1 0 0 0 0 0 25 0 2 0 903649795 13833195520 1673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3377245 1685 906 9 0 3368401 0
[pid=16813/tid=16814] ppid=16811 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 6877 0 1 0 0 0 0 0 25 0 2 0 903649795 13850947584 7692 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0207089 s]
/proc/loadavg: 2.31 2.22 2.74 2/501 16813
/proc/meminfo: memFree=24809748/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 9854 0 1 0 0 0 0 0 25 0 2 0 903649795 13850947584 9556 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3381579 9572 917 9 0 3372735 0
[pid=16813/tid=16814] ppid=16811 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 8768 0 1 0 0 0 0 0 25 0 2 0 903649795 13850947584 9583 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13526316
[startup+0.100697 s]
/proc/loadavg: 2.31 2.22 2.74 2/501 16813
/proc/meminfo: memFree=24809748/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13687104 CPUtime=0.11 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 15608 0 1 0 10 1 0 0 25 0 18 0 903649795 14015594496 15261 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3421776 15261 2092 9 0 3412510 0
[pid=16813/tid=16814] ppid=16811 vsize=13687104 CPUtime=0.08 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 13641 0 1 0 8 0 0 0 25 0 18 0 903649795 14015594496 15261 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 47588877638565 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13687104
[startup+0.300722 s]
/proc/loadavg: 2.31 2.22 2.74 2/501 16813
/proc/meminfo: memFree=24809748/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13691224 CPUtime=0.57 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 18849 0 1 0 56 1 0 0 25 0 19 0 903649795 14019813376 17423 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3422806 17423 2214 9 0 3413540 0
[pid=16813/tid=16814] ppid=16811 vsize=13691224 CPUtime=0.28 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 14231 0 1 0 28 0 0 0 25 0 19 0 903649795 14019813376 17423 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 46912505528138 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13691224
[startup+0.700588 s]
/proc/loadavg: 2.31 2.22 2.74 2/501 16813
/proc/meminfo: memFree=24809748/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13691224 CPUtime=1.07 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 20071 0 1 0 105 2 0 0 25 0 19 0 903649795 14019813376 18372 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3422806 18372 2246 9 0 3413540 0
[pid=16813/tid=16814] ppid=16811 vsize=13691224 CPUtime=0.66 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 14430 0 1 0 65 1 0 0 25 0 19 0 903649795 14019813376 18372 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 46912505546246 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 13691224
[startup+1.50144 s]
/proc/loadavg: 2.31 2.22 2.74 3/520 16832
/proc/meminfo: memFree=24743528/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13691380 CPUtime=1.9 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 20374 0 1 0 188 2 0 0 25 0 19 0 903649795 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3422845 18673 2247 9 0 3413579 0
[pid=16813/tid=16814] ppid=16811 vsize=13691380 CPUtime=1.43 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 14430 0 1 0 142 1 0 0 25 0 19 0 903649795 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 46912505528199 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16813/tid=16816] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16816/stat : 16816 (java) S 16811 16813 14759 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16817] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16817/stat : 16817 (java) S 16811 16813 14759 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16818] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16818/stat : 16818 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16819] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16819/stat : 16819 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16820] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16820/stat : 16820 (java) S 16811 16813 14759 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16821] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16821/stat : 16821 (java) S 16811 16813 14759 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16822] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16822/stat : 16822 (java) S 16811 16813 14759 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16823] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16823/stat : 16823 (java) S 16811 16813 14759 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16824] ppid=16811 vsize=13691380 CPUtime=0.05 cores=1,3,5,7
/proc/16813/task/16824/stat : 16824 (java) S 16811 16813 14759 0 -1 4202560 389 0 0 0 5 0 0 0 16 0 19 0 903649798 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 0 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16825] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16825/stat : 16825 (java) S 16811 16813 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903649799 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16826] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16826/stat : 16826 (java) S 16811 16813 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903649799 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16827] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16827/stat : 16827 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917217713 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16828] ppid=16811 vsize=13691380 CPUtime=0.21 cores=1,3,5,7
/proc/16813/task/16828/stat : 16828 (java) S 16811 16813 14759 0 -1 4202560 1470 0 0 0 21 0 0 0 15 0 19 0 903649801 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16829] ppid=16811 vsize=13691380 CPUtime=0.18 cores=1,3,5,7
/proc/16813/task/16829/stat : 16829 (java) S 16811 16813 14759 0 -1 4202560 2353 0 0 0 18 0 0 0 17 0 19 0 903649801 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16830] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16830/stat : 16830 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16831] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16831/stat : 16831 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903649801 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16832] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16832/stat : 16832 (java) S 16811 16813 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903649812 14019973120 18673 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13691380
[startup+3.10121 s]
/proc/loadavg: 2.31 2.22 2.74 3/520 16878
/proc/meminfo: memFree=24744604/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13691380 CPUtime=3.51 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 20612 0 1 0 349 2 0 0 25 0 19 0 903649795 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3422845 18906 2247 9 0 3413579 0
[pid=16813/tid=16814] ppid=16811 vsize=13691380 CPUtime=2.95 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 14435 0 1 0 294 1 0 0 25 0 19 0 903649795 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 46912505513899 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16813/tid=16816] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16816/stat : 16816 (java) S 16811 16813 14759 0 -1 4202560 131 0 0 0 0 0 0 0 16 0 19 0 903649797 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16817] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16817/stat : 16817 (java) S 16811 16813 14759 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16818] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16818/stat : 16818 (java) S 16811 16813 14759 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16819] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16819/stat : 16819 (java) S 16811 16813 14759 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16820] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16820/stat : 16820 (java) S 16811 16813 14759 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16821] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16821/stat : 16821 (java) S 16811 16813 14759 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16822] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16822/stat : 16822 (java) S 16811 16813 14759 0 -1 4202560 76 0 0 0 0 0 0 0 16 0 19 0 903649797 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16823] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16823/stat : 16823 (java) S 16811 16813 14759 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 903649797 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16824] ppid=16811 vsize=13691380 CPUtime=0.12 cores=1,3,5,7
/proc/16813/task/16824/stat : 16824 (java) S 16811 16813 14759 0 -1 4202560 597 0 0 0 12 0 0 0 16 0 19 0 903649798 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 0 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16825] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16825/stat : 16825 (java) S 16811 16813 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903649799 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16826] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16826/stat : 16826 (java) S 16811 16813 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903649799 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16827] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16827/stat : 16827 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917217713 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16828] ppid=16811 vsize=13691380 CPUtime=0.21 cores=1,3,5,7
/proc/16813/task/16828/stat : 16828 (java) S 16811 16813 14759 0 -1 4202560 1470 0 0 0 21 0 0 0 15 0 19 0 903649801 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16829] ppid=16811 vsize=13691380 CPUtime=0.18 cores=1,3,5,7
/proc/16813/task/16829/stat : 16829 (java) S 16811 16813 14759 0 -1 4202560 2353 0 0 0 18 0 0 0 17 0 19 0 903649801 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16830] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16830/stat : 16830 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16831] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16831/stat : 16831 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903649801 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16832] ppid=16811 vsize=13691380 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16832/stat : 16832 (java) S 16811 16813 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903649812 14019973120 18906 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 13691380
[startup+6.30062 s]
/proc/loadavg: 2.29 2.21 2.73 3/520 16925
/proc/meminfo: memFree=24741580/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13690852 CPUtime=6.72 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 20706 0 1 0 670 2 0 0 25 0 19 0 903649795 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3422713 18615 2247 9 0 3413447 0
[pid=16813/tid=16814] ppid=16811 vsize=13690852 CPUtime=6.02 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 14445 0 1 0 601 1 0 0 25 0 19 0 903649795 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 46912505522885 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16813/tid=16816] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16816/stat : 16816 (java) S 16811 16813 14759 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16817] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16817/stat : 16817 (java) S 16811 16813 14759 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16818] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16818/stat : 16818 (java) S 16811 16813 14759 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16819] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16819/stat : 16819 (java) S 16811 16813 14759 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 19 0 903649797 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16820] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16820/stat : 16820 (java) S 16811 16813 14759 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 19 0 903649797 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16821] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16821/stat : 16821 (java) S 16811 16813 14759 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16822] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16822/stat : 16822 (java) S 16811 16813 14759 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16823] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16823/stat : 16823 (java) S 16811 16813 14759 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16824] ppid=16811 vsize=13690852 CPUtime=0.24 cores=1,3,5,7
/proc/16813/task/16824/stat : 16824 (java) S 16811 16813 14759 0 -1 4202560 672 0 0 0 24 0 0 0 16 0 19 0 903649798 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 0 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16825] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16825/stat : 16825 (java) S 16811 16813 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903649799 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16826] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16826/stat : 16826 (java) S 16811 16813 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903649799 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16827] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16827/stat : 16827 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917217713 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16828] ppid=16811 vsize=13690852 CPUtime=0.21 cores=1,3,5,7
/proc/16813/task/16828/stat : 16828 (java) S 16811 16813 14759 0 -1 4202560 1470 0 0 0 21 0 0 0 15 0 19 0 903649801 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16829] ppid=16811 vsize=13690852 CPUtime=0.18 cores=1,3,5,7
/proc/16813/task/16829/stat : 16829 (java) S 16811 16813 14759 0 -1 4202560 2353 0 0 0 18 0 0 0 17 0 19 0 903649801 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16830] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16830/stat : 16830 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16831] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16831/stat : 16831 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903649801 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16832] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16832/stat : 16832 (java) S 16811 16813 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903649812 14019432448 18615 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 13690852
[startup+12.7015 s]
/proc/loadavg: 2.26 2.21 2.73 3/520 16972
/proc/meminfo: memFree=24736136/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13690852 CPUtime=13.15 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 20793 0 1 0 1312 3 0 0 25 0 19 0 903649795 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3422713 18675 2247 9 0 3413447 0
[pid=16813/tid=16814] ppid=16811 vsize=13690852 CPUtime=12.12 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 14464 0 1 0 1211 1 0 0 25 0 19 0 903649795 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 46912505580793 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16813/tid=16816] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16816/stat : 16816 (java) S 16811 16813 14759 0 -1 4202560 131 0 0 0 1 0 0 0 16 0 19 0 903649797 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16817] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16817/stat : 16817 (java) S 16811 16813 14759 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16818] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16818/stat : 16818 (java) S 16811 16813 14759 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16819] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16819/stat : 16819 (java) S 16811 16813 14759 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 903649797 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16820] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16820/stat : 16820 (java) S 16811 16813 14759 0 -1 4202560 105 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16821] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16821/stat : 16821 (java) S 16811 16813 14759 0 -1 4202560 114 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16822] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16822/stat : 16822 (java) S 16811 16813 14759 0 -1 4202560 77 0 0 0 1 0 0 0 16 0 19 0 903649797 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16823] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16823/stat : 16823 (java) S 16811 16813 14759 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16824] ppid=16811 vsize=13690852 CPUtime=0.51 cores=1,3,5,7
/proc/16813/task/16824/stat : 16824 (java) S 16811 16813 14759 0 -1 4202560 732 0 0 0 51 0 0 0 15 0 19 0 903649798 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 0 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16825] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16825/stat : 16825 (java) S 16811 16813 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903649799 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16826] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16826/stat : 16826 (java) S 16811 16813 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903649799 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16827] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16827/stat : 16827 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917217713 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16828] ppid=16811 vsize=13690852 CPUtime=0.21 cores=1,3,5,7
/proc/16813/task/16828/stat : 16828 (java) S 16811 16813 14759 0 -1 4202560 1470 0 0 0 21 0 0 0 15 0 19 0 903649801 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16829] ppid=16811 vsize=13690852 CPUtime=0.18 cores=1,3,5,7
/proc/16813/task/16829/stat : 16829 (java) S 16811 16813 14759 0 -1 4202560 2353 0 0 0 18 0 0 0 17 0 19 0 903649801 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16830] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16830/stat : 16830 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16831] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16831/stat : 16831 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903649801 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16832] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16832/stat : 16832 (java) S 16811 16813 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903649812 14019432448 18675 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.15
Current children cumulated vsize (KiB) 13690852
Solver just ended. Dumping a history of the last processes samples
[startup+13.5013 s]
/proc/loadavg: 2.26 2.21 2.73 4/520 17018
/proc/meminfo: memFree=24741840/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13690852 CPUtime=13.95 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 20812 0 1 0 1392 3 0 0 25 0 19 0 903649795 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3422713 18690 2248 9 0 3413447 0
[pid=16813/tid=16814] ppid=16811 vsize=13690852 CPUtime=12.88 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 14468 0 1 0 1287 1 0 0 25 0 19 0 903649795 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 46912505555418 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16813/tid=16816] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16816/stat : 16816 (java) S 16811 16813 14759 0 -1 4202560 131 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16817] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16817/stat : 16817 (java) S 16811 16813 14759 0 -1 4202560 77 0 0 0 0 0 0 0 16 0 19 0 903649797 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16818] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16818/stat : 16818 (java) S 16811 16813 14759 0 -1 4202560 12 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16819] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16819/stat : 16819 (java) S 16811 16813 14759 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16820] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16820/stat : 16820 (java) S 16811 16813 14759 0 -1 4202560 106 0 0 0 1 0 0 0 16 0 19 0 903649797 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16821] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16821/stat : 16821 (java) S 16811 16813 14759 0 -1 4202560 114 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16822] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16822/stat : 16822 (java) S 16811 16813 14759 0 -1 4202560 77 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16823] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16823/stat : 16823 (java) S 16811 16813 14759 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16824] ppid=16811 vsize=13690852 CPUtime=0.55 cores=1,3,5,7
/proc/16813/task/16824/stat : 16824 (java) S 16811 16813 14759 0 -1 4202560 744 0 0 0 55 0 0 0 15 0 19 0 903649798 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 0 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16825] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16825/stat : 16825 (java) S 16811 16813 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903649799 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16826] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16826/stat : 16826 (java) S 16811 16813 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903649799 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16827] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16827/stat : 16827 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917217713 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16828] ppid=16811 vsize=13690852 CPUtime=0.21 cores=1,3,5,7
/proc/16813/task/16828/stat : 16828 (java) S 16811 16813 14759 0 -1 4202560 1470 0 0 0 21 0 0 0 15 0 19 0 903649801 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16829] ppid=16811 vsize=13690852 CPUtime=0.18 cores=1,3,5,7
/proc/16813/task/16829/stat : 16829 (java) S 16811 16813 14759 0 -1 4202560 2353 0 0 0 18 0 0 0 17 0 19 0 903649801 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16830] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16830/stat : 16830 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16831] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16831/stat : 16831 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903649801 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16832] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16832/stat : 16832 (java) S 16811 16813 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903649812 14019432448 18690 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.95
Current children cumulated vsize (KiB) 13690852
[startup+13.9012 s]
/proc/loadavg: 2.26 2.21 2.73 4/520 17018
/proc/meminfo: memFree=24741840/32950928 swapFree=61542356/67111528
[pid=16813] ppid=16811 vsize=13690852 CPUtime=14.48 cores=1,3,5,7
/proc/16813/stat : 16813 (java) S 16811 16813 14759 0 -1 4202496 24735 0 1 0 1445 3 0 0 25 0 19 0 903649795 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16813/statm: 3422713 21408 2249 9 0 3413447 0
[pid=16813/tid=16814] ppid=16811 vsize=13690852 CPUtime=13.26 cores=1,3,5,7
/proc/16813/task/16814/stat : 16814 (java) R 16811 16813 14759 0 -1 4202560 14470 0 1 0 1325 1 0 0 25 0 19 0 903649795 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 46912505612700 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16813/tid=16816] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16816/stat : 16816 (java) S 16811 16813 14759 0 -1 4202560 131 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16817] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16817/stat : 16817 (java) S 16811 16813 14759 0 -1 4202560 77 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16818] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16818/stat : 16818 (java) S 16811 16813 14759 0 -1 4202560 12 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16819] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16819/stat : 16819 (java) S 16811 16813 14759 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16820] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16820/stat : 16820 (java) S 16811 16813 14759 0 -1 4202560 106 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16821] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16821/stat : 16821 (java) S 16811 16813 14759 0 -1 4202560 114 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16822] ppid=16811 vsize=13690852 CPUtime=0.01 cores=1,3,5,7
/proc/16813/task/16822/stat : 16822 (java) S 16811 16813 14759 0 -1 4202560 77 0 0 0 1 0 0 0 15 0 19 0 903649797 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16823] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16823/stat : 16823 (java) S 16811 16813 14759 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 903649797 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16824] ppid=16811 vsize=13690852 CPUtime=0.57 cores=1,3,5,7
/proc/16813/task/16824/stat : 16824 (java) S 16811 16813 14759 0 -1 4202560 744 0 0 0 57 0 0 0 15 0 19 0 903649798 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 0 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16825] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16825/stat : 16825 (java) S 16811 16813 14759 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903649799 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16826] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16826/stat : 16826 (java) S 16811 16813 14759 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 903649799 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
[pid=16813/tid=16827] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16827/stat : 16827 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917217713 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16828] ppid=16811 vsize=13690852 CPUtime=0.25 cores=1,3,5,7
/proc/16813/task/16828/stat : 16828 (java) S 16811 16813 14759 0 -1 4202560 1474 0 0 0 25 0 0 0 15 0 19 0 903649801 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 3 0 0 0
[pid=16813/tid=16829] ppid=16811 vsize=13690852 CPUtime=0.28 cores=1,3,5,7
/proc/16813/task/16829/stat : 16829 (java) R 16811 16813 14759 0 -1 4202560 6270 0 0 0 27 1 0 0 16 0 19 0 903649801 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 47588879670576 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16813/tid=16830] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16830/stat : 16830 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903649801 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210009 0 4 0 16800975 18446604457983193216 0 0 -1 5 0 0 0
[pid=16813/tid=16831] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16831/stat : 16831 (java) S 16811 16813 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903649801 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 1 0 0 0
[pid=16813/tid=16832] ppid=16811 vsize=13690852 CPUtime=0 cores=1,3,5,7
/proc/16813/task/16832/stat : 16832 (java) S 16811 16813 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903649812 14019432448 21408 33554432000 1073741824 1073778376 140736878804496 18446744073709551615 260917210624 0 4 0 16800975 18446604457983193216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.48
Current children cumulated vsize (KiB) 13690852
Child status: 20
Real time (s): 13.9377
CPU time (s): 14.5398
CPU user time (s): 14.4938
CPU system time (s): 0.045993
CPU usage (%): 104.32
Max. virtual memory (cumulated for all children) (KiB): 13691380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4938
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25951
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= 1596
involuntary context switches= 697
runsolver used 0.06099 second user time and 0.175973 second system time
The end