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-3479177-1307446072/watcher-3479177-1307446072 -o /tmp/evaluation-result-3479177-1307446072/solver-3479177-1307446072 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3479177-1307446072.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.00 1.52 2/499 7424
/proc/meminfo: memFree=24191084/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 3679 0 1 0 0 0 0 0 25 0 2 0 856206872 13850947584 3381 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3381579 3393 917 9 0 3372735 0
[pid=7424/tid=7425] ppid=7422 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 7139 0 1 0 0 0 0 0 25 0 2 0 856206873 13850947584 7955 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.108066 s]
/proc/loadavg: 2.01 2.00 1.52 2/499 7424
/proc/meminfo: memFree=24191084/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13622028 CPUtime=0.11 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 15605 0 1 0 10 1 0 0 25 0 18 0 856206872 13948956672 15288 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3405507 15289 2093 9 0 3396241 0
[pid=7424/tid=7425] ppid=7422 vsize=13622028 CPUtime=0.09 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 13708 0 1 0 8 1 0 0 25 0 18 0 856206873 13948956672 15289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092059083 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622028
[startup+0.201049 s]
/proc/loadavg: 2.01 2.00 1.52 2/499 7424
/proc/meminfo: memFree=24191084/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13622160 CPUtime=0.3 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 16832 0 1 0 28 2 0 0 25 0 18 0 856206872 13949091840 16364 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3405540 16365 2187 9 0 3396274 0
[pid=7424/tid=7425] ppid=7422 vsize=13622160 CPUtime=0.18 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 14406 0 1 0 17 1 0 0 25 0 18 0 856206873 13949091840 16365 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13622160
[startup+0.301032 s]
/proc/loadavg: 2.01 2.00 1.52 2/499 7424
/proc/meminfo: memFree=24191084/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13622820 CPUtime=0.51 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 18915 0 1 0 49 2 0 0 25 0 18 0 856206872 13949767680 18156 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3405705 18157 2202 9 0 3396439 0
[pid=7424/tid=7425] ppid=7422 vsize=13622820 CPUtime=0.28 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 15845 0 1 0 27 1 0 0 25 0 18 0 856206873 13949767680 18158 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 46912505622147 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13622820
[startup+0.700954 s]
/proc/loadavg: 2.01 2.00 1.52 2/499 7424
/proc/meminfo: memFree=24191084/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13627144 CPUtime=1.39 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 28747 0 1 0 136 3 0 0 25 0 19 0 856206872 13954195456 25993 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3406786 25993 2236 9 0 3397520 0
[pid=7424/tid=7425] ppid=7422 vsize=13627144 CPUtime=0.68 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 21789 0 1 0 66 2 0 0 25 0 19 0 856206873 13954195456 25993 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 46912505802397 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 13627144
[startup+1.5008 s]
/proc/loadavg: 2.01 2.00 1.52 3/518 7443
/proc/meminfo: memFree=24088212/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13627144 CPUtime=2.31 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 30618 0 1 0 228 3 0 0 25 0 19 0 856206872 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3406786 27617 2264 9 0 3397520 0
[pid=7424/tid=7425] ppid=7422 vsize=13627144 CPUtime=1.45 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 21947 0 1 0 143 2 0 0 25 0 19 0 856206873 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 46912505667431 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7424/tid=7427] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856206875 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7428] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856206875 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7429] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856206875 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7430] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856206875 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7431] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856206875 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7432] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856206875 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7433] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7424 7149 0 -1 4202560 375 0 0 0 0 0 0 0 18 0 19 0 856206875 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7434] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7424 7149 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 19 0 856206875 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7435] ppid=7422 vsize=13627144 CPUtime=0.01 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7424 7149 0 -1 4202560 725 0 0 0 1 0 0 0 16 0 19 0 856206876 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 0 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7436] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7424 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7437] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7424 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7438] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092055985 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7439] ppid=7422 vsize=13627144 CPUtime=0.38 cores=1,3,5,7
/proc/7424/task/7439/stat : 7439 (java) S 7422 7424 7149 0 -1 4202560 3326 0 0 0 38 0 0 0 17 0 19 0 856206879 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7440] ppid=7422 vsize=13627144 CPUtime=0.42 cores=1,3,5,7
/proc/7424/task/7440/stat : 7440 (java) S 7422 7424 7149 0 -1 4202560 2744 0 0 0 42 0 0 0 19 0 19 0 856206879 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7441] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7441/stat : 7441 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7442] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7442/stat : 7442 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856206879 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7443] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7443/stat : 7443 (java) S 7422 7424 7149 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856206919 13954195456 27617 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 13627144
[startup+3.10049 s]
/proc/loadavg: 2.01 2.00 1.52 3/518 7443
/proc/meminfo: memFree=24085484/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13627144 CPUtime=3.96 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 31536 0 1 0 393 3 0 0 25 0 19 0 856206872 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3406786 28123 2264 9 0 3397520 0
[pid=7424/tid=7425] ppid=7422 vsize=13627144 CPUtime=2.99 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 21950 0 1 0 297 2 0 0 25 0 19 0 856206873 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 46912505667431 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7424/tid=7427] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7424 7149 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7428] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7424 7149 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7429] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7424 7149 0 -1 4202560 89 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7430] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7424 7149 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7431] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7432] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7424 7149 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7433] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7424 7149 0 -1 4202560 375 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7434] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7424 7149 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7435] ppid=7422 vsize=13627144 CPUtime=0.07 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7424 7149 0 -1 4202560 915 0 0 0 7 0 0 0 16 0 19 0 856206876 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 0 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7436] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7424 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7437] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7424 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7438] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092055985 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7439] ppid=7422 vsize=13627144 CPUtime=0.39 cores=1,3,5,7
/proc/7424/task/7439/stat : 7439 (java) S 7422 7424 7149 0 -1 4202560 3327 0 0 0 39 0 0 0 15 0 19 0 856206879 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7440] ppid=7422 vsize=13627144 CPUtime=0.47 cores=1,3,5,7
/proc/7424/task/7440/stat : 7440 (java) S 7422 7424 7149 0 -1 4202560 3161 0 0 0 47 0 0 0 15 0 19 0 856206879 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7441] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7441/stat : 7441 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7442] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7442/stat : 7442 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856206879 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7443] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7443/stat : 7443 (java) S 7422 7424 7149 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856206919 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 13627144
Solver just ended. Dumping a history of the last processes samples
[startup+3.20147 s]
/proc/loadavg: 2.01 2.00 1.52 3/518 7443
/proc/meminfo: memFree=24085484/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13627144 CPUtime=4.07 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 31536 0 1 0 404 3 0 0 25 0 19 0 856206872 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3406786 28123 2264 9 0 3397520 0
[pid=7424/tid=7425] ppid=7422 vsize=13627144 CPUtime=3.09 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 21950 0 1 0 307 2 0 0 25 0 19 0 856206873 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 46912505802414 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7424/tid=7427] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7424 7149 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7428] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7424 7149 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7429] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7424 7149 0 -1 4202560 89 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7430] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7424 7149 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7431] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7432] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7424 7149 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7433] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7424 7149 0 -1 4202560 375 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7434] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7424 7149 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7435] ppid=7422 vsize=13627144 CPUtime=0.07 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7424 7149 0 -1 4202560 915 0 0 0 7 0 0 0 16 0 19 0 856206876 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 0 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7436] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7424 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7437] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7424 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7438] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092055985 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7439] ppid=7422 vsize=13627144 CPUtime=0.39 cores=1,3,5,7
/proc/7424/task/7439/stat : 7439 (java) S 7422 7424 7149 0 -1 4202560 3327 0 0 0 39 0 0 0 15 0 19 0 856206879 13954195456 28123 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/7424/statm: 3406786 28207 2264 9 0 3397520 0
[pid=7424/tid=7425] ppid=7422 vsize=13627144 CPUtime=3.87 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 21951 0 1 0 385 2 0 0 25 0 19 0 856206873 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7424/tid=7427] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7424 7149 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7428] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7424 7149 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7429] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7424 7149 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7430] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7424 7149 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7431] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7424 7149 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7432] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7424 7149 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7433] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7424 7149 0 -1 4202560 375 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7434] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7424 7149 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7435] ppid=7422 vsize=13627144 CPUtime=0.09 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7424 7149 0 -1 4202560 995 0 0 0 9 0 0 0 16 0 19 0 856206876 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 0 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7436] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7424 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7437] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7424 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7438] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092055985 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7439] ppid=7422 vsize=13627144 CPUtime=0.39 cores=1,3,5,7
/proc/7424/task/7439/stat : 7439 (java) S 7422 7424 7149 0 -1 4202560 3327 0 0 0 39 0 0 0 15 0 19 0 856206879 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7440] ppid=7422 vsize=13627144 CPUtime=0.47 cores=1,3,5,7
/proc/7424/task/7440/stat : 7440 (java) S 7422 7424 7149 0 -1 4202560 3161 0 0 0 47 0 0 0 15 0 19 0 856206879 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7441] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7441/stat : 7441 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7442] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7442/stat : 7442 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856206879 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7443] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7443/stat : 7443 (java) S 7422 7424 7149 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856206919 13954195456 28207 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 13627144
[startup+4.80123 s]
/proc/loadavg: 2.01 2.00 1.52 3/518 7443
/proc/meminfo: memFree=24083524/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13627144 CPUtime=5.74 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 31705 0 1 0 571 3 0 0 25 0 19 0 856206872 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3406786 28289 2264 9 0 3397520 0
[pid=7424/tid=7425] ppid=7422 vsize=13627144 CPUtime=4.65 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 21965 0 1 0 463 2 0 0 25 0 19 0 856206873 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 46912505698921 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7424/tid=7427] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7424 7149 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7428] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7424 7149 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7429] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7424 7149 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7430] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7424 7149 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7431] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7424 7149 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7432] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7424 7149 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7433] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7424 7149 0 -1 4202560 375 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7434] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7424 7149 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7435] ppid=7422 vsize=13627144 CPUtime=0.11 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7424 7149 0 -1 4202560 1065 0 0 0 11 0 0 0 16 0 19 0 856206876 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 0 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7436] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7424 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7437] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7424 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7438] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092055985 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7439] ppid=7422 vsize=13627144 CPUtime=0.42 cores=1,3,5,7
/proc/7424/task/7439/stat : 7439 (java) S 7422 7424 7149 0 -1 4202560 3327 0 0 0 42 0 0 0 15 0 19 0 856206879 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7440] ppid=7422 vsize=13627144 CPUtime=0.5 cores=1,3,5,7
/proc/7424/task/7440/stat : 7440 (java) S 7422 7424 7149 0 -1 4202560 3161 0 0 0 50 0 0 0 15 0 19 0 856206879 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7441] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7441/stat : 7441 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7442] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7442/stat : 7442 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856206879 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7443] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7443/stat : 7443 (java) S 7422 7424 7149 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856206919 13954195456 28289 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 13627144
[startup+5.20109 s]
/proc/loadavg: 2.01 2.00 1.52 3/518 7443
/proc/meminfo: memFree=24083524/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13627144 CPUtime=6.2 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 32390 0 1 0 617 3 0 0 25 0 19 0 856206872 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3406786 28331 2264 9 0 3397520 0
[pid=7424/tid=7425] ppid=7422 vsize=13627144 CPUtime=5.03 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7424 7149 0 -1 4202560 21966 0 1 0 501 2 0 0 25 0 19 0 856206873 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 46912505802254 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7424/tid=7427] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7424 7149 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7428] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7424 7149 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7429] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7424 7149 0 -1 4202560 89 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7430] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7424 7149 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7431] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7424 7149 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7432] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7424 7149 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7433] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7424 7149 0 -1 4202560 375 0 0 0 0 0 0 0 15 0 19 0 856206875 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7434] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7424 7149 0 -1 4202560 346 0 0 0 0 0 0 0 16 0 19 0 856206875 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7435] ppid=7422 vsize=13627144 CPUtime=0.12 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7424 7149 0 -1 4202560 1097 0 0 0 12 0 0 0 16 0 19 0 856206876 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 0 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7436] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7424 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7437] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7424 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856206876 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7438] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092055985 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7439] ppid=7422 vsize=13627144 CPUtime=0.42 cores=1,3,5,7
/proc/7424/task/7439/stat : 7439 (java) S 7422 7424 7149 0 -1 4202560 3327 0 0 0 42 0 0 0 15 0 19 0 856206879 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7440] ppid=7422 vsize=13627144 CPUtime=0.56 cores=1,3,5,7
/proc/7424/task/7440/stat : 7440 (java) S 7422 7424 7149 0 -1 4202560 3813 0 0 0 56 0 0 0 16 0 19 0 856206879 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7441] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7441/stat : 7441 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856206879 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7442] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7442/stat : 7442 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856206879 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7443] ppid=7422 vsize=13627144 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7443/stat : 7443 (java) S 7422 7424 7149 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856206919 13954195456 28331 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 13627144
[startup+5.30548 s]
/proc/loadavg: 2.01 2.00 1.52 3/518 7443
/proc/meminfo: memFree=24083524/32950928 swapFree=39617324/67111528
[pid=7424] ppid=7422 vsize=13628172 CPUtime=6.32 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7424 7149 0 -1 4202496 32469 0 1 0 629 3 0 0 25 0 17 0 856206872 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7424/statm: 3407043 28300 2267 9 0 3397777 0
[pid=7424/tid=7425] ppid=7422 vsize=13628172 CPUtime=5.12 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) S 7422 7424 7149 0 -1 4202560 21971 0 1 0 510 2 0 0 25 0 17 0 856206873 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7427] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7424 7149 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 17 0 856206875 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7428] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7424 7149 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 17 0 856206875 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7429] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7424 7149 0 -1 4202560 89 0 0 0 0 0 0 0 16 0 17 0 856206875 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7430] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7424 7149 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 17 0 856206875 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7431] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7424 7149 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 17 0 856206875 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7432] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7424 7149 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 17 0 856206875 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7433] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7424 7149 0 -1 4202560 375 0 0 0 0 0 0 0 15 0 17 0 856206875 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7434] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7424 7149 0 -1 4202560 346 0 0 0 0 0 0 0 16 0 17 0 856206875 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7435] ppid=7422 vsize=13628172 CPUtime=0.12 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7424 7149 0 -1 4202560 1097 0 0 0 12 0 0 0 15 0 17 0 856206876 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 0 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7436] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7424 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 17 0 856206876 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7437] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7424 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 17 0 856206876 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7439] ppid=7422 vsize=13628172 CPUtime=0.43 cores=1,3,5,7
/proc/7424/task/7439/stat : 7439 (java) S 7422 7424 7149 0 -1 4202560 3328 0 0 0 43 0 0 0 15 0 17 0 856206879 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 5 0 0 0
[pid=7424/tid=7440] ppid=7422 vsize=13628172 CPUtime=0.57 cores=1,3,5,7
/proc/7424/task/7440/stat : 7440 (java) S 7422 7424 7149 0 -1 4202560 3814 0 0 0 57 0 0 0 15 0 17 0 856206879 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 7 0 0 0
[pid=7424/tid=7441] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7441/stat : 7441 (java) S 7422 7424 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 856206879 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048281 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
[pid=7424/tid=7443] ppid=7422 vsize=13628172 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7443/stat : 7443 (java) S 7422 7424 7149 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 17 0 856206919 13955248128 28300 33554432000 1073741824 1073778376 140736250907776 18446744073709551615 208092048896 0 4 0 16800975 18446604465402332224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 13628172
Child status: 30
Real time (s): 5.32192
CPU time (s): 6.34104
CPU user time (s): 6.29804
CPU system time (s): 0.042993
CPU usage (%): 119.149
Max. virtual memory (cumulated for all children) (KiB): 13628172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.29804
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32469
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= 573
involuntary context switches= 203
runsolver used 0.021996 second user time and 0.067989 second system time
The end