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/201108241238/gj-trendy-solver-1.0/rand390.cudf.dudf-random.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-random//rand390.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand390.cudf.dudf-random.result 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: 1.27 1.14 1.04 5/37 9179 /proc/meminfo: memFree=464452/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=11360 CPUtime=0.01 /proc/9178/stat : 9178 (java) R 9177 9177 1511 34817 1511 4202496 918 0 0 0 0 1 0 0 25 0 2 0 2141198 11632640 651 1283457024 134512640 134550932 4292515568 18446744073709551615 4158959208 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 2840 651 285 10 0 1186 0 [pid=9178/tid=9179] ppid=9177 vsize=11360 CPUtime=0 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 2141198 11632640 651 1283457024 134512640 134550932 4292515568 18446744073709551615 4158959208 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.175408 s] /proc/loadavg: 1.27 1.14 1.04 5/37 9179 /proc/meminfo: memFree=464452/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=410104 CPUtime=0.17 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 4159 0 1 0 15 2 0 0 25 0 9 0 2141198 419946496 3587 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 102526 3587 1934 10 0 96674 0 [pid=9178/tid=9179] ppid=9177 vsize=410104 CPUtime=0.15 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 2963 0 1 0 14 1 0 0 25 0 9 0 2141198 419946496 3587 1283457024 134512640 134550932 4292515568 18446744073709551615 4114316660 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) 412668 [startup+0.20543 s] /proc/loadavg: 1.27 1.14 1.04 5/37 9179 /proc/meminfo: memFree=464452/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=410104 CPUtime=0.2 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 4351 0 1 0 18 2 0 0 25 0 9 0 2141198 419946496 3779 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 102526 3779 1934 10 0 96674 0 [pid=9178/tid=9179] ppid=9177 vsize=410104 CPUtime=0.19 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 3155 0 1 0 18 1 0 0 25 0 9 0 2141198 419946496 3779 1283457024 134512640 134550932 4292515568 18446744073709551615 4114289576 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) 412668 [startup+0.305445 s] /proc/loadavg: 1.27 1.14 1.04 5/37 9179 /proc/meminfo: memFree=464452/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=410384 CPUtime=0.3 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 5386 0 1 0 28 2 0 0 25 0 9 0 2141198 420233216 4813 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 102596 4813 1945 10 0 96744 0 [pid=9178/tid=9179] ppid=9177 vsize=410384 CPUtime=0.25 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 3513 0 1 0 24 1 0 0 25 0 9 0 2141198 420233216 4813 1283457024 134512640 134550932 4292515568 18446744073709551615 4114744606 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) 412948 [startup+0.705507 s] /proc/loadavg: 1.27 1.14 1.04 5/37 9179 /proc/meminfo: memFree=464452/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=410648 CPUtime=0.71 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 12772 0 1 0 67 4 0 0 25 0 9 0 2141198 420503552 12012 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 102662 12012 2901 10 0 96810 0 [pid=9178/tid=9179] ppid=9177 vsize=410648 CPUtime=0.46 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 4184 0 1 0 44 2 0 0 25 0 9 0 2141198 420503552 12012 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413212 [startup+1.50575 s] /proc/loadavg: 1.27 1.14 1.04 2/45 9187 /proc/meminfo: memFree=406840/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=410780 CPUtime=1.5 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 27642 0 1 0 142 8 0 0 25 0 9 0 2141198 420638720 26882 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 102695 26882 2901 10 0 96843 0 [pid=9178/tid=9179] ppid=9177 vsize=410780 CPUtime=0.79 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 6760 0 1 0 77 2 0 0 25 0 9 0 2141198 420638720 26882 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9181] ppid=9177 vsize=410780 CPUtime=0.66 /proc/9178/task/9181/stat : 9181 (java) R 9177 9177 1511 34817 1511 4202560 19501 0 0 0 62 4 0 0 19 0 9 0 2141199 420638720 26882 1283457024 134512640 134550932 4292515568 18446744073709551615 4150943144 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9182] ppid=9177 vsize=410780 CPUtime=0 /proc/9178/task/9182/stat : 9182 (java) S 9177 9177 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 2141199 420638720 26882 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9183] ppid=9177 vsize=410780 CPUtime=0 /proc/9178/task/9183/stat : 9183 (java) S 9177 9177 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 2141199 420638720 26882 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9184] ppid=9177 vsize=410780 CPUtime=0 /proc/9178/task/9184/stat : 9184 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2141200 420638720 26882 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9185] ppid=9177 vsize=410780 CPUtime=0.02 /proc/9178/task/9185/stat : 9185 (java) S 9177 9177 1511 34817 1511 4202560 439 0 0 0 2 0 0 0 19 0 9 0 2141200 420638720 26882 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9186] ppid=9177 vsize=410780 CPUtime=0 /proc/9178/task/9186/stat : 9186 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2141201 420638720 26882 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9187] ppid=9177 vsize=410780 CPUtime=0 /proc/9178/task/9187/stat : 9187 (java) S 9177 9177 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 2141201 420638720 26882 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413344 [startup+3.12605 s] /proc/loadavg: 1.27 1.14 1.04 2/45 9187 /proc/meminfo: memFree=334548/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=410780 CPUtime=3.12 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 52548 0 1 0 292 20 0 0 25 0 9 0 2141198 420638720 51788 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 102695 51788 2901 10 0 96843 0 [pid=9178/tid=9179] ppid=9177 vsize=410780 CPUtime=1.43 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 13944 0 1 0 134 9 0 0 25 0 9 0 2141198 420638720 51788 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9181] ppid=9177 vsize=410780 CPUtime=1.64 /proc/9178/task/9181/stat : 9181 (java) R 9177 9177 1511 34817 1511 4202560 37218 0 0 0 154 10 0 0 15 0 9 0 2141199 420638720 51788 1283457024 134512640 134550932 4292515568 18446744073709551615 4150862752 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9182] ppid=9177 vsize=410780 CPUtime=0 /proc/9178/task/9182/stat : 9182 (java) S 9177 9177 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 2141199 420638720 51788 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9183] ppid=9177 vsize=410780 CPUtime=0 /proc/9178/task/9183/stat : 9183 (java) S 9177 9177 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 2141199 420638720 51788 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9184] ppid=9177 vsize=410780 CPUtime=0 /proc/9178/task/9184/stat : 9184 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2141200 420638720 51788 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9185] ppid=9177 vsize=410780 CPUtime=0.03 /proc/9178/task/9185/stat : 9185 (java) S 9177 9177 1511 34817 1511 4202560 444 0 0 0 3 0 0 0 16 0 9 0 2141200 420638720 51788 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9186] ppid=9177 vsize=410780 CPUtime=0 /proc/9178/task/9186/stat : 9186 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2141201 420638720 51788 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9187] ppid=9177 vsize=410780 CPUtime=0 /proc/9178/task/9187/stat : 9187 (java) S 9177 9177 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 2141201 420638720 51788 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.12 Current children cumulated vsize (KiB) 413344 [startup+6.30677 s] /proc/loadavg: 1.25 1.14 1.04 2/44 9187 /proc/meminfo: memFree=197916/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=438896 CPUtime=6.31 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 77991 0 1 0 604 27 0 0 25 0 9 0 2141198 449429504 77225 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 109724 77225 2903 10 0 103872 0 [pid=9178/tid=9179] ppid=9177 vsize=438896 CPUtime=2.31 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 13961 0 1 0 221 10 0 0 25 0 9 0 2141198 449429504 77225 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9181] ppid=9177 vsize=438896 CPUtime=3.91 /proc/9178/task/9181/stat : 9181 (java) R 9177 9177 1511 34817 1511 4202560 62623 0 0 0 376 15 0 0 16 0 9 0 2141199 449429504 77225 1283457024 134512640 134550932 4292515568 18446744073709551615 4152056347 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9182] ppid=9177 vsize=438896 CPUtime=0 /proc/9178/task/9182/stat : 9182 (java) S 9177 9177 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 2141199 449429504 77225 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9183] ppid=9177 vsize=438896 CPUtime=0 /proc/9178/task/9183/stat : 9183 (java) S 9177 9177 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 2141199 449429504 77225 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9184] ppid=9177 vsize=438896 CPUtime=0 /proc/9178/task/9184/stat : 9184 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2141200 449429504 77225 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9185] ppid=9177 vsize=438896 CPUtime=0.06 /proc/9178/task/9185/stat : 9185 (java) S 9177 9177 1511 34817 1511 4202560 465 0 0 0 6 0 0 0 16 0 9 0 2141200 449429504 77225 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9186] ppid=9177 vsize=438896 CPUtime=0 /proc/9178/task/9186/stat : 9186 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2141201 449429504 77225 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9187] ppid=9177 vsize=438896 CPUtime=0 /proc/9178/task/9187/stat : 9187 (java) S 9177 9177 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 2141201 449429504 77225 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 441460 [startup+12.7084 s] /proc/loadavg: 1.39 1.17 1.05 2/44 9187 /proc/meminfo: memFree=191352/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=414392 CPUtime=12.7 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 104181 0 1 0 1231 39 0 0 25 0 10 0 2141198 424337408 71234 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 103598 71234 2917 10 0 97743 0 [pid=9178/tid=9179] ppid=9177 vsize=414392 CPUtime=3.28 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 14211 0 1 0 318 10 0 0 25 0 10 0 2141198 424337408 71234 1283457024 134512640 134550932 4292515568 18446744073709551615 4114299206 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9181] ppid=9177 vsize=414392 CPUtime=9.3 /proc/9178/task/9181/stat : 9181 (java) S 9177 9177 1511 34817 1511 4202560 88525 0 0 0 902 28 0 0 16 0 10 0 2141199 424337408 71234 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9182] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9182/stat : 9182 (java) S 9177 9177 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71234 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9183] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9183/stat : 9183 (java) S 9177 9177 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71234 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9184] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9184/stat : 9184 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141200 424337408 71234 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9185] ppid=9177 vsize=414392 CPUtime=0.1 /proc/9178/task/9185/stat : 9185 (java) S 9177 9177 1511 34817 1511 4202560 502 0 0 0 10 0 0 0 15 0 10 0 2141200 424337408 71234 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9186] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9186/stat : 9186 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141201 424337408 71234 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9187] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9187/stat : 9187 (java) S 9177 9177 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 2141201 424337408 71234 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 416956 Solver just ended. Dumping a history of the last processes samples [startup+12.8085 s] /proc/loadavg: 1.39 1.17 1.05 2/44 9187 /proc/meminfo: memFree=191352/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=414392 CPUtime=12.8 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 104195 0 1 0 1240 40 0 0 25 0 10 0 2141198 424337408 71248 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 103598 71248 2917 10 0 97743 0 [pid=9178/tid=9179] ppid=9177 vsize=414392 CPUtime=3.37 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 14212 0 1 0 326 11 0 0 25 0 10 0 2141198 424337408 71248 1283457024 134512640 134550932 4292515568 18446744073709551615 4115179738 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9181] ppid=9177 vsize=414392 CPUtime=9.3 /proc/9178/task/9181/stat : 9181 (java) S 9177 9177 1511 34817 1511 4202560 88525 0 0 0 902 28 0 0 16 0 10 0 2141199 424337408 71248 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9182] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9182/stat : 9182 (java) S 9177 9177 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71248 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9183] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9183/stat : 9183 (java) S 9177 9177 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71248 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9184] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9184/stat : 9184 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141200 424337408 71248 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9185] ppid=9177 vsize=414392 CPUtime=0.11 /proc/9178/task/9185/stat : 9185 (java) S 9177 9177 1511 34817 1511 4202560 512 0 0 0 11 0 0 0 15 0 10 0 2141200 424337408 71248 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9186] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9186/stat : 9186 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141201 424337408 71248 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9187] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9187/stat : 9187 (java) S 9177 9177 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 2141201 424337408 71248 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.8 Current children cumulated vsize (KiB) 416956 [startup+16.0094 s] /proc/loadavg: 1.36 1.16 1.05 2/45 9188 /proc/meminfo: memFree=191344/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=414392 CPUtime=16.01 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 104236 0 1 0 1560 41 0 0 25 0 10 0 2141198 424337408 71289 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 103598 71289 2920 10 0 97743 0 [pid=9178/tid=9179] ppid=9177 vsize=414392 CPUtime=6.49 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 14215 0 1 0 637 12 0 0 25 0 10 0 2141198 424337408 71289 1283457024 134512640 134550932 4292515568 18446744073709551615 4114950050 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9181] ppid=9177 vsize=414392 CPUtime=9.36 /proc/9178/task/9181/stat : 9181 (java) S 9177 9177 1511 34817 1511 4202560 88527 0 0 0 908 28 0 0 16 0 10 0 2141199 424337408 71289 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9182] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9182/stat : 9182 (java) S 9177 9177 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71289 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9183] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9183/stat : 9183 (java) S 9177 9177 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71289 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9184] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9184/stat : 9184 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141200 424337408 71289 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9185] ppid=9177 vsize=414392 CPUtime=0.14 /proc/9178/task/9185/stat : 9185 (java) S 9177 9177 1511 34817 1511 4202560 548 0 0 0 14 0 0 0 15 0 10 0 2141200 424337408 71289 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9186] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9186/stat : 9186 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141201 424337408 71289 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9187] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9187/stat : 9187 (java) S 9177 9177 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 2141201 424337408 71289 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9188] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9188/stat : 9188 (java) S 9177 9177 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2142467 424337408 71289 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.01 Current children cumulated vsize (KiB) 416956 [startup+16.8096 s] /proc/loadavg: 1.36 1.16 1.05 3/45 9188 /proc/meminfo: memFree=191344/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=414392 CPUtime=16.79 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 104237 0 1 0 1638 41 0 0 25 0 10 0 2141198 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 103598 71290 2920 10 0 97743 0 [pid=9178/tid=9179] ppid=9177 vsize=414392 CPUtime=7.27 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 14215 0 1 0 715 12 0 0 25 0 10 0 2141198 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4115206468 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9181] ppid=9177 vsize=414392 CPUtime=9.36 /proc/9178/task/9181/stat : 9181 (java) S 9177 9177 1511 34817 1511 4202560 88527 0 0 0 908 28 0 0 16 0 10 0 2141199 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9182] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9182/stat : 9182 (java) S 9177 9177 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9183] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9183/stat : 9183 (java) S 9177 9177 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9184] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9184/stat : 9184 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141200 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9185] ppid=9177 vsize=414392 CPUtime=0.14 /proc/9178/task/9185/stat : 9185 (java) S 9177 9177 1511 34817 1511 4202560 549 0 0 0 14 0 0 0 15 0 10 0 2141200 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9186] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9186/stat : 9186 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141201 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9187] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9187/stat : 9187 (java) R 9177 9177 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 2141201 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9188] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9188/stat : 9188 (java) S 9177 9177 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2142467 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.79 Current children cumulated vsize (KiB) 416956 [startup+17.6098 s] /proc/loadavg: 1.36 1.16 1.05 3/45 9188 /proc/meminfo: memFree=191344/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=414392 CPUtime=17.59 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 104237 0 1 0 1718 41 0 0 25 0 10 0 2141198 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 103598 71290 2920 10 0 97743 0 [pid=9178/tid=9179] ppid=9177 vsize=414392 CPUtime=8.03 /proc/9178/task/9179/stat : 9179 (java) R 9177 9177 1511 34817 1511 4202560 14215 0 1 0 791 12 0 0 25 0 10 0 2141198 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4115206445 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9181] ppid=9177 vsize=414392 CPUtime=9.4 /proc/9178/task/9181/stat : 9181 (java) S 9177 9177 1511 34817 1511 4202560 88527 0 0 0 912 28 0 0 16 0 10 0 2141199 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9182] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9182/stat : 9182 (java) S 9177 9177 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9183] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9183/stat : 9183 (java) S 9177 9177 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9184] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9184/stat : 9184 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141200 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9185] ppid=9177 vsize=414392 CPUtime=0.14 /proc/9178/task/9185/stat : 9185 (java) S 9177 9177 1511 34817 1511 4202560 549 0 0 0 14 0 0 0 15 0 10 0 2141200 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9186] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9186/stat : 9186 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141201 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9187] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9187/stat : 9187 (java) R 9177 9177 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 2141201 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9178/tid=9188] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9188/stat : 9188 (java) S 9177 9177 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2142467 424337408 71290 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.59 Current children cumulated vsize (KiB) 416956 [startup+17.8098 s] /proc/loadavg: 1.36 1.16 1.05 3/45 9188 /proc/meminfo: memFree=191344/1048576 swapFree=0/0 [pid=9177] ppid=9176 vsize=2564 CPUtime=0 /proc/9177/stat : 9177 (gj-trendy-solve) S 9176 9177 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 2141198 2625536 269 1283457024 134512640 135304128 4293118048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9177/statm: 641 269 229 194 0 28 0 [pid=9178] ppid=9177 vsize=414392 CPUtime=17.79 /proc/9178/stat : 9178 (java) S 9177 9177 1511 34817 1511 4202496 104247 0 1 0 1737 42 0 0 25 0 10 0 2141198 424337408 71300 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9178/statm: 103598 71300 2921 10 0 97743 0 [pid=9178/tid=9179] ppid=9177 vsize=414392 CPUtime=8.21 /proc/9178/task/9179/stat : 9179 (java) S 9177 9177 1511 34817 1511 4202560 14215 0 1 0 809 12 0 0 25 0 10 0 2141198 424337408 71300 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9181] ppid=9177 vsize=414392 CPUtime=9.4 /proc/9178/task/9181/stat : 9181 (java) S 9177 9177 1511 34817 1511 4202560 88527 0 0 0 912 28 0 0 16 0 10 0 2141199 424337408 71300 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 0 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9182] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9182/stat : 9182 (java) S 9177 9177 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71300 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9183] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9183/stat : 9183 (java) S 9177 9177 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2141199 424337408 71300 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9184] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9184/stat : 9184 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141200 424337408 71300 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9185] ppid=9177 vsize=414392 CPUtime=0.15 /proc/9178/task/9185/stat : 9185 (java) S 9177 9177 1511 34817 1511 4202560 558 0 0 0 15 0 0 0 16 0 10 0 2141200 424337408 71300 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9186] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9186/stat : 9186 (java) S 9177 9177 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2141201 424337408 71300 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 [pid=9178/tid=9187] ppid=9177 vsize=414392 CPUtime=0 /proc/9178/task/9187/stat : 9187 (java) S 9177 9177 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 2141201 424337408 71300 1283457024 134512640 134550932 4292515568 18446744073709551615 4294960130 0 4 0 16800975 18446612133173260736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.79 Current children cumulated vsize (KiB) 416956 Child status: 0 Real time (s): 17.8597 CPU time (s): 17.8091 CPU user time (s): 17.3771 CPU system time (s): 0.432027 CPU usage (%): 99.7167 Max. virtual memory (cumulated for all children) (KiB): 441712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.3771 system time used= 0.432027 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104634 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= 1159 involuntary context switches= 1377 runsolver used 0 second user time and 0 second system time The end