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/201007050905/apt-pbo-paranoid-1.0.5/rand1bff33.cudf.easy.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/easy//rand1bff33.cudf /home/misc2010/tmp/201007050905/apt-pbo-paranoid-1.0.5/rand1bff33.cudf.easy.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.18 0.80 0.35 3/34 24771 /proc/meminfo: memFree=397072/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2384 CPUtime=0.01 /proc/24771/stat : 24771 (sh) R 24770 24771 24102 769 24102 4194304 349 0 0 0 1 0 0 0 25 0 1 0 524957244 2441216 262 1283457024 134512640 135191968 4292100176 18446744073709551615 134812511 0 0 4 65536 0 0 0 17 0 0 0 0 /proc/24771/statm: 596 262 224 166 0 28 0 [startup+0.117548 s] /proc/loadavg: 1.18 0.80 0.35 3/34 24771 /proc/meminfo: memFree=397072/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2388 [startup+0.208259 s] /proc/loadavg: 1.18 0.80 0.35 3/34 24771 /proc/meminfo: memFree=397072/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2388 [startup+0.308289 s] /proc/loadavg: 1.18 0.80 0.35 3/34 24771 /proc/meminfo: memFree=397072/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2388 [startup+0.70836 s] /proc/loadavg: 1.18 0.80 0.35 3/34 24771 /proc/meminfo: memFree=397072/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2388 [startup+1.50852 s] /proc/loadavg: 1.17 0.80 0.35 2/36 24776 /proc/meminfo: memFree=383460/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 [pid=24774] ppid=24771 vsize=16732 CPUtime=1.39 /proc/24774/stat : 24774 (apt-pbo) R 24771 24771 24102 769 24102 4202496 4030 724 0 0 137 2 0 0 25 0 1 0 524957244 17133568 3563 1283457024 134512640 135758360 4287583056 18446744073709551615 134826031 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24774/statm: 4183 3563 630 305 0 2956 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 19120 [startup+3.10885 s] /proc/loadavg: 1.17 0.80 0.35 2/36 24776 /proc/meminfo: memFree=370588/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 [pid=24774] ppid=24771 vsize=27228 CPUtime=3 /proc/24774/stat : 24774 (apt-pbo) R 24771 24771 24102 769 24102 4202496 6639 724 0 0 294 6 0 0 25 0 1 0 524957244 27881472 6164 1283457024 134512640 135758360 4287583056 18446744073709551615 135510740 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24774/statm: 6807 6164 630 305 0 5580 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 29616 [startup+6.30247 s] /proc/loadavg: 1.17 0.80 0.35 2/37 24790 /proc/meminfo: memFree=322288/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 [pid=24774] ppid=24771 vsize=49240 CPUtime=6.04 /proc/24774/stat : 24774 (apt-pbo) R 24771 24771 24102 769 24102 4202496 12873 13672 0 194 461 11 113 19 20 0 1 0 524957244 50421760 11556 1283457024 134512640 135758360 4287583056 18446744073709551615 134956527 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24774/statm: 12310 11556 3936 305 0 7661 0 [pid=24790] ppid=24774 vsize=0 CPUtime=0.06 /proc/24790/stat : 24790 (wbo) Z 24774 24771 24102 769 24102 4202508 609 0 0 0 6 0 0 0 18 0 1 0 524957766 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/24790/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.11 Current children cumulated vsize (KiB) 51628 Solver just ended. Dumping a history of the last processes samples [startup+6.4125 s] /proc/loadavg: 1.17 0.80 0.35 2/37 24790 /proc/meminfo: memFree=322288/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 [pid=24774] ppid=24771 vsize=49240 CPUtime=6.15 /proc/24774/stat : 24774 (apt-pbo) R 24771 24771 24102 769 24102 4202496 12873 13672 0 194 472 11 113 19 20 0 1 0 524957244 50421760 11556 1283457024 134512640 135758360 4287583056 18446744073709551615 134893877 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24774/statm: 12310 11556 3936 305 0 7661 0 [pid=24790] ppid=24774 vsize=0 CPUtime=0.06 /proc/24790/stat : 24790 (wbo) Z 24774 24771 24102 769 24102 4202508 609 0 0 0 6 0 0 0 18 0 1 0 524957766 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/24790/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 51628 [startup+7.21266 s] /proc/loadavg: 1.16 0.80 0.36 2/37 24790 /proc/meminfo: memFree=322040/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 [pid=24774] ppid=24771 vsize=49240 CPUtime=6.4 /proc/24774/stat : 24774 (apt-pbo) S 24771 24771 24102 769 24102 4202496 12911 13672 0 194 496 12 113 19 21 0 1 0 524957244 50421760 11556 1283457024 134512640 135758360 4287583056 18446744073709551615 4159358286 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/24774/statm: 12310 11556 3936 305 0 7661 0 [pid=24790] ppid=24774 vsize=0 CPUtime=0.06 /proc/24790/stat : 24790 (wbo) Z 24774 24771 24102 769 24102 4202508 609 0 0 0 6 0 0 0 18 0 1 0 524957766 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/24790/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.47 Current children cumulated vsize (KiB) 51628 [startup+8.0133 s] /proc/loadavg: 1.16 0.80 0.36 2/39 24799 /proc/meminfo: memFree=319776/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 [pid=24774] ppid=24771 vsize=49360 CPUtime=7.28 /proc/24774/stat : 24774 (apt-pbo) S 24771 24771 24102 769 24102 4202496 13827 19645 0 194 517 14 174 23 19 0 1 0 524957244 50544640 11599 1283457024 134512640 135758360 4287583056 18446744073709551615 4159358286 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/24774/statm: 12340 11599 3937 305 0 7691 0 [pid=24795] ppid=24774 vsize=0 CPUtime=0.1 /proc/24795/stat : 24795 (wbo) Z 24774 24771 24102 769 24102 4202508 740 0 0 0 10 0 0 0 21 0 1 0 524957970 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/24795/statm: 0 0 0 0 0 0 0 [pid=24796] ppid=24774 vsize=2412 CPUtime=0 /proc/24796/stat : 24796 (apt-get.sh) S 24774 24771 24102 769 24102 4202496 410 615 0 0 0 0 0 0 19 0 1 0 524958003 2469888 269 1283457024 134512640 135191968 4290066704 18446744073709551615 4159539614 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24796/statm: 603 269 224 166 0 35 0 [pid=24799] ppid=24796 vsize=19520 CPUtime=0.41 /proc/24799/stat : 24799 (apt-get) R 24796 24771 24102 769 24102 4202496 4327 0 0 0 38 3 0 0 25 0 1 0 524958004 19988480 4215 1283457024 134512640 134646397 4294638960 18446744073709551615 4157486608 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/24799/statm: 4880 4215 3639 33 0 582 0 Current children cumulated CPU time (s) 7.8 Current children cumulated vsize (KiB) 73680 [startup+8.41337 s] /proc/loadavg: 1.16 0.80 0.36 2/39 24799 /proc/meminfo: memFree=319776/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 [pid=24774] ppid=24771 vsize=49360 CPUtime=8.09 /proc/24774/stat : 24774 (apt-pbo) R 24771 24771 24102 769 24102 4202496 14712 25754 0 194 526 15 237 31 19 0 1 0 524957244 50544640 11599 1283457024 134512640 135758360 4287583056 18446744073709551615 134983156 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24774/statm: 12340 11599 3937 305 0 7691 0 Current children cumulated CPU time (s) 8.1 Current children cumulated vsize (KiB) 51748 [startup+8.5034 s] /proc/loadavg: 1.16 0.80 0.36 2/39 24799 /proc/meminfo: memFree=319776/1048576 swapFree=2095456/2097144 [pid=24771] ppid=24770 vsize=2388 CPUtime=0.01 /proc/24771/stat : 24771 (sh) S 24770 24771 24102 769 24102 4202496 389 308 0 0 1 0 0 0 25 0 1 0 524957244 2445312 266 1283457024 134512640 135191968 4292100176 18446744073709551615 4159560094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24771/statm: 597 266 227 166 0 29 0 [pid=24774] ppid=24771 vsize=49360 CPUtime=8.18 /proc/24774/stat : 24774 (apt-pbo) R 24771 24771 24102 769 24102 4202496 17269 25754 0 194 535 15 237 31 19 0 1 0 524957244 50544640 11599 1283457024 134512640 135758360 4287583056 18446744073709551615 134893847 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24774/statm: 12340 11599 3937 305 0 7691 0 Current children cumulated CPU time (s) 8.19 Current children cumulated vsize (KiB) 51748 Child status: 0 Real time (s): 8.54427 CPU time (s): 8.25251 CPU user time (s): 7.75248 CPU system time (s): 0.500031 CPU usage (%): 96.5854 Max. virtual memory (cumulated for all children) (KiB): 89700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.75248 system time used= 0.500031 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44785 page faults= 194 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2061 involuntary context switches= 2001 runsolver used 0 second user time and 0 second system time The end