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/rand399.cudf.dudf-random.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-random//rand399.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand399.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.18 1.06 1.01 4/34 11036 /proc/meminfo: memFree=608368/1048576 swapFree=0/0 [pid=11035] ppid=11034 vsize=2572 CPUtime=0 /proc/11035/stat : 11035 (gj-trendy-solve) S 11034 11035 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 2572631 2633728 270 1283457024 134512640 135304128 4290721296 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11035/statm: 643 270 229 194 0 30 0 [pid=11036] ppid=11035 vsize=11040 CPUtime=0 /proc/11036/stat : 11036 (java) R 11035 11035 1511 34817 1511 4202496 739 0 0 0 0 0 0 0 25 0 1 0 2572631 11304960 475 1283457024 134512640 134550932 4289367024 18446744073709551615 4160550626 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11036/statm: 2760 475 185 10 0 1102 0 [startup+0.205697 s] /proc/loadavg: 1.18 1.06 1.01 4/34 11036 /proc/meminfo: memFree=608368/1048576 swapFree=0/0 [pid=11035] ppid=11034 vsize=2572 CPUtime=0 /proc/11035/stat : 11035 (gj-trendy-solve) S 11034 11035 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 2572631 2633728 270 1283457024 134512640 135304128 4290721296 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11035/statm: 643 270 229 194 0 30 0 [pid=11036] ppid=11035 vsize=409796 CPUtime=0.2 /proc/11036/stat : 11036 (java) S 11035 11035 1511 34817 1511 4202496 4069 0 1 0 17 3 0 0 25 0 9 0 2572631 419631104 3497 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11036/statm: 102449 3497 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412368 [startup+0.305713 s] /proc/loadavg: 1.18 1.06 1.01 4/34 11036 /proc/meminfo: memFree=608368/1048576 swapFree=0/0 [pid=11035] ppid=11034 vsize=2572 CPUtime=0 /proc/11035/stat : 11035 (gj-trendy-solve) S 11034 11035 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 2572631 2633728 270 1283457024 134512640 135304128 4290721296 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11035/statm: 643 270 229 194 0 30 0 [pid=11036] ppid=11035 vsize=410380 CPUtime=0.3 /proc/11036/stat : 11036 (java) S 11035 11035 1511 34817 1511 4202496 4432 0 1 0 27 3 0 0 25 0 9 0 2572631 420229120 3860 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11036/statm: 102595 3860 1933 10 0 96743 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412952 [startup+0.40574 s] /proc/loadavg: 1.18 1.06 1.01 4/34 11036 /proc/meminfo: memFree=608368/1048576 swapFree=0/0 [pid=11035] ppid=11034 vsize=2572 CPUtime=0 /proc/11035/stat : 11035 (gj-trendy-solve) S 11034 11035 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 2572631 2633728 270 1283457024 134512640 135304128 4290721296 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11035/statm: 643 270 229 194 0 30 0 [pid=11036] ppid=11035 vsize=410380 CPUtime=0.4 /proc/11036/stat : 11036 (java) S 11035 11035 1511 34817 1511 4202496 6155 0 1 0 35 5 0 0 25 0 9 0 2572631 420229120 5582 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11036/statm: 102595 5582 1945 10 0 96743 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 412952 [startup+0.705822 s] /proc/loadavg: 1.18 1.06 1.01 4/34 11036 /proc/meminfo: memFree=608368/1048576 swapFree=0/0 [pid=11035] ppid=11034 vsize=2572 CPUtime=0 /proc/11035/stat : 11035 (gj-trendy-solve) S 11034 11035 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 2572631 2633728 270 1283457024 134512640 135304128 4290721296 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11035/statm: 643 270 229 194 0 30 0 [pid=11036] ppid=11035 vsize=410644 CPUtime=0.7 /proc/11036/stat : 11036 (java) S 11035 11035 1511 34817 1511 4202496 12356 0 1 0 62 8 0 0 25 0 9 0 2572631 420499456 11599 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11036/statm: 102661 11599 2896 10 0 96809 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413216 [startup+1.50605 s] /proc/loadavg: 1.33 1.09 1.02 2/43 11045 /proc/meminfo: memFree=548144/1048576 swapFree=0/0 [pid=11035] ppid=11034 vsize=2572 CPUtime=0 /proc/11035/stat : 11035 (gj-trendy-solve) S 11034 11035 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 2572631 2633728 270 1283457024 134512640 135304128 4290721296 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11035/statm: 643 270 229 194 0 30 0 [pid=11036] ppid=11035 vsize=410776 CPUtime=1.5 /proc/11036/stat : 11036 (java) S 11035 11035 1511 34817 1511 4202496 27392 0 1 0 140 10 0 0 25 0 9 0 2572631 420634624 26635 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11036/statm: 102694 26635 2896 10 0 96842 0 [pid=11036/tid=11038] ppid=11035 vsize=410776 CPUtime=0.81 /proc/11036/task/11038/stat : 11038 (java) R 11035 11035 1511 34817 1511 4202560 6754 0 1 0 78 3 0 0 25 0 9 0 2572632 420634624 26635 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11036/tid=11039] ppid=11035 vsize=410776 CPUtime=0.64 /proc/11036/task/11039/stat : 11039 (java) R 11035 11035 1511 34817 1511 4202560 19251 0 0 0 60 4 0 0 18 0 9 0 2572633 420634624 26635 1283457024 134512640 134550932 4289367024 18446744073709551615 4151429048 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11036/tid=11040] ppid=11035 vsize=410776 CPUtime=0 /proc/11036/task/11040/stat : 11040 (java) S 11035 11035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 2572633 420634624 26635 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11041] ppid=11035 vsize=410776 CPUtime=0 /proc/11036/task/11041/stat : 11041 (java) S 11035 11035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 2572633 420634624 26635 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11042] ppid=11035 vsize=410776 CPUtime=0 /proc/11036/task/11042/stat : 11042 (java) S 11035 11035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2572634 420634624 26635 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11043] ppid=11035 vsize=410776 CPUtime=0.03 /proc/11036/task/11043/stat : 11043 (java) S 11035 11035 1511 34817 1511 4202560 448 0 0 0 2 1 0 0 16 0 9 0 2572634 420634624 26635 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11044] ppid=11035 vsize=410776 CPUtime=0 /proc/11036/task/11044/stat : 11044 (java) S 11035 11035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 2572634 420634624 26635 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11045] ppid=11035 vsize=410776 CPUtime=0 /proc/11036/task/11045/stat : 11045 (java) S 11035 11035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 2572634 420634624 26635 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413348 [startup+3.10647 s] /proc/loadavg: 1.33 1.09 1.02 3/43 11045 /proc/meminfo: memFree=466924/1048576 swapFree=0/0 [pid=11035] ppid=11034 vsize=2572 CPUtime=0 /proc/11035/stat : 11035 (gj-trendy-solve) S 11034 11035 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 2572631 2633728 270 1283457024 134512640 135304128 4290721296 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11035/statm: 643 270 229 194 0 30 0 [pid=11036] ppid=11035 vsize=410920 CPUtime=3.1 /proc/11036/stat : 11036 (java) S 11035 11035 1511 34817 1511 4202496 48902 0 1 0 296 14 0 0 25 0 9 0 2572631 420782080 48067 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11036/statm: 102730 48067 2919 10 0 96875 0 [pid=11036/tid=11038] ppid=11035 vsize=410920 CPUtime=1.41 /proc/11036/task/11038/stat : 11038 (java) R 11035 11035 1511 34817 1511 4202560 14349 0 1 0 135 6 0 0 25 0 9 0 2572632 420782080 48067 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11036/tid=11039] ppid=11035 vsize=410920 CPUtime=1.6 /proc/11036/task/11039/stat : 11039 (java) R 11035 11035 1511 34817 1511 4202560 33130 0 0 0 155 5 0 0 16 0 9 0 2572633 420782080 48067 1283457024 134512640 134550932 4289367024 18446744073709551615 4153123072 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11036/tid=11040] ppid=11035 vsize=410920 CPUtime=0 /proc/11036/task/11040/stat : 11040 (java) S 11035 11035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 2572633 420782080 48067 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11041] ppid=11035 vsize=410920 CPUtime=0 /proc/11036/task/11041/stat : 11041 (java) S 11035 11035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 2572633 420782080 48067 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11042] ppid=11035 vsize=410920 CPUtime=0 /proc/11036/task/11042/stat : 11042 (java) S 11035 11035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2572634 420782080 48067 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11043] ppid=11035 vsize=410920 CPUtime=0.07 /proc/11036/task/11043/stat : 11043 (java) S 11035 11035 1511 34817 1511 4202560 484 0 0 0 5 2 0 0 15 0 9 0 2572634 420782080 48067 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11044] ppid=11035 vsize=410920 CPUtime=0 /proc/11036/task/11044/stat : 11044 (java) S 11035 11035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 2572634 420782080 48067 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11045] ppid=11035 vsize=410920 CPUtime=0 /proc/11036/task/11045/stat : 11045 (java) S 11035 11035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 2572634 420782080 48067 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413492 Solver just ended. Dumping a history of the last processes samples [startup+3.30658 s] /proc/loadavg: 1.33 1.09 1.02 3/43 11045 /proc/meminfo: memFree=466924/1048576 swapFree=0/0 [pid=11035] ppid=11034 vsize=2572 CPUtime=0 /proc/11035/stat : 11035 (gj-trendy-solve) S 11034 11035 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 2572631 2633728 270 1283457024 134512640 135304128 4290721296 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11035/statm: 643 270 229 194 0 30 0 [pid=11036] ppid=11035 vsize=410920 CPUtime=3.3 /proc/11036/stat : 11036 (java) S 11035 11035 1511 34817 1511 4202496 54773 0 1 0 316 14 0 0 25 0 9 0 2572631 420782080 53938 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11036/statm: 102730 53938 2919 10 0 96875 0 [pid=11036/tid=11038] ppid=11035 vsize=410920 CPUtime=1.48 /proc/11036/task/11038/stat : 11038 (java) R 11035 11035 1511 34817 1511 4202560 14356 0 1 0 142 6 0 0 25 0 9 0 2572632 420782080 53938 1283457024 134512640 134550932 4289367024 18446744073709551615 4115810274 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11036/tid=11039] ppid=11035 vsize=410920 CPUtime=1.72 /proc/11036/task/11039/stat : 11039 (java) S 11035 11035 1511 34817 1511 4202560 38981 0 0 0 167 5 0 0 16 0 9 0 2572633 420782080 53938 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 0 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11040] ppid=11035 vsize=410920 CPUtime=0 /proc/11036/task/11040/stat : 11040 (java) S 11035 11035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 2572633 420782080 53938 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11041] ppid=11035 vsize=410920 CPUtime=0 /proc/11036/task/11041/stat : 11041 (java) S 11035 11035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 2572633 420782080 53938 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11042] ppid=11035 vsize=410920 CPUtime=0 /proc/11036/task/11042/stat : 11042 (java) S 11035 11035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2572634 420782080 53938 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11043] ppid=11035 vsize=410920 CPUtime=0.08 /proc/11036/task/11043/stat : 11043 (java) S 11035 11035 1511 34817 1511 4202560 497 0 0 0 6 2 0 0 15 0 9 0 2572634 420782080 53938 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11044] ppid=11035 vsize=410920 CPUtime=0 /proc/11036/task/11044/stat : 11044 (java) S 11035 11035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 2572634 420782080 53938 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11045] ppid=11035 vsize=410920 CPUtime=0 /proc/11036/task/11045/stat : 11045 (java) S 11035 11035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 2572634 420782080 53938 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.3 Current children cumulated vsize (KiB) 413492 [startup+3.70667 s] /proc/loadavg: 1.33 1.09 1.02 2/46 11048 /proc/meminfo: memFree=404396/1048576 swapFree=0/0 [pid=11035] ppid=11034 vsize=2572 CPUtime=0 /proc/11035/stat : 11035 (gj-trendy-solve) S 11034 11035 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 2572631 2633728 270 1283457024 134512640 135304128 4290721296 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11035/statm: 643 270 229 194 0 30 0 [pid=11036] ppid=11035 vsize=411244 CPUtime=3.7 /proc/11036/stat : 11036 (java) S 11035 11035 1511 34817 1511 4202496 54846 0 1 0 356 14 0 0 25 0 10 0 2572631 421113856 54007 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11036/statm: 102811 54007 2921 10 0 96956 0 [pid=11036/tid=11038] ppid=11035 vsize=411244 CPUtime=1.84 /proc/11036/task/11038/stat : 11038 (java) R 11035 11035 1511 34817 1511 4202560 14382 0 1 0 178 6 0 0 25 0 10 0 2572632 421113856 54007 1283457024 134512640 134550932 4289367024 18446744073709551615 4115564244 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11036/tid=11039] ppid=11035 vsize=411244 CPUtime=1.72 /proc/11036/task/11039/stat : 11039 (java) S 11035 11035 1511 34817 1511 4202560 38981 0 0 0 167 5 0 0 16 0 10 0 2572633 421113856 54007 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 0 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11040] ppid=11035 vsize=411244 CPUtime=0 /proc/11036/task/11040/stat : 11040 (java) S 11035 11035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2572633 421113856 54007 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11041] ppid=11035 vsize=411244 CPUtime=0 /proc/11036/task/11041/stat : 11041 (java) S 11035 11035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2572633 421113856 54007 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11042] ppid=11035 vsize=411244 CPUtime=0 /proc/11036/task/11042/stat : 11042 (java) S 11035 11035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2572634 421113856 54007 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11043] ppid=11035 vsize=411244 CPUtime=0.12 /proc/11036/task/11043/stat : 11043 (java) S 11035 11035 1511 34817 1511 4202560 539 0 0 0 10 2 0 0 15 0 10 0 2572634 421113856 54007 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11044] ppid=11035 vsize=411244 CPUtime=0 /proc/11036/task/11044/stat : 11044 (java) S 11035 11035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2572634 421113856 54007 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11045] ppid=11035 vsize=411244 CPUtime=0 /proc/11036/task/11045/stat : 11045 (java) S 11035 11035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 2572634 421113856 54007 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 [pid=11036/tid=11048] ppid=11035 vsize=411244 CPUtime=0 /proc/11036/task/11048/stat : 11048 (java) S 11035 11035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 2572966 421113856 54007 1283457024 134512640 134550932 4289367024 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794048 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.7 Current children cumulated vsize (KiB) 413816 Child status: 0 Real time (s): 3.79869 CPU time (s): 3.75623 CPU user time (s): 3.59222 CPU system time (s): 0.16401 CPU usage (%): 98.8825 Max. virtual memory (cumulated for all children) (KiB): 413816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.59222 system time used= 0.16401 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55245 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= 732 involuntary context switches= 765 runsolver used 0 second user time and 0 second system time The end