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/rand252.cudf.dudf-random.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-random//rand252.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand252.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.07 1.07 1.02 5/34 5445 /proc/meminfo: memFree=507816/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=11360 CPUtime=0 /proc/5445/stat : 5445 (java) R 5444 5444 1511 34817 1511 4202496 918 0 0 0 0 0 0 0 25 0 2 0 1321985 11632640 651 1283457024 134512640 134550932 4287834752 18446744073709551615 4159934056 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 2840 651 285 10 0 1186 0 [pid=5445/tid=5446] ppid=5444 vsize=11360 CPUtime=0 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1321986 11632640 651 1283457024 134512640 134550932 4287834752 18446744073709551615 4159934056 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.172654 s] /proc/loadavg: 1.07 1.07 1.02 5/34 5445 /proc/meminfo: memFree=507816/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=410100 CPUtime=0.16 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 4377 0 1 0 15 1 0 0 25 0 9 0 1321985 419942400 3805 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 102525 3805 1933 10 0 96673 0 [pid=5445/tid=5446] ppid=5444 vsize=410100 CPUtime=0.15 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 3185 0 1 0 14 1 0 0 25 0 9 0 1321986 419942400 3805 1283457024 134512640 134550932 4287834752 18446744073709551615 4115272852 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412672 [startup+0.202662 s] /proc/loadavg: 1.07 1.07 1.02 5/34 5445 /proc/meminfo: memFree=507816/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=410100 CPUtime=0.19 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 4544 0 1 0 18 1 0 0 25 0 9 0 1321985 419942400 3972 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 102525 3972 1933 10 0 96673 0 [pid=5445/tid=5446] ppid=5444 vsize=410100 CPUtime=0.18 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 3352 0 1 0 17 1 0 0 25 0 9 0 1321986 419942400 3972 1283457024 134512640 134550932 4287834752 18446744073709551615 4153161952 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412672 [startup+0.312673 s] /proc/loadavg: 1.07 1.07 1.02 5/34 5445 /proc/meminfo: memFree=507816/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=410100 CPUtime=0.3 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 5277 0 1 0 29 1 0 0 25 0 9 0 1321985 419942400 4704 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 102525 4704 1939 10 0 96673 0 [pid=5445/tid=5446] ppid=5444 vsize=410100 CPUtime=0.27 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 3515 0 1 0 26 1 0 0 25 0 9 0 1321986 419942400 4704 1283457024 134512640 134550932 4287834752 18446744073709551615 4115291991 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) 412672 [startup+0.702821 s] /proc/loadavg: 1.07 1.07 1.02 5/34 5445 /proc/meminfo: memFree=507816/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=410688 CPUtime=0.69 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 12764 0 1 0 66 3 0 0 25 0 9 0 1321985 420544512 12004 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 102672 12004 2901 10 0 96820 0 [pid=5445/tid=5446] ppid=5444 vsize=410688 CPUtime=0.46 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 4187 0 1 0 44 2 0 0 25 0 9 0 1321986 420544512 12004 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 413260 [startup+1.50309 s] /proc/loadavg: 1.14 1.09 1.02 2/43 5454 /proc/meminfo: memFree=448896/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=410688 CPUtime=1.5 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 27630 0 1 0 140 10 0 0 25 0 9 0 1321985 420544512 26870 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 102672 26870 2901 10 0 96820 0 [pid=5445/tid=5446] ppid=5444 vsize=410688 CPUtime=0.76 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 6763 0 1 0 72 4 0 0 24 0 9 0 1321986 420544512 26870 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=410688 CPUtime=0.67 /proc/5445/task/5448/stat : 5448 (java) R 5444 5444 1511 34817 1511 4202560 19489 0 0 0 62 5 0 0 18 0 9 0 1321987 420544512 26870 1283457024 134512640 134550932 4287834752 18446744073709551615 4151917992 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=410688 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 1321987 420544512 26870 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=410688 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 1321987 420544512 26870 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=410688 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1321988 420544512 26870 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=410688 CPUtime=0.04 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 438 0 0 0 4 0 0 0 20 0 9 0 1321988 420544512 26870 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=410688 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 1321988 420544512 26870 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=410688 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 1321988 420544512 26870 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413260 [startup+3.10363 s] /proc/loadavg: 1.14 1.09 1.02 2/43 5454 /proc/meminfo: memFree=376480/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=410820 CPUtime=3.09 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 50346 0 1 0 295 14 0 0 25 0 9 0 1321985 420679680 49586 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 102705 49586 2901 10 0 96853 0 [pid=5445/tid=5446] ppid=5444 vsize=410820 CPUtime=1.39 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 13947 0 1 0 131 8 0 0 25 0 9 0 1321986 420679680 49586 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=410820 CPUtime=1.64 /proc/5445/task/5448/stat : 5448 (java) R 5444 5444 1511 34817 1511 4202560 35016 0 0 0 158 6 0 0 16 0 9 0 1321987 420679680 49586 1283457024 134512640 134550932 4287834752 18446744073709551615 4150386658 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=410820 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 1321987 420679680 49586 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=410820 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 1321987 420679680 49586 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=410820 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1321988 420679680 49586 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=410820 CPUtime=0.05 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 443 0 0 0 5 0 0 0 16 0 9 0 1321988 420679680 49586 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=410820 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 1321988 420679680 49586 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=410820 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 1321988 420679680 49586 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 413392 [startup+6.3045 s] /proc/loadavg: 1.14 1.09 1.02 3/43 5454 /proc/meminfo: memFree=239724/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=438936 CPUtime=6.3 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 77994 0 1 0 604 26 0 0 25 0 9 0 1321985 449470464 77228 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 109734 77228 2903 10 0 103882 0 [pid=5445/tid=5446] ppid=5444 vsize=438936 CPUtime=2.25 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 13965 0 1 0 217 8 0 0 25 0 9 0 1321986 449470464 77228 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=438936 CPUtime=3.95 /proc/5445/task/5448/stat : 5448 (java) R 5444 5444 1511 34817 1511 4202560 62628 0 0 0 378 17 0 0 16 0 9 0 1321987 449470464 77228 1283457024 134512640 134550932 4287834752 18446744073709551615 4153031093 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=438936 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 1321987 449470464 77228 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=438936 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 1321987 449470464 77228 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=438936 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1321988 449470464 77228 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=438936 CPUtime=0.07 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 461 0 0 0 7 0 0 0 16 0 9 0 1321988 449470464 77228 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=438936 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 1321988 449470464 77228 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=438936 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 1321988 449470464 77228 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 441508 [startup+12.7067 s] /proc/loadavg: 1.27 1.12 1.03 2/43 5454 /proc/meminfo: memFree=233152/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=414092 CPUtime=12.69 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 104328 0 1 0 1232 37 0 0 25 0 9 0 1321985 424030208 71219 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 103523 71219 2917 10 0 97668 0 [pid=5445/tid=5446] ppid=5444 vsize=414092 CPUtime=3.16 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 14195 0 1 0 308 8 0 0 25 0 9 0 1321986 424030208 71219 1283457024 134512640 134550932 4287834752 18446744073709551615 4116098099 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=414092 CPUtime=9.4 /proc/5445/task/5448/stat : 5448 (java) S 5444 5444 1511 34817 1511 4202560 88695 0 0 0 912 28 0 0 16 0 9 0 1321987 424030208 71219 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=414092 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 1321987 424030208 71219 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=414092 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 1321987 424030208 71219 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=414092 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1321988 424030208 71219 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=414092 CPUtime=0.1 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 498 0 0 0 10 0 0 0 15 0 9 0 1321988 424030208 71219 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=414092 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 1321988 424030208 71219 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=414092 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 1321988 424030208 71219 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 416664 [startup+25.5114 s] /proc/loadavg: 1.23 1.11 1.03 2/44 5455 /proc/meminfo: memFree=233144/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=414416 CPUtime=25.47 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 104391 0 1 0 2510 37 0 0 25 0 10 0 1321985 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 103604 71278 2918 10 0 97749 0 [pid=5445/tid=5446] ppid=5444 vsize=414416 CPUtime=15.91 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 14217 0 1 0 1583 8 0 0 25 0 10 0 1321986 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4116212132 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=414416 CPUtime=9.4 /proc/5445/task/5448/stat : 5448 (java) S 5444 5444 1511 34817 1511 4202560 88695 0 0 0 912 28 0 0 15 0 10 0 1321987 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=414416 CPUtime=0.14 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 534 0 0 0 14 0 0 0 15 0 10 0 1321988 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1321988 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5455] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5455/stat : 5455 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1323270 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 416988 Solver just ended. Dumping a history of the last processes samples [startup+25.6114 s] /proc/loadavg: 1.23 1.11 1.03 2/44 5455 /proc/meminfo: memFree=233144/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=414416 CPUtime=25.57 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 104391 0 1 0 2520 37 0 0 25 0 10 0 1321985 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 103604 71278 2918 10 0 97749 0 [pid=5445/tid=5446] ppid=5444 vsize=414416 CPUtime=16.01 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 14217 0 1 0 1593 8 0 0 25 0 10 0 1321986 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4116211933 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=414416 CPUtime=9.4 /proc/5445/task/5448/stat : 5448 (java) S 5444 5444 1511 34817 1511 4202560 88695 0 0 0 912 28 0 0 15 0 10 0 1321987 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=414416 CPUtime=0.14 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 534 0 0 0 14 0 0 0 15 0 10 0 1321988 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1321988 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5455] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5455/stat : 5455 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1323270 424361984 71278 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.57 Current children cumulated vsize (KiB) 416988 [startup+28.8024 s] /proc/loadavg: 1.21 1.11 1.03 2/44 5455 /proc/meminfo: memFree=233144/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=414416 CPUtime=28.77 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 104416 0 1 0 2840 37 0 0 25 0 10 0 1321985 424361984 71303 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 103604 71303 2920 10 0 97749 0 [pid=5445/tid=5446] ppid=5444 vsize=414416 CPUtime=19.11 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 14220 0 1 0 1903 8 0 0 25 0 10 0 1321986 424361984 71303 1283457024 134512640 134550932 4287834752 18446744073709551615 4116246432 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=414416 CPUtime=9.46 /proc/5445/task/5448/stat : 5448 (java) S 5444 5444 1511 34817 1511 4202560 88697 0 0 0 918 28 0 0 16 0 10 0 1321987 424361984 71303 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71303 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71303 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71303 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=414416 CPUtime=0.18 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 554 0 0 0 18 0 0 0 15 0 10 0 1321988 424361984 71303 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71303 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1321988 424361984 71303 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5455] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5455/stat : 5455 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1323270 424361984 71303 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 28.77 Current children cumulated vsize (KiB) 416988 [startup+30.4129 s] /proc/loadavg: 1.21 1.11 1.03 2/44 5455 /proc/meminfo: memFree=233144/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=414416 CPUtime=30.37 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 104418 0 1 0 3000 37 0 0 25 0 10 0 1321985 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 103604 71305 2920 10 0 97749 0 [pid=5445/tid=5446] ppid=5444 vsize=414416 CPUtime=20.66 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 14220 0 1 0 2058 8 0 0 25 0 10 0 1321986 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4115746092 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=414416 CPUtime=9.52 /proc/5445/task/5448/stat : 5448 (java) S 5444 5444 1511 34817 1511 4202560 88697 0 0 0 924 28 0 0 16 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=414416 CPUtime=0.18 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 556 0 0 0 18 0 0 0 15 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5455] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5455/stat : 5455 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1323270 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 30.37 Current children cumulated vsize (KiB) 416988 [startup+31.2132 s] /proc/loadavg: 1.21 1.11 1.03 2/44 5455 /proc/meminfo: memFree=233144/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=414416 CPUtime=31.17 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 104418 0 1 0 3080 37 0 0 25 0 10 0 1321985 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 103604 71305 2920 10 0 97749 0 [pid=5445/tid=5446] ppid=5444 vsize=414416 CPUtime=21.43 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 14220 0 1 0 2135 8 0 0 25 0 10 0 1321986 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4116193213 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=414416 CPUtime=9.54 /proc/5445/task/5448/stat : 5448 (java) S 5444 5444 1511 34817 1511 4202560 88697 0 0 0 926 28 0 0 16 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=414416 CPUtime=0.18 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 556 0 0 0 18 0 0 0 15 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5455] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5455/stat : 5455 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1323270 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 31.17 Current children cumulated vsize (KiB) 416988 [startup+31.6133 s] /proc/loadavg: 1.21 1.11 1.03 2/44 5455 /proc/meminfo: memFree=233144/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=414416 CPUtime=31.57 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 104418 0 1 0 3120 37 0 0 25 0 10 0 1321985 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 103604 71305 2920 10 0 97749 0 [pid=5445/tid=5446] ppid=5444 vsize=414416 CPUtime=21.83 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 14220 0 1 0 2175 8 0 0 25 0 10 0 1321986 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4116181684 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=414416 CPUtime=9.54 /proc/5445/task/5448/stat : 5448 (java) S 5444 5444 1511 34817 1511 4202560 88697 0 0 0 926 28 0 0 16 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=414416 CPUtime=0.18 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 556 0 0 0 18 0 0 0 15 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5455] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5455/stat : 5455 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1323270 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 31.57 Current children cumulated vsize (KiB) 416988 [startup+31.8134 s] /proc/loadavg: 1.21 1.11 1.03 2/44 5455 /proc/meminfo: memFree=233144/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=414416 CPUtime=31.77 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 104418 0 1 0 3140 37 0 0 25 0 10 0 1321985 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 103604 71305 2920 10 0 97749 0 [pid=5445/tid=5446] ppid=5444 vsize=414416 CPUtime=22.03 /proc/5445/task/5446/stat : 5446 (java) R 5444 5444 1511 34817 1511 4202560 14220 0 1 0 2195 8 0 0 25 0 10 0 1321986 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4116181684 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=414416 CPUtime=9.54 /proc/5445/task/5448/stat : 5448 (java) S 5444 5444 1511 34817 1511 4202560 88697 0 0 0 926 28 0 0 16 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1321987 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=414416 CPUtime=0.18 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 556 0 0 0 18 0 0 0 15 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1321988 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5455] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5455/stat : 5455 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1323270 424361984 71305 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 31.77 Current children cumulated vsize (KiB) 416988 [startup+31.9104 s] /proc/loadavg: 1.20 1.11 1.03 1/43 5456 /proc/meminfo: memFree=233020/1048576 swapFree=0/0 [pid=5444] ppid=5443 vsize=2572 CPUtime=0 /proc/5444/stat : 5444 (gj-trendy-solve) S 5443 5444 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 1321985 2633728 270 1283457024 134512640 135304128 4290028896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5444/statm: 643 270 229 194 0 30 0 [pid=5445] ppid=5444 vsize=414416 CPUtime=31.86 /proc/5445/stat : 5445 (java) S 5444 5444 1511 34817 1511 4202496 104428 0 1 0 3149 37 0 0 25 0 9 0 1321985 424361984 71315 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5445/statm: 103604 71315 2921 10 0 97749 0 [pid=5445/tid=5446] ppid=5444 vsize=414416 CPUtime=22.1 /proc/5445/task/5446/stat : 5446 (java) S 5444 5444 1511 34817 1511 4202560 14220 0 1 0 2202 8 0 0 25 0 9 0 1321986 424361984 71315 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5448] ppid=5444 vsize=414416 CPUtime=9.56 /proc/5445/task/5448/stat : 5448 (java) S 5444 5444 1511 34817 1511 4202560 88697 0 0 0 928 28 0 0 16 0 9 0 1321987 424361984 71315 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5449] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5449/stat : 5449 (java) S 5444 5444 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 1321987 424361984 71315 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5450] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5450/stat : 5450 (java) S 5444 5444 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 1321987 424361984 71315 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5451] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5451/stat : 5451 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1321988 424361984 71315 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5452] ppid=5444 vsize=414416 CPUtime=0.18 /proc/5445/task/5452/stat : 5452 (java) S 5444 5444 1511 34817 1511 4202560 565 0 0 0 18 0 0 0 16 0 9 0 1321988 424361984 71315 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5453] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5453/stat : 5453 (java) S 5444 5444 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 1321988 424361984 71315 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 [pid=5445/tid=5454] ppid=5444 vsize=414416 CPUtime=0 /proc/5445/task/5454/stat : 5454 (java) S 5444 5444 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 1321988 424361984 71315 1283457024 134512640 134550932 4287834752 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 31.86 Current children cumulated vsize (KiB) 416988 Child status: 0 Real time (s): 31.9531 CPU time (s): 31.886 CPU user time (s): 31.498 CPU system time (s): 0.388024 CPU usage (%): 99.7901 Max. virtual memory (cumulated for all children) (KiB): 441688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.498 system time used= 0.388024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104817 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= 1448 involuntary context switches= 1823 runsolver used 0 second user time and 0.008 second system time The end