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/201108251442/gj-paranoid-solver-1.0/rand533.cudf.user-upgrades.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand533.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand533.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.37 1.36 1.18 5/35 20793 /proc/meminfo: memFree=281808/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) R 20791 20792 4778 34817 4778 4202496 355 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 269 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/20792/statm: 643 269 228 194 0 30 0 [pid=20793] ppid=20792 vsize=2572 CPUtime=0 /proc/20793/stat : 20793 (gj-paranoid-sol) R 20792 20792 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11130182 2633728 41 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/20793/statm: 643 41 0 194 0 30 0 [startup+0.155538 s] /proc/loadavg: 1.37 1.36 1.18 5/35 20793 /proc/meminfo: memFree=281808/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=410108 CPUtime=0.14 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 4029 0 1 0 11 3 0 0 25 0 9 0 11130182 419950592 3456 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 102527 3456 1934 10 0 96675 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 412680 [startup+0.205543 s] /proc/loadavg: 1.37 1.36 1.18 5/35 20793 /proc/meminfo: memFree=281808/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=410108 CPUtime=0.19 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 4146 0 1 0 16 3 0 0 25 0 9 0 11130182 419950592 3573 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 102527 3573 1934 10 0 96675 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412680 [startup+0.305574 s] /proc/loadavg: 1.37 1.36 1.18 5/35 20793 /proc/meminfo: memFree=281808/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=410108 CPUtime=0.29 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 4388 0 1 0 26 3 0 0 25 0 9 0 11130182 419950592 3815 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 102527 3815 1943 10 0 96675 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 412680 [startup+0.705735 s] /proc/loadavg: 1.37 1.36 1.18 5/35 20793 /proc/meminfo: memFree=281808/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=410652 CPUtime=0.7 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 11725 0 1 0 62 8 0 0 25 0 9 0 11130182 420507648 10965 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 102663 10965 2901 10 0 96811 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413224 [startup+1.50604 s] /proc/loadavg: 1.50 1.39 1.19 2/44 20802 /proc/meminfo: memFree=223444/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=410784 CPUtime=1.5 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 27049 0 1 0 139 11 0 0 25 0 9 0 11130182 420642816 26289 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 102696 26289 2901 10 0 96844 0 [pid=20793/tid=20795] ppid=20792 vsize=410784 CPUtime=0.82 /proc/20793/task/20795/stat : 20795 (java) R 20792 20792 4778 34817 4778 4202560 6705 0 1 0 78 4 0 0 25 0 9 0 11130182 420642816 26289 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20796] ppid=20792 vsize=410784 CPUtime=0.63 /proc/20793/task/20796/stat : 20796 (java) R 20792 20792 4778 34817 4778 4202560 18955 0 0 0 58 5 0 0 18 0 9 0 11130183 420642816 26289 1283457024 134512640 134550932 4289909904 18446744073709551615 4151269304 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20797] ppid=20792 vsize=410784 CPUtime=0 /proc/20793/task/20797/stat : 20797 (java) S 20792 20792 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11130183 420642816 26289 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20798] ppid=20792 vsize=410784 CPUtime=0 /proc/20793/task/20798/stat : 20798 (java) S 20792 20792 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11130183 420642816 26289 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20799] ppid=20792 vsize=410784 CPUtime=0 /proc/20793/task/20799/stat : 20799 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 420642816 26289 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20800] ppid=20792 vsize=410784 CPUtime=0.03 /proc/20793/task/20800/stat : 20800 (java) S 20792 20792 4778 34817 4778 4202560 448 0 0 0 3 0 0 0 16 0 9 0 11130185 420642816 26289 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20801] ppid=20792 vsize=410784 CPUtime=0 /proc/20793/task/20801/stat : 20801 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 420642816 26289 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20802] ppid=20792 vsize=410784 CPUtime=0 /proc/20793/task/20802/stat : 20802 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11130185 420642816 26289 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413356 [startup+3.10665 s] /proc/loadavg: 1.50 1.39 1.19 2/44 20802 /proc/meminfo: memFree=151772/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=410784 CPUtime=3.1 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 50752 0 1 0 293 17 0 0 25 0 9 0 11130182 420642816 49992 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 102696 49992 2901 10 0 96844 0 [pid=20793/tid=20795] ppid=20792 vsize=410784 CPUtime=1.43 /proc/20793/task/20795/stat : 20795 (java) R 20792 20792 4778 34817 4778 4202560 13858 0 1 0 134 9 0 0 25 0 9 0 11130182 420642816 49992 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20796] ppid=20792 vsize=410784 CPUtime=1.61 /proc/20793/task/20796/stat : 20796 (java) R 20792 20792 4778 34817 4778 4202560 35502 0 0 0 155 6 0 0 16 0 9 0 11130183 420642816 49992 1283457024 134512640 134550932 4289909904 18446744073709551615 4152963241 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20797] ppid=20792 vsize=410784 CPUtime=0 /proc/20793/task/20797/stat : 20797 (java) S 20792 20792 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11130183 420642816 49992 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20798] ppid=20792 vsize=410784 CPUtime=0 /proc/20793/task/20798/stat : 20798 (java) S 20792 20792 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11130183 420642816 49992 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20799] ppid=20792 vsize=410784 CPUtime=0 /proc/20793/task/20799/stat : 20799 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 420642816 49992 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20800] ppid=20792 vsize=410784 CPUtime=0.03 /proc/20793/task/20800/stat : 20800 (java) S 20792 20792 4778 34817 4778 4202560 451 0 0 0 3 0 0 0 15 0 9 0 11130185 420642816 49992 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20801] ppid=20792 vsize=410784 CPUtime=0 /proc/20793/task/20801/stat : 20801 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 420642816 49992 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20802] ppid=20792 vsize=410784 CPUtime=0 /proc/20793/task/20802/stat : 20802 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11130185 420642816 49992 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413356 [startup+6.30755 s] /proc/loadavg: 1.54 1.40 1.19 2/44 20802 /proc/meminfo: memFree=14876/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=439956 CPUtime=6.28 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 78232 0 1 0 601 27 0 0 25 0 9 0 11130182 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 109989 77466 2902 10 0 104137 0 [pid=20793/tid=20795] ppid=20792 vsize=439956 CPUtime=2.32 /proc/20793/task/20795/stat : 20795 (java) R 20792 20792 4778 34817 4778 4202560 13875 0 1 0 222 10 0 0 25 0 9 0 11130182 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20796] ppid=20792 vsize=439956 CPUtime=3.91 /proc/20793/task/20796/stat : 20796 (java) R 20792 20792 4778 34817 4778 4202560 62947 0 0 0 376 15 0 0 16 0 9 0 11130183 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4152760757 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20797] ppid=20792 vsize=439956 CPUtime=0 /proc/20793/task/20797/stat : 20797 (java) S 20792 20792 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11130183 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20798] ppid=20792 vsize=439956 CPUtime=0 /proc/20793/task/20798/stat : 20798 (java) S 20792 20792 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11130183 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20799] ppid=20792 vsize=439956 CPUtime=0 /proc/20793/task/20799/stat : 20799 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20800] ppid=20792 vsize=439956 CPUtime=0.03 /proc/20793/task/20800/stat : 20800 (java) S 20792 20792 4778 34817 4778 4202560 469 0 0 0 3 0 0 0 15 0 9 0 11130185 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20801] ppid=20792 vsize=439956 CPUtime=0 /proc/20793/task/20801/stat : 20801 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20802] ppid=20792 vsize=439956 CPUtime=0 /proc/20793/task/20802/stat : 20802 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11130185 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 442528 Solver just ended. Dumping a history of the last processes samples [startup+6.40758 s] /proc/loadavg: 1.54 1.40 1.19 2/44 20802 /proc/meminfo: memFree=14876/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=439956 CPUtime=6.38 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 78232 0 1 0 611 27 0 0 25 0 9 0 11130182 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 109989 77466 2902 10 0 104137 0 [pid=20793/tid=20795] ppid=20792 vsize=439956 CPUtime=2.32 /proc/20793/task/20795/stat : 20795 (java) R 20792 20792 4778 34817 4778 4202560 13875 0 1 0 222 10 0 0 25 0 9 0 11130182 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20796] ppid=20792 vsize=439956 CPUtime=4.01 /proc/20793/task/20796/stat : 20796 (java) R 20792 20792 4778 34817 4778 4202560 62947 0 0 0 386 15 0 0 16 0 9 0 11130183 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4151661092 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20797] ppid=20792 vsize=439956 CPUtime=0 /proc/20793/task/20797/stat : 20797 (java) S 20792 20792 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11130183 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20798] ppid=20792 vsize=439956 CPUtime=0 /proc/20793/task/20798/stat : 20798 (java) S 20792 20792 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11130183 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20799] ppid=20792 vsize=439956 CPUtime=0 /proc/20793/task/20799/stat : 20799 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20800] ppid=20792 vsize=439956 CPUtime=0.03 /proc/20793/task/20800/stat : 20800 (java) S 20792 20792 4778 34817 4778 4202560 469 0 0 0 3 0 0 0 15 0 9 0 11130185 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20801] ppid=20792 vsize=439956 CPUtime=0 /proc/20793/task/20801/stat : 20801 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20802] ppid=20792 vsize=439956 CPUtime=0 /proc/20793/task/20802/stat : 20802 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11130185 450514944 77466 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.38 Current children cumulated vsize (KiB) 442528 [startup+9.6087 s] /proc/loadavg: 1.54 1.40 1.19 4/44 20802 /proc/meminfo: memFree=6464/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=411420 CPUtime=9.57 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 92729 0 1 0 920 37 0 0 25 0 9 0 11130182 421294080 70531 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 102855 70531 2916 10 0 97000 0 [pid=20793/tid=20795] ppid=20792 vsize=411420 CPUtime=2.84 /proc/20793/task/20795/stat : 20795 (java) R 20792 20792 4778 34817 4778 4202560 14102 0 1 0 274 10 0 0 25 0 9 0 11130182 421294080 70531 1283457024 134512640 134550932 4289909904 18446744073709551615 4115792840 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20796] ppid=20792 vsize=411420 CPUtime=6.68 /proc/20793/task/20796/stat : 20796 (java) S 20792 20792 4778 34817 4778 4202560 77195 0 0 0 642 26 0 0 17 0 9 0 11130183 421294080 70531 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20797] ppid=20792 vsize=411420 CPUtime=0 /proc/20793/task/20797/stat : 20797 (java) S 20792 20792 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11130183 421294080 70531 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20798] ppid=20792 vsize=411420 CPUtime=0 /proc/20793/task/20798/stat : 20798 (java) S 20792 20792 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11130183 421294080 70531 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20799] ppid=20792 vsize=411420 CPUtime=0 /proc/20793/task/20799/stat : 20799 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 421294080 70531 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20800] ppid=20792 vsize=411420 CPUtime=0.04 /proc/20793/task/20800/stat : 20800 (java) S 20792 20792 4778 34817 4778 4202560 491 0 0 0 4 0 0 0 15 0 9 0 11130185 421294080 70531 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20801] ppid=20792 vsize=411420 CPUtime=0 /proc/20793/task/20801/stat : 20801 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 421294080 70531 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20802] ppid=20792 vsize=411420 CPUtime=0 /proc/20793/task/20802/stat : 20802 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11130185 421294080 70531 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.57 Current children cumulated vsize (KiB) 413992 [startup+11.2092 s] /proc/loadavg: 1.50 1.39 1.19 2/45 20803 /proc/meminfo: memFree=33860/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=411744 CPUtime=11.17 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 92797 0 1 0 1079 38 0 0 25 0 10 0 11130182 421625856 70595 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 102936 70595 2917 10 0 97081 0 [pid=20793/tid=20795] ppid=20792 vsize=411744 CPUtime=4.07 /proc/20793/task/20795/stat : 20795 (java) R 20792 20792 4778 34817 4778 4202560 14126 0 1 0 397 10 0 0 25 0 10 0 11130182 421625856 70595 1283457024 134512640 134550932 4289909904 18446744073709551615 4115845104 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20796] ppid=20792 vsize=411744 CPUtime=6.98 /proc/20793/task/20796/stat : 20796 (java) S 20792 20792 4778 34817 4778 4202560 77195 0 0 0 672 26 0 0 16 0 10 0 11130183 421625856 70595 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20797] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20797/stat : 20797 (java) S 20792 20792 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11130183 421625856 70595 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20798] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20798/stat : 20798 (java) S 20792 20792 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11130183 421625856 70595 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20799] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20799/stat : 20799 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11130185 421625856 70595 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20800] ppid=20792 vsize=411744 CPUtime=0.1 /proc/20793/task/20800/stat : 20800 (java) S 20792 20792 4778 34817 4778 4202560 530 0 0 0 10 0 0 0 15 0 10 0 11130185 421625856 70595 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20801] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20801/stat : 20801 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11130185 421625856 70595 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20802] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20802/stat : 20802 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11130185 421625856 70595 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20803] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20803/stat : 20803 (java) S 20792 20792 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11131177 421625856 70595 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.17 Current children cumulated vsize (KiB) 414316 [startup+11.6094 s] /proc/loadavg: 1.50 1.39 1.19 2/45 20803 /proc/meminfo: memFree=33860/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=411744 CPUtime=11.57 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 92798 0 1 0 1119 38 0 0 25 0 10 0 11130182 421625856 70596 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 102936 70596 2917 10 0 97081 0 [pid=20793/tid=20795] ppid=20792 vsize=411744 CPUtime=4.46 /proc/20793/task/20795/stat : 20795 (java) R 20792 20792 4778 34817 4778 4202560 14126 0 1 0 436 10 0 0 25 0 10 0 11130182 421625856 70596 1283457024 134512640 134550932 4289909904 18446744073709551615 4115845206 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20796] ppid=20792 vsize=411744 CPUtime=6.98 /proc/20793/task/20796/stat : 20796 (java) S 20792 20792 4778 34817 4778 4202560 77195 0 0 0 672 26 0 0 16 0 10 0 11130183 421625856 70596 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20797] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20797/stat : 20797 (java) S 20792 20792 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11130183 421625856 70596 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20798] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20798/stat : 20798 (java) S 20792 20792 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11130183 421625856 70596 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20799] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20799/stat : 20799 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11130185 421625856 70596 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20800] ppid=20792 vsize=411744 CPUtime=0.1 /proc/20793/task/20800/stat : 20800 (java) S 20792 20792 4778 34817 4778 4202560 531 0 0 0 10 0 0 0 15 0 10 0 11130185 421625856 70596 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20801] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20801/stat : 20801 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11130185 421625856 70596 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20802] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20802/stat : 20802 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11130185 421625856 70596 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20803] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20803/stat : 20803 (java) S 20792 20792 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11131177 421625856 70596 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.57 Current children cumulated vsize (KiB) 414316 [startup+11.8094 s] /proc/loadavg: 1.50 1.39 1.19 2/45 20803 /proc/meminfo: memFree=33860/1048576 swapFree=0/0 [pid=20792] ppid=20791 vsize=2572 CPUtime=0 /proc/20792/stat : 20792 (gj-paranoid-sol) S 20791 20792 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11130181 2633728 270 1283457024 134512640 135304128 4294271344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20792/statm: 643 270 229 194 0 30 0 [pid=20793] ppid=20792 vsize=411744 CPUtime=11.77 /proc/20793/stat : 20793 (java) S 20792 20792 4778 34817 4778 4202496 92801 0 1 0 1139 38 0 0 25 0 9 0 11130182 421625856 70599 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20793/statm: 102936 70599 2920 10 0 97081 0 [pid=20793/tid=20795] ppid=20792 vsize=411744 CPUtime=4.64 /proc/20793/task/20795/stat : 20795 (java) R 20792 20792 4778 34817 4778 4202560 14126 0 1 0 454 10 0 0 25 0 9 0 11130182 421625856 70599 1283457024 134512640 134550932 4289909904 18446744073709551615 4115001239 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20793/tid=20796] ppid=20792 vsize=411744 CPUtime=7 /proc/20793/task/20796/stat : 20796 (java) S 20792 20792 4778 34817 4778 4202560 77197 0 0 0 674 26 0 0 16 0 9 0 11130183 421625856 70599 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20797] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20797/stat : 20797 (java) S 20792 20792 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11130183 421625856 70599 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20798] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20798/stat : 20798 (java) S 20792 20792 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11130183 421625856 70599 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20799] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20799/stat : 20799 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 421625856 70599 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20800] ppid=20792 vsize=411744 CPUtime=0.1 /proc/20793/task/20800/stat : 20800 (java) S 20792 20792 4778 34817 4778 4202560 531 0 0 0 10 0 0 0 15 0 9 0 11130185 421625856 70599 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20801] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20801/stat : 20801 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11130185 421625856 70599 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=20793/tid=20802] ppid=20792 vsize=411744 CPUtime=0 /proc/20793/task/20802/stat : 20802 (java) S 20792 20792 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11130185 421625856 70599 1283457024 134512640 134550932 4289909904 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.77 Current children cumulated vsize (KiB) 414316 Child status: 0 Real time (s): 11.8853 CPU time (s): 11.8127 CPU user time (s): 11.4127 CPU system time (s): 0.400025 CPU usage (%): 99.3892 Max. virtual memory (cumulated for all children) (KiB): 442528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.4127 system time used= 0.400025 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93190 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= 933 involuntary context switches= 1063 runsolver used 0 second user time and 0 second system time The end