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/201108300820/aspuncud-user-1.0/rand399.cudf.dudf-random.log.runsolver ./aspuncud-user-1.0 /home/misc2010/data/2011/dudf-random//rand399.cudf /home/misc2010/tmp/201108300820/aspuncud-user-1.0/rand399.cudf.dudf-random.result +sum(installedsize) 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.00 1.04 1.00 3/33 4834 /proc/meminfo: memFree=947488/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=3020 CPUtime=0 /proc/4834/stat : 4834 (runsolver) D 4833 4834 2160 34817 2160 4202560 72 0 0 0 0 0 0 0 23 0 1 0 52306058 3092480 94 1283457024 134512640 134586868 4293869632 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/4834/statm: 755 94 62 19 0 54 0 [startup+0.196412 s] /proc/loadavg: 1.00 1.04 1.00 3/33 4834 /proc/meminfo: memFree=947488/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=0 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 1520 0 3 0 0 0 0 25 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.204442 s] /proc/loadavg: 1.00 1.04 1.00 3/33 4834 /proc/meminfo: memFree=947488/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=0 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 1520 0 3 0 0 0 0 25 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.304406 s] /proc/loadavg: 1.00 1.04 1.00 3/33 4834 /proc/meminfo: memFree=947488/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=0 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 1520 0 3 0 0 0 0 25 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.707147 s] /proc/loadavg: 1.00 1.04 1.00 3/33 4834 /proc/meminfo: memFree=947488/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=0 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 1520 0 3 0 0 0 0 25 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+1.50732 s] /proc/loadavg: 1.00 1.04 1.00 2/37 4845 /proc/meminfo: memFree=929372/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=0 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 1520 0 3 0 0 0 0 25 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=3444 CPUtime=0 /proc/4843/stat : 4843 (unclasp) S 4834 4834 2160 34817 2160 4202496 401 0 5 0 0 0 0 0 24 0 1 0 52306062 3526656 271 1283457024 134512640 135121179 4287876144 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/4843/statm: 861 271 240 149 0 52 0 [pid=4844] ppid=4834 vsize=2696 CPUtime=0 /proc/4844/stat : 4844 (gringo) S 4834 4834 2160 34817 2160 4202496 386 0 22 0 0 0 0 0 23 0 1 0 52306062 2760704 281 1283457024 134512640 137056543 4292158912 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/4844/statm: 674 281 252 622 0 49 0 [pid=4845] ppid=4834 vsize=26528 CPUtime=1.26 /proc/4845/stat : 4845 (cudf2lp) R 4834 4834 2160 34817 2160 4202496 8635 0 15 0 121 5 0 0 25 0 1 0 52306063 27164672 6411 1283457024 134512640 135786343 4287875344 18446744073709551615 134549665 0 0 6 0 0 0 0 17 0 0 0 0 /proc/4845/statm: 6632 6411 136 311 0 6319 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 35256 [startup+3.10764 s] /proc/loadavg: 1.08 1.05 1.01 3/37 4845 /proc/meminfo: memFree=895768/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=0 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 1520 0 3 0 0 0 0 25 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=25468 CPUtime=0.07 /proc/4843/stat : 4843 (unclasp) R 4834 4834 2160 34817 2160 4202496 6878 0 6 0 5 2 0 0 18 0 1 0 52306062 26079232 5685 1283457024 134512640 135121179 4287876144 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4843/statm: 6367 5685 275 149 0 5558 0 [pid=4844] ppid=4834 vsize=36164 CPUtime=1.2 /proc/4844/stat : 4844 (gringo) R 4834 4834 2160 34817 2160 4202496 11089 0 22 0 116 4 0 0 18 0 1 0 52306062 37031936 6954 1283457024 134512640 137056543 4292158912 18446744073709551615 134699083 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4844/statm: 9041 6954 253 622 0 8416 0 [pid=4845] ppid=4834 vsize=26532 CPUtime=1.58 /proc/4845/stat : 4845 (cudf2lp) R 4834 4834 2160 34817 2160 4202496 8639 0 15 0 153 5 0 0 25 0 1 0 52306063 27168768 6415 1283457024 134512640 135786343 4287875344 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0 /proc/4845/statm: 6633 6415 139 311 0 6320 0 Current children cumulated CPU time (s) 2.85 Current children cumulated vsize (KiB) 90752 [startup+6.31111 s] /proc/loadavg: 1.08 1.05 1.01 2/35 4845 /proc/meminfo: memFree=882728/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=4.17 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 37579 0 40 0 0 401 16 18 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=68228 CPUtime=1.87 /proc/4843/stat : 4843 (unclasp) R 4834 4834 2160 34817 2160 4202496 30909 0 7 0 173 14 0 0 20 0 1 0 52306062 69865472 15688 1283457024 134512640 135121179 4287876144 18446744073709551615 134980996 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4843/statm: 17057 15688 319 149 0 16248 0 Current children cumulated CPU time (s) 6.04 Current children cumulated vsize (KiB) 70816 [startup+12.7139 s] /proc/loadavg: 1.07 1.05 1.00 2/35 4845 /proc/meminfo: memFree=883224/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=4.17 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 37579 0 40 0 0 401 16 18 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=66252 CPUtime=8.26 /proc/4843/stat : 4843 (unclasp) R 4834 4834 2160 34817 2160 4202496 118093 0 7 0 764 62 0 0 25 0 1 0 52306062 67842048 15197 1283457024 134512640 135121179 4287876144 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4843/statm: 16563 15197 319 149 0 15754 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 68840 [startup+25.5088 s] /proc/loadavg: 1.06 1.05 1.00 2/35 4845 /proc/meminfo: memFree=882480/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=4.17 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 37579 0 40 0 0 401 16 18 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=66404 CPUtime=21.05 /proc/4843/stat : 4843 (unclasp) R 4834 4834 2160 34817 2160 4202496 286560 0 7 0 1979 126 0 0 25 0 1 0 52306062 67997696 15215 1283457024 134512640 135121179 4287876144 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4843/statm: 16601 15215 321 149 0 15792 0 Current children cumulated CPU time (s) 25.22 Current children cumulated vsize (KiB) 68992 [startup+51.1089 s] /proc/loadavg: 1.04 1.04 1.00 2/35 4845 /proc/meminfo: memFree=882480/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=4.17 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 37579 0 40 0 0 401 16 18 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=65900 CPUtime=46.63 /proc/4843/stat : 4843 (unclasp) R 4834 4834 2160 34817 2160 4202496 619166 0 7 0 4390 273 0 0 25 0 1 0 52306062 67481600 15156 1283457024 134512640 135121179 4287876144 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4843/statm: 16475 15156 321 149 0 15666 0 Current children cumulated CPU time (s) 50.8 Current children cumulated vsize (KiB) 68488 [startup+102.308 s] /proc/loadavg: 1.01 1.03 1.00 2/35 4845 /proc/meminfo: memFree=882728/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=4.17 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 37579 0 40 0 0 401 16 18 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=65900 CPUtime=97.8 /proc/4843/stat : 4843 (unclasp) R 4834 4834 2160 34817 2160 4202496 1182982 0 7 0 9277 503 0 0 25 0 1 0 52306062 67481600 15185 1283457024 134512640 135121179 4287876144 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4843/statm: 16475 15185 321 149 0 15666 0 Current children cumulated CPU time (s) 101.97 Current children cumulated vsize (KiB) 68488 [startup+162.311 s] /proc/loadavg: 1.00 1.02 1.00 2/35 4845 /proc/meminfo: memFree=881860/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=4.17 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 37579 0 40 0 0 401 16 18 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=66432 CPUtime=157.75 /proc/4843/stat : 4843 (unclasp) R 4834 4834 2160 34817 2160 4202496 1818739 0 7 0 14971 804 0 0 25 0 1 0 52306062 68026368 15347 1283457024 134512640 135121179 4287876144 18446744073709551615 134747618 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4843/statm: 16608 15347 321 149 0 15799 0 Current children cumulated CPU time (s) 161.92 Current children cumulated vsize (KiB) 69020 [startup+222.304 s] /proc/loadavg: 1.00 1.02 1.00 2/37 4851 /proc/meminfo: memFree=881588/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=4.17 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 37579 0 40 0 0 401 16 18 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=65864 CPUtime=217.72 /proc/4843/stat : 4843 (unclasp) R 4834 4834 2160 34817 2160 4202496 2563118 0 7 0 20650 1122 0 0 25 0 1 0 52306062 67444736 15218 1283457024 134512640 135121179 4287876144 18446744073709551615 4159869466 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4843/statm: 16466 15218 321 149 0 15657 0 Current children cumulated CPU time (s) 221.89 Current children cumulated vsize (KiB) 68452 [startup+282.315 s] /proc/loadavg: 1.00 1.01 1.00 2/36 4856 /proc/meminfo: memFree=879124/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=4.17 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 37579 0 40 0 0 401 16 18 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=67332 CPUtime=277.69 /proc/4843/stat : 4843 (unclasp) R 4834 4834 2160 34817 2160 4202496 3368260 0 7 0 26323 1446 0 0 25 0 1 0 52306062 68947968 15576 1283457024 134512640 135121179 4287876144 18446744073709551615 4159972421 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4843/statm: 16833 15576 321 149 0 16024 0 Current children cumulated CPU time (s) 281.86 Current children cumulated vsize (KiB) 69920 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.508 s] /proc/loadavg: 1.00 1.01 1.00 2/36 4856 /proc/meminfo: memFree=880116/1048576 swapFree=0/0 [pid=4834] ppid=4833 vsize=2588 CPUtime=4.17 /proc/4834/stat : 4834 (aspuncud-user-1) S 4833 4834 2160 34817 2160 4202496 572 37579 0 40 0 0 401 16 18 0 1 0 52306058 2650112 297 1283457024 134512640 135304128 4288924736 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4834/statm: 647 297 251 194 0 34 0 [pid=4843] ppid=4834 vsize=68352 CPUtime=285.87 /proc/4843/stat : 4843 (unclasp) R 4834 4834 2160 34817 2160 4202496 3474670 0 7 0 27102 1485 0 0 25 0 1 0 52306062 69992448 15831 1283457024 134512640 135121179 4287876144 18446744073709551615 134981267 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4843/statm: 17088 15831 321 149 0 16279 0 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (KiB) 70940 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 290.546 CPU time (s): 290.07 CPU user time (s): 275.045 CPU system time (s): 15.0249 CPU usage (%): 99.8363 Max. virtual memory (cumulated for all children) (KiB): 148448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 275.045 system time used= 15.0249 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3515200 page faults= 49 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4311 involuntary context switches= 6852 runsolver used 0 second user time and 0 second system time The end