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/rand214.cudf.s-e.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s-e/rand214.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand214.cudf.s-e.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.05 1.01 1.00 5/35 4791 /proc/meminfo: memFree=572016/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=11356 CPUtime=0.01 /proc/4790/stat : 4790 (java) R 4789 4789 1511 34817 1511 4202496 918 0 0 0 0 1 0 0 25 0 2 0 1285516 11628544 651 1283457024 134512640 134550932 4294160512 18446744073709551615 4159020648 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 2839 651 285 10 0 1185 0 [pid=4790/tid=4791] ppid=4789 vsize=11356 CPUtime=0 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1285516 11628544 651 1283457024 134512640 134550932 4294160512 18446744073709551615 4159020648 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.225348 s] /proc/loadavg: 1.05 1.01 1.00 5/35 4791 /proc/meminfo: memFree=572016/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=410100 CPUtime=0.22 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 4457 0 1 0 21 1 0 0 25 0 9 0 1285516 419942400 3888 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102525 3888 1929 10 0 96673 0 [pid=4790/tid=4791] ppid=4789 vsize=410100 CPUtime=0.2 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 3263 0 1 0 20 0 0 0 25 0 9 0 1285516 419942400 3888 1283457024 134512640 134550932 4294160512 18446744073709551615 4151122118 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 412668 [startup+0.305352 s] /proc/loadavg: 1.05 1.01 1.00 5/35 4791 /proc/meminfo: memFree=572016/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=410244 CPUtime=0.3 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 5345 0 1 0 28 2 0 0 25 0 9 0 1285516 420089856 4775 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102561 4775 1938 10 0 96709 0 [pid=4790/tid=4791] ppid=4789 vsize=410244 CPUtime=0.25 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 3503 0 1 0 25 0 0 0 25 0 9 0 1285516 420089856 4775 1283457024 134512640 134550932 4294160512 18446744073709551615 4114378744 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) 412812 [startup+0.417844 s] /proc/loadavg: 1.05 1.01 1.00 5/35 4791 /proc/meminfo: memFree=572016/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=410244 CPUtime=0.41 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 7402 0 1 0 39 2 0 0 25 0 9 0 1285516 420089856 6832 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102561 6832 1938 10 0 96709 0 [pid=4790/tid=4791] ppid=4789 vsize=410244 CPUtime=0.3 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 3503 0 1 0 30 0 0 0 25 0 9 0 1285516 420089856 6832 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 412812 [startup+0.705466 s] /proc/loadavg: 1.05 1.01 1.00 5/35 4791 /proc/meminfo: memFree=572016/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=410680 CPUtime=0.7 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 12865 0 1 0 66 4 0 0 25 0 9 0 1285516 420536320 12111 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102670 12111 2895 10 0 96818 0 [pid=4790/tid=4791] ppid=4789 vsize=410680 CPUtime=0.43 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 4191 0 1 0 43 0 0 0 25 0 9 0 1285516 420536320 12111 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413248 [startup+1.5056 s] /proc/loadavg: 1.13 1.03 1.01 2/43 4799 /proc/meminfo: memFree=509384/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=410812 CPUtime=1.49 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 27598 0 1 0 139 10 0 0 25 0 9 0 1285516 420671488 26844 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102703 26844 2896 10 0 96851 0 [pid=4790/tid=4791] ppid=4789 vsize=410812 CPUtime=0.74 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 6735 0 1 0 72 2 0 0 25 0 9 0 1285516 420671488 26844 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=410812 CPUtime=0.7 /proc/4790/task/4793/stat : 4793 (java) R 4789 4789 1511 34817 1511 4202560 19493 0 0 0 64 6 0 0 19 0 9 0 1285517 420671488 26844 1283457024 134512640 134550932 4294160512 18446744073709551615 4151005303 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=410812 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 21 0 9 0 1285517 420671488 26844 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=410812 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 1285517 420671488 26844 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=410812 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1285519 420671488 26844 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=410812 CPUtime=0.02 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 429 0 0 0 2 0 0 0 16 0 9 0 1285519 420671488 26844 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=410812 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1285519 420671488 26844 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=410812 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 1285519 420671488 26844 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 413380 [startup+3.10623 s] /proc/loadavg: 1.13 1.03 1.01 2/43 4799 /proc/meminfo: memFree=438456/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=3.09 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 39347 0 1 0 291 18 0 0 25 0 10 0 1285516 421015552 38511 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 38511 2921 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=1.83 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 9720 0 1 0 179 4 0 0 25 0 10 0 1285516 421015552 38511 1283457024 134512640 134550932 4294160512 18446744073709551615 4115248548 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=1.19 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 28166 0 0 0 106 13 0 0 16 0 10 0 1285517 421015552 38511 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 38511 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 38511 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 38511 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.04 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 516 0 0 0 4 0 0 0 15 0 10 0 1285519 421015552 38511 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 38511 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1285519 421015552 38511 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 413716 [startup+6.30712 s] /proc/loadavg: 1.13 1.03 1.01 2/44 4800 /proc/meminfo: memFree=420220/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=6.29 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 41880 0 1 0 611 18 0 0 25 0 10 0 1285516 421015552 41044 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 41044 2922 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=4.95 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 9723 0 1 0 491 4 0 0 25 0 10 0 1285516 421015552 41044 1283457024 134512640 134550932 4294160512 18446744073709551615 4115292080 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=1.25 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 30687 0 0 0 112 13 0 0 15 0 10 0 1285517 421015552 41044 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1285517 421015552 41044 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 41044 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41044 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.06 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 525 0 0 0 6 0 0 0 16 0 10 0 1285519 421015552 41044 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41044 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1285519 421015552 41044 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4800] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4800/stat : 4800 (java) S 4789 4789 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1285765 421015552 41044 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 413716 [startup+12.7085 s] /proc/loadavg: 1.11 1.03 1.01 2/44 4800 /proc/meminfo: memFree=420104/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=12.68 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 41896 0 1 0 1250 18 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 41051 2916 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=11.01 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 9723 0 1 0 1097 4 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4115158985 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=1.58 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 30699 0 0 0 145 13 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.08 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 529 0 0 0 8 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4800] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4800/stat : 4800 (java) S 4789 4789 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1285765 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 413716 [startup+25.511 s] /proc/loadavg: 1.09 1.03 1.01 2/44 4800 /proc/meminfo: memFree=420104/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=25.48 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 41896 0 1 0 2530 18 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 41051 2916 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=23.5 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 9723 0 1 0 2346 4 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4115166345 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=1.88 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 30699 0 0 0 175 13 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.08 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 529 0 0 0 8 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4800] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4800/stat : 4800 (java) S 4789 4789 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1285765 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 413716 Solver just ended. Dumping a history of the last processes samples [startup+25.711 s] /proc/loadavg: 1.09 1.03 1.01 2/44 4800 /proc/meminfo: memFree=420104/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=25.68 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 41896 0 1 0 2550 18 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 41051 2916 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=23.7 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 9723 0 1 0 2366 4 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4115166022 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=1.88 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 30699 0 0 0 175 13 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.08 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 529 0 0 0 8 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4800] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4800/stat : 4800 (java) S 4789 4789 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1285765 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.68 Current children cumulated vsize (KiB) 413716 [startup+32.1124 s] /proc/loadavg: 1.08 1.03 1.00 2/44 4800 /proc/meminfo: memFree=420104/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=32.08 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 41896 0 1 0 3190 18 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 41051 2916 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=29.96 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 9723 0 1 0 2992 4 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4150042059 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=2.02 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 30699 0 0 0 189 13 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.08 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 529 0 0 0 8 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4800] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4800/stat : 4800 (java) S 4789 4789 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1285765 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 32.08 Current children cumulated vsize (KiB) 413716 [startup+35.313 s] /proc/loadavg: 1.08 1.03 1.00 2/44 4800 /proc/meminfo: memFree=420104/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=35.27 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 41896 0 1 0 3509 18 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 41051 2916 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=33.03 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 9723 0 1 0 3299 4 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4115292100 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=2.15 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 30699 0 0 0 202 13 0 0 16 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.08 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 529 0 0 0 8 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4800] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4800/stat : 4800 (java) S 4789 4789 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1285765 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 35.27 Current children cumulated vsize (KiB) 413716 [startup+36.1133 s] /proc/loadavg: 1.08 1.03 1.00 2/44 4800 /proc/meminfo: memFree=420104/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=36.07 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 41896 0 1 0 3589 18 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 41051 2916 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=33.83 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 9723 0 1 0 3379 4 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4115174167 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=2.15 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 30699 0 0 0 202 13 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.08 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 529 0 0 0 8 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4800] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4800/stat : 4800 (java) S 4789 4789 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1285765 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 36.07 Current children cumulated vsize (KiB) 413716 [startup+36.9135 s] /proc/loadavg: 1.07 1.03 1.00 2/44 4800 /proc/meminfo: memFree=420104/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=36.87 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 41896 0 1 0 3669 18 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 41051 2916 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=34.63 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 9723 0 1 0 3459 4 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4114496088 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=2.15 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 30699 0 0 0 202 13 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.08 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 529 0 0 0 8 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4800] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4800/stat : 4800 (java) S 4789 4789 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1285765 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 36.87 Current children cumulated vsize (KiB) 413716 [startup+37.1135 s] /proc/loadavg: 1.07 1.03 1.00 2/44 4800 /proc/meminfo: memFree=420104/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=37.07 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 41896 0 1 0 3689 18 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 41051 2916 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=34.83 /proc/4790/task/4791/stat : 4791 (java) R 4789 4789 1511 34817 1511 4202560 9723 0 1 0 3479 4 0 0 25 0 10 0 1285516 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4114874499 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=2.15 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 30699 0 0 0 202 13 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 1285517 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.08 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 529 0 0 0 8 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 1285519 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4800] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4800/stat : 4800 (java) S 4789 4789 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1285765 421015552 41051 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 37.07 Current children cumulated vsize (KiB) 413716 [startup+37.2036 s] /proc/loadavg: 1.07 1.03 1.00 2/44 4800 /proc/meminfo: memFree=420104/1048576 swapFree=0/0 [pid=4789] ppid=4788 vsize=2568 CPUtime=0 /proc/4789/stat : 4789 (gj-trendy-solve) S 4788 4789 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 1285516 2629632 270 1283457024 134512640 135304128 4289570048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4789/statm: 642 270 229 194 0 29 0 [pid=4790] ppid=4789 vsize=411148 CPUtime=37.12 /proc/4790/stat : 4790 (java) S 4789 4789 1511 34817 1511 4202496 41898 0 1 0 3694 18 0 0 25 0 9 0 1285516 421015552 41053 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4790/statm: 102787 41053 2917 10 0 96932 0 [pid=4790/tid=4791] ppid=4789 vsize=411148 CPUtime=34.87 /proc/4790/task/4791/stat : 4791 (java) S 4789 4789 1511 34817 1511 4202560 9723 0 1 0 3483 4 0 0 25 0 9 0 1285516 421015552 41053 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4793] ppid=4789 vsize=411148 CPUtime=2.15 /proc/4790/task/4793/stat : 4793 (java) S 4789 4789 1511 34817 1511 4202560 30699 0 0 0 202 13 0 0 15 0 9 0 1285517 421015552 41053 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4794] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4794/stat : 4794 (java) S 4789 4789 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 9 0 1285517 421015552 41053 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4795] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4795/stat : 4795 (java) S 4789 4789 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 1285517 421015552 41053 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4796] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4796/stat : 4796 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1285519 421015552 41053 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4797] ppid=4789 vsize=411148 CPUtime=0.08 /proc/4790/task/4797/stat : 4797 (java) S 4789 4789 1511 34817 1511 4202560 530 0 0 0 8 0 0 0 15 0 9 0 1285519 421015552 41053 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4798] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4798/stat : 4798 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1285519 421015552 41053 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4790/tid=4799] ppid=4789 vsize=411148 CPUtime=0 /proc/4790/task/4799/stat : 4799 (java) S 4789 4789 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 1285519 421015552 41053 1283457024 134512640 134550932 4294160512 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 37.12 Current children cumulated vsize (KiB) 413716 Child status: 0 Real time (s): 37.226 CPU time (s): 37.1383 CPU user time (s): 36.9423 CPU system time (s): 0.196012 CPU usage (%): 99.7645 Max. virtual memory (cumulated for all children) (KiB): 413716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.9423 system time used= 0.196012 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42287 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= 1416 involuntary context switches= 1877 runsolver used 0.008 second user time and 0 second system time The end