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/rand97.cudf.user-upgrades.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand97.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand97.cudf.user-upgrades.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.13 1.12 1.10 5/34 26785 /proc/meminfo: memFree=334796/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) R 26783 26784 1511 34817 1511 4202496 355 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 268 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/26784/statm: 642 268 228 194 0 29 0 [pid=26785] ppid=26784 vsize=2568 CPUtime=0 /proc/26785/stat : 26785 (gj-trendy-solve) R 26784 26784 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 40 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/26785/statm: 642 40 0 194 0 29 0 [startup+0.145341 s] /proc/loadavg: 1.13 1.12 1.10 5/34 26785 /proc/meminfo: memFree=334796/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=409796 CPUtime=0.15 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 3953 0 1 0 13 2 0 0 25 0 9 0 4839625 419631104 3380 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102449 3380 1922 10 0 96597 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 412364 [startup+0.205343 s] /proc/loadavg: 1.13 1.12 1.10 5/34 26785 /proc/meminfo: memFree=334796/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=409796 CPUtime=0.21 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 4087 0 1 0 19 2 0 0 25 0 9 0 4839625 419631104 3514 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102449 3514 1922 10 0 96597 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412364 [startup+0.305362 s] /proc/loadavg: 1.13 1.12 1.10 5/34 26785 /proc/meminfo: memFree=334796/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=410376 CPUtime=0.31 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 4461 0 1 0 29 2 0 0 25 0 9 0 4839625 420225024 3888 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102594 3888 1944 10 0 96742 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412944 [startup+0.705442 s] /proc/loadavg: 1.13 1.12 1.10 5/34 26785 /proc/meminfo: memFree=334796/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=410648 CPUtime=0.7 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 12297 0 1 0 64 6 0 0 25 0 9 0 4839625 420503552 11537 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102662 11537 2901 10 0 96810 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413216 [startup+1.50562 s] /proc/loadavg: 1.13 1.12 1.10 2/43 26794 /proc/meminfo: memFree=276496/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=410780 CPUtime=1.5 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 27418 0 1 0 143 7 0 0 25 0 9 0 4839625 420638720 26658 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102695 26658 2901 10 0 96843 0 [pid=26785/tid=26787] ppid=26784 vsize=410780 CPUtime=0.79 /proc/26785/task/26787/stat : 26787 (java) R 26784 26784 1511 34817 1511 4202560 6706 0 1 0 76 3 0 0 25 0 9 0 4839626 420638720 26658 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26788] ppid=26784 vsize=410780 CPUtime=0.63 /proc/26785/task/26788/stat : 26788 (java) R 26784 26784 1511 34817 1511 4202560 19323 0 0 0 61 2 0 0 18 0 9 0 4839626 420638720 26658 1283457024 134512640 134550932 4286863760 18446744073709551615 4151037352 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26789] ppid=26784 vsize=410780 CPUtime=0 /proc/26785/task/26789/stat : 26789 (java) S 26784 26784 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4839626 420638720 26658 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26790] ppid=26784 vsize=410780 CPUtime=0 /proc/26785/task/26790/stat : 26790 (java) S 26784 26784 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4839626 420638720 26658 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26791] ppid=26784 vsize=410780 CPUtime=0 /proc/26785/task/26791/stat : 26791 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4839628 420638720 26658 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26792] ppid=26784 vsize=410780 CPUtime=0.06 /proc/26785/task/26792/stat : 26792 (java) S 26784 26784 1511 34817 1511 4202560 447 0 0 0 6 0 0 0 16 0 9 0 4839628 420638720 26658 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26793] ppid=26784 vsize=410780 CPUtime=0 /proc/26785/task/26793/stat : 26793 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4839628 420638720 26658 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26794] ppid=26784 vsize=410780 CPUtime=0 /proc/26785/task/26794/stat : 26794 (java) S 26784 26784 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 4839628 420638720 26658 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413348 [startup+3.10595 s] /proc/loadavg: 1.12 1.11 1.10 2/43 26794 /proc/meminfo: memFree=204700/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=410780 CPUtime=3.11 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 49437 0 1 0 293 18 0 0 25 0 9 0 4839625 420638720 48677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102695 48677 2901 10 0 96843 0 [pid=26785/tid=26787] ppid=26784 vsize=410780 CPUtime=1.4 /proc/26785/task/26787/stat : 26787 (java) R 26784 26784 1511 34817 1511 4202560 13859 0 1 0 131 9 0 0 25 0 9 0 4839626 420638720 48677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26788] ppid=26784 vsize=410780 CPUtime=1.6 /proc/26785/task/26788/stat : 26788 (java) R 26784 26784 1511 34817 1511 4202560 34186 0 0 0 153 7 0 0 16 0 9 0 4839626 420638720 48677 1283457024 134512640 134550932 4286863760 18446744073709551615 4150659000 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26789] ppid=26784 vsize=410780 CPUtime=0 /proc/26785/task/26789/stat : 26789 (java) S 26784 26784 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4839626 420638720 48677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26790] ppid=26784 vsize=410780 CPUtime=0 /proc/26785/task/26790/stat : 26790 (java) S 26784 26784 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4839626 420638720 48677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26791] ppid=26784 vsize=410780 CPUtime=0 /proc/26785/task/26791/stat : 26791 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4839628 420638720 48677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26792] ppid=26784 vsize=410780 CPUtime=0.08 /proc/26785/task/26792/stat : 26792 (java) S 26784 26784 1511 34817 1511 4202560 450 0 0 0 8 0 0 0 15 0 9 0 4839628 420638720 48677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26793] ppid=26784 vsize=410780 CPUtime=0 /proc/26785/task/26793/stat : 26793 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4839628 420638720 48677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26794] ppid=26784 vsize=410780 CPUtime=0 /proc/26785/task/26794/stat : 26794 (java) S 26784 26784 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 4839628 420638720 48677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 413348 [startup+6.30651 s] /proc/loadavg: 1.12 1.11 1.10 2/43 26794 /proc/meminfo: memFree=67812/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=439952 CPUtime=6.31 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 78234 0 1 0 601 30 0 0 25 0 9 0 4839625 450510848 77468 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 109988 77468 2902 10 0 104136 0 [pid=26785/tid=26787] ppid=26784 vsize=439952 CPUtime=2.27 /proc/26785/task/26787/stat : 26787 (java) R 26784 26784 1511 34817 1511 4202560 13875 0 1 0 216 11 0 0 25 0 9 0 4839626 450510848 77468 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26788] ppid=26784 vsize=439952 CPUtime=3.91 /proc/26785/task/26788/stat : 26788 (java) R 26784 26784 1511 34817 1511 4202560 62948 0 0 0 374 17 0 0 16 0 9 0 4839626 450510848 77468 1283457024 134512640 134550932 4286863760 18446744073709551615 4152150453 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26789] ppid=26784 vsize=439952 CPUtime=0 /proc/26785/task/26789/stat : 26789 (java) S 26784 26784 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4839626 450510848 77468 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26790] ppid=26784 vsize=439952 CPUtime=0 /proc/26785/task/26790/stat : 26790 (java) S 26784 26784 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4839626 450510848 77468 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26791] ppid=26784 vsize=439952 CPUtime=0 /proc/26785/task/26791/stat : 26791 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4839628 450510848 77468 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26792] ppid=26784 vsize=439952 CPUtime=0.1 /proc/26785/task/26792/stat : 26792 (java) S 26784 26784 1511 34817 1511 4202560 469 0 0 0 10 0 0 0 15 0 9 0 4839628 450510848 77468 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26793] ppid=26784 vsize=439952 CPUtime=0 /proc/26785/task/26793/stat : 26793 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4839628 450510848 77468 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26794] ppid=26784 vsize=439952 CPUtime=0 /proc/26785/task/26794/stat : 26794 (java) S 26784 26784 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 4839628 450510848 77468 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 442520 [startup+12.7082 s] /proc/loadavg: 1.17 1.13 1.10 2/44 26795 /proc/meminfo: memFree=62596/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=411952 CPUtime=12.7 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 99948 0 1 0 1230 40 0 0 25 0 10 0 4839625 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102988 70673 2918 10 0 97133 0 [pid=26785/tid=26787] ppid=26784 vsize=411952 CPUtime=4.4 /proc/26785/task/26787/stat : 26787 (java) R 26784 26784 1511 34817 1511 4202560 14129 0 1 0 429 11 0 0 25 0 10 0 4839626 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4115382605 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26788] ppid=26784 vsize=411952 CPUtime=8.07 /proc/26785/task/26788/stat : 26788 (java) S 26784 26784 1511 34817 1511 4202560 84322 0 0 0 780 27 0 0 16 0 10 0 4839626 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26789] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26789/stat : 26789 (java) S 26784 26784 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26790] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26790/stat : 26790 (java) S 26784 26784 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26791] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26791/stat : 26791 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26792] ppid=26784 vsize=411952 CPUtime=0.2 /proc/26785/task/26792/stat : 26792 (java) S 26784 26784 1511 34817 1511 4202560 551 0 0 0 20 0 0 0 15 0 10 0 4839628 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26793] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26793/stat : 26793 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26794] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26794/stat : 26794 (java) S 26784 26784 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4839628 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26795] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26795/stat : 26795 (java) S 26784 26784 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4840745 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 414520 Solver just ended. Dumping a history of the last processes samples [startup+12.8082 s] /proc/loadavg: 1.17 1.13 1.10 2/44 26795 /proc/meminfo: memFree=62596/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=411952 CPUtime=12.8 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 99948 0 1 0 1240 40 0 0 25 0 10 0 4839625 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102988 70673 2918 10 0 97133 0 [pid=26785/tid=26787] ppid=26784 vsize=411952 CPUtime=4.5 /proc/26785/task/26787/stat : 26787 (java) R 26784 26784 1511 34817 1511 4202560 14129 0 1 0 439 11 0 0 25 0 10 0 4839626 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4115387333 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26788] ppid=26784 vsize=411952 CPUtime=8.07 /proc/26785/task/26788/stat : 26788 (java) S 26784 26784 1511 34817 1511 4202560 84322 0 0 0 780 27 0 0 15 0 10 0 4839626 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26789] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26789/stat : 26789 (java) S 26784 26784 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26790] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26790/stat : 26790 (java) S 26784 26784 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26791] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26791/stat : 26791 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26792] ppid=26784 vsize=411952 CPUtime=0.2 /proc/26785/task/26792/stat : 26792 (java) S 26784 26784 1511 34817 1511 4202560 551 0 0 0 20 0 0 0 15 0 10 0 4839628 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26793] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26793/stat : 26793 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26794] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26794/stat : 26794 (java) R 26784 26784 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4839628 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26795] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26795/stat : 26795 (java) S 26784 26784 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4840745 421838848 70673 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.8 Current children cumulated vsize (KiB) 414520 [startup+16.0091 s] /proc/loadavg: 1.17 1.13 1.10 3/44 26795 /proc/meminfo: memFree=62596/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=411952 CPUtime=16 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 99952 0 1 0 1560 40 0 0 25 0 10 0 4839625 421838848 70677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102988 70677 2920 10 0 97133 0 [pid=26785/tid=26787] ppid=26784 vsize=411952 CPUtime=7.67 /proc/26785/task/26787/stat : 26787 (java) R 26784 26784 1511 34817 1511 4202560 14129 0 1 0 756 11 0 0 25 0 10 0 4839626 421838848 70677 1283457024 134512640 134550932 4286863760 18446744073709551615 4115387333 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26788] ppid=26784 vsize=411952 CPUtime=8.11 /proc/26785/task/26788/stat : 26788 (java) S 26784 26784 1511 34817 1511 4202560 84324 0 0 0 784 27 0 0 16 0 10 0 4839626 421838848 70677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26789] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26789/stat : 26789 (java) S 26784 26784 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26790] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26790/stat : 26790 (java) S 26784 26784 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26791] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26791/stat : 26791 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26792] ppid=26784 vsize=411952 CPUtime=0.2 /proc/26785/task/26792/stat : 26792 (java) S 26784 26784 1511 34817 1511 4202560 553 0 0 0 20 0 0 0 15 0 10 0 4839628 421838848 70677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26793] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26793/stat : 26793 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26794] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26794/stat : 26794 (java) S 26784 26784 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4839628 421838848 70677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26795] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26795/stat : 26795 (java) S 26784 26784 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4840745 421838848 70677 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16 Current children cumulated vsize (KiB) 414520 [startup+16.8094 s] /proc/loadavg: 1.17 1.13 1.10 2/44 26795 /proc/meminfo: memFree=62596/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=411952 CPUtime=16.8 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 99954 0 1 0 1639 41 0 0 25 0 10 0 4839625 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102988 70679 2921 10 0 97133 0 [pid=26785/tid=26787] ppid=26784 vsize=411952 CPUtime=8.43 /proc/26785/task/26787/stat : 26787 (java) R 26784 26784 1511 34817 1511 4202560 14130 0 1 0 831 12 0 0 25 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4115395576 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26788] ppid=26784 vsize=411952 CPUtime=8.14 /proc/26785/task/26788/stat : 26788 (java) S 26784 26784 1511 34817 1511 4202560 84324 0 0 0 787 27 0 0 16 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26789] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26789/stat : 26789 (java) S 26784 26784 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26790] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26790/stat : 26790 (java) S 26784 26784 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26791] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26791/stat : 26791 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26792] ppid=26784 vsize=411952 CPUtime=0.2 /proc/26785/task/26792/stat : 26792 (java) S 26784 26784 1511 34817 1511 4202560 554 0 0 0 20 0 0 0 15 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26793] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26793/stat : 26793 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26794] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26794/stat : 26794 (java) S 26784 26784 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26795] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26795/stat : 26795 (java) S 26784 26784 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4840745 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.8 Current children cumulated vsize (KiB) 414520 [startup+17.2095 s] /proc/loadavg: 1.17 1.13 1.10 2/44 26795 /proc/meminfo: memFree=62596/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=411952 CPUtime=17.2 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 99954 0 1 0 1679 41 0 0 25 0 10 0 4839625 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102988 70679 2921 10 0 97133 0 [pid=26785/tid=26787] ppid=26784 vsize=411952 CPUtime=8.83 /proc/26785/task/26787/stat : 26787 (java) R 26784 26784 1511 34817 1511 4202560 14130 0 1 0 871 12 0 0 25 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4115387359 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26788] ppid=26784 vsize=411952 CPUtime=8.14 /proc/26785/task/26788/stat : 26788 (java) S 26784 26784 1511 34817 1511 4202560 84324 0 0 0 787 27 0 0 16 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26789] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26789/stat : 26789 (java) S 26784 26784 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26790] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26790/stat : 26790 (java) S 26784 26784 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26791] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26791/stat : 26791 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26792] ppid=26784 vsize=411952 CPUtime=0.2 /proc/26785/task/26792/stat : 26792 (java) S 26784 26784 1511 34817 1511 4202560 554 0 0 0 20 0 0 0 15 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26793] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26793/stat : 26793 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26794] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26794/stat : 26794 (java) S 26784 26784 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26795] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26795/stat : 26795 (java) S 26784 26784 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4840745 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.2 Current children cumulated vsize (KiB) 414520 [startup+17.6096 s] /proc/loadavg: 1.16 1.12 1.10 2/44 26795 /proc/meminfo: memFree=62596/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=411952 CPUtime=17.6 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 99954 0 1 0 1719 41 0 0 25 0 10 0 4839625 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102988 70679 2921 10 0 97133 0 [pid=26785/tid=26787] ppid=26784 vsize=411952 CPUtime=9.23 /proc/26785/task/26787/stat : 26787 (java) R 26784 26784 1511 34817 1511 4202560 14130 0 1 0 911 12 0 0 25 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4115382601 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26785/tid=26788] ppid=26784 vsize=411952 CPUtime=8.14 /proc/26785/task/26788/stat : 26788 (java) S 26784 26784 1511 34817 1511 4202560 84324 0 0 0 787 27 0 0 16 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26789] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26789/stat : 26789 (java) S 26784 26784 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26790] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26790/stat : 26790 (java) S 26784 26784 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26791] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26791/stat : 26791 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26792] ppid=26784 vsize=411952 CPUtime=0.2 /proc/26785/task/26792/stat : 26792 (java) S 26784 26784 1511 34817 1511 4202560 554 0 0 0 20 0 0 0 15 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26793] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26793/stat : 26793 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26794] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26794/stat : 26794 (java) S 26784 26784 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4839628 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26795] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26795/stat : 26795 (java) S 26784 26784 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4840745 421838848 70679 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.6 Current children cumulated vsize (KiB) 414520 [startup+17.7099 s] /proc/loadavg: 1.16 1.12 1.10 2/44 26795 /proc/meminfo: memFree=62596/1048576 swapFree=0/0 [pid=26784] ppid=26783 vsize=2568 CPUtime=0 /proc/26784/stat : 26784 (gj-trendy-solve) S 26783 26784 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4839625 2629632 269 1283457024 134512640 135304128 4286870112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26784/statm: 642 269 229 194 0 29 0 [pid=26785] ppid=26784 vsize=411952 CPUtime=17.7 /proc/26785/stat : 26785 (java) S 26784 26784 1511 34817 1511 4202496 99956 0 1 0 1729 41 0 0 25 0 10 0 4839625 421838848 70681 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26785/statm: 102988 70681 2922 10 0 97133 0 [pid=26785/tid=26787] ppid=26784 vsize=411952 CPUtime=9.32 /proc/26785/task/26787/stat : 26787 (java) S 26784 26784 1511 34817 1511 4202560 14130 0 1 0 920 12 0 0 25 0 10 0 4839626 421838848 70681 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26788] ppid=26784 vsize=411952 CPUtime=8.15 /proc/26785/task/26788/stat : 26788 (java) S 26784 26784 1511 34817 1511 4202560 84324 0 0 0 788 27 0 0 15 0 10 0 4839626 421838848 70681 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26789] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26789/stat : 26789 (java) S 26784 26784 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70681 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26790] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26790/stat : 26790 (java) S 26784 26784 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4839626 421838848 70681 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26791] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26791/stat : 26791 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70681 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26792] ppid=26784 vsize=411952 CPUtime=0.2 /proc/26785/task/26792/stat : 26792 (java) S 26784 26784 1511 34817 1511 4202560 555 0 0 0 20 0 0 0 15 0 10 0 4839628 421838848 70681 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26793] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26793/stat : 26793 (java) S 26784 26784 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4839628 421838848 70681 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=26785/tid=26794] ppid=26784 vsize=411952 CPUtime=0 /proc/26785/task/26794/stat : 26794 (java) S 26784 26784 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4839628 421838848 70681 1283457024 134512640 134550932 4286863760 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.7 Current children cumulated vsize (KiB) 414520 Child status: 0 Real time (s): 17.7542 CPU time (s): 17.7171 CPU user time (s): 17.2931 CPU system time (s): 0.424026 CPU usage (%): 99.791 Max. virtual memory (cumulated for all children) (KiB): 442576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.2931 system time used= 0.424026 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100344 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= 1151 involuntary context switches= 1370 runsolver used 0 second user time and 0 second system time The end