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/201012061533/cudf2msu4paranoid-1.0/rand915.sarge-etch-lenny-squeeze.cudf.sarge-etch-lenny-squeeze.log.runsolver ./cudf2msu4paranoid-1.0 /home/misc2010/data/icse/sarge-etch-lenny-squeeze/rand915.sarge-etch-lenny-squeeze.cudf /home/misc2010/tmp/201012061533/cudf2msu4paranoid-1.0/rand915.sarge-etch-lenny-squeeze.cudf.sarge-etch-lenny-squeeze.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.24 1.25 1.19 5/46 24315 /proc/meminfo: memFree=613696/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) R 24313 24314 2059 34821 2220 4202496 356 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 270 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/24314/statm: 642 270 230 194 0 28 0 [pid=24315] ppid=24314 vsize=2568 CPUtime=0 /proc/24315/stat : 24315 (cudf2msu4parano) R 24314 24314 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 40 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/24315/statm: 642 40 0 194 0 28 0 [startup+0.154639 s] /proc/loadavg: 1.24 1.25 1.19 5/46 24315 /proc/meminfo: memFree=613696/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=8176 CPUtime=0.15 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 1820 0 0 0 15 0 0 0 25 0 1 0 876160857 8372224 1760 1283457024 134512640 136120023 4292603824 18446744073709551615 134712359 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 2044 1760 138 393 0 1649 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 10744 [startup+0.204653 s] /proc/loadavg: 1.24 1.25 1.19 5/46 24315 /proc/meminfo: memFree=613696/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=10240 CPUtime=0.19 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 2304 0 0 0 18 1 0 0 25 0 1 0 876160857 10485760 2244 1283457024 134512640 136120023 4292603824 18446744073709551615 134712122 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 2560 2244 138 393 0 2165 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12808 [startup+0.304661 s] /proc/loadavg: 1.24 1.25 1.19 5/46 24315 /proc/meminfo: memFree=613696/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=13604 CPUtime=0.29 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 3175 0 0 0 28 1 0 0 25 0 1 0 876160857 13930496 3115 1283457024 134512640 136120023 4292603824 18446744073709551615 134711955 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 3401 3115 139 393 0 3006 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16172 [startup+0.704714 s] /proc/loadavg: 1.24 1.25 1.19 5/46 24315 /proc/meminfo: memFree=613696/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=25548 CPUtime=0.69 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 6148 0 0 0 67 2 0 0 25 0 1 0 876160857 26161152 6088 1283457024 134512640 136120023 4292603824 18446744073709551615 135680081 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 6387 6088 139 393 0 5992 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28116 [startup+1.50493 s] /proc/loadavg: 1.24 1.25 1.19 2/47 24316 /proc/meminfo: memFree=579380/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=68740 CPUtime=1.5 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 22824 0 0 0 142 8 0 0 25 0 1 0 876160857 70389760 16847 1283457024 134512640 136120023 4292603824 18446744073709551615 134779408 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 17185 16847 157 393 0 16790 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 71308 [startup+3.10552 s] /proc/loadavg: 1.24 1.25 1.19 2/47 24316 /proc/meminfo: memFree=541808/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=73892 CPUtime=3.1 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 28937 0 0 0 298 12 0 0 25 0 1 0 876160857 75665408 18177 1283457024 134512640 136120023 4292603824 18446744073709551615 135530288 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 18473 18177 182 393 0 18078 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 76460 Solver just ended. Dumping a history of the last processes samples [startup+3.20555 s] /proc/loadavg: 1.24 1.25 1.19 2/47 24316 /proc/meminfo: memFree=541808/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=73892 CPUtime=3.2 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 28937 0 0 0 308 12 0 0 25 0 1 0 876160857 75665408 18177 1283457024 134512640 136120023 4292603824 18446744073709551615 135521266 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 18473 18177 182 393 0 18078 0 Current children cumulated CPU time (s) 3.2 Current children cumulated vsize (KiB) 76460 [startup+4.00582 s] /proc/loadavg: 1.24 1.25 1.19 2/47 24316 /proc/meminfo: memFree=541436/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=73892 CPUtime=4 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 28937 0 0 0 388 12 0 0 25 0 1 0 876160857 75665408 18177 1283457024 134512640 136120023 4292603824 18446744073709551615 134871602 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 18473 18177 182 393 0 18078 0 Current children cumulated CPU time (s) 4 Current children cumulated vsize (KiB) 76460 [startup+4.8061 s] /proc/loadavg: 1.22 1.25 1.19 2/47 24316 /proc/meminfo: memFree=541436/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=73892 CPUtime=4.79 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 28937 0 0 0 466 13 0 0 25 0 1 0 876160857 75665408 18177 1283457024 134512640 136120023 4292603824 18446744073709551615 134867639 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 18473 18177 182 393 0 18078 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 76460 [startup+5.00617 s] /proc/loadavg: 1.22 1.25 1.19 2/47 24316 /proc/meminfo: memFree=541436/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=73892 CPUtime=4.99 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 28937 0 0 0 486 13 0 0 25 0 1 0 876160857 75665408 18177 1283457024 134512640 136120023 4292603824 18446744073709551615 134863525 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 18473 18177 182 393 0 18078 0 Current children cumulated CPU time (s) 4.99 Current children cumulated vsize (KiB) 76460 [startup+5.1062 s] /proc/loadavg: 1.22 1.25 1.19 2/47 24316 /proc/meminfo: memFree=541436/1048576 swapFree=2078744/2097144 [pid=24314] ppid=24313 vsize=2568 CPUtime=0 /proc/24314/stat : 24314 (cudf2msu4parano) S 24313 24314 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876160857 2629632 271 1283457024 134512640 135304128 4294805920 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24314/statm: 642 271 231 194 0 28 0 [pid=24315] ppid=24314 vsize=73892 CPUtime=5.09 /proc/24315/stat : 24315 (cudf_msu32) R 24314 24314 2059 34821 2220 4202496 28937 0 0 0 496 13 0 0 25 0 1 0 876160857 75665408 18177 1283457024 134512640 136120023 4292603824 18446744073709551615 135534640 0 0 0 16929 0 0 0 17 0 0 0 0 /proc/24315/statm: 18473 18177 182 393 0 18078 0 Current children cumulated CPU time (s) 5.09 Current children cumulated vsize (KiB) 76460 Child status: 0 Real time (s): 5.1905 CPU time (s): 5.18432 CPU user time (s): 5.03631 CPU system time (s): 0.148009 CPU usage (%): 99.881 Max. virtual memory (cumulated for all children) (KiB): 76460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.03631 system time used= 0.148009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29338 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 104 runsolver used 0 second user time and 0 second system time The end