runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) 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: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand740.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand740.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand740.cudf.user-upgrades.result -sum(installedsize) Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.85 1.01 1.00 3/35 28126 /proc/meminfo: memFree=372608/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=11356 CPUtime=0 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 917 0 0 0 0 0 0 0 25 0 2 0 64719318 11628544 651 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 2839 651 285 10 0 1185 0 [pid=28125/tid=28126] ppid=28124 vsize=11356 CPUtime=0 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 64719318 11628544 651 1283457024 134512640 134550932 4293363664 18446744073709551615 4159118952 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.174238 s] /proc/loadavg: 0.85 1.01 1.00 3/35 28126 /proc/meminfo: memFree=372608/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=410068 CPUtime=0.17 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 4164 0 1 0 16 1 0 0 25 0 9 0 64719318 419909632 3595 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102517 3595 1940 10 0 96665 0 [pid=28125/tid=28126] ppid=28124 vsize=410068 CPUtime=0.15 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 2962 0 1 0 14 1 0 0 25 0 9 0 64719318 419909632 3595 1283457024 134512640 134550932 4293363664 18446744073709551615 4114477044 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 412640 [startup+0.204242 s] /proc/loadavg: 0.85 1.01 1.00 3/35 28126 /proc/meminfo: memFree=372608/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=410068 CPUtime=0.2 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 4372 0 1 0 19 1 0 0 25 0 9 0 64719318 419909632 3803 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102517 3803 1940 10 0 96665 0 [pid=28125/tid=28126] ppid=28124 vsize=410068 CPUtime=0.18 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 3170 0 1 0 17 1 0 0 25 0 9 0 64719318 419909632 3803 1283457024 134512640 134550932 4293363664 18446744073709551615 4114475988 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412640 [startup+0.30428 s] /proc/loadavg: 0.85 1.01 1.00 3/35 28126 /proc/meminfo: memFree=372608/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=410372 CPUtime=0.3 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 5396 0 1 0 28 2 0 0 25 0 9 0 64719318 420220928 4826 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102593 4826 1951 10 0 96741 0 [pid=28125/tid=28126] ppid=28124 vsize=410372 CPUtime=0.25 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 3510 0 1 0 23 2 0 0 25 0 9 0 64719318 420220928 4826 1283457024 134512640 134550932 4293363664 18446744073709551615 4114896698 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412944 [startup+0.704452 s] /proc/loadavg: 0.85 1.01 1.00 3/35 28126 /proc/meminfo: memFree=372608/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=410644 CPUtime=0.7 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 12741 0 1 0 66 4 0 0 25 0 9 0 64719318 420499456 11987 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102661 11987 2900 10 0 96809 0 [pid=28125/tid=28126] ppid=28124 vsize=410644 CPUtime=0.45 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 4166 0 1 0 43 2 0 0 25 0 9 0 64719318 420499456 11987 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413216 [startup+1.50474 s] /proc/loadavg: 0.85 1.01 1.00 2/45 28136 /proc/meminfo: memFree=315408/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=410776 CPUtime=1.5 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 27358 0 1 0 140 10 0 0 25 0 9 0 64719318 420634624 26604 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102694 26604 2900 10 0 96842 0 [pid=28125/tid=28126] ppid=28124 vsize=410776 CPUtime=0.77 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 6678 0 1 0 73 4 0 0 25 0 9 0 64719318 420634624 26604 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=410776 CPUtime=0.69 /proc/28125/task/28128/stat : 28128 (java) R 28124 28124 19908 34817 19908 4202560 19295 0 0 0 64 5 0 0 19 0 9 0 64719319 420634624 26604 1283457024 134512640 134550932 4293363664 18446744073709551615 4151102888 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=410776 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 21 0 9 0 64719319 420634624 26604 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=410776 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 21 0 9 0 64719319 420634624 26604 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=410776 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64719320 420634624 26604 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=410776 CPUtime=0.02 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 446 0 0 0 2 0 0 0 17 0 9 0 64719320 420634624 26604 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=410776 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 64719320 420634624 26604 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=410776 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 64719320 420634624 26604 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413348 [startup+3.11536 s] /proc/loadavg: 0.85 1.01 1.00 3/45 28136 /proc/meminfo: memFree=239024/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=410776 CPUtime=3.11 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 53181 0 1 0 289 22 0 0 25 0 9 0 64719318 420634624 52427 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102694 52427 2900 10 0 96842 0 [pid=28125/tid=28126] ppid=28124 vsize=410776 CPUtime=1.39 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 13782 0 1 0 131 8 0 0 25 0 9 0 64719318 420634624 52427 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=410776 CPUtime=1.69 /proc/28125/task/28128/stat : 28128 (java) R 28124 28124 19908 34817 19908 4202560 38010 0 0 0 155 14 0 0 15 0 9 0 64719319 420634624 52427 1283457024 134512640 134550932 4293363664 18446744073709551615 4150724536 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=410776 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 21 0 9 0 64719319 420634624 52427 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=410776 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 21 0 9 0 64719319 420634624 52427 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=410776 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64719320 420634624 52427 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=410776 CPUtime=0.02 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 450 0 0 0 2 0 0 0 15 0 9 0 64719320 420634624 52427 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=410776 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 64719320 420634624 52427 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=410776 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 64719320 420634624 52427 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 413348 [startup+6.30631 s] /proc/loadavg: 0.94 1.02 1.00 2/45 28136 /proc/meminfo: memFree=106840/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=439816 CPUtime=6.3 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 78192 0 1 0 599 31 0 0 25 0 9 0 64719318 450371584 77432 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 109954 77432 2901 10 0 104102 0 [pid=28125/tid=28126] ppid=28124 vsize=439816 CPUtime=2.26 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 13799 0 1 0 217 9 0 0 25 0 9 0 64719318 450371584 77432 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=439816 CPUtime=3.99 /proc/28125/task/28128/stat : 28128 (java) R 28124 28124 19908 34817 19908 4202560 62986 0 0 0 378 21 0 0 16 0 9 0 64719319 450371584 77432 1283457024 134512640 134550932 4293363664 18446744073709551615 4152216104 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=439816 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 21 0 9 0 64719319 450371584 77432 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=439816 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 21 0 9 0 64719319 450371584 77432 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=439816 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64719320 450371584 77432 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=439816 CPUtime=0.03 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 468 0 0 0 3 0 0 0 15 0 9 0 64719320 450371584 77432 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=439816 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 64719320 450371584 77432 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=439816 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 64719320 450371584 77432 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442388 [startup+12.709 s] /proc/loadavg: 1.02 1.04 1.01 2/46 28138 /proc/meminfo: memFree=102004/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=12.7 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92684 0 1 0 1229 41 0 0 25 0 10 0 64719318 421457920 70551 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 70551 2917 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=5.55 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 14050 0 1 0 546 9 0 0 25 0 10 0 64719318 421457920 70551 1283457024 134512640 134550932 4293363664 18446744073709551615 4115395634 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=7.04 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77159 0 0 0 672 32 0 0 15 0 10 0 64719319 421457920 70551 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 70551 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 70551 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 70551 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 531 0 0 0 9 0 0 0 16 0 10 0 64719320 421457920 70551 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 70551 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64719320 421457920 70551 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28137] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28137/stat : 28137 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64720271 421457920 70551 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 414152 [startup+25.512 s] /proc/loadavg: 1.02 1.04 1.00 3/46 28139 /proc/meminfo: memFree=192524/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=25.49 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92688 0 1 0 2506 43 0 0 25 0 10 0 64719318 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 47875 2917 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=17.72 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 14050 0 1 0 1763 9 0 0 25 0 10 0 64719318 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4115287594 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=7.66 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77159 0 0 0 732 34 0 0 15 0 10 0 64719319 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28137] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28137/stat : 28137 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64720271 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 414152 [startup+51.1109 s] /proc/loadavg: 1.01 1.03 1.00 2/46 28141 /proc/meminfo: memFree=192524/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=51.08 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92688 0 1 0 5065 43 0 0 25 0 10 0 64719318 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 47875 2917 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=42.57 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 14050 0 1 0 4248 9 0 0 25 0 10 0 64719318 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4114450790 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=8.4 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77159 0 0 0 806 34 0 0 15 0 10 0 64719319 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28137] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28137/stat : 28137 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64720271 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 414152 [startup+102.303 s] /proc/loadavg: 1.05 1.04 1.00 2/45 28146 /proc/meminfo: memFree=192540/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=102.24 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92688 0 1 0 10180 44 0 0 25 0 10 0 64719318 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 47875 2917 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=92.82 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 14050 0 1 0 9272 10 0 0 25 0 10 0 64719318 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4115310854 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=9.3 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77159 0 0 0 896 34 0 0 15 0 10 0 64719319 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64719320 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28137] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28137/stat : 28137 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64720271 421457920 47875 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 414152 [startup+162.316 s] /proc/loadavg: 1.02 1.03 1.00 3/44 28146 /proc/meminfo: memFree=192548/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=162.22 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92690 0 1 0 16178 44 0 0 25 0 10 0 64719318 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 47877 2919 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=152.02 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 14050 0 1 0 15192 10 0 0 25 0 10 0 64719318 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4115395634 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=10.1 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77161 0 0 0 976 34 0 0 15 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) R 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28137] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28137/stat : 28137 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64720271 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 414152 [startup+222.303 s] /proc/loadavg: 1.00 1.02 1.00 2/44 28146 /proc/meminfo: memFree=192548/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=222.18 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92690 0 1 0 22173 45 0 0 25 0 10 0 64719318 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 47877 2919 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=211.11 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 14050 0 1 0 21100 11 0 0 25 0 10 0 64719318 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4115383877 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=10.96 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77161 0 0 0 1062 34 0 0 15 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28137] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28137/stat : 28137 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64720271 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 414152 [startup+282.306 s] /proc/loadavg: 1.00 1.02 1.00 2/44 28146 /proc/meminfo: memFree=192548/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=282.15 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92690 0 1 0 28170 45 0 0 25 0 10 0 64719318 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 47877 2919 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=270.57 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 14050 0 1 0 27046 11 0 0 25 0 10 0 64719318 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4115286912 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=11.48 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77161 0 0 0 1114 34 0 0 15 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28137] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28137/stat : 28137 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64720271 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 414152 Solver just ended. Dumping a history of the last processes samples [startup+283.206 s] /proc/loadavg: 1.00 1.02 1.00 2/44 28146 /proc/meminfo: memFree=192548/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=283.05 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92690 0 1 0 28260 45 0 0 25 0 10 0 64719318 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 47877 2919 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=271.47 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 14050 0 1 0 27136 11 0 0 25 0 10 0 64719318 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4115298789 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=11.48 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77161 0 0 0 1114 34 0 0 15 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28137] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28137/stat : 28137 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64720271 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 283.05 Current children cumulated vsize (KiB) 414152 [startup+284.806 s] /proc/loadavg: 1.00 1.02 1.00 2/44 28146 /proc/meminfo: memFree=192548/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=284.65 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92690 0 1 0 28420 45 0 0 25 0 10 0 64719318 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 47877 2919 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=273.06 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 14050 0 1 0 27295 11 0 0 25 0 10 0 64719318 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4115338482 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=11.48 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77161 0 0 0 1114 34 0 0 15 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64719319 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 64719320 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28137] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28137/stat : 28137 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64720271 421457920 47877 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.65 Current children cumulated vsize (KiB) 414152 [startup+285.207 s] /proc/loadavg: 1.00 1.02 1.00 2/44 28146 /proc/meminfo: memFree=192548/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=285.05 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92691 0 1 0 28460 45 0 0 25 0 9 0 64719318 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 47878 2920 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=273.46 /proc/28125/task/28126/stat : 28126 (java) R 28124 28124 19908 34817 19908 4202560 14050 0 1 0 27335 11 0 0 25 0 9 0 64719318 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4150140424 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=11.48 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77161 0 0 0 1114 34 0 0 15 0 9 0 64719319 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 64719319 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 64719319 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64719320 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 9 0 64719320 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 64719320 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 64719320 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.05 Current children cumulated vsize (KiB) 414152 [startup+285.606 s] /proc/loadavg: 1.00 1.02 1.00 2/44 28146 /proc/meminfo: memFree=192548/1048576 swapFree=0/0 [pid=28124] ppid=28123 vsize=2572 CPUtime=0 /proc/28124/stat : 28124 (gj-user-solver-) S 28123 28124 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 64719317 2633728 270 1283457024 134512640 135304128 4291323520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28124/statm: 643 270 229 194 0 30 0 [pid=28125] ppid=28124 vsize=411580 CPUtime=285.41 /proc/28125/stat : 28125 (java) S 28124 28124 19908 34817 19908 4202496 92691 0 1 0 28496 45 0 0 25 0 9 0 64719318 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28125/statm: 102895 47878 2920 10 0 97040 0 [pid=28125/tid=28126] ppid=28124 vsize=411580 CPUtime=273.81 /proc/28125/task/28126/stat : 28126 (java) S 28124 28124 19908 34817 19908 4202560 14050 0 1 0 27370 11 0 0 25 0 9 0 64719318 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28128] ppid=28124 vsize=411580 CPUtime=11.5 /proc/28125/task/28128/stat : 28128 (java) S 28124 28124 19908 34817 19908 4202560 77161 0 0 0 1116 34 0 0 16 0 9 0 64719319 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28129] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28129/stat : 28129 (java) S 28124 28124 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 64719319 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28130] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28130/stat : 28130 (java) S 28124 28124 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 64719319 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28131] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28131/stat : 28131 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64719320 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28132] ppid=28124 vsize=411580 CPUtime=0.09 /proc/28125/task/28132/stat : 28132 (java) S 28124 28124 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 9 0 64719320 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28133] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28133/stat : 28133 (java) S 28124 28124 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 64719320 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=28125/tid=28134] ppid=28124 vsize=411580 CPUtime=0 /proc/28125/task/28134/stat : 28134 (java) S 28124 28124 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 64719320 421457920 47878 1283457024 134512640 134550932 4293363664 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.41 Current children cumulated vsize (KiB) 414152 Child status: 0 Real time (s): 285.623 CPU time (s): 285.43 CPU user time (s): 284.97 CPU system time (s): 0.460028 CPU usage (%): 99.9324 Max. virtual memory (cumulated for all children) (KiB): 442388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.97 system time used= 0.460028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93080 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= 5952 involuntary context switches= 8724 runsolver used 0 second user time and 0 second system time The end