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/201108251442/gj-paranoid-solver-1.0/29180036-5408-11df-9f57-00163e7a6f5e.cudf.dudf-real.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-real//29180036-5408-11df-9f57-00163e7a6f5e.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/29180036-5408-11df-9f57-00163e7a6f5e.cudf.dudf-real.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.97 1.49 1.19 5/36 13719 /proc/meminfo: memFree=277704/1048576 swapFree=0/0 [pid=13718] ppid=13717 vsize=2568 CPUtime=0 /proc/13718/stat : 13718 (gj-paranoid-sol) R 13717 13718 4778 34817 4778 4202496 353 0 0 0 0 0 0 0 25 0 1 0 10597874 2629632 267 1283457024 134512640 135304128 4291628720 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/13718/statm: 642 267 228 194 0 29 0 [pid=13719] ppid=13718 vsize=2568 CPUtime=0 /proc/13719/stat : 13719 (gj-paranoid-sol) R 13718 13718 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10597875 2629632 39 1283457024 134512640 135304128 4291628720 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/13719/statm: 642 39 0 194 0 29 0 [startup+0.125601 s] /proc/loadavg: 1.97 1.49 1.19 5/36 13719 /proc/meminfo: memFree=277704/1048576 swapFree=0/0 [pid=13718] ppid=13717 vsize=2568 CPUtime=0 /proc/13718/stat : 13718 (gj-paranoid-sol) S 13717 13718 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 10597874 2629632 268 1283457024 134512640 135304128 4291628720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13718/statm: 642 268 229 194 0 29 0 [pid=13719] ppid=13718 vsize=409796 CPUtime=0.13 /proc/13719/stat : 13719 (java) S 13718 13718 4778 34817 4778 4202496 3874 0 1 0 9 4 0 0 25 0 9 0 10597875 419631104 3303 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13719/statm: 102449 3303 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 412364 [startup+0.205613 s] /proc/loadavg: 1.97 1.49 1.19 5/36 13719 /proc/meminfo: memFree=277704/1048576 swapFree=0/0 [pid=13718] ppid=13717 vsize=2568 CPUtime=0 /proc/13718/stat : 13718 (gj-paranoid-sol) S 13717 13718 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 10597874 2629632 268 1283457024 134512640 135304128 4291628720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13718/statm: 642 268 229 194 0 29 0 [pid=13719] ppid=13718 vsize=409796 CPUtime=0.21 /proc/13719/stat : 13719 (java) S 13718 13718 4778 34817 4778 4202496 4055 0 1 0 17 4 0 0 25 0 9 0 10597875 419631104 3484 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13719/statm: 102449 3484 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412364 [startup+0.305645 s] /proc/loadavg: 1.97 1.49 1.19 5/36 13719 /proc/meminfo: memFree=277704/1048576 swapFree=0/0 [pid=13718] ppid=13717 vsize=2568 CPUtime=0 /proc/13718/stat : 13718 (gj-paranoid-sol) S 13717 13718 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 10597874 2629632 268 1283457024 134512640 135304128 4291628720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13718/statm: 642 268 229 194 0 29 0 [pid=13719] ppid=13718 vsize=410244 CPUtime=0.31 /proc/13719/stat : 13719 (java) S 13718 13718 4778 34817 4778 4202496 4414 0 1 0 27 4 0 0 25 0 9 0 10597875 420089856 3842 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13719/statm: 102561 3842 1944 10 0 96709 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412812 [startup+0.705786 s] /proc/loadavg: 1.97 1.49 1.19 5/36 13719 /proc/meminfo: memFree=277704/1048576 swapFree=0/0 [pid=13718] ppid=13717 vsize=2568 CPUtime=0 /proc/13718/stat : 13718 (gj-paranoid-sol) S 13717 13718 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 10597874 2629632 268 1283457024 134512640 135304128 4291628720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13718/statm: 642 268 229 194 0 29 0 [pid=13719] ppid=13718 vsize=410652 CPUtime=0.71 /proc/13719/stat : 13719 (java) S 13718 13718 4778 34817 4778 4202496 12303 0 1 0 63 8 0 0 25 0 9 0 10597875 420507648 11544 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13719/statm: 102663 11544 2901 10 0 96811 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413220 [startup+1.50605 s] /proc/loadavg: 1.97 1.49 1.19 2/45 13729 /proc/meminfo: memFree=218040/1048576 swapFree=0/0 [pid=13718] ppid=13717 vsize=2568 CPUtime=0 /proc/13718/stat : 13718 (gj-paranoid-sol) S 13717 13718 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 10597874 2629632 268 1283457024 134512640 135304128 4291628720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13718/statm: 642 268 229 194 0 29 0 [pid=13719] ppid=13718 vsize=410784 CPUtime=1.5 /proc/13719/stat : 13719 (java) S 13718 13718 4778 34817 4778 4202496 26878 0 1 0 137 13 0 0 25 0 9 0 10597875 420642816 26119 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13719/statm: 102696 26119 2901 10 0 96844 0 [pid=13719/tid=13721] ppid=13718 vsize=410784 CPUtime=0.83 /proc/13719/task/13721/stat : 13721 (java) R 13718 13718 4778 34817 4778 4202560 6832 0 1 0 78 5 0 0 25 0 9 0 10597875 420642816 26119 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13719/tid=13722] ppid=13718 vsize=410784 CPUtime=0.62 /proc/13719/task/13722/stat : 13722 (java) R 13718 13718 4778 34817 4778 4202560 18660 0 0 0 56 6 0 0 18 0 9 0 10597876 420642816 26119 1283457024 134512640 134550932 4289153952 18446744073709551615 4151153577 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=13719/tid=13723] ppid=13718 vsize=410784 CPUtime=0 /proc/13719/task/13723/stat : 13723 (java) S 13718 13718 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10597876 420642816 26119 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13724] ppid=13718 vsize=410784 CPUtime=0 /proc/13719/task/13724/stat : 13724 (java) S 13718 13718 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10597876 420642816 26119 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13725] ppid=13718 vsize=410784 CPUtime=0 /proc/13719/task/13725/stat : 13725 (java) S 13718 13718 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10597877 420642816 26119 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13726] ppid=13718 vsize=410784 CPUtime=0.02 /proc/13719/task/13726/stat : 13726 (java) S 13718 13718 4778 34817 4778 4202560 447 0 0 0 2 0 0 0 18 0 9 0 10597877 420642816 26119 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13727] ppid=13718 vsize=410784 CPUtime=0 /proc/13719/task/13727/stat : 13727 (java) S 13718 13718 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10597877 420642816 26119 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13728] ppid=13718 vsize=410784 CPUtime=0 /proc/13719/task/13728/stat : 13728 (java) S 13718 13718 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10597877 420642816 26119 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413352 [startup+3.1064 s] /proc/loadavg: 1.97 1.49 1.19 2/45 13729 /proc/meminfo: memFree=143640/1048576 swapFree=0/0 [pid=13718] ppid=13717 vsize=2568 CPUtime=0 /proc/13718/stat : 13718 (gj-paranoid-sol) S 13717 13718 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 10597874 2629632 268 1283457024 134512640 135304128 4291628720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13718/statm: 642 268 229 194 0 29 0 [pid=13719] ppid=13718 vsize=411120 CPUtime=3.1 /proc/13719/stat : 13719 (java) S 13718 13718 4778 34817 4778 4202496 39692 0 1 0 294 16 0 0 25 0 10 0 10597875 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13719/statm: 102780 38851 2925 10 0 96925 0 [pid=13719/tid=13721] ppid=13718 vsize=411120 CPUtime=1.91 /proc/13719/task/13721/stat : 13721 (java) R 13718 13718 4778 34817 4778 4202560 9912 0 1 0 185 6 0 0 25 0 10 0 10597875 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4115431942 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13719/tid=13722] ppid=13718 vsize=411120 CPUtime=1.08 /proc/13719/task/13722/stat : 13722 (java) S 13718 13718 4778 34817 4778 4202560 28324 0 0 0 100 8 0 0 16 0 10 0 10597876 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13723] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13723/stat : 13723 (java) S 13718 13718 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10597876 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13724] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13724/stat : 13724 (java) S 13718 13718 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10597876 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13725] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13725/stat : 13725 (java) S 13718 13718 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13726] ppid=13718 vsize=411120 CPUtime=0.08 /proc/13719/task/13726/stat : 13726 (java) S 13718 13718 4778 34817 4778 4202560 512 0 0 0 8 0 0 0 16 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13727] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13727/stat : 13727 (java) S 13718 13718 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13728] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13728/stat : 13728 (java) S 13718 13718 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413688 Solver just ended. Dumping a history of the last processes samples [startup+3.20643 s] /proc/loadavg: 1.97 1.49 1.19 2/45 13729 /proc/meminfo: memFree=143640/1048576 swapFree=0/0 [pid=13718] ppid=13717 vsize=2568 CPUtime=0 /proc/13718/stat : 13718 (gj-paranoid-sol) S 13717 13718 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 10597874 2629632 268 1283457024 134512640 135304128 4291628720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13718/statm: 642 268 229 194 0 29 0 [pid=13719] ppid=13718 vsize=411120 CPUtime=3.2 /proc/13719/stat : 13719 (java) S 13718 13718 4778 34817 4778 4202496 39692 0 1 0 304 16 0 0 25 0 10 0 10597875 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13719/statm: 102780 38851 2925 10 0 96925 0 [pid=13719/tid=13721] ppid=13718 vsize=411120 CPUtime=2.01 /proc/13719/task/13721/stat : 13721 (java) R 13718 13718 4778 34817 4778 4202560 9912 0 1 0 195 6 0 0 25 0 10 0 10597875 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4115431942 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13719/tid=13722] ppid=13718 vsize=411120 CPUtime=1.08 /proc/13719/task/13722/stat : 13722 (java) S 13718 13718 4778 34817 4778 4202560 28324 0 0 0 100 8 0 0 16 0 10 0 10597876 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13723] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13723/stat : 13723 (java) S 13718 13718 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10597876 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13724] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13724/stat : 13724 (java) S 13718 13718 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10597876 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13725] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13725/stat : 13725 (java) S 13718 13718 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13726] ppid=13718 vsize=411120 CPUtime=0.08 /proc/13719/task/13726/stat : 13726 (java) S 13718 13718 4778 34817 4778 4202560 512 0 0 0 8 0 0 0 16 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13727] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13727/stat : 13727 (java) S 13718 13718 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13728] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13728/stat : 13728 (java) S 13718 13718 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.2 Current children cumulated vsize (KiB) 413688 [startup+3.40649 s] /proc/loadavg: 1.89 1.48 1.19 2/46 13730 /proc/meminfo: memFree=133464/1048576 swapFree=0/0 [pid=13718] ppid=13717 vsize=2568 CPUtime=0 /proc/13718/stat : 13718 (gj-paranoid-sol) S 13717 13718 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 10597874 2629632 268 1283457024 134512640 135304128 4291628720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13718/statm: 642 268 229 194 0 29 0 [pid=13719] ppid=13718 vsize=411120 CPUtime=3.4 /proc/13719/stat : 13719 (java) S 13718 13718 4778 34817 4778 4202496 39692 0 1 0 324 16 0 0 25 0 10 0 10597875 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13719/statm: 102780 38851 2925 10 0 96925 0 [pid=13719/tid=13721] ppid=13718 vsize=411120 CPUtime=2.21 /proc/13719/task/13721/stat : 13721 (java) R 13718 13718 4778 34817 4778 4202560 9912 0 1 0 215 6 0 0 25 0 10 0 10597875 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4115429548 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13719/tid=13722] ppid=13718 vsize=411120 CPUtime=1.08 /proc/13719/task/13722/stat : 13722 (java) S 13718 13718 4778 34817 4778 4202560 28324 0 0 0 100 8 0 0 16 0 10 0 10597876 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13723] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13723/stat : 13723 (java) S 13718 13718 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10597876 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13724] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13724/stat : 13724 (java) S 13718 13718 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10597876 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13725] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13725/stat : 13725 (java) S 13718 13718 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13726] ppid=13718 vsize=411120 CPUtime=0.08 /proc/13719/task/13726/stat : 13726 (java) S 13718 13718 4778 34817 4778 4202560 512 0 0 0 8 0 0 0 15 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13727] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13727/stat : 13727 (java) S 13718 13718 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13728] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13728/stat : 13728 (java) S 13718 13718 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10597877 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=13719/tid=13730] ppid=13718 vsize=411120 CPUtime=0 /proc/13719/task/13730/stat : 13730 (java) S 13718 13718 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10598117 420986880 38851 1283457024 134512640 134550932 4289153952 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.4 Current children cumulated vsize (KiB) 413688 Child status: 0 Real time (s): 3.50295 CPU time (s): 3.49222 CPU user time (s): 3.31621 CPU system time (s): 0.176011 CPU usage (%): 99.6937 Max. virtual memory (cumulated for all children) (KiB): 413688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.31621 system time used= 0.176011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40094 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= 663 involuntary context switches= 684 runsolver used 0 second user time and 0 second system time The end