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/rand929.cudf.dudf-random.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-random//rand929.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand929.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.40 1.22 1.13 3/37 25005 /proc/meminfo: memFree=316004/1048576 swapFree=0/0 [pid=25003] ppid=25002 vsize=2568 CPUtime=0 /proc/25003/stat : 25003 (gj-trendy-solve) S 25002 25003 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 24 0 1 0 4744733 2629632 270 1283457024 134512640 135304128 4290704912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25003/statm: 642 270 229 194 0 29 0 [pid=25004] ppid=25003 vsize=11356 CPUtime=0.01 /proc/25004/stat : 25004 (java) S 25003 25003 1511 34817 1511 4202496 919 0 0 0 0 1 0 0 24 0 2 0 4744734 11628544 651 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/25004/statm: 2839 651 285 10 0 1185 0 [pid=25004/tid=25005] ppid=25003 vsize=11356 CPUtime=0 /proc/25004/task/25005/stat : 25005 (java) R 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 4744734 11628544 651 1283457024 134512640 134550932 4289696832 18446744073709551615 4159487592 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.145678 s] /proc/loadavg: 1.40 1.22 1.13 3/37 25005 /proc/meminfo: memFree=316004/1048576 swapFree=0/0 [pid=25003] ppid=25002 vsize=2568 CPUtime=0 /proc/25003/stat : 25003 (gj-trendy-solve) S 25002 25003 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 24 0 1 0 4744733 2629632 270 1283457024 134512640 135304128 4290704912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25003/statm: 642 270 229 194 0 29 0 [pid=25004] ppid=25003 vsize=409796 CPUtime=0.14 /proc/25004/stat : 25004 (java) S 25003 25003 1511 34817 1511 4202496 3798 0 1 0 12 2 0 0 24 0 9 0 4744734 419631104 3225 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25004/statm: 102449 3225 1791 10 0 96597 0 [pid=25004/tid=25005] ppid=25003 vsize=409796 CPUtime=0.13 /proc/25004/task/25005/stat : 25005 (java) R 25003 25003 1511 34817 1511 4202560 2831 0 1 0 12 1 0 0 25 0 9 0 4744734 419631104 3225 1283457024 134512640 134550932 4289696832 18446744073709551615 4114828772 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 412364 [startup+0.205684 s] /proc/loadavg: 1.40 1.22 1.13 3/37 25005 /proc/meminfo: memFree=316004/1048576 swapFree=0/0 [pid=25003] ppid=25002 vsize=2568 CPUtime=0 /proc/25003/stat : 25003 (gj-trendy-solve) S 25002 25003 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 24 0 1 0 4744733 2629632 270 1283457024 134512640 135304128 4290704912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25003/statm: 642 270 229 194 0 29 0 [pid=25004] ppid=25003 vsize=410100 CPUtime=0.2 /proc/25004/stat : 25004 (java) S 25003 25003 1511 34817 1511 4202496 4355 0 1 0 18 2 0 0 24 0 9 0 4744734 419942400 3782 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25004/statm: 102525 3782 1933 10 0 96673 0 [pid=25004/tid=25005] ppid=25003 vsize=410100 CPUtime=0.19 /proc/25004/task/25005/stat : 25005 (java) R 25003 25003 1511 34817 1511 4202560 3162 0 1 0 18 1 0 0 25 0 9 0 4744734 419942400 3782 1283457024 134512640 134550932 4289696832 18446744073709551615 4114825757 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412668 [startup+0.305703 s] /proc/loadavg: 1.40 1.22 1.13 3/37 25005 /proc/meminfo: memFree=316004/1048576 swapFree=0/0 [pid=25003] ppid=25002 vsize=2568 CPUtime=0 /proc/25003/stat : 25003 (gj-trendy-solve) S 25002 25003 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 24 0 1 0 4744733 2629632 270 1283457024 134512640 135304128 4290704912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25003/statm: 642 270 229 194 0 29 0 [pid=25004] ppid=25003 vsize=410380 CPUtime=0.3 /proc/25004/stat : 25004 (java) S 25003 25003 1511 34817 1511 4202496 5386 0 1 0 28 2 0 0 24 0 9 0 4744734 420229120 4812 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25004/statm: 102595 4812 1945 10 0 96743 0 [pid=25004/tid=25005] ppid=25003 vsize=410380 CPUtime=0.25 /proc/25004/task/25005/stat : 25005 (java) R 25003 25003 1511 34817 1511 4202560 3513 0 1 0 24 1 0 0 25 0 9 0 4744734 420229120 4812 1283457024 134512640 134550932 4289696832 18446744073709551615 4114793303 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412948 [startup+0.705785 s] /proc/loadavg: 1.40 1.22 1.13 3/37 25005 /proc/meminfo: memFree=316004/1048576 swapFree=0/0 [pid=25003] ppid=25002 vsize=2568 CPUtime=0 /proc/25003/stat : 25003 (gj-trendy-solve) S 25002 25003 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 24 0 1 0 4744733 2629632 270 1283457024 134512640 135304128 4290704912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25003/statm: 642 270 229 194 0 29 0 [pid=25004] ppid=25003 vsize=410644 CPUtime=0.71 /proc/25004/stat : 25004 (java) S 25003 25003 1511 34817 1511 4202496 12764 0 1 0 68 3 0 0 24 0 9 0 4744734 420499456 12006 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25004/statm: 102661 12006 2896 10 0 96809 0 [pid=25004/tid=25005] ppid=25003 vsize=410644 CPUtime=0.44 /proc/25004/task/25005/stat : 25005 (java) R 25003 25003 1511 34817 1511 4202560 4169 0 1 0 42 2 0 0 25 0 9 0 4744734 420499456 12006 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413212 [startup+1.50596 s] /proc/loadavg: 1.36 1.22 1.13 2/45 25013 /proc/meminfo: memFree=258392/1048576 swapFree=0/0 [pid=25003] ppid=25002 vsize=2568 CPUtime=0 /proc/25003/stat : 25003 (gj-trendy-solve) S 25002 25003 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 24 0 1 0 4744733 2629632 270 1283457024 134512640 135304128 4290704912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25003/statm: 642 270 229 194 0 29 0 [pid=25004] ppid=25003 vsize=410776 CPUtime=1.5 /proc/25004/stat : 25004 (java) S 25003 25003 1511 34817 1511 4202496 27720 0 1 0 143 7 0 0 24 0 9 0 4744734 420634624 26962 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25004/statm: 102694 26962 2896 10 0 96842 0 [pid=25004/tid=25005] ppid=25003 vsize=410776 CPUtime=0.75 /proc/25004/task/25005/stat : 25005 (java) R 25003 25003 1511 34817 1511 4202560 6761 0 1 0 72 3 0 0 25 0 9 0 4744734 420634624 26962 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25004/tid=25007] ppid=25003 vsize=410776 CPUtime=0.69 /proc/25004/task/25007/stat : 25007 (java) R 25003 25003 1511 34817 1511 4202560 19580 0 0 0 66 3 0 0 19 0 9 0 4744735 420634624 26962 1283457024 134512640 134550932 4289696832 18446744073709551615 4149741984 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=25004/tid=25008] ppid=25003 vsize=410776 CPUtime=0.01 /proc/25004/task/25008/stat : 25008 (java) S 25003 25003 1511 34817 1511 4202560 15 0 0 0 1 0 0 0 20 0 9 0 4744735 420634624 26962 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25009] ppid=25003 vsize=410776 CPUtime=0 /proc/25004/task/25009/stat : 25009 (java) S 25003 25003 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4744735 420634624 26962 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25010] ppid=25003 vsize=410776 CPUtime=0 /proc/25004/task/25010/stat : 25010 (java) S 25003 25003 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4744736 420634624 26962 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25011] ppid=25003 vsize=410776 CPUtime=0.04 /proc/25004/task/25011/stat : 25011 (java) S 25003 25003 1511 34817 1511 4202560 439 0 0 0 4 0 0 0 17 0 9 0 4744736 420634624 26962 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25012] ppid=25003 vsize=410776 CPUtime=0 /proc/25004/task/25012/stat : 25012 (java) S 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4744736 420634624 26962 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25013] ppid=25003 vsize=410776 CPUtime=0 /proc/25004/task/25013/stat : 25013 (java) S 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4744736 420634624 26962 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413344 [startup+3.11641 s] /proc/loadavg: 1.36 1.22 1.13 2/45 25014 /proc/meminfo: memFree=185232/1048576 swapFree=0/0 [pid=25003] ppid=25002 vsize=2568 CPUtime=0 /proc/25003/stat : 25003 (gj-trendy-solve) S 25002 25003 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 24 0 1 0 4744733 2629632 270 1283457024 134512640 135304128 4290704912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25003/statm: 642 270 229 194 0 29 0 [pid=25004] ppid=25003 vsize=410920 CPUtime=3.1 /proc/25004/stat : 25004 (java) S 25003 25003 1511 34817 1511 4202496 50664 0 1 0 296 14 0 0 24 0 9 0 4744734 420782080 49828 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25004/statm: 102730 49828 2919 10 0 96875 0 [pid=25004/tid=25005] ppid=25003 vsize=410920 CPUtime=1.33 /proc/25004/task/25005/stat : 25005 (java) R 25003 25003 1511 34817 1511 4202560 14355 0 1 0 126 7 0 0 25 0 9 0 4744734 420782080 49828 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25004/tid=25007] ppid=25003 vsize=410920 CPUtime=1.64 /proc/25004/task/25007/stat : 25007 (java) R 25003 25003 1511 34817 1511 4202560 34891 0 0 0 158 6 0 0 15 0 9 0 4744735 420782080 49828 1283457024 134512640 134550932 4289696832 18446744073709551615 4151093176 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=25004/tid=25008] ppid=25003 vsize=410920 CPUtime=0.01 /proc/25004/task/25008/stat : 25008 (java) S 25003 25003 1511 34817 1511 4202560 15 0 0 0 1 0 0 0 20 0 9 0 4744735 420782080 49828 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25009] ppid=25003 vsize=410920 CPUtime=0 /proc/25004/task/25009/stat : 25009 (java) S 25003 25003 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4744735 420782080 49828 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25010] ppid=25003 vsize=410920 CPUtime=0 /proc/25004/task/25010/stat : 25010 (java) S 25003 25003 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4744736 420782080 49828 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25011] ppid=25003 vsize=410920 CPUtime=0.1 /proc/25004/task/25011/stat : 25011 (java) S 25003 25003 1511 34817 1511 4202560 478 0 0 0 10 0 0 0 15 0 9 0 4744736 420782080 49828 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25012] ppid=25003 vsize=410920 CPUtime=0 /proc/25004/task/25012/stat : 25012 (java) S 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4744736 420782080 49828 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25013] ppid=25003 vsize=410920 CPUtime=0 /proc/25004/task/25013/stat : 25013 (java) R 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4744736 420782080 49828 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413488 Solver just ended. Dumping a history of the last processes samples [startup+3.2111 s] /proc/loadavg: 1.36 1.22 1.13 2/45 25014 /proc/meminfo: memFree=185232/1048576 swapFree=0/0 [pid=25003] ppid=25002 vsize=2568 CPUtime=0 /proc/25003/stat : 25003 (gj-trendy-solve) S 25002 25003 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 24 0 1 0 4744733 2629632 270 1283457024 134512640 135304128 4290704912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25003/statm: 642 270 229 194 0 29 0 [pid=25004] ppid=25003 vsize=410920 CPUtime=3.19 /proc/25004/stat : 25004 (java) S 25003 25003 1511 34817 1511 4202496 54750 0 1 0 305 14 0 0 24 0 9 0 4744734 420782080 53914 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25004/statm: 102730 53914 2919 10 0 96875 0 [pid=25004/tid=25005] ppid=25003 vsize=410920 CPUtime=1.33 /proc/25004/task/25005/stat : 25005 (java) R 25003 25003 1511 34817 1511 4202560 14355 0 1 0 126 7 0 0 25 0 9 0 4744734 420782080 53914 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25004/tid=25007] ppid=25003 vsize=410920 CPUtime=1.73 /proc/25004/task/25007/stat : 25007 (java) S 25003 25003 1511 34817 1511 4202560 38977 0 0 0 167 6 0 0 15 0 9 0 4744735 420782080 53914 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25008] ppid=25003 vsize=410920 CPUtime=0.01 /proc/25004/task/25008/stat : 25008 (java) S 25003 25003 1511 34817 1511 4202560 15 0 0 0 1 0 0 0 20 0 9 0 4744735 420782080 53914 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25009] ppid=25003 vsize=410920 CPUtime=0 /proc/25004/task/25009/stat : 25009 (java) S 25003 25003 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4744735 420782080 53914 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25010] ppid=25003 vsize=410920 CPUtime=0 /proc/25004/task/25010/stat : 25010 (java) S 25003 25003 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4744736 420782080 53914 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25011] ppid=25003 vsize=410920 CPUtime=0.1 /proc/25004/task/25011/stat : 25011 (java) S 25003 25003 1511 34817 1511 4202560 478 0 0 0 10 0 0 0 15 0 9 0 4744736 420782080 53914 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25012] ppid=25003 vsize=410920 CPUtime=0 /proc/25004/task/25012/stat : 25012 (java) S 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4744736 420782080 53914 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25013] ppid=25003 vsize=410920 CPUtime=0 /proc/25004/task/25013/stat : 25013 (java) S 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4744736 420782080 53914 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 413488 [startup+3.60649 s] /proc/loadavg: 1.36 1.22 1.13 2/45 25014 /proc/meminfo: memFree=112692/1048576 swapFree=0/0 [pid=25003] ppid=25002 vsize=2568 CPUtime=0 /proc/25003/stat : 25003 (gj-trendy-solve) S 25002 25003 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 24 0 1 0 4744733 2629632 270 1283457024 134512640 135304128 4290704912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25003/statm: 642 270 229 194 0 29 0 [pid=25004] ppid=25003 vsize=411244 CPUtime=3.59 /proc/25004/stat : 25004 (java) S 25003 25003 1511 34817 1511 4202496 54846 0 1 0 344 15 0 0 24 0 10 0 4744734 421113856 54006 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25004/statm: 102811 54006 2921 10 0 96956 0 [pid=25004/tid=25005] ppid=25003 vsize=411244 CPUtime=1.67 /proc/25004/task/25005/stat : 25005 (java) R 25003 25003 1511 34817 1511 4202560 14389 0 1 0 160 7 0 0 25 0 10 0 4744734 421113856 54006 1283457024 134512640 134550932 4289696832 18446744073709551615 4115608477 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25004/tid=25007] ppid=25003 vsize=411244 CPUtime=1.73 /proc/25004/task/25007/stat : 25007 (java) S 25003 25003 1511 34817 1511 4202560 38977 0 0 0 167 6 0 0 16 0 10 0 4744735 421113856 54006 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25008] ppid=25003 vsize=411244 CPUtime=0.01 /proc/25004/task/25008/stat : 25008 (java) S 25003 25003 1511 34817 1511 4202560 15 0 0 0 1 0 0 0 18 0 10 0 4744735 421113856 54006 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25009] ppid=25003 vsize=411244 CPUtime=0 /proc/25004/task/25009/stat : 25009 (java) S 25003 25003 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4744735 421113856 54006 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25010] ppid=25003 vsize=411244 CPUtime=0 /proc/25004/task/25010/stat : 25010 (java) S 25003 25003 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4744736 421113856 54006 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25011] ppid=25003 vsize=411244 CPUtime=0.15 /proc/25004/task/25011/stat : 25011 (java) S 25003 25003 1511 34817 1511 4202560 535 0 0 0 15 0 0 0 16 0 10 0 4744736 421113856 54006 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25012] ppid=25003 vsize=411244 CPUtime=0 /proc/25004/task/25012/stat : 25012 (java) S 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4744736 421113856 54006 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25013] ppid=25003 vsize=411244 CPUtime=0 /proc/25004/task/25013/stat : 25013 (java) S 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4744736 421113856 54006 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.59 Current children cumulated vsize (KiB) 413812 [startup+3.80655 s] /proc/loadavg: 1.36 1.22 1.13 2/45 25014 /proc/meminfo: memFree=112692/1048576 swapFree=0/0 [pid=25003] ppid=25002 vsize=2568 CPUtime=0 /proc/25003/stat : 25003 (gj-trendy-solve) S 25002 25003 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 24 0 1 0 4744733 2629632 270 1283457024 134512640 135304128 4290704912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25003/statm: 642 270 229 194 0 29 0 [pid=25004] ppid=25003 vsize=411244 CPUtime=3.79 /proc/25004/stat : 25004 (java) S 25003 25003 1511 34817 1511 4202496 54850 0 1 0 364 15 0 0 24 0 9 0 4744734 421113856 54010 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25004/statm: 102811 54010 2922 10 0 96956 0 [pid=25004/tid=25005] ppid=25003 vsize=411244 CPUtime=1.87 /proc/25004/task/25005/stat : 25005 (java) R 25003 25003 1511 34817 1511 4202560 14389 0 1 0 180 7 0 0 25 0 9 0 4744734 421113856 54010 1283457024 134512640 134550932 4289696832 18446744073709551615 4150508836 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25004/tid=25007] ppid=25003 vsize=411244 CPUtime=1.73 /proc/25004/task/25007/stat : 25007 (java) S 25003 25003 1511 34817 1511 4202560 38977 0 0 0 167 6 0 0 16 0 9 0 4744735 421113856 54010 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25008] ppid=25003 vsize=411244 CPUtime=0.01 /proc/25004/task/25008/stat : 25008 (java) S 25003 25003 1511 34817 1511 4202560 15 0 0 0 1 0 0 0 18 0 9 0 4744735 421113856 54010 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25009] ppid=25003 vsize=411244 CPUtime=0 /proc/25004/task/25009/stat : 25009 (java) S 25003 25003 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4744735 421113856 54010 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25010] ppid=25003 vsize=411244 CPUtime=0 /proc/25004/task/25010/stat : 25010 (java) S 25003 25003 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4744736 421113856 54010 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25011] ppid=25003 vsize=411244 CPUtime=0.15 /proc/25004/task/25011/stat : 25011 (java) S 25003 25003 1511 34817 1511 4202560 538 0 0 0 15 0 0 0 15 0 9 0 4744736 421113856 54010 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25012] ppid=25003 vsize=411244 CPUtime=0 /proc/25004/task/25012/stat : 25012 (java) S 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4744736 421113856 54010 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 [pid=25004/tid=25013] ppid=25003 vsize=411244 CPUtime=0 /proc/25004/task/25013/stat : 25013 (java) S 25003 25003 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4744736 421113856 54010 1283457024 134512640 134550932 4289696832 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.79 Current children cumulated vsize (KiB) 413812 Child status: 0 Real time (s): 3.87854 CPU time (s): 3.81224 CPU user time (s): 3.64823 CPU system time (s): 0.16401 CPU usage (%): 98.2906 Max. virtual memory (cumulated for all children) (KiB): 413812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.64823 system time used= 0.16401 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55244 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= 757 involuntary context switches= 800 runsolver used 0 second user time and 0 second system time The end